(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
praeclarum
/ AlgorithmW.fs
Last active
February 2, 2025 14:29
Algorithm W - or Hindley-Milner polymorphic type inference - in F#
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module AlgorithmW | |
| // HINDLEY-MILNER TYPE INFERENCE | |
| // Based on http://catamorph.de/documents/AlgorithmW.pdf | |
| // (Now at http://web.archive.org/web/20170704013532/http://catamorph.de/documents/AlgorithmW.pdf) | |
| type Lit = | |
| | LInt of int | |
| | LBool of bool |
staltz
/ introrx.md
Last active
May 12, 2025 23:22
The introduction to Reactive Programming you've been missing
anonymous
/ aktowns-4clojure-solution22.clj
Created
August 22, 2011 11:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; aktowns's solution to Count a Sequence | |
| ;; https://4clojure.com/problem/22 | |
| (fn [x] (reduce #(+ %1 %2) (map (fn [_] 1) x))) |