Anarchaia

Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)

04nov2007

The (Interactive) Glasgow Haskell Compiler – version 6.8.1 has been released.

Category Theory for the Java Programmer, “A collection of Java interfaces is the free cartesian category with equalizers on the interface objects and the built-in objects.”

P1010775 by Lumo*

I need a chorus, a theme
Something to make all this tie together and make sense
But for now I got no chorus and no theme
I keep running off to someplace that I’ve never been
To do something quite unimportant, to stay out of sight
So people other places might think that I’m somewhere
Doing something quite important
— Dan Bern, Anger

Phantom types and how to do typesafe fixed-length vectors with them in OCaml.

Vprint is a value printer module for OCaml. It prints any value at running time with a simple generic printer. It can be used for the following purposes: help debugging, inspect data representation, test type casting, runtime dispatch based on type representations and avoid writing pretty printers.

A Blobby Language, “A blobby is simply an isosurface, ie. the set of points that form the solution to f(x,y,z)=c for a function f. The virtual machine is the one on which the function f is computed.”

The bridged architecture of adjacent peaks and “the fallen man of letters”, “[t]he peaks of the Dolomites in Italy are full of bunkers and tunnels of various depths. They come from the bitter fighting that took place over the South Tyrol region in WWI.”

Strange Creatures by jurvetson

Oh, the only decent thing I did when I worked as a postal clerk
Was to haul your picture down off the wall near the cage where I used to work.
Was I a fool or not to try to protect your identity?
You looked a little burned out, my friend,
I thought it might be up to me
— Bob Dylan, Up To Me

Code reuse through polymorphic variants, by Jacques Garrigue. “Their support for code reuse has made object-oriented languages popular. However, they do not succeed equally in all areas, particularly when data has a complex structure, making hard to keep the parallel between data and code. On the other hand, functional programming languages, which separate data from code, are better at handling complex structures, but they do not provide direct ways to reuse code for a different datatype. We show here a way to achieve code reuse, even when data and code are separated. The method is illustrated by a detailed example.”