/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

 tech.preferred.jp
Exhaustive Union Matching in Python - Preferred Networks Research & Development
| | 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.
| | serokell.io
Algebraic Data Types in Haskell
2.8 parsecs away

Travel
| | In this article, we introduce you to the concept of algebraic data types and show how you can build your own data types in Haskell.
| | particularvirtue.blogspot.com
Particular Virtue: Algebraic Data Types for Imperative Programmers
2.9 parsecs away

Travel
| | Algebraic data types are a fantastic way to make code clearer. They're used all the time in Haskell, because they're a fundamental part of t...
| | dominiczypen.wordpress.com
Generalizing the T_0 separation axiom | Musings on general topology and orderings
19.3 parsecs away

Travel
| The starting point of this blog post is a slight reformulation of the $latex T_0$ separation axiom: A topological space $latex (X,\tau)$ is $latex T_0$ if for all $latex x\neq y\in X$ there is a set $latex U\in \tau$ such that $latex \{x,y\}\cap U \neq \emptyset \text{ and } \{x,y\}\not\subseteq U.$ Given a cardinal $latex...