search

srid / papers

2 stars 0 forks source link

Tagless-final style #5

Open srid opened 2 years ago

srid commented 2 years ago

https://okmij.org/ftp/tagless-final/

cf. the runSite @Route of https://github.com/srid/ema/pull/81

srid commented 2 years ago

In the context of eDSL, https://twitter.com/GabriellaG439/status/1500642211028889601

image
srid commented 2 years ago

https://eli.thegreenplace.net/2018/more-thoughts-on-the-expression-problem-in-haskell/ | https://old.reddit.com/r/haskell/comments/tqbba5/more_thoughts_on_the_expression_problem_in_haskell/

Larger context: https://en.wikipedia.org/wiki/Expression_problem#Solutions

image

Do read the "Coproducts of functors" paper Data types à la carte which mentions the data Expr f = In ... type from Eli's blog post.