Summary, 1. Haskell in Leipzig, Tuesday, [05 Dec 2006]

More than 25 Haskellers from all over Germany (Dresden, Göttingen, Potsdam, Karlsruhe, Halle, Leipzig, ...) gathered in Leipzig for the first "HaL - Haskell in Leipzig" meeting. The range of different backgrounds was broad and spanned both the academic (students and professors) and the business (developers, consultants and managers) worlds, encompassing seasoned Haskell programmers as well as beginners.

There were five talks and two discussion sessions, and a 'functional breakfast' on Wednesday morning.

One of the discussion sessions had IDE support (in particular, in Eclipse, see below) as its topic, the other focused on the possibilities for promoting Haskell in the software industry. The talk topics ranged from the use of Haskell in web technology and in climate research to specifics of programming (MonadFix, coding guidelines). A very Haskell-like language (CAL Quark) that offers access to Java libraries and can be compiled to JVM bytecode was introduced.

Apart from the 'official' tracks, there was a lively exchange about programming, applications and experiences going on at the buffet.

A second "Haskell in Leipzig" meeting is planned for early spring 2007.

Presentation/Links (most in german)

• Haskell im PIK
• MonadFix
• Haskell with Style
• CAL Quark - Haskell meets Java
• H. Thielemanns parallelnetz.de

Eclipse and Haskell

Eclipse provides a lot of language-neutral infrastructure that is independent of the Java support:

• Editor (syntax highlighting, quick fixes, code assist, templates, ...)
• Project model (workspace, resources)
• Team support (Subversion, CVS, Darcs, ...)
• Diff (file compare), source outline, preferences
• Complex UI components (perspectives, views, help system, progress feedback, ...)
• Powerful plugin model (extension points, version management for plugins, ...)

The central question therefore is how to integrate the Haskell compiler (GHC API) and the IDE. The Visual Haskell project had to deal with a similar problem, so there might be a few things to be learned from its approach. (Actual re-use of parts of Visual Haskell would be an option only on Windows systems.) For refactoring in particular, an integration with HaRe would be desirable.

HaL1 -- erstes Haskell in Leipzig Treffen

Was?

Ein informelles Treffen für Anwender und Interessenten der funktionalen Programmierung, insbesondereHaskell.

Wann?

Dienstag, 5. Dezember 2006, 19:00 Uhr bis 23:30 Uhr.

Wo?

iba Consulting Gesellschaft, Leipzig, Erich-Zeigner-Allee 22. link

Programm

Geplant sind Kurzvorträge (10 .. höchstens 15 Minuten) zu

Anwendungen

• H. Thielemann: Das sächsische Parallelnetz (Web-Server, HTML)
• Potsdam Institut für Klimafolgenforschung: Formalisierung von "Vulnerabilität im Bezug zu Klimawandel" und die Entwicklung von Komponenten fürparallele Gitter-basierte Rechnungen. Haskell als Formalisierungssprache.
• H. G. Zirnstein:DSELs MonadFix oder der Unterschied zwischen Konstruktion und Wert, frisby (packrat parser combinators) und linksrekursive Grammatiken, Hardware DSEL Lava.

Methodik, Stil & Werkzeuge

• A. Richter: Open (?) CAL Quark neue Sprache, Haskell ähnlich (98%) & mit voller Java Integration. link
• J. Waldmann: Bemerkungen zu Haskell-Style
  Welche Datentypen sollte man nehmen, welches Layout usw.

Diskussion

• "I want a (free) Haskell IDE with..." , refactoring, debugging, ... using the GHC-API and Eclipse.
  Moderation: L. Frenzel (Initiator von eclipse fp undeclipse darcs)

Organisation

J. Waldmann, HTWK und A. Richter, iba CG

Kontakt

Bitte durch Email an "haskell (at) iba-cg.de" anmelden.

Wie weiter?

Das sehen wir dann. Bei genügend Interesse gibt es eine Fortsetzung.