Don Syme - Don Syme
Don Syme je Australan počítačový vědec a hlavní výzkumný pracovník ve společnosti Microsoft Research, Cambridge, Velká Británie Je designérem a architektem F # programovací jazyk, který reportér popsal jako „nejoriginálnější novou tvář v počítačových jazycích od roku Bjarne Stroustrup rozvinutý C ++ počátkem 80. let. “[1]
Dříve vytvořil Syme generika v .NET Common Language Runtime, včetně počátečního návrhu generik pro C# programovací jazyk, spolu s dalšími, včetně Andrewa Kennedyho[1][2] a později Anders Hejlsberg. Kennedy, Syme a Dachuan Yu také formalizovali tento široce používaný systém.[3]
Je držitelem titulu Ph.D. z Univerzita v Cambridge,[1] a je členem pracovní skupiny WG2.8 pro funkční programování. Je spoluautorem knihy Expert F # 3.0.[4]
V minulosti také pracoval formální specifikace, interaktivní důkaz, automatické ověření a důkaz popisné jazyky.[5]
V roce 2015 mu byla udělena Stříbrná medaile z Royal Academy of Engineering.[6]
Viz také
Reference
- ^ A b C Syme, Done. "Rozhovor s Donem Symem", Simple Talk, 19. ledna 2010.
- ^ Kennedy a Syme, http://portal.acm.org/citation.cfm?id=378797 "Návrh a implementace generik pro .NET Common language runtime"
- ^ Kennedy, Syme, Yu http://portal.acm.org/citation.cfm?id=964005 "Formalizace generik pro .NET Common Language Runtime"
- ^ Syme, Don a kol. „Expert F # ve společnosti Apress“, Apress, Listopad 2012.
- ^ Syme, Done. „Don Syme ve společnosti Microsoft Research“, 19. ledna 2010.
- ^ „Výzkumník Microsoftu Don Syme oceněn Stříbrnou medailí od Royal Academy of Engineering“.