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
Getting a detailed understanding of the react-redux connect function
November 16, 2016
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
Personal propositions for having more effective meetings
July 19, 2016
A brief overview how TT is processed to later stage intermediate languages.
March 15, 2016
Looking at how Idris is desugared and elaborated to TT
January 17, 2016
Trying out the Idris Parser on the GHCi REPL
January 10, 2016
A short overview of the Idris compilation process, parsing and the high-level AST
January 13, 2015
A fairly long summary and short review of Michael Nygard's book Release It
June 14, 2014
A second look at the expression problem discussed in the previous post and ways of solving it in Haskell and Java
January 10, 2014
Visitors are a complicated OO way of getting the advantages of sum types