17-06-2023
Дон Сайм | |
англ. Don Syme | |
Страна: | |
---|---|
Научная сфера: | |
Место работы: | |
Альма-матер: | |
Известен как: |
создатель языка программирования F# |
Сайт: |
blogs.msdn.com/dsyme |
Дон Сайм (англ. Don Syme) — австралийский информатик и главный разработчик (англ. Principal Researcher) в Microsoft Research (подразделение в Кембридже, Великобритания). Дизайнер и архитектор языка программирования F#, иногда описываемый журналистами как «одна из самых оригинальных личностей в компьютерных языках с момента разработки Бьёрном Страуструпом языка C++ в начале 1980-х»[1].
Содержание |
Ранее Сайм в команде с несколькими разработчиками (среди которых был и Эндрю Кеннеди, а затем и Андерс Хейлсберг), создал обобщения для .NET Common Language Runtime, включая первоначальную версию дизайна обощений для языка программирования C#[1][2]. Кеннеди, Сайм и Ю также формализовали эту широко используемую систему[3].
Является членом рабочей группы WG2.8 по функциональному программированию.
В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теорем[4].
С 1998 года работает в Microsoft Research[5].
Обладает степенью доктора философии, получив ее в Компьютерной Лаборатории Кембриджского университета[1] в 1999 году[5].
Дон Сайм.