Forem

# plt

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Using a continuation-passing interpreter to make an interactive read operation for the browser with Elm

Using a continuation-passing interpreter to make an interactive read operation for the browser with Elm

7
Comments
6 min read
If SAFe was a programming language, would you use it?

If SAFe was a programming language, would you use it?

Comments 1
3 min read
JavaScript is not an untyped language

JavaScript is not an untyped language

64
Comments 45
6 min read
De Bruijn index: why and how

De Bruijn index: why and how

7
Comments
6 min read
Classes & Inheritance: Unweaving the Rainbow

Classes & Inheritance: Unweaving the Rainbow

6
Comments 1
22 min read
From Functor to Applicative

From Functor to Applicative

6
Comments
2 min read
Using the Writer monad to refactor my interpreter

Using the Writer monad to refactor my interpreter

8
Comments
3 min read
NOTE: simply typed lambda calculus

NOTE: simply typed lambda calculus

5
Comments 1
2 min read
Type as Constraint: Why we need more type?

Type as Constraint: Why we need more type?

8
Comments
3 min read
From Infinite Type to Functor

From Infinite Type to Functor

6
Comments
4 min read
Haskell quick start

Haskell quick start

16
Comments
5 min read
Infinite Type

Infinite Type

7
Comments
3 min read
Algebra data type vs Class

Algebra data type vs Class

6
Comments
2 min read
Which programming language features do you love and why?

Which programming language features do you love and why?

9
Comments 11
2 min read
EoPL + Elm

EoPL + Elm

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

6
Comments 2
12 min read
Loanwords, Agriculture & WebAssembly

Loanwords, Agriculture & WebAssembly

8
Comments
1 min read
loading...