DEV Community

loading...
Max Heiber profile picture

Max Heiber

I blog about computer-aided programming. Views are my own.

Location London, U.K. Joined Joined on  github website twitter website

Work

Senior Software Engineer at WhatsApp

Function Intersection Types Considered Surprising

Function Intersection Types Considered Surprising

Reactions 8 Comments 1
6 min read
On Subtyping vs. Row Polymorphism, information loss, and actionable error messages

On Subtyping vs. Row Polymorphism, information loss, and actionable error messages

Reactions 6 Comments 2
5 min read
The Principle of Explosion in Ordinary Computer Programs

The Principle of Explosion in Ordinary Computer Programs

Reactions 5 Comments 2
5 min read
What Makes a DSL Bad? Make, CSS, and how we can do better.

What Makes a DSL Bad? Make, CSS, and how we can do better.

Reactions 7 Comments 3
6 min read
The Type of a `type` in Typescript

The Type of a `type` in Typescript

Reactions 8 Comments 9
4 min read
loading...