HKTs is where you can say that something is "Foldable" and then create functions that work for all foldables and so on. If yes, then I think I want/need that for
CC:
This Tweet was deleted by the Tweet author. Learn more
Conversation
Cool. Then I'm coming to need that to do loops the way I've imagined.
1
Interesting to see your approach! There are quite a few example type checkers out there on Github that do it, but it might be worth cracking open TaPL at some stage.
1
Show replies