Hal6 - Programm

Navigation: Hal6-Startseite

9:00-9:30

Anmeldung, GHC/Leksah/Threadscope-Installationshilfe (für mitgebrachte Notebooks, bei Bedarf)

Tutorien 1 + 2 (gleichzeitig)

9:30-11:00

Alexander Bau, Nils Rexin, Marcellus Siegburg (HTWK Leipzig): Haskell für Einsteiger (Algebraische Datentypen, Pattern Matching, Funktionen höherer Ordnung, Folds) (mit autotool-Aufgaben, Beispiel)

Wir benötigen lediglich ghc (>= 7) und einen Text-Editor. (Wer mehr Komfort möchte, kann Leksah oder EclipseFP benutzen, das ist aber nicht Schwerpunkt des Tutoriums.) 

(Folien und Beispielprogramme)

9:30-11:00

Alf Richter (iba Consulting GmbH & Co. KG, Leipzig): Scala für Einsteiger

Wir benutzen Intellij 10.5.2 als IDE (download , Hinweise, Hinweise) und sbt 0.10 als Build-System (setup). Andere IDEs: (link)  

Scala Live Coding - Transkript inkl. Code-Beispielen

11:00-11:30

Kaffepause (Cafeteria)

Tutorium 3

11:30-13:00

Andres Löh (Well-Typed LLP): Deterministische Parallele Programmierung in Haskell

Für das Tutorium sind eine Installation von GHC >= 7.0.2 und des Paketes parallel >= 3 nötig. Eine funktionierende Version von cabal-install ist ebenfalls nützlich. All dies kann zum Beispiel durch Installation der neuesten Haskell-Platform 2011.2.0.1 erreicht werden.

Sehr hilfreich, aber nicht zwingend nötig, ist die Installation des Tools ThreadScope 

Folien und Beispiel-Code

 

13:00-14:00

Mittagspause (Mensa)

Session 1

14:00-15:00

Kevin Hammond (St. Andrews): ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Techniques

(Vortrag in englischer Sprache)

Folien

 

 

15:00-15:30

Kaffeepause

Session 2

15:30-16:15

Peter Padawitz (TU Dortmund): Expander2, a Haskell-based prover and rewriter (Folien)

16:15-17:00

Petra Hofstedt, Wolfgang Jeltsch, Thomas König, Guangyun Xu (BTU Cottbus): Monadische Constraint-Programmierung

17:00-17:30

Kaffeepause

Session 3

17:30-18:00

Stefan Wehr, David Leuschner, Dirk Spöri, Johannes Weiß (factis research): Kommerzielle Softwareentwicklung mit Haskell (Erfahrungsbericht) (Folien) 

18:00-18:30

Heinrich Hördegen: Kein Haskell in der Praxis? (Folien)

 

19:00-...

gemeinsames Abendessen in einem Restaurant in der Nähe

Navigation: Hal6-Startseite