On Sunday 15 July 2007 05:03:16 Jon Harrop wrote:
> The idea of retrofitting equality types onto OCaml interests me greatly.
> Any chance you could elaborate on how this is done and what errors look
> like? :-)

Incidentally, another rather cool application of this kind of functionality 
would be to mimic .NET's PropertyGrid class. This class uses reflection to 
convert a data structure into a Windows Forms control that allows you to edit 
that data structure.

This is quite profilic in the developer-facing GUIs from Microsoft, such as 
the properties subwindow that you get in Visual Studio's GUI designer. 
Essentially it provides a very easy way to lash up totally unergonomic GUIs. 
An idea that is very close to my heart. ;-)

You could take an OCaml data type and translate it into GTK widgets that let 
you edit its contents.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e