-
Дон Сайм
Microsoft Research
-
Дон Сайм – главный исследователь в Microsoft Research, Кембридж. Он отвечает за разработку языка F #. Он внес свой вклад в разработку платформы .NET участвуя в разработке дженериков C # и имеет опыт в формальной верификации и автоматическом доказательстве корректности ПО. Как исследователь, он сфокусирован на технических аспектах проектирования и разработки языка программирования, необходимого, чтобы сделать функциональные языки проще в использовании, хорошо взаимодействующего с другими языками и который который объединяет в себе аспекты объектно-ориентированного, асинхронного и параллельного программирования. Доктором наук Дон стал в Кембридже в 1998 году.
F# - функциональное программирование становится трендом
Цель языка F# состояла в том, чтобы дать возможность для функционального программирования в контексте современного прикладного программного обеспечения в среде разработки .Net. В настоящее время F# поставляется как часть Visual Studio 2010, делая функциональное программирование возможным выбором для профессиональной разработки. В докладе будет рассказано, как язык F# был разработан, его общие черты OCaml, C# и Haskell и какие элементы проектирования были использованы. Хотя компромиссы были необходимы, F# остается верным испытанным элементам типичных функциональных языков. Мы заглянем в будущее важной функциональности F# - асинхронных выражений для приложений с реактивным, асинхронным и параллельным программированием.