From problems to F# programs using a strong type system

Date: 2014-11-19
Begins: 15:30
Ends: 16:10
Room: Bolero 2
Level: Intermediate
Track: Functional programming
Topics: Functional programming, systematic program construction, type system, F#

In recent years functional programming languages have gained more industrial awareness and have become attractive alternatives to more main-stream programming languages and, for example, the F# programming language is a mature, open source, functional-first programming language that is now used in various application areas.

The presentation will discuss advantages of using functional programming languages and will cover fundamental principles of functional programming using F# with emphasis on systematic program construction using a strong type system. Examples will be given showing succinct F# programs, where the concepts from the examples/applications are directly traceable in the code.

The presentation is based on the book: Functional programming using F#, M.R. Hansen and H. Rischel, Cambridge 2013.