Интернет магазин китайских планшетных компьютеров |
|
Компьютеры - Сайм, Дон23 января 2011Оглавление: 1. Сайм, Дон 2. Звания Дон Сайм австралийский информатик и главный разработчик в Microsoft Research. Дизайнер и архитектор языка программирования F#, иногда описываемый журналистами как «одна из самых оригинальных личностей в компьютерных языках с момента разработки Бьёрном Страуструпом языка C++ в начале 1980-х». Научная деятельностьРанее Сайм в команде с несколькими разработчиками, создал обобщения для .NET Common Language Runtime, включая первоначальную версию дизайна обощений для языка программирования C#. Кеннеди, Сайм и Ю также формализовали эту широко используемую систему. Является членом рабочей группы WG2.8 по функциональному программированию. В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теорем. С 1998 года работает в Microsoft Research. Просмотров: 1771
|