Hacker News
- The Algebra of Algebraic Data Types http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 14 comments
- The Algebra of Algebraic Data Types http://chris-taylor.github.com/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 24 comments
- Algebraic Data Types: Things I wish someone had explained about FP https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming 112 comments
Lobsters
- Algebra and Data Types https://justinpombrio.net/2021/03/11/algebra-and-data-types.html 9 comments plt , rust
- Are union types the same as algebraic data types? https://www.reddit.com/r/elm/comments/6opbfi/are_union_types_the_same_as_algebraic_data_types/ 15 comments elm
- Using and abusing the algebra of algebraic data types. http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 46 comments haskell
- Algebraic Data Types http://tech.esper.com/2014/07/30/algebraic-data-types/ 21 comments programming
- Algebraic Data Types in Elixir https://blog.appsignal.com/2022/05/31/algebraic-data-types-in-elixir.html 4 comments elixir
- What are Algebraic data types, anyway? https://dcabrejas.github.io/software-development/haskell/2020/10/11/haskell-adts.html 17 comments haskell
- What are Algebraic data types, anyways? https://dcabrejas.github.io/software-development/haskell/2020/10/11/haskell-adts.html 23 comments programming
- Arithmetic on Algebraic Data Types https://bor0.wordpress.com/2019/07/30/arithmetic-on-algebraic-data-types/ 8 comments haskell
- The Algebra of Algebraic Data Types, Part 3 http://chris-taylor.github.com/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/ 20 comments programming
- The Algebra of Algebraic Data Types, Part 3 http://chris-taylor.github.com/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/ 7 comments haskell
- The Algebra of Algebraic Data Types, Part 2 http://chris-taylor.github.com/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/ 8 comments programming
- The Algebra of Algebraic Data Types, Part I http://chris-taylor.github.com/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 24 comments programming
- The Algebra of Algebraic Data Types (Part I) http://chris-taylor.github.com/blog/2013/02/10/the-algebra-of-algebraic-data-types/ 23 comments haskell
- Algebraic Data Types in C++ http://cpp-next.com/archive/2010/09/algebraic-data-types-in-c/ 6 comments coding
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ 31 comments programming
- Sum algebraic data types in C https://nullbuffer.com/2019/11/15/algebraic_c.html 6 comments programming
- An Introduction to ADTs (Algebraic Data Types) in Haskell http://muattiyah.com/posts/haskell-adts/ 5 comments haskell
- Algebraic Data Type (ADT) Encompassing Child ADTs? http://stackoverflow.com/questions/36783890/data-type-encompassing-two-sum-types?noredirect=1#comment61165159_36783890 8 comments scala
- Exploring The Peano Axioms Through Algebraic Data Types https://francisrstokes.github.io/blog/blog/2019/01/12/exploring-the-peano-axioms-with-algebraic-data-types/ 16 comments programming
- Defining algebraic data types using lenses and prisms https://www.reddit.com/r/haskell/comments/76bqqp/defining_algebraic_data_types_using_lenses_and/ 11 comments haskell
- Read and write algebraic data types like in Haskell ? https://www.reddit.com/r/fsharp/comments/4wjxdh/read_and_write_algebraic_data_types_like_in/ 3 comments fsharp
- f-algebra-gen - Generate a folding combinator that treats your data type as their categorical isomorphism https://www.reddit.com/r/haskell/comments/cey4m5/falgebragen_generate_a_folding_combinator_that/ 3 comments haskell
- The Case for the Typestate Pattern - Introducing Algebraic Data Types | Novatec https://www.novatec-gmbh.de/en/blog/the-case-for-the-typestate-pattern-introducing-algebraic-data-types/ 8 comments rust
- Efficiently Improving Test Coverage with Algebraic Data Types http://softwaresimply.blogspot.com/2018/03/efficiently-improving-test-coverage.html 7 comments haskell
- Detecting use-cases for Generalized Algebraic Data Types in OCaml http://mads-hartmann.com/ocaml/2015/01/05/gadt-ocaml.html 12 comments programming
- 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
- Ideas for modeling schema.org? (Algebraic Data Type inheritance?) https://schema.org/LocalBusiness 4 comments haskell
- Simple Algebraic Data Types. Categories for Programmers by Bartosz Milewski http://bartoszmilewski.com/2015/01/13/simple-algebraic-data-types/ 11 comments programming
- A Khan Academy style tutorial on generalized algebraic data types http://apfelmus.nfshost.com/blog/2010/06/01-gadts-video.html 7 comments haskell
- Implementing algebraic data types and monads in a Lisp DSL http://www.defmacro.org/papers/cl-monad.pdf 5 comments lisp
- Algebraic Data Types: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ 3 comments programming
- Algebraic Data Types: Things I wish someone explained on functional programming https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ 11 comments programming
- Algebraic Data Types in four languages: Haskell, Scala, Rust, and TypeScript https://blog.softwaremill.com/algebraic-data-types-in-four-languages-858788043d4e 7 comments typescript
- Does anyone know of a good linear algebra library which uses plain arrays as the underlying data types? https://docs.rs/nalgebra-glm/latest/nalgebra_glm/ 8 comments rust
- Agata (Agata Generates Algebraic Types Automatically) uses Tempalte Haskell to derive QuickCheck generators for Haskell data types http://hackage.haskell.org/package/agata-0.1.1 5 comments haskell
- What solution besides turning to classes have you used for expressing cyclic graphs using algebraic data types? https://www.reddit.com/r/fsharp/comments/afavs4/what_solution_besides_turning_to_classes_have_you/ 11 comments fsharp