bor0's reflective blog personal blog

Writing a simple evaluator and type-checker in Haskell

bor0.wordpress.com published 2019-03-15

This tutorial serves as a very short and quick summary of the first few chapters of TAPL. Huge thanks to the ##dependent@freenode community (pgiarrusso, lyxia, mietek, …) for clearing all my …

Points

126

HN comments

9

Submissions

1

Cited by

0 commenters

Programming LanguagesSoftware Engineering2019

Related posts from the same era

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

Why Discord is switching from Go to Rust

Discord Blog20201,582 points642 comments details

A Sad Day for Rust

SSteve Klabnik20201,243 points991 commentscited by 4 details

Async-await on stable Rust

Rust Blog20191,102 points380 comments details

A half-hour to learn Rust

Amos Wenger2020927 points148 comments details

Julia 1.0

Julia Blog2018915 points434 comments details