Detaljer för kursplan för kurs EDAN40F giltig från och med Spring 2017 Utskriftsvänlig visning Kurskod:EDAN40F Gäller från och med:Spring 2017 Kursplanen är fastställd Allmänt Undervisningsspråk:Swedish Ges:Varje vårtermin Kurshemsida:http://cs.lth.se/edan40-functional-programming/ Syfte The course gives an insight into how the functional programming often offers a possibility to write shorter and easier-to-understand programs than using the traditional imperative or object-oriented approaches. Innehåll The philosophy of functional languages. The programming language Haskell. Language constructs and idioms. Higher-order functions. Lazy evaluation and infinite data structures. Monads and monadic computations. Polymorphic type systems and type classes. Type analysis and type inference Kunskap och förståelse För godkänd kurs skall doktoranden have a good understanding of the fundamental principles for functional programming understand the practical consequences of the differences in this paradigm relative to traditional programming know the common idioms of functional programming understand the benefits and the function of an advanced type system Färdighet och förmåga För godkänd kurs skall doktoranden be a fluent reader of program written in Haskell be able to utilize the possibilities of the functional paradigm to write Haskell programs in good style be able to do type analysis of relatively complex expressions in Haskell Värderingsförmåga och förhållningssätt För godkänd kurs skall doktoranden have learnt to appreciate the role of program code as a communication medium between people Undervisningsformer Föreläsningar Laborationer Examinationsformer Skriftlig tentamen Betygsskala:Underkänd, godkänd Förkunskapskrav Förutsatta förkunskaper EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course Urvalskriterier Litteratur Litteratur: Kommentarer:Simon Thompson: Haskell, The Craft of Functional Programming. Addison Wesley, 2011, ISBN: 978-0-201-88295-7. 3rd edition. Recommended reference. Graham Hutton: Programming in Haskell. Cambridge University Press, 2007, ISBN: 978-0-521-69269-4. Recommended reference. Bryan O'Sullivan, John Goerzen and Don Stewart: Real World Haskell. O'Reilly, 2008, ISBN: 978-0-596-51498-3. Recommended reference. Övrig information Kurskod Kurskod:EDAN40F Administrativ information Datum för fastställande: -03-22 Beslutad av:Professor Thomas Johansson Alla publicerade kurstillfällen för kursplanen Inga matchande kurstillfällen hittades. 0 kurstillfällen. Utskriftsvänlig visning