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
A short introduction on how to unit test TypeScript type operators with dtslint
March 29th, 2018
A small tool to make adopting TSLint and stricter rules easier
March 18th, 2018
Exploring TypeScript's new infer keyword which allows pattern matching on types
March 11th, 2018
A first look at TypeScript 2.8's conditional types and what you can do with them
March 4th, 2018
A look at the type-level proramming tricks used in typeful-redux
February 26th, 2018
A type-safe, low boilerplate redux wrapper for TypeScript
October 28th, 2017
With TypeScript 2.6's new strictFunctionTypes option the type definition of the redux connect function are actually type safe
January 5th, 2017
On the two levels of energy equilibrium I have noticed in many life areas
December 1st, 2016
Getting a detailed understanding of the react-redux connect function
November 16th, 2016
It's challenging to make a type safe react-redux connect function. I thought I had found a way, but was wrong...