In this weeks episode we are lucky to be joined by Jimmy Burrell for a long over-due ‘geek out’.
We start off discussion around his recent functional programming exploration, and how you can take many of these principles into your day-to-day OOP language.
Following this we chat about what drew Jimmy to F#, the REPL, making illegal states unrepresentable and reasoning about immutable data-structures.
From here we highlight some of F# capabilities including, pattern matching, computational expressions, type providers, currying and concurrency paradigms.
Finally, we wrap up the show discussing our experiences learning about monads, the continuation passing style, and thinking in terms of data transformations.
Show Links
F# Software Foundation
OCaml
F# Acknowledgements - Microsoft Research
Don Syme - Researcher at Microsoft Research
The Racket Language
Scripting in F#
FAKE - F# Make - A DSL for build tasks
Designing with types: Making illegal states unrepresentable - F# for fun and profit
Immutability - F# for fun and profit
Discriminated Unions - F# for fun and profit
Suave.IO
F Sharp Programming - Computation Expressions
Continuation-passing style
Idris - A Language with Dependent Types
Type Providers
F# Data: Library for Data Access
Railway Oriented Programming - F# for fun and profit
Learning Elixir’s with - Learning Elixir
Concurrency - F# for fun and profit
Functional reactive programming - Wikipedia, the free encyclopedia
Ionide - Crossplatform F# Editor
Visual Studio Code - Code Editing. Redefined
Mobile App Development & App Creation Software - Xamarin
Scala comes to .Net
GitHub - clojure/clojure-clr
GitHub - Microsoft/dotnet
Embrace, extend and extinguish
Functional Geekery Episode 08 - Jessica Kerr
Currying