German Perl Workshop 2014

Statische Typsysteme in funktionalen Sprachen

by Jürgen Peters (‎tauli‎) (Bielefeld.pm)

Statische Typsysteme in funktionalen Sprachen aimed at Fortgeschrittene and is held in Deutsch. This talk starts on 2014-03-27 at 11:05 for 40 minutes. It takes place at the Stage.

Als Blick über den Tellerrand möchte ich ein modernes, statisches, funktionales Typsystem am Beispiel der Sprache Haskell vorstellen. Vor allem will ich Unterschiede, Vorteile und Nachteile aus Sicht des Perl-Programmierers heraus stellen.

Als kleinen Leckerbissen möchte ich dann noch einen kurzen Ausblick auf die Weiterentwicklung "Dependent Types" am Beispiel der Sprache Idris geben.

Tags: Tags: funktional haskell idris static typing

Interest in attending:

• Tobias Leich (‎froggs‎)
• Martin Becker (‎martin‎)
• Ulrich Reining (‎spuelrich‎)
• Wolfgang Kinkeldei
• Marco Schumann
• Alexander Becker
• Sören Laird Sörries
• Aristotle
• Patrick Grämer
• Ralf Peine (‎jpr65‎)
• Rolf Hemmerling (‎hemmerling‎)
• Felix Hagemann
• Jean
• Dominic Sonntag