Дон Сайм
Дон Сайм — австралийский учёный-компьютерщик и главный научный сотрудник Microsoft Research в Кембридже, Великобритания. Он является разработчиком и архитектором языка программирования F# , который один из репортёров назвал «самым оригинальным новым лицом в компьютерных языках с тех пор, как Бьярн Страуструп разработал C++ в начале 1980-х годов». [1]
Ранее Сайм создал дженерики в .NET Common Language Runtime , включая первоначальный дизайн дженериков для языка программирования C# , вместе с другими, включая Эндрю Кеннеди [1] [2] и позднее Андерса Хейлсберга . Кеннеди, Сайм и Дачуан Ю также формализовали эту широко используемую систему. [3]
Он имеет докторскую степень Кембриджского университета , [1] и является членом рабочей группы IFIP по функциональному программированию. Он является соавтором книги Expert F# 3.0 . [4]
В прошлом он также работал над формальной спецификацией , интерактивным доказательством , автоматизированной проверкой и языками описания доказательств . [5]
В 2015 году он был удостоен Серебряной медали Королевской инженерной академии . [6]
Смотрите также
Ссылки
- ^ abc Сайм, Дон. «Интервью с Доном Саймом», Simple Talk , 19 января 2010 г.
- ^ Кеннеди и Сайм, http://portal.acm.org/citation.cfm?id=378797 «Проектирование и реализация универсальных шаблонов для среды выполнения .NET Common Language»
- ^ Кеннеди, Сайм, Ю http://portal.acm.org/citation.cfm?id=964005 "Формализация обобщений для среды выполнения .NET CLR"
- ^ Сайм, Дон и др. «Эксперт F# в Apress», Apress , ноябрь 2012 г.
- ↑ Сайм, Дон. «Дон Сайм в Microsoft Research», 19 января 2010 г.
- ^ «Исследователь Microsoft Дон Сайм удостоен серебряной медали Королевской инженерной академии».
Внешние ссылки
- Веблог Дона на F#
- Интервью InfoQ с Доном Саймом, 27 марта 2009 г.
- F# в Microsoft Research
