Дон Сайм - Don Syme
Дон Сайм - австралийский ученый-компьютерщик и главный научный сотрудник Microsoft Research , Кембридж, Великобритания. Он является разработчиком и архитектором языка программирования F # , который репортер назвал «самым оригинальным новым лицом компьютерных языков со времен Бьярна Страуструпа. разработал C ++ в начале 1980-х ».
Ранее Сайм создал универсальные шаблоны в .NET Common Language Runtime , включая первоначальный дизайн универсальных шаблонов для языка программирования C # , а также другие, включая Эндрю Кеннеди и позднее Андерс Хейлсберг . Кеннеди, Сайм и Дачуан Ю также формализовали эту широко используемую систему.
Он имеет докторскую степень. из Кембриджского университета и является членом рабочей группы WG2.8 по функциональному программированию. Он является соавтором книги Expert F # 3.0 .
В прошлом он также работал над языками формальных спецификаций , интерактивных доказательств , автоматической проверки и описания доказательств .
В 2015 году он был удостоен серебряной медали Королевской инженерной академии .