dev-resources.site

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

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

JavaScript is not an untyped language

De Bruijn index: why and how

Classes & Inheritance: Unweaving the Rainbow

From Functor to Applicative

Using the Writer monad to refactor my interpreter

NOTE: simply typed lambda calculus

NOTE: bounded polymorphism

Type as Constraint: Why we need more type?

From Infinite Type to Functor

Haskell quick start

Infinite Type

Algebra data type vs Class

EoPL + Elm Weekly Status Update 2

EoPL + Elm Weekly Status Update 1

Which programming language features do you love and why?

EoPL + Elm

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

Loanwords, Agriculture & WebAssembly