/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
| | www.baturin.org
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
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
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
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...