/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 usethe.computer
POTD: "Generalized Algebraic Data Types and Object-Oriented Programming"
| | mmhaskell.com
Functional Programming vs. Object Oriented Programming - Monday Morning Haskell
1.9 parsecs away

Travel
| | [AI summary] This article compares Functional Programming and Object Oriented Programming paradigms, discussing their key differences, strengths, weaknesses, and how Haskell fits into the functional paradigm.
| | 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.
| | 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.
| | inquiryintoinquiry.com
Praeclarum Theorema | Inquiry Into Inquiry
16.6 parsecs away

Travel
| Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore...