3 ms·
Nobody (okay, mostly nobody) is saying, "We should do computation in the type system!" I think it's more: "Watch out, you could create types that never resolve
by rcfox 4y ago
Nobody (okay, mostly nobody) is saying, "We should do computation in the type system!"
I think it's more: "Watch out, you could create types that never resolve."
- OriRoth 4y agoExactly. Although, I would add that type level computations definitely can be used to perform useful metaprogramming tasks, such as embedding domain-specific languages or enforcing API protocols at compile time. I show some examples in my other papers. You can also check out my blog post: https://blog.sigplan.org/2021/03/02/fluent-api-practice-and-theory/ https://blog.sigplan.org/2021/03/02/fluent-api-practice-and-...