Université d'été - Programmation fonctionnelle avancée, 26-30 août 2019, Université d'Utrecht, Pays-Bas

Date limite : 01 août 2019

Université étatique: Université d'Utrecht

Toutes spécialités

Niveau d'études: Troisième cycle

Consultée 1676 fois

Université d'été - Programmation fonctionnelle avancée, 26-30 août 2019, Université d'Utrecht, Pays-Bas

Programmation fonctionnelle avancée


Les langages de programmation fonctionnels typés permettent le développement rapide de programmes robustes. Ce cours explore certaines des fonctionnalités langagières les plus avancées de Haskell, un langage de programmation fonctionnel de pointe, ainsi que certains de ses antécédents théoriques. Le cours vise à enseigner non seulement certaines des caractéristiques les plus récentes de Haskell, telles que les GADT ou les familles de types, mais également la théorie sous-jacente. En plus des conférences, de nombreuses séances de laboratoire supervisées vous aideront à comprendre le matériel couvert en classe.

Nous nous attendons à ce que les élèves connaissent déjà Haskell. Vous devriez pouvoir écrire des fonctions récursives sur des types de données algébriques, tels que des listes et des arbres. Il existe une grande quantité de matériel en ligne disponible gratuitement qui couvre ce matériel.

À partir de ces bases, nous visons à couvrir plusieurs sujets plus avancés, notamment les monades, les foncteurs applicatifs, les GADT, le calcul lambda (typé) et la programmation générique. Chaque jour, nous visons à couvrir une variété de sujets dans les conférences, en mélangeant à la fois des conseils de programmation pratiques et des bases théoriques. Les séances de laboratoire quotidiennes supervisées offrent aux étudiants la possibilité de s'exercer au matériel et de discuter de leurs problèmes avec nos experts Haskell.

Directeur de cours


Dr. Wouter Swierstra

Frais


Frais de cours

1500,00 €

Frais de logement

200,00 €

Logement à l'université d'été d'Utrecht

Nous offrons un rabais de 1000 euros aux étudiants et membres du personnel de toutes les universités, à condition qu'ils puissent fournir une preuve allégée de leur affiliation.

Bourses d'études


Nous essayons activement de maintenir l’école accessible aux minorités sous-représentées. Si vous avez besoin d’une aide financière supplémentaire pour appuyer votre candidature, veuillez contacter directement les organisateurs.

Application


Veuillez nous indiquer si vous souhaitez demander une réduction supplémentaire pour les étudiants et les conférenciers associés à une université. Pour bénéficier de cette réduction, nous vous demandons de fournir une preuve allégée - telle que l’écriture d’une adresse e-mail d’une université - afin de prouver votre affiliation.

N'oubliez pas de mentionner mina7 lors de votre candidature.

Région: En ligne

Partagez avec plaisir

Choisissez votre destination d'études


Choisissez le pays que vous souhaitez le visiter pour étudier gratuitement, travailler ou faire du bénévolat

Pas encore membre ? S'enregistrer