September 29/30, Leipzig, Germany
abstract submission: by July 12
bringing together functional programming developers, researchers,
enthusiasts and beginners to listen to talks,
take part in tutorials, and join in interesting conversations;
continuing the tradition of “Haskell in Leipzig” (started in 2006)
Topics:
in general: functional programming in applications, teaching, research.
in particular: we welcome contributions in these areas
expressive types
interactive programming and proving
functional programming for music and arts
a contribution can be: a talk (30 min), a tutorial (90 min), a performance.
Program Committee (under construction)
Joachim Breitner, Lean FRO
Andres Löh, Well Typed
Henning Thielemann
Johannes Waldmann, HTWK Leipzig
NB: in order to add some actual Haskell content, here’s a puzzle:
explain the difference in numbers of test cases:
ghci> import Test.LeanCheck
ghci> check $ \ x y → x || y == y || x
+++ OK, passed 2 tests (exhausted).
ghci> check $ \ x y → (x || y) == (y || x)
+++ OK, passed 4 tests (exhausted).
you’re welcome to bring puzzles to the workshop as well!