SkillsCast
Type-Driven Development
1
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
The F# type system is both stronger and more flexible than the type system in e.g. C#. You can use this to your advantage to rapidly evolve a prototype. In this talk you'll see an example of how to evolve a Finite State Machine that solves a real problem, using the F# type system as a driver.
YOU MAY ALSO LIKE:
- Functional Architecture: the Pit of Success (SkillsCast recorded in April 2016)
- Intro to OCaml (in Online Event on 25th June 2020)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
Thanks to our sponsors
Type-Driven Development
Mark Seemann
Mark Seemann is the creator of AutoFixture and author of "Dependency Injection in .NET". He is an independent full stack programmer and software architect living in Copenhagen, Denmark. He enjoys reading, drawing, playing the guitar, good wine and gourmet food.