Statische Typsysteme in funktionalen Sprachen

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

Statische Typsysteme in funktionalen Sprachen richtet sich an Fortgeschrittene und wird in Deutsch gehalten. Der Talk beginnt am 27.03.2014 um 11:05 Uhr und dauert 40 Minuten. Er findet im Bühne statt.

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

Teilnahmeinteresse: