I’ve done lots of type-level hacking in haskell to the point I am traumatised to do it again and I wish I could just write some idris/agda and deliver it as a binary package to people 😭😭😭
This Tweet is from a suspended account. Learn more
Conversation
This is why I keep pushing static intro. I've done the Haskell type-level thing and it's soul sucking.
2
1
Yeah, I want control over parametericity and inlining. Hence me wanting something like QTT and multistage programming for systems programming. Trying my best to get there eventually with Pikelet but it's slow, and there seem to be gaps in the theory on this stuff.
1
2
Show replies