Don Syme Profile
Don Syme

@dsymetweets

11,712
Followers
445
Following
272
Media
32,491
Statuses

GitHub Next. Co-creator F#, C# Generics, Async/await programming, Copilot for PRs, Copilot Workspace. Find me on Mastodon.

Joined March 2009
Don't wanna be here? Send us removal request.
Pinned Tweet
@dsymetweets
Don Syme
1 month
To my new followers, please leave this cesspit of a platform and follow me on the M. Link in bio. I'm only posting here to get you to follow me here so I can tell you not to follow me here and rather follow me there 👌
6
7
51
@dsymetweets
Don Syme
4 years
Exponentials still have the capacity to shock me. If mass wearing of masks make just 0.01 shift in the spread per day, from say 1.22x to 1.21x, there would now be ~20% fewer cases (and ~20% fewer deaths) in the UK since March 12. I had to double check that multiple times.
45
606
2K
@dsymetweets
Don Syme
3 years
A farewell to Simon Peyton Jones as he leaves Microsoft Research Subject: RE: New horizon   I would like to add a few words to what Chris has written.  I know I am also speaking for Mads, the current lead designer of C# (cc’d)
5
287
831
@dsymetweets
Don Syme
2 years
I'm very happy to announce I'm joining @GitHubNext , an exciting and new applied research group within GitHub and DevDiv at Microsoft. My work will remain as before - 50%+ as F# BDFL contributing to language and tools, and 50%+ applied research in programming technology.
76
56
590
@dsymetweets
Don Syme
4 years
Tweet media one
24
59
386
@dsymetweets
Don Syme
3 years
On July 29th I'll be joined at .NET Conf F# Day by very special guest @gvanrossum , the world famous designer of Python Guido's chosen topic is that I teach him F# from scratch! Daunting or what!? Save the date and join in the fun :) #fsharp #python
9
296
372
@dsymetweets
Don Syme
3 years
F# folk, I've been working on breakpoints and stepping for F# pipelines Enjoy!
16
64
362
@dsymetweets
Don Syme
4 years
It's really strange what nonsense people put up with in C#. This business where expression results are implicitly discarded from statements is just insane in the 21st century. So much information loss just waiting to happen without even a warning.
26
70
299
@dsymetweets
Don Syme
4 years
F# 5.0 is out! I'm thrilled where this release has landed - both the evolution of the language and it's place within the .NET 5.0, Jupyter/.NET Interactive and Javascript/Fable/WebSharper ecosystems! Thanks to all who've contributed. Happy programming!
8
108
300
@dsymetweets
Don Syme
7 years
C# changes its mind after 20 years: "we think that the default meaning of unannotated reference types should be non-nullable".
18
208
291
@dsymetweets
Don Syme
3 years
@yokoono As the original designer of F#, and occasional bass player, I commend all musicians and programmers to heed Yoko's advice here, especially those working in C, C#, D, plus everyone else too :) #fsharp
6
55
281
@dsymetweets
Don Syme
4 years
This testimonial is so good, so thoughtful I'm going to tweet it all. "We're an F#-first company and I'd like to share our experience here..."
6
72
230
@dsymetweets
Don Syme
6 years
Email from headhunter listing "Applied Quantum Computing" as a "Core AI skill" for a company doing "advance research in Robotics and Blockchain". The convergence of all hypes has begun.
16
61
229
@dsymetweets
Don Syme
6 years
In 2018-19 I'm excited to be continuing my F# language design, compiler and tools work while on secondment from Microsoft Research to the Xamarin team mobile+cloud tooling team .
@migueldeicaza
Miguel de Icaza ᯅ
6 years
Very excited to announce: For the next 2 years, Don Syme @dsyme from Microsoft Research will be with the Xamarin team on an assignment to help us make F# better for mobile and cloud users. Don will be continuing his F# language design and compiler work as a major part of this.
15
196
628
9
54
216
@dsymetweets
Don Syme
2 years
@davidfowl What you desire - the longings inside you - they are natural and good young man. Banish these demons that torture you. Come forward, your future awaits.
10
19
197
@dsymetweets
Don Syme
3 years
Old man Don is vaccinated.
9
3
198
@dsymetweets
Don Syme
2 years
Many people are saying "If the UK hadn't left the EU it would be leading the way on the response to the invasion of Ukraine" No. If the UK was still in the EU it would have stalled action, bringing all our venal oligarch-powered corruption to bear, ensuring no coherent response
4
43
195
@dsymetweets
Don Syme
3 years
The full version of "Don Teaches Guido F#" is now available! Last week I had the honour of spending 1.5h with @gvanrossum , the world-famous designer of #Python , teaching Guido some #fsharp web dev and talking language principles. A real highlight for me!
3
63
190
@dsymetweets
Don Syme
6 years
On MVP programs… The majority of people I see making major community contributions in .NET/C#/F# world are not MVPs. You people are amazing. Don't ever stop what you're doing please.
5
41
193
@dsymetweets
Don Syme
3 years
If you are a modern programmer, Simon PJ owns your mind. The way we think about programming is the way Simon thinks about programming. Except where it isn’t, in which case we’re probably wrong, or you're in for a fascinating and robust conversation with the gentle man.
3
44
189
@dsymetweets
Don Syme
3 years
Today we rolled out numerous improvements to the F# docs at 1. The F# Language Guide is now properly organized, from see
Tweet media one
5
46
186
@dsymetweets
Don Syme
6 years
This is one of the best live coding F# talks I've ever seen, I just watched it in full and I'll watch it again. Recommended for anyone doing web/mobile/server/cloud
2
64
182
@dsymetweets
Don Syme
4 years
This sort of result should have been hammered into our collective consciousness throughout February and early March. Every little effective intervention, widely adopted, saves many, many lives.
5
18
176
@dsymetweets
Don Syme
4 years
This is a fantastic development in UI at Microsoft. The "MVU" archiecture here is Functional Views over mutable models using mutable update - mVu not MVU to be honest. That should be clarified but is huge progress over the vast complexity of Xaml.
@dotnetfdn
.NET Foundation
4 years
Check out the post by @coolcsh that talks about the unification of the .NET platform, bringing .NET Core & Mono/Xamarin together in one base class library and toolchain. Introducing .NET Multi-platform App UI (.NET MAUI) #dotnet #MSBuild Read more here:
4
49
121
5
56
177
@dsymetweets
Don Syme
6 months
@davidfowl It's not about me, it's about telling the history properly. F# and C#'s contributions to lang design are just nodes in a long history - along with many, many others. Just nodes in a big graph of influence. Nothing is sacred here. Nothing is genesis. All must be told properly.
1
27
176
@dsymetweets
Don Syme
3 years
Congratulations to the @reasonml folk, who successfully infiltrated Facebook and renamed it to align with the ML family of languages. Victory is ours. It is done. It is complete. #fsharp #ocaml #elm #reasonml #standardml
9
32
176
@dsymetweets
Don Syme
2 years
I've been using git a long time and never done a 'git rebase'. I checkout, clean, fetch, merge, push, pull, reset, stash, stash apply, diff, log, that's about it. Am I missing something?
64
9
173
@dsymetweets
Don Syme
4 years
20 years after we did .NET/C#/F# Generics other languages are still tying themselves in knots over how to do this stuff right
@pcwalton
Patrick Walton
4 years
Easy to say "monomorphization is awful and Rust should never have done it", harder to say "I want all generic functions to be compiled to bytecode and to embed a Rust interpreter in every binary".
19
16
171
9
37
168
@dsymetweets
Don Syme
4 years
Happy Anti-Fascist Day everyone
Tweet media one
4
39
153
@dsymetweets
Don Syme
4 years
Join Microsoft, live and work in beautiful Prague, and be a leading F# open source community tooling contributor, helping others across the world to contribute to the compiler, library and tools, and help Microsoft deliver these at high quality to users
8
69
155
@dsymetweets
Don Syme
4 years
My fellow geeks, do you dream about your trade? Last night I dreamt I was in a worldwide race to allocate the largest object possible. Someone had allocated a 1PB object using Lisp on a supercomputer, and three of us were holed up in a Cambridge PhD room trying to do better.....
28
12
152
@dsymetweets
Don Syme
5 years
"I don’t know what’s the deal — if F# is a monumentally awesome technology, or if it simply fits me perfectly, or if it’s created for these tasks specifically...at that moment I was sinking and I needed a lifeboat. Life threw me F# and I pulled out of it"
7
45
153
@dsymetweets
Don Syme
7 years
Google sponsoring the first F# conference in San Francisco
@openfsharp
open fsharp
7 years
Good news! #googlecloudplatform is now sponsoring Open FSharp! See for more info about .NET on GCP. #fsharp
1
29
55
4
75
150
@dsymetweets
Don Syme
8 months
I'm deeply impressed by the work done on F# 8 by the F# community as a whole, including the wonderful contributions by those working at Microsoft and other companies. A HUGE congratulations to everyone involved. #fsharp
@amplifyfsharp
amplifyingfsharp
8 months
In case you missed today's #AmplifyingFSharp session on #fsharp v8, here's the recording: Kudos to all presenters and participants. It was a great session.
4
21
57
1
34
147
@dsymetweets
Don Syme
3 years
@tnewtondunn @pmdfoster @GeorgeWParker Putting aside zero-tarrif access, here's a link to get across how god awful farming practices are in Australia
10
104
140
@dsymetweets
Don Syme
4 years
I've been working on a note clarifying how F# computation expressions can be configured for both monad and comprehension syntax, and whether each case is "more expressive" (in some sense) than the Haskell do-notation and list comprehensions
2
45
145
@dsymetweets
Don Syme
3 years
Did you know 'dotnet fsi' for F# script execution comes standard with every install of the .NET SDK? So it's as easy as dotnet fsi script.fsx to run your F# scripts, including #r "nuget: ..." support to access nuget packages.
6
39
139
@dsymetweets
Don Syme
3 years
@JolyonMaugham @GoodLawProject As an early and regular sponsor I'm very happy with this :)
2
5
138
@dsymetweets
Don Syme
2 years
It seems from antibody tests that I've recently had covid, as have my whole immediate family of four. In truth we barely noticed. We've nine vaccine shots between us. Vaccines are great, a modern miracle. I'm grateful.
4
6
138
@dsymetweets
Don Syme
6 years
Just to say "Get Programming with F#" is a fantastic book. Highly practical, well balanced, nicely presented, thoughtful, based on real world experience. Highly recommended
3
42
135
@dsymetweets
Don Syme
4 years
An F# 5.0 design note - Rethinking applicatives in F# Shout out to @NickBlair for his talk at @FSharpLondon giving both the simple and practical sample to help me write this, and @ScottWlaschin for his material on F# for Fun and Profit.
13
58
137
@dsymetweets
Don Syme
5 years
Fabulous - the F# MVU App framework - now has support for iOS, Android, macOS, GTK and WPF applications in its template. Get started with dotnet new -i Fabulous.Templates dotnet new fabulous-app -n CatApp --WPF --macOS --GTK
2
57
135
@dsymetweets
Don Syme
6 years
Happy to say the F# type provider mechanism is now supported by .NET Sdk/.NET Core tooling, and (containing the most commonly used type providers) has been updated to use it
6
78
137
@dsymetweets
Don Syme
4 years
To achieve "herd immunity" of 60% by Oct the UK would need a running average of around 2.8mil cases (if active cases last ~2 weeks, 6 mo). That's a running average of 140,00-280,000 critical ICU cases (if ICU cases last ~2 weeks) The UK has 4,000 ICU beds. cc @RoryStewartUK
16
71
134
@dsymetweets
Don Syme
5 months
I love that the F# community are completing all the features the community always, always wanted, but which I equivocated and procrastinated over. Wonderful! 💯💯💯
@alvinashcraft
Alvin Ashcraft 🐿
5 months
1
12
65
3
15
131
@dsymetweets
Don Syme
3 years
Rumours of a major F# event online on July 29th (to be confirmed). So save the date! :) #fsharp
1
30
132
@dsymetweets
Don Syme
2 years
My son and I went to the Trafalgar Sq rally in support of 🇺🇦 today. Despite Mr Putin's promises I failed to find a single Nazi. There were 🇷🇺 opposing the war - very many of them - and Belarus, Poles, English, Scots, and almost every nation. But no promised Nazis 😪
Tweet media one
5
11
124
@dsymetweets
Don Syme
2 years
@scottgu Here is the draft design specification for C# Generics that I put out on the coffee table at @MSFTResearch in Cambridge in ~2002 for researchers to comment on, with some hand-written notes from Sir Tony Hoare, "RC" and "RS" (need to look up who they were! my memory is fading!)
Tweet media one
4
23
123
@dsymetweets
Don Syme
2 years
An Introduction to Functional Programming with F# - Playlist #fsharp
3
36
121
@dsymetweets
Don Syme
5 years
@mikehadlow I contributed to C# 2.0 and helped lay the foundations for C# 3.0-8.0 and I can safely say C# is not crap. F# offers many advantages - including functional-first methodology, @FableCompiler and less-is-more simplicity. Two great languages for the 21st Century ❤️
2
25
119
@dsymetweets
Don Syme
3 years
I wrote up some notes on "pattern matching on arbitrary objects" and why it's de-emphasized to do this directly in F#. Instead we want people to learn to write active patterns. This puts you on a smooth, trajectory to simpler, more readable code #fsharp
6
37
116
@dsymetweets
Don Syme
3 years
#fsharp people One simple way to help F# is to help us fill in basic F# code samples for all the F# core library functions. These should have been done long ago, but let's do them now! Here's an example of the sort of thing that needs to be added:
2
48
115
@dsymetweets
Don Syme
5 years
If you're into F# defining computation expressions and need to eliminate nearly all of their overheads for perf reasons, please follow along with and give it a try. Experimental wet paint warning.
2
37
113
@dsymetweets
Don Syme
4 years
If you'd like string interpolation in F#, please have a play with the rough prototype implementation of RFC-0001 I completed today, based on a community contributed starting point. Read the RFC for design.
2
27
107
@dsymetweets
Don Syme
4 years
It's been a long time coming, but RFC FS1001 for string interpolation is now merged to master RFC: Many thanks to everyone who has contributed so far including Yatao Li () at MSR Asia and @v2_matveev way back to 2014 and others
9
37
111
@dsymetweets
Don Syme
2 years
#fsharp folk - I'd like to highlight the work of Albert Du, () who is systematically adding F# samples to the core docs for .NET For example, go to , set your language as F# top right and scroll down to choose examples
1
25
113
@dsymetweets
Don Syme
4 years
The thing is, that 0.01 difference accrues every single day, afresh - and slightly compounded too. Every day we do a small, effective intervention, we accrue it's life saving effect all over again. Every single day. All over again.
2
13
105
@dsymetweets
Don Syme
4 years
The F# community has had many members from Belarus over the years, including some of the most consistent and steadfast contributors to the community. The safety of these people, their families and those of many others I've come to know over the years is in serious jeopardy.
4
19
104
@dsymetweets
Don Syme
3 years
Learned today! "runtime" (n) is an environment required to run programs not compiled to machine code "Run time" (n) is the time during which an application is running "run-time" (adj) describes something occurring at run time, as in "a run-time error"
7
13
105
@dsymetweets
Don Syme
2 years
The UK government Coronavirus dashboard is implemented in F# using Giraffe as the server-side implementation. Great work by @Pouriaaa and team! Please give a talk on this at @FSharpLondon , and add a testimonial at . #fsharp
3
17
106
@dsymetweets
Don Syme
6 years
One of F#'s huge advantages is its approach to reducing and removing nulls. However, some can come from .NET types. I've been making progress on the extra nullness checking for F# 5.0, and the prototype feature now applies to the F# compiler itself, see
3
31
103
@dsymetweets
Don Syme
3 years
#fsharp folk - At the .NET Conf Focus Day on Jul 29 I'll be doing a session called "F# Community Bonanza" If your company is using F# and would like us to potentially include a mention of you, including logo etc, please DM or reply and I'll follow up
31
55
102
@dsymetweets
Don Syme
2 years
"Enjoy your trip!" they said. "Have a great time in Australia!" they said. 7 days in isolation near Brisbane Airport ahead. And this after having had it already in December...
Tweet media one
29
2
104
@dsymetweets
Don Syme
5 years
The F# Weekly is just such an amazing resource. There's so many names there I'm only just learning, so many things going on with F# that I had no idea about
4
25
103
@dsymetweets
Don Syme
5 years
@coolcsh You might enjoy - a 1st draft of my paper on the early history of F#
6
43
103
@dsymetweets
Don Syme
4 years
"Launch your journey into .NET's functional-first programming language" This online course is by @kitlovesfsharp , the author of "Stylish F#" and comes highly recommended!!
4
35
99
@dsymetweets
Don Syme
6 months
@davidfowl @relizarov @MadsTorgersen Lord what is this. Some of the **actual** history, peer-reviewed, is in . As indicated there that only touches on the many strands of prior history.
3
17
101
@dsymetweets
Don Syme
2 years
@davidfowl let widgets = [| Widget() |] Relax, choose the simple way #fsharp
3
7
99
@dsymetweets
Don Syme
4 years
I put a quick gist illustrating some of these points here:
6
13
99
@dsymetweets
Don Syme
2 years
@jetbrains Thank you, this is brave and deeply appreciated
0
0
96
@dsymetweets
Don Syme
3 years
Would you like to learn F#? I recommend this course from one of the best teachers of the language. #fsharp #csharp #python #haskell #scala #java
@kitlovesfsharp
Kit Eason
3 years
Just noticed that “F# From the Ground Up“ just passed 1000 students taught! In 72 countries! 🇺🇸🇬🇧🇩🇪🇵🇹🇧🇷🇨🇦🇮🇳🇳🇱🇸🇪🇦🇺🇩🇰🇵🇱🇺🇦🇳🇴🇫🇷🇷🇺🇿🇦🇨🇭🇮🇹🇲🇽 #fsharp #csharp #python / @udemy
Tweet media one
4
10
62
4
29
97
@dsymetweets
Don Syme
8 months
💯 this. Features Aren't The Measure Of Progress. Adding an endless stream of garbage new features to your near-perfect sleek racing car when your team are powering along at high speed going where you want to go is not progress.
@k_cieslak
Krzysztof Cieślak 💙💛
8 months
Why do we still talk about the "adding language features is required" thing in 2023... haven't we all figured out that our current way of language evolution is the correct choice like 8 years ago... #fsharp
3
1
30
4
20
96
@dsymetweets
Don Syme
3 years
I'm at #hopl and here is a potted history of the addition of what I call "computational modalities" to C# and F# - these include addition of new syntactic forms like comprehensions, or "modal" reinterpretation of existing syntactic forms.
1
34
94
@dsymetweets
Don Syme
6 years
The F# TypeProvider SDK now has a template for creating a basic type provider and packaging it for all F# tooling including .NET SDK. Please test it out and report problems
1
45
95
@dsymetweets
Don Syme
2 years
Learn about how @Grammarly use F# "Building a Flexible Deployment System for Grammarly for Windows using F# and AWS Lambda" #fsharp
1
25
94
@dsymetweets
Don Syme
4 years
So I'm curious if any computer code is now failing since sub-zero oil prices were never considered a possiblity.
7
17
92
@dsymetweets
Don Syme
4 years
I am finalising the final version of "The Early History of F#" If you feel there's anything else or anyone (including yourself!) I should have mentioned please drop me a message with context, facts and reference I will also check
4
27
94
@dsymetweets
Don Syme
4 years
This is really an excellent post "5 features of C# that F# doesn't have. And why it doesn't need them." Less is more, from one of the industry's best practitioners of grounded, practical and clear applied programming.
4
44
86
@dsymetweets
Don Syme
3 years
@JiriLandsman @drechsler - Null free - Object exprs - Implicit constructors - HM type inference+auto-generics - All expression-based - List/seq/array exprs - Consistent FP APIs - Computation exprs - DUs - Quotations - Piping - Composition - UoM - 'unit' - Fast generic inline math - Type providers ...
3
21
90
@dsymetweets
Don Syme
3 years
I want to thank Simon for his influence on my own work - again sometimes indirect - also for his limitless personal kindness, and everything he has brought to Microsoft. His charitable giving has been an inspiration to many, and he is a man of dignity.
1
6
91
@dsymetweets
Don Syme
9 years
The awesome F# cheatsheet in PDF.
1
42
90
@dsymetweets
Don Syme
4 years
SkillsMatter are back and I'm pleased to mention that F# Exchange is returning as an online event in 2020! This will be a one day, one track event with content from across the F# community. Slots are open - please contribute your proposals!
3
38
86
@dsymetweets
Don Syme
3 years
From my perspective he has been a hugely valued asset to the company and it is deeply sad to have to say goodbye. I look forward to having him as a colleague in the world of open source and hope that our paths cross often. With greatest fondness and deepest respect Don
2
0
87
@dsymetweets
Don Syme
4 years
Check out this amazing agenda for F# Conf, and join us online for the talks tomorrow!
Tweet media one
Tweet media two
0
53
86
@dsymetweets
Don Syme
3 years
This is now merged to main Please file other suggestions for quality-of-life improvements for debugging at #fsharp
@dsymetweets
Don Syme
3 years
F# folk, I've been working on breakpoints and stepping for F# pipelines Enjoy!
16
64
362
2
13
87
@dsymetweets
Don Syme
3 years
This is brilliant
@isaac_abraham
Isaac Abraham
3 years
Tweet media one
7
88
317
1
27
84
@dsymetweets
Don Syme
6 years
Today at 5pm GMT: "F# Compiler Office Hours" on the @fsharporg Slack channel . Once per week, for an hour, I'll be available to chat, answer technical questions, stare at code, triage issues, crack jokes, plan the revolution etc.
3
41
85
@dsymetweets
Don Syme
2 years
A woman is free, her body is her own. Women must have the right to choose what is right for them, and we must support them in these most personal of choices.
4
14
84
@dsymetweets
Don Syme
2 years
Before I ever programmed in a functional language, while still a student, I worked as a C and Prolog programmer on a set of tools called STATUTE for modelling and automating adminstrative law STATUTE eventually became Oracle Policy Modelling now Oracle Intelligent Advisor today
1
12
83
@dsymetweets
Don Syme
4 years
"Refactoring in #fsharp is almost joyful. You break everything and type system just makes your todo list for you."
@dplattsf
Darren Platt @[email protected]
4 years
Just hit that part of a scrappy POC project where my pile of hard coded crap needs to turn into a beautiful, refactored parallel swan with CLI and docs etc. Refactoring in #fsharp is almost joyful. You break everything and type system just makes your todo list for you.
1
7
39
4
16
81
@dsymetweets
Don Syme
6 years
From the archives... my homage to Xavier Leroy and OCaml when very, very early versions of F# were first launched and noticed by the industry press in mid 2002: "And I'm even more grateful to Xavier and the team for doing such a great job with OCaml over the years..." 1/7
1
20
84
@dsymetweets
Don Syme
5 years
The truth is out: Learning F# is easy, from Pluralsight itself.
@mgleandro
zaiba
5 years
@sforkmann @ScottHutchFP @marlonvilorio @SmartRecruiters We believe that learning F# is quite easy. We will be hosting this workshop on Pluralsight premises on July 20th .
5
18
33
0
33
82
@dsymetweets
Don Syme
3 years
I'm proposing to allow "expr[idx]" as index/slice syntax in F#, rather than "expr.[idx]" Not aimed at existing F# programmers, but rather at making it easier for Python, C#, Java, JS folk to migrate across RFC: Please Discuss:
8
12
81