/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

 kuruczgy.com
Introduction to dependent types and the Curry-Howard isomorphism
| | wimvanderbauwhede.codeberg.page
Roles as Algebraic Data Types in Raku Wim Vanderbauwhede
1.2 parsecs away

Travel
| | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles.
| | bartoszmilewski.com
Function Types | Bartosz Milewski's Programming Cafe
1.0 parsecs away

Travel
| | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...
| | rachelcarmena.github.io
Functional programming sparks joy 2 | Rachel M. Carmena
2.1 parsecs away

Travel
| | Some characteristics of functional programming
| | blog.lohr.dev
After a day of programming in Zig
17.6 parsecs away

Travel
| A review by a Rust enthusiast