Types and Tailcalls

Types and Tailcalls - yet another programmer's blog

This blog is written by Paul Körbitz. It deals mostly with programming languages and the web, with the occasional odd thought thrown in between.

Contrary to what is suggested by the title, interesting posts on type theory and programming language implementations will probably be rare... I lack the smarts ;)

Recent Posts

October 14th, 2019


My book summary of "Ultralearning"
August 25th, 2019

Don't Beat Yourself Up

I used to beat myself up a lot. I don't do it anymore and my life is better.
January 27th, 2019

A first look at WebAssembly

Taking a look at WebAssembly and writing a first function
June 24th, 2018

Notes on Fast.ai's first lecture

Some notes on the first fast ai lecture
May 21st, 2018

Unit testing TypeScript types with dtslint

A short introduction on how to unit test TypeScript type operators with dtslint
March 29th, 2018

Announcing tslint-auto-disable

A small tool to make adopting TSLint and stricter rules easier
March 18th, 2018

Inferring Types in Conditional Types

Exploring TypeScript's new infer keyword which allows pattern matching on types
March 11th, 2018

A Look at TypeScript's Conditional Types

A first look at TypeScript 2.8's conditional types and what you can do with them
March 4th, 2018

typeful-redux - A look under the covers

A look at the type-level proramming tricks used in typeful-redux
February 26th, 2018

Announcing typeful-redux

A type-safe, low boilerplate redux wrapper for TypeScript