Logowanie

Języki

  • Polski
  • English

Wykład Jana Stolarka (Politechnika Łódzka) pt. "Różnowartościowe rodziny typów w języku Haskell"  

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.

Adres:
Instytut Informatyki
Uniwersytetu Wroclawskiego
ul. Joliot-Curie 15
50-383 Wroclaw
Sekretariat
tel.: 71 375 7800
tel.: 71 325 1271
fax: 71 375 7801
sekretariat@ii.uni.wroc.pl
Dziekanat
tel.: 71 375 7892
dziekan@ii.uni.wroc.pl
sprawy studenckie:
dziekanat@ii.uni.wroc.pl
Portiernia
tel.: 71 375 7958
Redaktor strony WWW
redaktor@ii.uni.wroc.pl
Projekt
MAKOS