- I blogged about data and using type parameters to encode constraints in data types https://blog.kubukoz.com/data-coherence-at-large 5 comments scala
Linked pages
- Typelevel | Higher-kinded types: the difference between giving up, and moving forward http://typelevel.org/blog/2016/08/21/hkts-moving-forward.html 88 comments
- Haskell/GADT - Wikibooks, open books for an open world https://en.wikibooks.org/wiki/Haskell/GADT 0 comments
- Scalar Conference 2024 https://www.scalar-conf.com 0 comments
Related searches:
Search whole site: site:blog.kubukoz.com
Search title: Data coherence at large
See how to search.