Dona Syme'a
Don Syme jest australijskim informatykiem i głównym badaczem w Microsoft Research , Cambridge, Wielka Brytania. Jest projektantem i architektem języka programowania F# , opisanego przez reportera jako „najbardziej oryginalna nowa twarz w językach komputerowych od czasów Bjarne'a Stroustrupa opracował C++ na początku lat 80.
Wcześniej Syme tworzył generyczne w .NET Common Language Runtime , w tym wstępny projekt generycznych dla języka programowania C# , wraz z innymi, w tym Andrew Kennedym, a później Andersem Hejlsbergiem . Kennedy, Syme i Dachuan Yu również sformalizowali ten szeroko stosowany system.
Posiada stopień doktora. z University of Cambridge i jest członkiem grupy roboczej WG2.8 ds. programowania funkcjonalnego. Jest współautorem książki Expert F# 3.0 .
W przeszłości zajmował się również specyfikacją formalną , interaktywnym proofem , automatyczną weryfikacją i językami opisu proofa .
W 2015 roku został uhonorowany Srebrnym Medalem Królewskiej Akademii Inżynierii .
Zobacz też
Linki zewnętrzne
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
| Naukowe bazy danych | |
| Inny | |
