| Don Syme | |
|---|---|
| Angličtina Don Syme | |
| Země | |
| Vědecká sféra | programátor |
| Místo výkonu práce | |
| Alma mater | |
| Známý jako | tvůrce programovacího jazyka F# |
| webová stránka | blogs.msdn.com/dsyme |
Don Syme je australský počítačový vědec a hlavní výzkumný pracovník společnosti Microsoft Research se sídlem v Cambridge ve Velké Británii . Návrhář a architekt programovacího jazyka F# , novináři někdy popisovaný jako „jedna z nejoriginálnějších osobností v počítačových jazycích od doby , kdy Björn Stroustrup vyvinul jazyk C++ na počátku 80. let“ [1] .
Dříve Syme v týmu s několika vývojáři (který zahrnovali Andrewa Kennedyho a později Anderse Hejlsberga ) vytvořil generika pro .NET Common Language Runtime , včetně počátečního generického návrhu pro programovací jazyk C# [1] [2] . Kennedy, Syme a Yu také formalizovali tento široce používaný systém [3] .
Je členem pracovní skupiny WG2.8 pro funkcionální programování.
V minulosti se také zabýval problematikou formální specifikace , verifikace programu , automatického dokazování vět [4] .
Od roku 1998 pracuje ve společnosti Microsoft Research [5] .
V roce 1999 získal doktorát z Cambridge University Computer Laboratory [1] [5] .