Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
University of Gothenburg
Functional Programming: continuation course
This course builds upon introductory functional programming, focusing on advanced techniques for designing robust, maintainable, and efficient programs. Students will explore key abstractions like functors and monads to handle effects such as state and I/O in a purely functional manner. The curriculum also covers th…
- Högskoleutbildning
- Uppgift saknas
- 18 januari 2027
- GÖTEBORG
- Uppgift saknas
- 50 %
Översikt
This course builds upon introductory functional programming, focusing on advanced techniques for designing robust, maintainable, and efficient programs. Students will explore key abstractions like functors and monads to handle effects such as state and I/O in a purely functional manner. The curriculum also covers the design of embedded domain-specific languages (EDSLs), safe concurrency using Software Transactional Memory (STM), and parallel evaluation techniques based on algebraic properties. Significant emphasis is placed on practical skills in functional programming, focusing on property-based testing and equational reasoning to ensure correctness and performance. The course develops the ability to critically assess the trade-offs between abstraction and efficiency in program design.
Antagningspoäng
Behörighet
The student should have successfully completed: - 7\.5 credits in functional programming - 7\.5 credits in discrete mathematics - 7\.5 credits more in mathematics - 7\.5 credits more in data structures Applicants must prove knowledge of English: English 6/English level 2 or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2027-01-18
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.gu.dit148.86025.20271
- Senaste kontroll
- 2026-09-23T10:36:42.164498+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
University of Gothenburg
Anordnare för det publicerade utbildningstillfället.
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.gu.dit148.86025.20271
- Tillfällesidentitet hos källan
- e.uoh.gu.dit148.86025.20271
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- DIT148
- Ändringstid enligt källan
- 2026-09-11T07:42:37
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.