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.
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
Thanks! I can definetly use this. BTW It think you meant Daniel rather than David Russel :-) On Saturday 17 May 2003 21:07, Hal Daume III wrote:
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.
It think you meant Daniel rather than David Russel :-)
Oops, yes, of course. Sorry Daniel, if you're reading this :)
On Saturday 17 May 2003 21:07, Hal Daume III wrote:
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.
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
I was wondering if there exists diagrammatic languages for modelling Haskell datatypes?
The paper: "A visualisation of polymorphic type checking" Jung & Michaelson J. Functional Prog., 10(1), Jan 2000 describes a scheme for visualising Standard ML types and type-checking. The Vital system: http://www.cs.kent.ac.uk/projects/vital/ allows the values of Haskell datatypes to be graphically depicted and edited. Keith Hanna
participants (4)
-
Bas van Dijk -
fkh -
Hal Daume III -
Peter Padawitz