SluitenHelpPrint
Switch to English
Cursus: INFOAFP
INFOAFP
Advanced functional programming
Cursus informatieRooster
CursuscodeINFOAFP
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Betawetenschappen; Graduate School of Natural Sciences;
Contactpersoondr. A. Dijkstra
Telefoon+31 30 2534118
E-mailA.Dijkstra@uu.nl
Docenten
Docent
dr. A. Dijkstra
Overige cursussen docent
Blok
1  (01-09-2014 t/m 07-11-2014)
Aanvangsblok
1
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 02-06-2014 t/m 07-09-2014
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
This course builds upon knowledge gained in the introductory courses on functional programming and languages and compilers. Using Haskell as our language of choice, we will look at several advanced functional programming techniques, patterns, libraries and tools. Many of the research projects inside the department make use of functional programming, and one goal of this course is to equip you with sufficient knowledge in order to participate in such projects.
Inhoud
Here are a few topics that the course will most likely cover:
  • Development
    • Tools
    • Testing
    • Debugging
    • Profiling
  • Libraries
    • Data Structures
    • Interfacing to other programming languages
    • Monads, monad transformers, arrows and applicative functors
    • Embedded domain-specific languages
  • Language features and extensions
    • Multi-parameter type classes and functional dependencies
    • Type families
    • Kinds
    • Generalized Algebraic Data Types (GADTs)
    • Existential types
    • Higher-rank polymorphism
Typically we will read some papers from the recent literature and a number of classical papers.

 
Ingangseisen
Je moet een geldige toelatingsbeschikking hebben
Verplicht materiaal
-
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Practicum (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

Beoordeling
Your final mark for this course will consist of:
marks for the assignments (25%)
mini-talk (25%)
overall score for the large programming task (25%)
written examination (25%)

SluitenHelpPrint
Switch to English