search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

Rewrite visitation over Functor #62

Open shingarov opened 1 year ago

shingarov commented 3 months ago

Something along the lines of https://www.haskellforall.com/2021/01/the-visitor-pattern-is-essentially-same.html

shingarov commented 3 months ago

Cf. https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html