Сайм, Дон

Дон Сайм (англ. Don Syme) — австралийский информатик и главный разработчик (англ. Principal Researcher) в Microsoft Research (подразделение в Кембридже, Великобритания). Дизайнер и архитектор языка программирования F#, иногда описываемый журналистами как «одна из самых оригинальных личностей в компьютерных языках с момента разработки Бьёрном Страуструпом языка C++ в начале 1980-х»[1].

В Википедии есть статьи о других людях с фамилией Сайм.
Дон Сайм
англ. Don Syme
Страна
Научная сфера программист
Место работы
Альма-матер
Известен как создатель языка программирования F#
Сайт blogs.msdn.com/dsyme

Научная деятельность

Ранее Сайм в команде с несколькими разработчиками (среди которых был и Эндрю Кеннеди, а затем и Андерс Хейлсберг), создал обобщения для .NET Common Language Runtime, включая первоначальную версию дизайна обобщений для языка программирования C#[1][2]. Кеннеди, Сайм и Ю также формализовали эту широко используемую систему[3].

Является членом рабочей группы WG2.8 по функциональному программированию.

В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теорем[4].

С 1998 года работает в Microsoft Research[5].

Звания

Обладает докторской степенью, получив её в Компьютерной Лаборатории Кембриджского университета[1] в 1999 году[5].

Сочинения
  • Дон Сайм, Адам Гранич, Антонио Чистернино. = Expert F#. — Лондон: Apress, декабрь 2007. — С. 609. — ISBN 978-1-59059-850-4.[5]

Примечания
  1. Interview with Don Syme  (англ.), 19 января 2010
  2. Design and implementation of generics for the .NET Common language runtime  (англ.)
  3. Formalization of generics for the .NET common language runtime  (англ.)
  4. Страница Дона Сайма на портале Microsoft Research  (англ.), 19 января 2010
  5. Expert F#  (англ.)

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.