You might want to take a look at David Russell's thesis on functional analysis and design (FAD). You can probably find it on citeseer. I'm pretty sure it'll have relevant stuff to what you're doing. -- Hal Daume III | hdaume@isi.edu "Arrest this man, he talks in maths." | www.isi.edu/~hdaume On Sat, 17 May 2003, Bas van Dijk wrote:
Hi,
I'm desining a visual programming language (just for fun...). The language is pretty much based on "Visual Haskell": http://ptolemy.eecs.berkeley.edu/~johnr/papers/visual.html
But it uses another approach to model higher-order functions: http://citeseer.nj.nec.com/dami96higherorder.html
The "functional side" of the language is pretty much finished so what's left is the "datatype side".
With Object-Oriented languages such as C++ and Java you can use diagram languages such as UML to model the data. I was wondering if there exists diagrammatic languages for modelling Haskell datatypes?
It would be great if someone can point me to some research papers.
Thanks,
Bas van Dijk. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell