Functional Programming in F#

Introduction to functional programming (FP) in general, viewed from a .NET developer's standpoint. In this talk, we'll take a look at FP basics, how they are implemented in .NET's own functional language (F#) and compare the concepts to traditional OO (C#) code.

We'll also take a look at some really cool use cases (hint: type providers, property-based testing, the m-word,...).

Transcript

1. ae nv/sa Interleuvenlaan 27b, B3001 - Heverlee T +32 16 39 30 60 F +32 16 39 30 70 www.ae.be FUN-CTIONAL PROGRAMMING IN F#
3. DEFINITION In computer science, functional programming is a programming paradigm —a style of building the structure and elements of computer programs— that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data. It is a declarative programming paradigm, which means programming is done with expressions or declarations instead of statements. In functional code, the output value of a function depends only on the arguments that are input to the function, so calling a function f twice with the same value for an argument x will produce the same result f(x) each time. Eliminating side effects, i.e. changes in state that do not depend on the function inputs, can make it much easier to understand and predict the behavior of a program, which is one of the key motivations for the development of functional programming. -Wikipedia
4. WHY FUNCTIONAL?
5. WHY FUNCTIONAL?
6. WHY FUNCTIONAL?
7. WHY FUNCTIONAL?
8. C# VNEXT • Tuple value types • Multi-value returns • Pattern matching • Destructuring • Local functions • …
9. C# VNEXT • Tuple value types • Multi-value returns • Pattern matching • Destructuring • Local functions • …
10. REPL
11. PURE
12. PURE
13. PURE
14. PURE
15. PURE
16. (IM)PURE
17. (IM)PURE
18. (IM)PURE
19. FUNCTIONS
20. FUNCTIONS
21. FUNCTIONS
22. FUNCTIONS
23. FUNCTIONS
24. FUNCTIONS – PARTIAL APPLICATION
25. FUNCTIONS – RECURSION
26. FP <3 LISTS
27. DECLARATIVE https://fsharpforfunandprofit.com/posts/function-composition/
28. IMMUTABLE DATA
29. IMMUTABLE DATA
30. IMMUTABLE DATA
31. IMMUTABLE DATA
32. IMMUTABLE DATA
33. IMMUTABLE DATA
34. IMMUTABLE DATA
35. TYPES TYPES TYPES
37. TYPES http://blog.ploeh.dk/2016/02/10/types-properties-software/
38. TYPE INFERENCE
39. TYPE INFERENCE
40. RECORD TYPES
41. RECORD TYPES
42. DISCRIMINATED UNION TYPES
43. PATTERN MATCHING & DESTRUCTURING
44. PATTERN MATCHING & DESTRUCTURING
45. PATTERN MATCHING & DESTRUCTURING
46. PATTERN MATCHING & UNION TYPES
47. PATTERN MATCHING & DESTRUCTURING
48. MONADS
49. MONADS
50. MONADS
51. MONADS. MAYBE?
52. MONADS. MAYBE?
53. MONADS. MAYBE?
54. MONADS. MAYBE?
55. MONADS. MAYBE?
56. MONADS. LOGGING
57. MONADS. LOGGING
58. MONADS. LOGGING
59. MONADS. REALLY.
61. TYPE PROVIDERS
62. TESTING https://github.com/SwensenSoftware/unquote
63. TESTING – PROPERTY-BASED TESTING https://app.pluralsight.com/library/courses/fsharp-property-based-testing-introduction https://github.com/fscheck/FsCheck
64. TESTING – PROPERTY-BASED TESTING https://fsharpforfunandprofit.com/posts/property-based-testing/
65. ENTERPRISE F# http://fsharp.org/guides/enterprise/
66. ENTERPRISE F#: REST API https://app.pluralsight.com/library/courses/functional-architecture-fsharp
67. ENTERPRISE F#: REST API “Asking a question should not change the answer”
68. ENTERPRISE F#: REST API
69. ENTERPRISE F#: THE BIG BUT
70. FP & OO
71. FP & OO
72. FP & OO
73. FP & OO
74. FP & OO
75. FP & OO
76. FP & OO
77. FP VS OO (?)
78. WHY F#? https://fsharpforfunandprofit.com/why-use-fsharp/
80. LOOKING FOR MORE?
81. LOOKING FOR MORE?