4 ms·
Why is it called tagless-final
by dustingetz 6y ago
Why is it called tagless-final
- Jtsummers 6y agoIt's new to me as well, but this lecture (if you know Haskell) seems like a good overview. I've got some more things to look up before I could actually use this idea but if you read through this it may help: http://okmij.org/ftp/tagless-final/course/lecture.pdf http://okmij.org/ftp/tagless-final/course/lecture.pdf With more here: http://okmij.org/ftp/tagless-final/index.html http://okmij.org/ftp/tagless-final/index.html
- still_grokking 6y agoIt's the opposite of the "initial tagged" encoding. And additionally I think "final" has also some meaning in mathematics that is related (which makes that name a little bit of a pun afaik).