This was a great talk! If you couldn't make it, the video will be worth it!
Quote Tweet
For those of you attending @strangeloop_stl: join me tomorrow afternoon to talk about my programming language, Hackett!
3
2
26
Conversation
Replying to
Looking forward to it! I enjoyed the last one on Hackett too! (can't remember which conf it was at)
I dunno if I'm imagining things, but the type-checking+macro expansion that was described in the last talk seemed to feel suspiciously like what you do when implementing a dependent type system…
1
The POPL paper she points at is a bidirectional elaborating type checker framework, and the techniques have also been used to implement dependent types by . So you're not totally off!
1
2
Show replies