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.
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).
ReplyDeleteOf course I do not even recognize C++ any longer.