ФЭНДОМ


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

Научная деятельность Править

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

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

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

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

Звания Править

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

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

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

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

Шаблон:Rq

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA , если не указано иное.