loading...
👋 Sign in for the ability sort posts by top and latest.

Hindley-Milner type system: Incrementally build way & Make new language in Racket

Reactions 4 Comments 2
12 min read

Classes & Inheritance: Unweaving the Rainbow

Reactions 5 Comments 1
22 min read

De Bruijn index: why and how

Reactions 6
6 min read

From Functor to Applicative

Reactions 6
2 min read

Using the Writer monad to refactor my interpreter

Reactions 8
3 min read

NOTE: simply typed lambda calculus

Reactions 7 Comments 1
2 min read

NOTE: bounded polymorphism

Reactions 5 Comments 1
1 min read

From Infinite Type to Functor

Reactions 4
4 min read

Infinite Type

Reactions 7
3 min read

Haskell quick start

Reactions 16
5 min read

Algebra data type vs Class

Reactions 6
2 min read

#discussWhich programming language features do you love and why?

Reactions 9 Comments 11
2 min read

EoPL + Elm

Reactions 6 Comments 1
1 min read

Loanwords, Agriculture & WebAssembly

Reactions 8
1 min read
loading...