loading...

# plt

👋 Sign in for the ability sort posts by top and latest.
Classes & Inheritance: Unweaving the Rainbow

Classes & Inheritance: Unweaving the Rainbow

Reactions 4 Comments 1
22 min read
Using the Writer monad to refactor my interpreter

Using the Writer monad to refactor my interpreter

Reactions 8
3 min read
NOTE: bounded polymorphism

NOTE: bounded polymorphism

Reactions 8 Comments 1
1 min read
Type as Constraint: Why we need more type?

Type as Constraint: Why we need more type?

Reactions 8
3 min read
Which programming language features do you love and why?

Which programming language features do you love and why?

Reactions 9 Comments 11
2 min read
EoPL + Elm

EoPL + Elm

Reactions 6 Comments 1
1 min read
Hindley-Milner type system: Incrementally build way & Make new language in Racket

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

Reactions 6 Comments 2
12 min read
De Bruijn index: why and how

De Bruijn index: why and how

Reactions 6
6 min read
From Functor to Applicative

From Functor to Applicative

Reactions 6
2 min read
NOTE: simply typed lambda calculus

NOTE: simply typed lambda calculus

Reactions 6 Comments 1
2 min read
From Infinite Type to Functor

From Infinite Type to Functor

Reactions 6
4 min read
Infinite Type

Infinite Type

Reactions 7
3 min read
Haskell quick start

Haskell quick start

Reactions 16
5 min read
Algebra data type vs Class

Algebra data type vs Class

Reactions 6
2 min read
Loanwords, Agriculture & WebAssembly

Loanwords, Agriculture & WebAssembly

Reactions 8
1 min read
loading...