What’s New in F# 5.0 & Beyond • Don Syme • YOW! 2021

This presentation was recorded at YOW! 2021. #GOTOcon #YOW https://yowcon.com Don Syme - Principal Researcher at Microsoft Research ABSTRACT The F# language delivers practical, enjoyable, and productive programming for the era of the cloud. At the core of F# is succinct, performant functional-first programming, compiling to both .NET and JavaScript, with cross-platform, open-source toolchains for those at home in either ecosystem. In this talk I’ll describe how in F# 5.0 and beyond we are adding more magic right across the F# stack – keeping programming simple and correct yet delivering the features you need for maximum productivity: • Added expressivity and performance for DSLs using F# computation expressions • High-performance state machines and resumable code for functional DSLs for collections, tasks, asynchronous sequences, and more • Improved package management integration in F# scripting • Interactive notebooks and a wide range of other tooling improvements • F# analyzers, e.g. for additional shape checking in AI tensor programming • Turnkey programming stacks for the client, server, and full-stack programming Join me for this walk through the latest in 2021 for F# Don is a Principal Researcher at Microsoft Research, Cambridge. I work with researchers, Microsoft and open source communities to make better programming technologies, and, through that, make people more productive and happier. My main responsibility is the design and implementation of the F# programming language. I've also worked on the design of virtual machines, the C# language (being co-responsible for C# and .NET generics, and one of many contributors to C# asynchronous programming) and, indirectly, Visual Basic and other .NET languages. As a researcher, my area is programming language design and implementation, with emphasis on making languages that are simpler to use, interoperate well with other languages and which incorporate aspects of object-oriented, asynchronous and parallel programming. I am interested in programming language perspectives on type inference, concurrency, reactivity, extensible pattern matching and language-oriented programming. I also work extensively with teams in the Microsoft Developer Division on other programming-related technologies. Don is the primary author of Expert F#. In the past I have worked in formal specification, interactive proof, automated verification and proof description languages. I have a PhD from the University of Cambridge and am a member of the WG2.8 working group on functional programming. [...] RECOMMENDED BOOKS Eric Normand • Grokking Simplicity • https://amzn.to/3gz7o3C Daniel Higginbotham • Clojure for the Brave and True • https://amzn.to/38tZjsF Ulisses Almeida • Learn Functional Programming with Elixir • https://amzn.to/389grn6 Neal Ford • Functional Thinking • https://amzn.to/3DdP35B Petricek & Skeet • Real-World Functional Programming • https://amzn.to/38diF4M Venkat Subramaniam • Functional Programming in Java • https://amzn.to/2WlOXIt Cristian Salcescu • Functional Programming in JavaScript • https://amzn.to/3y75jBS Richard Feldman • Elm in Action • https://amzn.to/387kujI Jeremy Fairbank • Programming Elm • https://amzn.to/2WhZCE8 Wolfgang Loder • Web Applications with Elm • https://amzn.to/3jblQ3q https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #Fsharp #FunctionalProgramming #Programming #Coding #DonSyme #FStack Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1