Menu

Jan. 29, 2016, 12:15 p.m.

W piątek 29 stycznia br. o godz. 12:15 w sali 119 odbędzie się wykład Jana Stolarka z Politechniki Łódzkiej, pt. "Różnowartościowe rodziny typów w języku Haskell" na temat nowego rozszerzenia GHC, powszechnie używanego kompilatora języka Haskell, opracowanego przez naszego gościa wspólnie z twórcą GHC — Simonem Peytonem Jonesem.

Streszczenie:

Język Haskell w wersji implementowanej przez kompilator GHC posiada liczne
rozszerzenia wspierające programowanie na poziomie typów. Najpopularniejszym z
nich jest rozszerzenie TypeFamilies, umożliwiające programiście definiowanie
funkcji operujących na typach w trakcie kompilacji programu. Rodziny typów
pozwalają na precyzyjniejszy opis zachowania algorytmów, ale w
pewnych sytuacjach mogą ograniczać zdolność kompilatora do wnioskowania o
typach. W moim wystąpieniu nakreślę podstawowe koncepcje związane z rodzinami
typów i wyjasnię w jaki sposób rodziny typów mogą wpłynąć negatywnie na proces
sprawdzania typów. Następnie przedstawię różnowartościowe rodziny typów:
modyfikację kompilatora GHC która rozwiązuje przedstawiony
problem.