Diagrammatic representation of Haskell datatypes

Mon, 19 May 2003 14:40:13 +0200

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
  <title></title>
</head>
<body>
Bas van Dijk wrote:<br>
<blockquote type="cite" cite="mid200305172101.06035.basvandijk@home.nl">
  <pre wrap="">Hi,

I'm desining a visual programming language (just for fun...).
The language is pretty much based on "Visual Haskell":
<a class="moz-txt-link-freetext" href="http://ptolemy.eecs.berkeley.edu/~johnr/papers/visual.html">http://ptolemy.eecs.berkeley.edu/~johnr/papers/visual.html</a>

But it uses another approach to model higher-order functions:
<a class="moz-txt-link-freetext" href="http://citeseer.nj.nec.com/dami96higherorder.html">http://citeseer.nj.nec.com/dami96higherorder.html</a>

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.</pre>
</blockquote>
The results of Haskell functions built into <a
 href="http://ls5-www.cs.uni-dortmund.de/%7Epeter/Expander2/Expander2.html">Expander2</a>'s
simplifier are displayed by the same system's painter.<br>
The picture generation is based on 2-dimensional turtle systems.<br>
<br>
Peter<br>
<br>
</body>
</html>