A SkillsCast for this session is not available.
Scott Wlaschin, this year's beginners track programme lead, will lead the two days with an introduction to F# and get you coding your first lines of code!
"Why is functional programming so scary?"
Yes, functors, monads etc are mysterious. But we're not going to talk about them anyway, so don’t worry. But if they were renamed, they wouldn’t be scary. Also, OO has really scary buzzwords too, with polymorphism, contravariance, SOLID, IoC, etc. etc
“hello world" in F#
Things to notice about this. E.g. no containing class. Spaces not parens. Typesafe print string, type inference, etc. [interactive: play with printf -- see type errors]
Some basic F# syntax
Indentation, let for values and functions. Use Phil’s C# light syntax as an intro [interactive: define some simple functions, get comfortable with whitespace]
10 min guide to functional programming
F# is "pipes" and "transformation" oriented. Composition as key principle. Introduce pipes.
Introduce map, filter, reduce and simple higher order functions.
Introduction to partial application in conjunction with map (aha! so this is why F# has whitespace between params rather than parens!) Function composition. Everything is an expression (omg even switches?)
[interactive: play with lists and partials]
- Write wrappers for System.String replace, startsWith, contains, split, trim - Use partial application to filter and map lists of strings - Find the longest string that contains both “h” and “e” - Split a string into words and find the most frequent word
"Refactoring to HOFs"
Examples of refactoring loops, etc to use hofs using fold, reduce [interactive: get comfortable with hofs as parameters]
"Why C# is not a reasonable language"
Why reasoning about code is important.
Show examples from C# and guess whether they will work just by looking at the code.
Compare with examples from F# .
Introduce immutability, values have to be initialized, lack of nulls, everything is an expression.
mutability as a code smell.
[interactive: get comfortable with immutability, initialization, expressions]
Pattern matching and collections
More on collection classes
Intro to pattern matching with lists, and also as a “switch” statement.
interactive: get comfortable with list vs seq vs array vs map.
interactive: write a roman numeral parser
Session 1 recap
Should be now be comfortable with
- syntax & whitespace.
- creating simple functions
- piping & composition
- partials, simple hofs.
- not getting freaked out by type errors
Most important, F# should be demystified now -- just a “normal” language, and no mention of monads anywhere. But should be a few aha moments -- e.g. partial application.
YOU MAY ALSO LIKE:
- Understanding Parser Combinators: A Deep Dive - Audience Level: Beginner (SkillsCast recorded in April 2017)
- F# eXchange 2020 (Online Conference on 21st October 2020)
- Haskell eXchange 2020 (Online Conference on 3rd - 4th November 2020)
- London Calling (Online Meetup on 24th September 2020)
- Applied Domain-Driven Design — Full-Stack Event Sourcing (SkillsCast recorded in July 2020)
- Intro to OCaml (SkillsCast recorded in June 2020)