Skip to content

DEV Community

# plt

👋 Sign in for the ability to sort posts by relevant, latest, or top.

May 23 '24

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

#continuations #plt #elm

6 min read

Jonathan E. Magen

Feb 20 '23

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

#agile #plt #satire

3 min read

MiguelMJ

Jun 24 '22

JavaScript is not an untyped language

#javascript #plt #computerscience #beginners

6 min read

林子篆

May 20 '20

De Bruijn index: why and how

#plt #racket

6 min read

May 2 '20

Classes & Inheritance: Unweaving the Rainbow

#computerscience #oop #plt

22 min read

林子篆

Apr 11 '20

From Functor to Applicative

#plt #applicative #language #haskell

2 min read

Mar 27 '20

Using the Writer monad to refactor my interpreter

#eopl #plt #haskell

3 min read

林子篆

Mar 10 '20

NOTE: simply typed lambda calculus

#plt

2 min read

林子篆

Jan 16 '20

Type as Constraint: Why we need more type?

#plt #language

3 min read

林子篆

Dec 12 '19

From Infinite Type to Functor

#plt #language #haskell

4 min read

林子篆

Dec 8 '19

Haskell quick start

#haskell #beginners #plt #language

5 min read

林子篆

Dec 8 '19

Infinite Type

#plt #language

3 min read

林子篆

Nov 24 '19

Algebra data type vs Class

#plt #scala #haskell

2 min read

Aug 2 '19

Which programming language features do you love and why?

#discuss #plt #elm #haskell

2 min read

Aug 1 '19

EoPL + Elm

#eopl #elm #plt

1 min read

林子篆

May 24 '20

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

#plt #hindleymilner #racket

12 min read

Mar 26 '19

Loanwords, Agriculture & WebAssembly

#webdev #plt #webassembly #talk

1 min read

loading...