See also "Fling: a fluent API generator" by the same author https://github.com/OriRoth/fling
Exactly. 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…
Yes, this is an obvious mistake. What you wrote is the right statement.
See also "Fling: a fluent API generator" by the same author https://github.com/OriRoth/fling
Exactly. 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…
Yes, this is an obvious mistake. What you wrote is the right statement.