/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

 bartoszmilewski.com
Function Types | Bartosz Milewski's Programming Cafe
| | wimvanderbauwhede.codeberg.page
Roles as Algebraic Data Types in Raku Wim Vanderbauwhede
2.5 parsecs away

Travel
| | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
1.9 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
1.1 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | xorshammer.com
Ax's Theorem: An Application of Logic to Ordinary Mathematics - XOR's Hammer
22.8 parsecs away

Travel
| There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax's Theorem. Ax's Theorem: For all polynomial functions $latex f\colon \mathbb{C}^n\to \mathbb{C}^n$, if $latex f$ is injective, then $latex f$ is surjective. Very...