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

Майкрософт България

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}