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

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
October 28th, 2017

Connect (type) safely

With TypeScript 2.6's new strictFunctionTypes option the type definition of the redux connect function are actually type safe
January 5th, 2017

The Two Levels of Energy Equilibrium

On the two levels of energy equilibrium I have noticed in many life areas
December 1st, 2016

Understanding the react-redux connection function

Getting a detailed understanding of the react-redux connect function
November 16th, 2016

Trying and failing to make a type safe react-redux connect wrapper

It's challenging to make a type safe react-redux connect function. I thought I had found a way, but was wrong...