twitter

The Wayback Machine - https://web.archive.org/web/20200809024355/https://dev.to/t/plt

loading...

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

May 24

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

#plt #hindleymilner #racket

12 min read

May 2

Classes & Inheritance: Unweaving the Rainbow

#computerscience #oop #plt

22 min read

May 20

De Bruijn index: why and how

#plt #racket

6 min read

Apr 11

From Functor to Applicative

#plt #applicative #language #haskell

2 min read

Mar 27

Using the Writer monad to refactor my interpreter

#eopl #plt #haskell

3 min read

Mar 10

NOTE: simply typed lambda calculus

#plt

2 min read

Jan 27

NOTE: bounded polymorphism

#plt #language #haskell

1 min read

Dec 12 '19

From Infinite Type to Functor

#plt #language #haskell

4 min read

Dec 8 '19

Infinite Type

#plt #language

3 min read

Dec 8 '19

Haskell quick start

#haskell #beginners #plt #language

5 min read

Nov 24 '19

Algebra data type vs Class

#plt #scala #haskell

2 min read

Aug 2 '19

#discussWhich 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

Mar 26 '19

Loanwords, Agriculture & WebAssembly

#webdev #plt #webassembly #talk

1 min read

loading...