Advanced functional programming

Website:website containing additional information
Course code:INFOAFP
Credits:7.5 ECTS (=5.25 old credit points)
Period:periode 1 (week 36 t/m 46, dwz 1-9-2003 t/m 14-11-2003; herkansing week 52)
Participants:up till now 14 subscriptions
Schedule:Dit is een oud rooster!
formgrouptimeweekroomteacher
college   di 11-1336-45 BBL-505 Doaitse Swierstra
  
do 13-1536-45 BBL-505
werkcollege   di 09-1137-45 BBL-505
Contents:In the bachelor courses Functional Programming and Grammars and Parsing a basic knowledge of functional programming techniques has been introduced. This course provides a follow up, and aims at showing specific functional programing techniques, patterns, libraries and tools. Many of the reserarch projects inside the department make use of functional programming , and this course aims at making you a proficient user of all the available programming environment.
  • Tools
    • Glasgow Haskell Compiler, and Haskell extensions
    • HAT tracer
    • Haddock documentation generation
    • Heap profiling
  • Combinator Libraries
    • Parsing libraries and grammar analysis
    • Pretty Printing
    • Data Base access (Haskell DB)
    • Animations
  • Patterns
    • Monadic programming
    • Arrows
    • Aspect oriented programming
    • Multiparameter Type Classes
  • Specials
    • Monadic IO
    • Interfacinmg to the outside world
    • wxHaskell
    • Making your programs faster
This course in not intended for students who have followed IST: Introduction to Software Technology in 2002/2003.
Literature:To be provided. but all available through the internet and electronic libraries. See web page for further details.
Course form:The course will tbe given in the form of a seminar in which we jointly study papers in the area of functional programming. Everyone will present a couple of conference or journal papers or papers closely related to research being done in the department. Each presenter will prepare some exercises for fellow students, and mark them afterwards.
Depending on the number of participants we will decide on the final form of the presentations. An initial round of topics will be assigned at the first meeting. Currently we aim at a form in which each person gives a presentation twice.
If the number of participants becomes too large we will switch to a more conventional form of lecturing.
Minimum effort to qualify for 2nd chance exam:Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan.
wijzigen?