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