Type Driven Development (TDD) and Idiomatic Data Structures - Ramón Soto Mathiesen

preview_player
Показать описание
In this talk we will be looking on how to model a domain into your application by using F# power-full type system. This approach will help you limit the amount of illegal states that can be represented and hereby ensuring a more correct application.

If we combine the above approach with idiomatic data structures in F#, we can argue that we have and even more sound application which would need fewer test cases to ensure correctness.

Ramón Soto Mathiesen is a passionate computer scientist, with flair for business, that advocates for correctness, code-quality and high-standards but always with the customer in focus.

He has more than +15 years of experience working with Microsoft technologies. Starting as an IT-supporter back in 2000, to a System Administrator, a Web Developer, a Kernel Developer, a Consultant, a Software Architect, a CTO of a department and currently, a founder of an IT company.
__________________________
Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry. Foo Café is aimed at those interested in sharing and learning.

Born out of the desire to create a year round conference like atmosphere, Foo Café is THE place for planned and spontaneous meetings of all sizes and interests within the IT arena.
Enjoy a coffee or a cold beer, along with light pub fare, and engage with other like minded individuals interested in sharing their knowledge and learning from one another. Foo Café is sourced by individuals, small, medium and goliath-sized enterprises, as well as entrepreneurs. Awaiting you, after stepping over the Foo Café threshold, is a space that is recruitment and product placement safe!

We look forward to igniting inspiration and creativity year round to patrons of Foo Café.
Рекомендации по теме