All,

Here <http://biosimilarity.blogspot.com/2008/03/naming-as-dialectic.html> is
a deliberately provocative posting (with running code -- that works in OCaml
as well as Haskell -- and a shameless plug for BNFC) on the process of
introducing naming and name management into the design of data structures.
Comments greatly appreciated.

Best wishes,

--greg

-- 
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com