Dive into a comprehensive lecture series on functional programming using F# from the University of Tromsø's Department of Computer Science. Explore the historical perspective, complexity, and core concepts of functional programming. Learn about functions, lambda expressions, types, and type systems in F#. Master algebraic data types, pattern matching, active patterns, and recursion. Discover collection types, mutable state, and exceptions. Delve into object-oriented programming concepts within F#, including classes, inheritance, interfaces, and objects. Examine advanced topics such as functors, applicative functors, monads, computation expressions, monoids, and traversables. Investigate practical applications with the Reader monad, Continuation-Passing Style, asynchronous computations, and the actor model. Develop web applications using F# with Fable, Feliz, and Giraffe. Explore database integration, REST APIs, testing methodologies, and DevOps practices with F# and GitHub Actions.
Overview
Syllabus
01 INF-3910-5: Introuction
02 INF-3910-5: Historical perspective
03 INF-3910-5: Complexity
04 The Looking glass
05 INF-3910-5: On functions
06 INF-3910-5: Functions in F#
07 INF-3910-5: Lambda functions
08 INF-3910-5: Types and type systems
09 INF-3910: Data types in F#
10 INF-3910-5: Algebraic data types
11 INF-3910-5: Pattern matching
12 INF-3910-5: Active patterns
13 INF-3910-5: Recursion and recursive data types
14 INF-3910-5: Collection types and implicit recursion
15 INF-3910-5: Mutable state and exceptions
16 INF-3910-5: Tidbits and goodies
17 INF-3910-5: OOP - Classes and inheritance
18 INF-3910-5: OOP - Interfaces and objects
19 INF-3910-5: Intermission with a rant
20 INF-3910-5: Composition
21 INF-3910-5: Functors
22 INF-3910-5: Functors categorically
23 INF-3910-5: Applicative functors
24 INF-3910-5: Monads
25 INF-3910-5: Computation Expressions
26 INF-3910-5: Monoids
27 INF-3910-5: Monoid homomorphisms
28 INF-3910-5: Traversable
29 INF-3910-5: The Reader monad
30 INF-3910-5: Continuation-Passing Style part 1
31 INF-3910-5: Continuation-Passing Style part 2
32 INF-3910-5: Asynchronous computations
33 INF-3910-5: F# MailboxProcessor and the actor model
34 INF-3910-5: Model-View-Update
35 INF-3910-5: Web programming with F# Fable and Feliz
36 INF-3910-5: Web servers and F# Giraffe
37 INF-3910-5: Databases and the REST
38 INF-3910-5: Testing in F#
39 INF-3910-5: DevOps and CI/CD with F# and GitHub Actions
Taught by
Jonas Juselius
