Syme, Don

Don Syme este un informatician australian  și cercetător principal la Microsoft Research , cu sediul în Cambridge , Marea Britanie . Designer și arhitect al limbajului de programare F# , descris uneori de jurnaliști drept „una dintre cele mai originale personalități în limbaje informatice de când Björn Stroustrup a dezvoltat limbajul C++ la începutul anilor 1980” [1] .  

Activitate științifică

Anterior, Syme, într-o echipă cu mai mulți dezvoltatori (care au inclus Andrew Kennedy și mai târziu Anders Hejlsberg ), a creat generice pentru .NET Common Language Runtime , inclusiv designul generic inițial pentru limbajul de programare C# [1] [2] . Kennedy, Syme și Yu au oficializat și acest sistem larg utilizat [3] .

Este membru al grupului de lucru WG2.8 privind programarea funcțională.

În trecut, a lucrat și la problemele specificației formale , verificării programelor , demonstrației automate a teoremelor [4] .

Din 1998 lucrează la Microsoft Research [5] .

Clasamente

Deține un doctorat la Laboratorul de calculatoare al Universității Cambridge [1] în 1999 [5] .

Compoziții

• Don Syme, Adam Granich, Antonio Cisternino. = ExpertF#. - Londra : Apress , decembrie 2007. - P. 609. - ISBN 978-1-59059-850-4 . [5]

Note

1. ↑ 1 2 3 Interviu cu Don Syme Arhivat 11 aprilie 2011 la Wayback Machine , 19  ianuarie 2010
2. ↑ Proiectare și implementare de generice pentru .NET Common Language  Runtime
3. ↑ Formalizarea genericelor pentru .NET common language runtime  
4. ↑ Pagina de cercetare Microsoft a lui Don Syme Arhivată 29 noiembrie 2010 la Wayback Machine , 19  ianuarie 2010
5. ↑ 1 2 3 Expert F# Arhivat 5 decembrie 2010 la Wayback Machine  

Link -uri

•  Blogul F# al lui Syme
• Interviu InfoQ cu Don Syme , 27 martie 2009
•  F# pe portalul de cercetare Microsoft