Дон Сайм () — австралийский информатик и главный разработчик () в Microsoft Research (подразделение в Кембридже, Великобритания). Дизайнер и архитектор языка программирования F#, иногда описываемый журналистами как «одна из самых оригинальных личностей в компьютерных языках с момента разработки Бьёрном Страуструпом языка C++ в начале 1980-х»Interview with Don Syme , 19 января 2010.
Научная деятельность Ранее Сайм в команде с несколькими разработчиками (среди которых был и Эндрю Кеннеди, а затем и Андерс Хейлсберг), создал обобщения для .NET Common Language Runtime, включая первоначальную версию дизайна обобщений для языка программирования C#Design and implementation of generics for the .NET Common language runtime . Кеннеди, Сайм и Ю также формализовали эту широко используемую системуFormalization of generics for the .NET common language runtime .
Является членом рабочей группы WG2.8 по функциональному программированию.
В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теоремСтраница Дона Сайма на портале Microsoft Research , 19 января 2010.
С 1998 года работает в Microsoft Research.
Звания Обладает докторской степенью, получив её в Компьютерной Лаборатории Кембриджского университета в 1999 годуExpert F# .
Сочинения
Примечания
Ссылки Блог Сайма о F# InfoQ Interview with Don Syme, 27 марта 2009 F# на портале Microsoft Research
Категория:Создатели языков программирования Категория:Сотрудники Microsoft Категория:Википедия:Биографии современников