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

December 1, 2016

Understanding the react-redux connection function

Getting a detailed understanding of the react-redux connect function
November 16, 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 7, 2016

Some Personal Rules for Effective and Efficient Meetings

Personal propositions for having more effective meetings
July 19, 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 15, 2016

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

Looking at how Idris is desugared and elaborated to TT
January 17, 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 10, 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
January 13, 2015

Release It - Summary and Review

A fairly long summary and short review of Michael Nygard's book Release It
June 14, 2014

Solving the Expression Problem in Haskell and Java

A second look at the expression problem discussed in the previous post and ways of solving it in Haskell and Java
January 10, 2014

Sum Types, Visitors, and the Expression Problem

Visitors are a complicated OO way of getting the advantages of sum types