Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
ANN: pretty-printing, type-safe marshalling, dynamic typing for free.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-07-17 (03:50)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] ANN: pretty-printing, type-safe marshalling, dynamic typing for free.
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