Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
We live in an increasingly the complex and information-rich world that provides huge opportunities for programmers to thrive, explore and create exciting applications. Functional first programming approaches offer the ability to develop simple, correct, robust…
Pull requests are a central part of the GitHub user experience. Copilot for PRs brings the power of Copilot to the PR experience, to help you write better PR descriptions, and to help your team…
Born in a lab, matured in the enterprise, and now fully baked as an open-source, cross-platform, professionally-supported language: the F# journey has always been about reconciling the apparently irreconcilable. Javascript and .NET, Linux and Windows,…
Functional data is simple, safe and productive, right! However, it’s also immutable, requiring recomputation when change happens. And change is everywhere…. In this talk, I’ll describe how the same patterns used for functional data can…
.NET Core includes a powerful functional programming language called F#. But how do you use it well? In this talk, I’ll talk about examples of F# code I love and why. Along the way, I’ll…
In this week’s community standup Don Syme talks about TorchSharp, a set of .NET bindings for the PyTorch engine, and tensor programming. Community Links: https://www.theurlist.com/mlnet-standup-2020-11-04 Featuring: Don Syme (@dsymetweets) #MachineLearning #DeepLearning #Dotnet #Tensors
F# is for succinct, robust and performant code – the sweet spot of data and functions with types that don’t get in your way! F# 6.0 is coming as part of .NET 6, with added…
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…
Functional programming is now a mainstream technique in nearly all programming languages, and F# has been part of this story. I’ll talk a walk through the early history of F#, starting with the origins of…
Don Syme, creator of the F# language, will kick off the day by taking us on a journey through the F# language, community, and real-world business users. Learn about the key ideas underlying F#, its…
