Skip to content

Ayman Nadeem personal blog

A primer on the cruel, tacit laws of type-level programming in Haskell

aymannadeem.com published 2020-05-1520 min read

Read on aymannadeem.com → Discuss on HN (62) Archived copy

Points: 117
HN comments: 62
Submissions: 1
Cited by: 0 commenters

Programming Languages 2020

On Hacker News

Submitted	Title on HN	Points	Comments
Jun 28, 2020	A primer on the cruel, tacit laws of type-level programming in Haskell by tenslisi	117	62

More from Ayman Nadeem

All 2 posts →

Plan mode is dead

2026593 points511 comments AI & Machine Learning details

Related posts from the same era

Why Discord is switching from Go to Rust

Discord Blog20201,582 points642 comments details

A half-hour to learn Rust

Amos Wenger20211,444 points409 commentscited by 16 details

A Sad Day for Rust

Steve 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

PHP in 2019

Brent Roose2019908 points473 comments details