Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
25feb2008
What’s new in ECMAScript 4.0?, a list of weird and wonderful things.
In praise of mandatory indentation for novice programmers, by Chris Okasaki.
Data types à la carte, a functional pearl by Wouter Swierstra: “This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad.” Good read.
Make plants talk! They’ll Twitter you when they need to be watered (and more), WJW.
Forgive me, Let live me
Kiss my falling knee
Forgive me, Let live me
Bless my destiny
Forgive me, Let live me
Set my spirit free
— Antony And The Johnsons, Man Is The Baby
The Ebb and Flow of Movies: Box Office Receipts 1986 – 2007, interesting infographic.
Left-Leaning Red-Black Trees, really good slides by Robert Sedgewick. I’d like to know if a purely functional implementation is better than the usual finger trees as well.
Foundations for Structured Programming with GADTs, by Patricia Johann and Neil Ghani. “GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In this paper we solve this problem by showing that the standard theory of datatypes as carriers of initial algebras of functors can be extended from algebraic and nested data types to GADTs.”
A debugger should prostitute itself to its users, doing whatever is wanted with a minimum of encouragement; commands should be concise and obvious. — Phil Winterbottom, Acid: A Debugger Built From A Language
libowfat is a library of general purpose APIs extracted from Dan Bernstein’s software, reimplemented and covered by the GNU General Public License Version 2 (no later versions).
µstr a Micro String API for C. Just one header file in the end, but still pretty big for my tastes…
RR (Double Ruby) is a test double framework that features a rich selection of double techniques and a terse syntax. I really like the interface but I think the implementation is too complex.
Powered by Nukumi2 0.5.