- Conversion to Tagless Style https://okmij.org/ftp/tagless-final/index.html#course-oxford 2 comments haskell
- Are there compilers implemented using final style? http://okmij.org/ftp/tagless-final/ 30 comments haskell
- What is the advantage of tagless final style over normal datatypes? http://okmij.org/ftp/tagless-final/ 7 comments haskell
Linking pages
- The four simple ways to encode sum-types https://yairchu.github.io/posts/sum-type-encodings.html 40 comments
- Free and tagless compared - how not to commit to a monad too early https://softwaremill.com/free-tagless-compared-how-not-to-commit-to-monad-too-early/ 29 comments
- Design duality and the expression problem https://www.tedinski.com/2018/02/27/the-expression-problem.html 27 comments
- Type system innovation propagation https://doma.dev/blog/innovation-propagation/ 23 comments
- Reducing boilerplate in finally tagless style https://ro-che.info/articles/2016-02-03-finally-tagless-boilerplate 16 comments
- Tagless Final Encoding of a Test Language | Oskar Wickström https://wickstrom.tech/programming/2017/06/05/tagless-final-encoding-of-a-test-language.html 15 comments
- No More Transformers: High-Performance Effects in Scalaz 8 – John A De Goes http://degoes.net/articles/effects-without-transformers 14 comments
- Do we need effects to get abstraction? | by Eric Torreborre | barely-functional | Medium https://medium.com/barely-functional/do-we-need-effects-to-get-abstraction-7d5dc0edfbef 13 comments
- Dependency Injection in Functional Programming · GitHub https://gist.github.com/gvolpe/1454db0ed9476ed0189dcc016fd758aa 9 comments
- https://endless4s.github.io/ 5 comments
- Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust https://open.substack.com/pub/getcode/p/efficient-extensible-expressive-typed?r=1dboko 5 comments
- The False Hope of Managing Effects with Tagless-Final in Scala – John A De Goes http://degoes.net/articles/tagless-horror 3 comments
- Monad Transformers 101 | William Yao https://www.williamyaoh.com/posts/2023-06-10-monad-transformers-101.html 2 comments
- An Introduction to Functional Design – John A De Goes https://degoes.net/articles/functional-design 1 comment
- Constrained Horn Clauses for Bap | Hey There Buddo! https://www.philipzucker.com/bap-chc/ 0 comments
- Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust https://getcode.substack.com/p/efficient-extensible-expressive-typed 0 comments
- Guest Post: Final Encoding in RPython Interpreters | PyPy https://pypy.org/posts/2024/11/guest-post-final-encoding-in-rpython.html 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:okmij.org
Search title: Tagless-Final Style
See how to search.