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:
- Functional Architecture: the Pit of Success (SkillsCast recorded in April 2016)
- Fast Track to F# with Tomas Petricek (in London on 31st October - 1st November 2019)
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- Keynote by Zainab Ali on Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them (in London on 30th September 2019)
- Prisoner's Dilemma Coding dojo with Tomas Petricek (in London on 9th October 2019)
- Type-Safe Datatype-Generic Programming in F# (SkillsCast recorded in September 2019)
- Type Punning in Modern C++ (SkillsCast recorded in September 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.
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)
- Fast Track to F# with Tomas Petricek (in London on 31st October - 1st November 2019)
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- Keynote by Zainab Ali on Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them (in London on 30th September 2019)
- Prisoner's Dilemma Coding dojo with Tomas Petricek (in London on 9th October 2019)
- Type-Safe Datatype-Generic Programming in F# (SkillsCast recorded in September 2019)
- Type Punning in Modern C++ (SkillsCast recorded in September 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.