Explore >> Select a destination

You are here

 usethe.computer
POTD: "Generalized Algebraic Data Types and Object-Oriented Programming"
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
2.0 parsecs away

Travel
| | [AI summary] This blog post tutorial explains advanced OCaml programming concepts including parametric polymorphism, higher-order functions like combinators and composition, and algebraic data types with pattern matching.
| | wimvanderbauwhede.codeberg.page
Roles as Algebraic Data Types in Raku ? Wim Vanderbauwhede
2.2 parsecs away

Travel
| | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles.
| | blog.jle.im
Faking ADTs and GADTs in Languages That Shouldn't Have Them ยท in Code
2.2 parsecs away

Travel
| | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
21.8 parsecs away

Travel
| Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.