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

February 18th, 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...
November 7th, 2016

Some Personal Rules for Effective and Efficient Meetings

Personal propositions for having more effective meetings
July 19th, 2016

A Look at the Idris Internals, Part IV - From TT Onward

A brief overview how TT is processed to later stage intermediate languages.
March 15th, 2016

A Look at the Idris Internals, Part III - From Parsing to Elaboration

Looking at how Idris is desugared and elaborated to TT
January 17th, 2016

A Look at the Idris Internals, Part II - Taking the Parser for a Spin

Trying out the Idris Parser on the GHCi REPL
January 10th, 2016

A Look at the Idris Internals, Part I - Overview and Parsing

A short overview of the Idris compilation process, parsing and the high-level AST