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

This presentation was recorded at YOW! 2021. #GOTOcon #YOW

Don Syme – Principal Researcher at Microsoft Research

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#

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. […]

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

#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.

Speaker Details

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.

Don Syme
Microsoft Research