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

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
December 21, 2013

Understanding Pointers, Ownership, and Lifetimes in Rust

A summary of ownership related topics in Rust
October 24, 2013

Certified Red-Black Trees in Coq -- Part 0

I try my hand at proving the soundness of insert on Red-Black trees in Coq
September 9, 2013

Efficient Quicksort in Haskell

An in-place quicksort implementation in Haskell