Syme, Don

Don Syme
Englanti  Don Syme
Maa
Tieteellinen ala ohjelmoija
Työpaikka
Alma mater
Tunnetaan F# -ohjelmointikielen luoja
Verkkosivusto blogs.msdn.com/dsyme

Don Syme on australialainen tietojenkäsittelytieteilijä ja päätutkija Microsoft Researchissa Cambridgessa , Isossa - Britanniassa . _  _ F# -ohjelmointikielen suunnittelija ja arkkitehti , jota toimittajat joskus kuvailevat "yhdeksi omaperäisimmistä persoonallisuuksista tietokonekielissä, koska Björn Stroustrup kehitti C++-kielen 1980 -luvun alussa" [1] .  

Tieteellinen toiminta

Aiemmin Syme loi useiden kehittäjien (joihin kuuluivat Andrew Kennedy ja myöhemmin Anders Hejlsberg ) kanssa yleisiä .NET Common Language Runtime -ohjelmistoja , mukaan lukien C# -ohjelmointikielen alkuperäinen yleinen suunnittelu [1] [2] . Kennedy, Syme ja Yu virallistivat myös tämän laajasti käytetyn järjestelmän [3] .

Hän on toiminnallisen ohjelmoinnin WG2.8-työryhmän jäsen.

Aikaisemmin hän työskenteli myös muodollisen määrittelyn , ohjelman verifioinnin ja lauseiden automaattisen todistuksen ongelmien parissa [4] .

Vuodesta 1998 hän on työskennellyt Microsoft Researchissä [5] .

Sijoitukset

Hän on valmistunut tohtoriksi Cambridgen yliopiston tietokonelaboratoriosta [1] vuonna 1999 [5] .

Sävellykset

Muistiinpanot

  1. 1 2 3 Don Symen haastattelu Arkistoitu 11. huhtikuuta 2011 Wayback Machinessa 19.  tammikuuta 2010
  2. Geneeristen tuotteiden suunnittelu ja toteutus .NET Common language  -ajonaikaisuudelle
  3. ↑ Yleisten muotojen formalisointi .NET-yleisen kielen ajonaikaa varten  
  4. Don Symen Microsoftin tutkimussivu Arkistoitu 29. marraskuuta 2010 Wayback Machinessa 19.  tammikuuta 2010
  5. 1 2 3 Expert F# Arkistoitu 5. joulukuuta 2010 Wayback Machinessa  

Linkit