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
Yup, it is indeed required for that.
1
1
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
Yeah, I know I've been delaying that. But eventually I'm gonna have to get my nose in some books and do it right.
1
I tend to bounce between reading implementations, watching conference presentations, reading papers, reading books, porting implementations, implementing in my main implementation. Feel like all the perspectives help in different ways, but it takes a bit of time!