/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

 blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
2.1 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.
| | usethe.computer
POTD: "Generalized Algebraic Data Types and Object-Oriented Programming"
2.4 parsecs away

Travel
| | Today's POTD presents a translation of a great tool from the functional programming community into the more mundane world of 90s-style object-oriented programming languages.
| | tech.preferred.jp
Exhaustive Union Matching in Python - Preferred Networks Research & Development
3.0 parsecs away

Travel
| | Pattern matching on algebraic data types is a powerful technique to process a given input and many programming languages have adopted it in one way or
| | ciesie.com
Learning Zig - first hour...
20.3 parsecs away

Travel
| Today I've played around with Zig, the new, hip (is it hip?) programming language. I find it pretty neat. I'm going to walk you (and myself) through my first, very short, piece of code. Below you can see the entirety of it. It basically allocates a 2MB buffer and reads a file into it... Yep, not particularly impressive, but this is a judgment free, learning zone, ok?! 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 const std = @import("std"); const warn = @import("std").