Hacker News
- The algebra and calculus of algebraic data types (2015) https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 45 comments
- The algebra and calculus of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 48 comments
- The Algebra of Algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ 40 comments
Lobsters
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 38 comments plt
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 2 comments programming
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 9 comments compsci
- The algebra (and calculus!) of algebraic data types (cross post from /r/programming) https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ 21 comments haskell
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ 31 comments programming
Linking pages
- Algebraic Data Types in Elixir | AppSignal Blog https://blog.appsignal.com/2022/05/31/algebraic-data-types-in-elixir.html 35 comments
- Lenses embody Products, Prisms embody Sums · in Code https://blog.jle.im/entry/lenses-products-prisms-sums.html 33 comments
- GitHub - derive4j/derive4j: Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses. https://github.com/derive4j/derive4j 20 comments
- GitHub - polendri/awesome-dev-articles: A collection of awesome articles that are relevant to software developers. https://github.com/pshendry/awesome-dev-articles 13 comments
- Better JS Cases with Sum Types. Improving Semantics and Correctness ·… | by Gabriel Lebec | Fullstack Academy | Medium https://medium.com/fullstack-academy/better-js-cases-with-sum-types-92876e48fd9f 3 comments
- Algebraic type sizes and domain modelling | F# for fun and profit http://fsharpforfunandprofit.com/posts/type-size-and-design/ 1 comment
- Roles as Algebraic Data Types in Raku • Wim Vanderbauwhede https://wimvanderbauwhede.github.io/articles/roles-as-adts-in-raku/ 0 comments
Linked pages
- https://www.cs.indiana.edu/~sabry/papers/rational.pdf 19 comments
- https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf 17 comments
- Hussling Haskell types into Hasse diagrams : ezyang’s blog http://blog.ezyang.com/2010/12/hussling-haskell-types-into-hasse-diagrams/ 11 comments
- Catalan number - Wikipedia https://en.wikipedia.org/wiki/Catalan_number#Applications_in_combinatorics 8 comments
- Differential Calculus with Datatypes http://strictlypositive.org/calculus/ 0 comments
Related searches:
Search whole site: site:codewords.recurse.com
Search title: The algebra (and calculus!) of algebraic data types
See how to search.