evan_tech

Previous Entry Share Next Entry
03:05 pm, 23 Apr 04

"real mind-twister" hack

OCaml list:
With some trickery, you can even implement atoms with property lists, type safe but dynamically typed of course. See the code below. (Warning: the implementation of properties is a real mind-twister, using a folklore trick to implement dynamics using references and functions that I learnt from Daniel de Rauglaudre, although it's been reinvented independently quite a number of times.)
http://caml.inria.fr/archives/200105/msg00175.html