Functioneel Programmeren

Functioneel Programmeren is een vak dat gegeven wordt op de Universiteit Twente. Het wordt gegeven in het 4e kwartiel door Jan Kuper van HMI groep van de faculteit EWI en er staat 5 ECTS voor. Het vak is bedoeld voor alle opleidingen met een technische kern

Omschrijving

In een functionele programmeertaal kunnen algoritmes gespecificeerd worden door middel van vergelijkingen, zoals je een wiskundige functie definieert: f (x) = · · · (vandaar het woord functioneel). In dergelijke definities kunnen andere zelf gedefinieerde functies worden gebruikt, programma's in een functionele taal zijn modulair opgebouwd. Een functionele taal kent geen assignment statement, de basisvorm van herhaling is recursie. Alles wat in een imperatieve of object-georiënteerde programmeertaal kan worden geprogrammeerd, kan ook in een functionele taal worden geprogrammeerd. In een functionele taal komt de essentie van een programma direct naar voren, waardoor programma's kort kunnen zijn, de programmeur hoeft zich niet tot nauwelijks te bekommeren om de volgorde waarin een programma wordt geëvalueerd, functionele programma's zijn toegankelijk voor correctheidsbewijzen. Enkele begrippen die verder aan de orde komen: lazy evaluation, lijstcomprehensie, hogere orde functies, recursieve types (boomstructuren).

Deelnemende Opleidingen

• Telematica (TEL)
• Bedrijfsinformatietechnologie (BIT)
• Werktuigbouwkunde (WB)
• Technische Wiskunde (TW)
• Technische Informatica (INF)
• Elektrotechniek (EL)

Externe Links

Vist 2008