Сайм, Дон

Дон Сайм
Дон Сайм
	англ. Don Syme
Страна	Великобритания;
Научная сфера	программист
Место работы	Microsoft Research;
Альма-матер	Кембриджский университет;
Известен как	создатель языка программирования 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].

Сочинения править

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

Примечания править

↑ ¹ ² ³ Interview with Don Syme Архивная копия от 11 апреля 2011 на Wayback Machine (англ.), 19 января 2010
↑ Design and implementation of generics for the .NET Common language runtime (англ.)
↑ Formalization of generics for the .NET common language runtime (англ.)
↑ Страница Дона Сайма на портале Microsoft Research Архивная копия от 29 ноября 2010 на Wayback Machine (англ.), 19 января 2010
↑ ¹ ² ³ Expert F# Архивная копия от 5 декабря 2010 на Wayback Machine (англ.)

Ссылки править

Блог Сайма о F# (англ.)
InfoQ Interview with Don Syme, 27 марта 2009
F# на портале Microsoft Research (англ.)

[geekweek-1] ¹ ² ³ Interview with Don Syme Архивная копия от 11 апреля 2011 на Wayback Machine (англ.), 19 января 2010

[2] Design and implementation of generics for the .NET Common language runtime (англ.)

[3] Formalization of generics for the .NET common language runtime (англ.)

[symepage-4] Страница Дона Сайма на портале Microsoft Research Архивная копия от 29 ноября 2010 на Wayback Machine (англ.), 19 января 2010

[apress-5] ¹ ² ³ Expert F# Архивная копия от 5 декабря 2010 на Wayback Machine (англ.)

[1]

[2]

[3]

[4]

[5]

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