Type-Driven Development
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:
- Lightbend Akka for Scala - Expert (in London on 26th - 27th November 2018)
- Fast Track to F# with Tomas Petricek & Phil Trelford (in London on 6th - 7th December 2018)
- Lightbend Scala Language - Professional (in London on 11th - 12th December 2018)
- Haskell eXchange 2019 (in London on 10th - 11th 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.
-
SkillsCast
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:
- Lightbend Akka for Scala - Expert (in London on 26th - 27th November 2018)
- Fast Track to F# with Tomas Petricek & Phil Trelford (in London on 6th - 7th December 2018)
- Lightbend Scala Language - Professional (in London on 11th - 12th December 2018)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
Thanks to our sponsors
-
About the Speaker
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.