fr
Université étatique, Parcourir ses opportunités similaires
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.
Choisissez le pays que vous souhaitez le visiter pour étudier gratuitement, travailler ou faire du bénévolat