Length-indexed lists in C++

Over the weekend, while lamenting the lack of dependent types in Haskell, I thought I'd see what C++ can offer in this space. After all, C++ templates allow value parameters as well as types, so I decided to try implementing a length-indexed list. The list implementation itself is based on…

Yampa's Switches

Yampa is a pretty cool arrow-based framework for writing FRP programs in Haskell. However, its documentation is sorely lacking. There is a limited amount of information on the Haskell wiki, and the Haddock documentation on Hackage lists function after function (often with obscure names) with no detail as to its…

Arrowised Materials in Purely Functional Ray Tracing

This article assumes at least a basic understanding of arrows as they are implemented in Haskell. It you haven't come across them before, I recommend this excellent tutorial by Ertugrul Söylemez which should tell you everything you need to know. For my final year project at university, I developed a…