Name: Type Driven Development with F#
Start: 2017-03-22T19:00:00+02:00
End: 2017-03-22T21:00:00+02:00
Location: Майкрософт България

Type Driven Development with F#

Bulgarian BI & .Net UG (BI & .Net Geeks)is a user group n dedicated to the promotion of .NET, BI and Microsoft Azure technologies in Bulgaria

Mihail Mateev on behalf of Bulgarian BI & .Net (BI & .Net Geeks) UG.

On this talk we will demonstarte the power of types and advanced type systems. We will see: - how to combine the safety of static typing with the ease of development typically only offered by dynamically typed languages. - how to model your domain with improved correctness based on phantom types - how to express a side effects - how to use property based testing
<IMG ALT="" SRC="https://cdn.evbuc.com/eventlogos/48120382/typedvivendevelopment.v2.jpg">
 Be aware: demo heavy talk!
Speaker will be:
<A HREF="https://buildstuff16ukraine.sched.com/speaker/antyadev?iframe=no" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Anton Moldovan</A>
<IMG ALT="" SRC="https://cdn.evbuc.com/eventlogos/48120382/antonmoldovan320x320px.jpg" HEIGHT="220" WIDTH="200">
Software Architect at SBTech Ukraine

Type Driven Development with F#

More events from Mihail Mateev on behalf of Bulgarian BI & .Net (BI & .Net Geeks) UG.

Follow organizers to get events picked for you

Still looking for the right event?

Explore all events in = and filter by date, category, and more to find the perfect fit.

Type Driven Development with F#

More events from Mihail Mateev on behalf of Bulgarian BI & .Net (BI & .Net Geeks) UG.

Follow organizers to get events picked for you

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in = and filter by date, category, and more to find the perfect fit.