DEV Community

# 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
WebAssembly With Zig, Pt. II

WebAssembly With Zig, Pt. II

22
Comments
24 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...