Сайм, Дон
| Дон Сайм | |
|---|---|
| англ. Don Syme | |
| Страна | |
| Род деятельности | специалист в области информатики |
| Научная сфера | программист |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Michael J. C. Gordon[1] |
| Известен как | создатель языка программирования F# |
| Сайт | blogs.msdn.com/dsyme |
| Медиафайлы на Викискладе | |
Дон Сайм (англ. Don Syme) — австралийский информатик и главный разработчик (англ. Principal Researcher) в Microsoft Research (подразделение в Кембридже, Великобритания). Дизайнер и архитектор языка программирования F#, иногда описываемый журналистами как «одна из самых оригинальных личностей в компьютерных языках с момента разработки Бьёрном Страуструпом языка C++ в начале 1980-х»[2].
Научная деятельность
Ранее Сайм в команде с несколькими разработчиками (среди которых был и Эндрю Кеннеди, а затем и Андерс Хейлсберг), создал обобщения для .NET Common Language Runtime, включая первоначальную версию дизайна обобщений для языка программирования C#[2][3]. Кеннеди, Сайм и Ю также формализовали эту широко используемую систему[4].
Является членом рабочей группы WG2.8 по функциональному программированию.
В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теорем[5].
С 1998 года работает в Microsoft Research[6].
Звания
Обладает докторской степенью, получив её в Компьютерной Лаборатории Кембриджского университета[2] в 1999 году[6].
Сочинения
- Дон Сайм, Адам Гранич, Антонио Чистернино. = Expert F#. — Лондон: Apress, декабрь 2007. — С. 609. — ISBN 978-1-59059-850-4.[6]
Примечания
- ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
- ↑ 1 2 3 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
- ↑ 1 2 3 Expert F# Архивная копия от 5 декабря 2010 на Wayback Machine (англ.)
Ссылки
- Блог Сайма о F# (англ.)
- InfoQ Interview with Don Syme, 27 марта 2009
- F# на портале Microsoft Research (англ.)