Haskell Implemetors Meeting

Simon Peyton-Jones simonpj@microsoft.com
Mon, 5 Feb 2001 09:04:05 -0800


This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

------_=_NextPart_001_01C08F95.A536DDC1
Content-Type: text/plain;
	charset="iso-8859-1"

Gentle Haskellers,

A few weeks ago (following POPL) there was an informal meeting of some
people involved in implementing Haskell. In this message I summarise
some of the things we discussed, because I think many of them will be of
general interest.

People with actions are in CAPITALS.  Key:
        MANUEL          Manuel Chakravarty
        SIGBJORN        Sigbjorn Finne
        JOHN            John Launchbury
        ANDREW          Andrew Tolmach
        MALCOLM         Malcolm Wallace
        HENRIK          Henrik Nilsson
        OLAF            Olaf Chitil    
        SIMON M         Simon Marlow
        SIMON PJ        Simon Peyton Jones

Simon

=================================================================

Haskell Report
~~~~~~~~~~~~~~
SIMON PJ still hasn't put out the revised H98 report.  Jump to it!


Foreign Function Interface
~~~~~~~~~~~~~~~~~~~~~~~~~~
Going splendidly, but needs writing up as a proper "Blessed Addendum"
to the H98 report, so that compilers can say "I implement H98 plus
FFI".

MANUEL agreed to be Editor for the Addendum, and drive the process.

H/Direct and Green Card: SIGBJORN is going to work at Galois, and
will continue to look after and develop these tools. Indeed, he's
already started hacking on them again.  Hooray!


Haskell implementation
~~~~~~~~~~~~~~~~~~~~~~
Hugs:   OGI in maintenance mode.  There's a danger that Hugs will
        gradually die, which none of us want.  One idea: advertise
        openly for a home for Hugs.  JOHN will take this
        suggestion to OGI.

nhc:    Being actively maintained and developed at York

GHC:    4.08.2 release imminent
        Simon M and Julian gave a demo of the upcoming
        interactive GHCi demo; release expected in a
        month or two.

        We agreed that it would be a Jolly Good Thing if GHC could
        be persuaded to produce GHC-independent Core output,
        ready to feed into some other compiler.  For example,
        Karl-Filip might be able to use it. 
        ANDREW will write a specification, and implement it.

        MANUEL is writing an inside-the-monster roadmap.  He'll
        put it in fptools/ghc somewhere, so others can add to it.


Haskell Libraries
~~~~~~~~~~~~~~~~~
MALCOLM produced a proposal for a (tiny) language extension that
would give us a hierarchical name space for modules (a la Java). 
We loved it.  He will refine it into a concrete document to
circulate more widely.

We agreed (again) about the importance of libraries.  The "hslibs"
libraries are a good start.  They are *not* part of GHC, even though
they happen to live in the same CVS repository.  We agreed they
should stay there, but should have a less GHC-specific build/test
system.

We appointed a troika of Library Supremos, namely

        MALCOLM, SIMON M, ANDY

Specific tasks:
        - get closure on Malcolm's module-naming proposal
        - agree hslibs hierarchy
        - define documentation standards
        - act as gatekeepers for contributions

SIMON M will create a mailing list for library discussions.


Graphical user interfaces
~~~~~~~~~~~~~~~~~~~~~~~~~
We got a useful taxomomy:

--------------------------------------------------------
High-level      Fran/Tk         Fudgets    (Haggis)


--------------------------------------------------------
Medium-level    Clean Object I/O        School of
abstractions    [GUI]                   Expression (SOE)
                                        [Graphics]

--------------------------------------------------------
Low-level
veneers         HOpenGL     Gtk  Haskell/Tk   Win32   X
on existing     [Graphics]
libraries
--------------------------------------------------------

Low-level veneers are going well -- but they are
low level.  High-level abstractions are pretty experimental.

We need a medium-level GUI library.  Peter Achten's port
of the Clean Object I/O system looks like a great candidate.
Well documented, lots of experience in use, about the right
level.

SIMON PJ to seek agreement from Nijmegen, and then advertise
for someone to complete the port.

OLAF will articulate the above taxonomy on haskell.org


