Сайм, Дон

Сайм, Дон
Дон Сайм
англ. Don Syme
Страна:

Flag of the United Kingdom.svg Великобритания
Научная сфера:

программист
Место работы:

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].

Сочинения

Примечания

  1. ↑ 1 2 3 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. ↑ 1 2 3 Expert F#  (англ.)

Ссылки


Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Добавить дату рождения персоны.
  • Добавить место рождения персоны.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "Сайм, Дон" в других словарях:

  • Ривз, Киану — В Википедии есть статьи о других людях с такой фамилией, см. Ривз. Киану Ривз Keanu Reeves …   Википедия

  • Список олимпийских медалистов по лёгкой атлетике (бег 200 м и менее, мужчины) — Содержание 1 60 м 2 100 м 3 200 м 4 См. также 5 Ссылки …   Википедия

  • Хронология языков программирования — Списки языков программирования По категориям Хронологический Генеалогический Хронология языков программирования  упорядоченный в хронологическом порядке список языков программирования. Содержание …   Википедия

  • Список олимпийских медалистов по лёгкой атлетике (бег 200 м и менее — Список олимпийских медалистов по лёгкой атлетике (бег 200 м и менее, мужчины) Содержание 1 60 м 2 100 м 3 200 м 4 См. также …   Википедия

  • Список .NET-языков — Эта страница информационный список. Языки программирования .NET (Языки с поддержкой CLI или CLI языки)  компьютерные языки программирования, используемые для создания библиотек и программ, удовлетворяющих требованиям Comm …   Википедия

  • Рим — I         Древний (лат. Roma), город, возникший (согласно античному преданию, в 754/753 до н. э.) из группы поселений, к середине 3 в. до н. э. подчинивший себе весь Апеннинский полуостров; в дальнейшем средиземноморская держава, включавшая… …   Большая советская энциклопедия

  • Марк Порций Катон Младший — Марк Порций Катон Утический/Младший лат. Marcus Porcius Cato (Minor/Uticensis) …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»