OriRoth

3 ms·

1. 1.▲
   by OriRoth 3y ago

   See also "Fling: a fluent API generator" by the same author https://github.com/OriRoth/fling
2. 2.▲
   by OriRoth 3y ago

   > Maybe an example of how to compose HTML from multiple parts would also be great to have as an example (-> template engine). There are examples in the paper https://dl.acm.org/doi/10.1145/3586057 (last sect
3. 3.▲
   by OriRoth 4y ago

   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 some examples in my o
4. 4.▲
   by OriRoth 4y ago

   Yes, this is an obvious mistake. What you wrote is the right statement.