HaskellDoc
~~~~~~~~~~
We all loved Armin Groesslinger's HDoc tool.  HENRIK will get in
touch with him to invite him to collaborate on a standard tool
we can all use.  (Of course, it's up to him.)

Two specific ideas:
   Take a Haskell source file into some XML-stuff,
   which can then be rendered in various ways. 
   (Rather than going straight to HTML.)

   Use standard pragma syntax: {-# DOC ... #-}

[Post meeting note: mailing list at
          <http://www.haskell.org/mailman/listinfo/haskelldoc>
http://www.haskell.org/mailman/listinfo/haskelldoc
]

Debugging
~~~~~~~~~
Hat (York): Expect a release in the Spring.
            In the summer they hope for a first cut at at
            an implementation-portable version

Hood:       ANDY plans to release his graphical version


IDE
~~~
Galois are interested in working on Haskell-in-Visual-Studio.


Haskell.org
~~~~~~~~~~~
Idea: have a "job adverts" page on haskell.org, for tasks
that need doing.  For example:

        * Integrate Haskell with "Source Navigator"
        * Offer libraries
        * Complete Clean I/O port
        * Contribute nofib programs
        * Contribute validation programs

Action OLAF. 


------_=_NextPart_001_01C08F95.A536DDC1
Content-Type: text/html;
	charset="iso-8859-1"

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE></TITLE>

<META content="MSHTML 5.00.3103.1000" name=GENERATOR></HEAD>
<BODY>
<P><FONT size=2><FONT face="Courier New">Gentle Haskellers,<BR><BR>A few weeks 
ago (following POPL) there was an informal meeting of some<BR>people involved in 
implementing Haskell.&nbsp;In this message I summarise<BR>some of the things we 
discussed, because I think many of them </FONT></FONT><FONT size=2><FONT 
face="Courier New">will be of general interest.</FONT></FONT><FONT size=2><FONT 
face="Courier New"><BR><BR>People with actions are in CAPITALS.&nbsp; 
Key:<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; MANUEL&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Manuel 
Chakravarty<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
SIGBJORN&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Sigbjorn 
Finne<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; JOHN&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; John 
Launchbury<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ANDREW&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Andrew 
Tolmach<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; MALCOLM 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Malcolm 
Wallace<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; HENRIK&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Henrik 
Nilsson<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; OLAF&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Olaf 
Chitil&nbsp;&nbsp;&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
SIMON M &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Simon 
Marlow<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; SIMON 
PJ&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Simon Peyton 
Jones<BR><BR>Simon<BR><BR>=================================================================<BR><BR>Haskell 
Report<BR>~~~~~~~~~~~~~~<BR>SIMON PJ still hasn't put out the revised H98 
report.&nbsp; Jump to it!<BR><BR><BR>Foreign Function 
Interface<BR>~~~~~~~~~~~~~~~~~~~~~~~~~~<BR>Going splendidly, but needs writing 
up as a proper "Blessed Addendum"<BR>to the H98 report, so that compilers can 
say "I implement H98 plus<BR>FFI".<BR><BR>MANUEL agreed to be Editor for the 
Addendum, and drive the process.<BR><BR>H/Direct and Green Card: SIGBJORN is 
going to work at Galois, and<BR>will continue to look after and develop these 
tools. Indeed, he's<BR>already started hacking on them again.&nbsp; 
Hooray!<BR><BR><BR>Haskell 
implementation<BR>~~~~~~~~~~~~~~~~~~~~~~<BR>Hugs:&nbsp;&nbsp; OGI in maintenance 
mode.&nbsp; There's a danger that Hugs 
will<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; gradually die, which none of 
us want.&nbsp; One idea: advertise<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
openly for a home for Hugs.&nbsp; JOHN will take 
this<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; suggestion to 
OGI.<BR><BR>nhc:&nbsp;&nbsp;&nbsp; Being actively maintained and developed at 
York<BR><BR>GHC:&nbsp;&nbsp;&nbsp; 4.08.2 release 
imminent<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Simon M and Julian gave a 
demo of the upcoming<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; interactive 
GHCi demo; release expected in a<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
month or two.<BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; We agreed that 
it would be a Jolly Good Thing if GHC 
could<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; be persuaded to produce 
GHC-independent Core output,<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ready 
to feed into some other compiler.&nbsp; For 
example,<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Karl-Filip might be able 
to use it.&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ANDREW will write 
a specification, and implement 
it.<BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; MANUEL is writing an 
inside-the-monster roadmap.&nbsp; 
He'll<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; put it in fptools/ghc 
somewhere, so others can add to it.<BR><BR><BR>Haskell 
Libraries<BR>~~~~~~~~~~~~~~~~~<BR>MALCOLM produced a proposal for a (tiny) 
language extension that<BR>would give us a hierarchical name space for modules 
(a la Java).&nbsp;<BR>We loved it.&nbsp; He will refine it into a concrete 
document to<BR>circulate more widely.<BR><BR>We agreed (again) about the 
importance of libraries.&nbsp; The "hslibs"<BR>libraries are a good start.&nbsp; 
They are *not* part of GHC, even though<BR>they happen to live in the same CVS 
repository.&nbsp; We agreed they<BR>should stay there, but should have a less 
GHC-specific build/test<BR>system.<BR><BR>We appointed a troika of Library 
Supremos, namely<BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; MALCOLM, 
SIMON M, ANDY<BR><BR>Specific 
tasks:<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; - get closure on Malcolm's 
module-naming proposal<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; - agree 
hslibs hierarchy<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; - define 
documentation standards<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; - act as 
gatekeepers for contributions<BR><BR>SIMON M will create a mailing list for 
library discussions.<BR><BR><BR>Graphical user 
interfaces<BR>~~~~~~~~~~~~~~~~~~~~~~~~~<BR>We got a useful 
taxomomy:<BR><BR>--------------------------------------------------------<BR>High-level&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Fran/Tk &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Fudgets&nbsp;&nbsp;&nbsp; 
(Haggis)<BR><BR><BR>--------------------------------------------------------<BR>Medium-level 
&nbsp;&nbsp; Clean Object I/O&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; School 
of<BR>abstractions&nbsp;&nbsp;&nbsp; [GUI]&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Expression 
(SOE)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[Graphics]<BR><BR>--------------------------------------------------------<BR>Low-level<BR>veneers 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; HOpenGL&nbsp;&nbsp;&nbsp;&nbsp; 
Gtk&nbsp; Haskell/Tk&nbsp;&nbsp; Win32&nbsp;&nbsp; X<BR>on existing 
&nbsp;&nbsp;&nbsp; 
[Graphics]<BR>libraries<BR>--------------------------------------------------------<BR><BR>Low-level 
veneers are going well -- but they are<BR>low level.&nbsp; High-level 
abstractions are pretty experimental.<BR><BR>We need a medium-level GUI 
library.&nbsp; Peter Achten's port<BR>of the Clean Object I/O system looks like 
a great candidate.<BR>Well documented, lots of experience in use, about the 
right<BR>level.<BR><BR>SIMON PJ to seek agreement from Nijmegen, and then 
advertise<BR>for someone to complete the port.<BR><BR>OLAF will articulate the 
above taxonomy on haskell.org<BR><BR><BR>HaskellDoc<BR>~~~~~~~~~~<BR>We all 
loved Armin Groesslinger's HDoc tool.&nbsp; HENRIK will get in<BR>touch with him 
to invite him to collaborate on a standard tool<BR>we can all use.&nbsp; (Of 
course, it's up to him.)<BR><BR>Two specific ideas:<BR>&nbsp;&nbsp; Take a 
Haskell source file into some XML-stuff,<BR>&nbsp;&nbsp; which can then be 
rendered in various ways.&nbsp;<BR>&nbsp;&nbsp; (Rather than going straight to 
HTML.)<BR><BR>&nbsp;&nbsp; Use standard pragma syntax: {-# DOC ... 
#-}<BR><BR>[Post meeting note: mailing list 
at<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </FONT><A 
href="http://www.haskell.org/mailman/listinfo/haskelldoc" target=_blank><FONT 
face="Courier New">http://www.haskell.org/mailman/listinfo/haskelldoc</FONT></A><BR><FONT 
face="Courier New">]<BR><BR>Debugging<BR>~~~~~~~~~<BR>Hat (York): Expect a 
release in the Spring.<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp; In the summer they hope for a first cut at 
at<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; an 
implementation-portable version<BR><BR>Hood:&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; ANDY 
plans to release his graphical version<BR><BR><BR>IDE<BR>~~~<BR>Galois are 
interested in working on 
Haskell-in-Visual-Studio.<BR><BR><BR>Haskell.org<BR>~~~~~~~~~~~<BR>Idea: have a 
"job adverts" page on haskell.org, for tasks<BR>that need doing.&nbsp; For 
example:<BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Integrate Haskell 
with "Source Navigator"<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Offer 
libraries<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Complete Clean I/O 
port<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Contribute nofib 
programs<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Contribute validation 
programs<BR><BR>Action OLAF.</FONT></FONT><FONT face="Courier New"> 
</FONT></P></BODY></HTML>

------_=_NextPart_001_01C08F95.A536DDC1--