Thursday, June 28, 2012

What I've been reading


If you want to impress your coworkers with terms like cobordism: Physics, Topology, Logic and Computation: A Rosetta Stone:
A simple diagram ... can now be seen as a quantum process, a tangle, a computation — or an abstract morphism in any braided monoidal category! This is just the sort of thing one would hope for in a general science of systems and processes.
An Applicative Control-Flow Graph Based on Huet’s Zipper. Somebody actually used FP in the real world -- well, to write a compiler -- and can report that it did indeed in fact work. Related, here's my favorite zipper tutorial.

Resumable exceptions can macro-express delimited dynamic variables. Because you can never test your intuition enough.

More links: Ian Piumarta's liboop; Eric Torreborre on total FP; VeriML; automatic scoping and destructor functionality in C.

HT Paul Snively, Daniel Yokomizo, Patrick Thomson.

1 comment:

patrickdlogan said...

liboop -- interesting. I programmed in C++ a bit from 1989 (cfront!) through 1995 (compilers!). As a smalltalker I was happy using the NIH classes ( http://www.softwarepreservation.org/projects/c_plus_plus/library/nihcl ) and rogue wave's library (which I think originated or was at least influenced by the NIH library).

Of course I do not even recognize C++ any longer.