Интернет-журнал MSDeveloper.RU

10 причин использовать F# в C# приложении (перевод)

Мария Хрузина — Fri, 18 May 2012 11:30:49 UT

Многие заметили, что вместе с Visual Studio 2010 поставляется F#. Выбрав в меню среды Visual Studio “File” – “New Project” теперь можно заметить и шаблон для проектов на F#, на который вам стоит обратить внимание.
Многие, вероятно, не догадываются, что даже если не писать полностью проекты на языке F# и совсем им не интересоваться, можно получить огромную выгоду от использования F# в проектах на C# / VB.NET. F# это просто очередная DLL, под названием FSharp.Core.dll, на которую вы можете ссылаться как и на любую другую сборку. Она доступна для .NET 2.0 и 4.0 (отдельная DLLs). Его наличие для .NET 2.0 особенно ценно для проектов, которые по каким-то причинам не могут быть обновлены до более новой версии .NET.
Конечно, библиотека предназначена для использования в F#, так что иногда её присутствие выглядит весьма странно в проекте на C#, но мы увидим, как вместе с FSharp можно обойти некоторые его странности.
Давайте рассмотрим некоторые возможности, которые даёт вам FSharp:

Кортежи
Итак, вы хотите использовать кортежи, но не можете обновиться до .NET 4, из-за политики компании или по какой-то другой причине, разрушающей ваши планы. Нет проблем, FSharp.Core.dll реализует их, так что вы можете использовать кортежи в .NET 2.0 с точно таким же API и пространством имен, как и в кортежах на .NET 4. Если вы обновитесь, вам не придётся ничего менять.
Кортежи просты, но не тривиальны при реализации, например, некоторые забывают реализовать равноправие/хеширование, так в конечном итоге, вы останавливаетесь на некотором этапе с единственным вопросом "WTF?!". Поэтому стоит использовать библиотеку, которая реализует их должным образом.
Имейте в виду, что кортежи, по существу анонимны. Item1, Item2, и т.д. не передают информации о том, что они содержат, только их типы.

Неизменяемые коллекции
Неизменяемые списки являются одной из наиболее используемых структур данных в функциональном программировании. Они настолько распространены, что в F# для них предусмотрен специальный синтаксис. Например, определение пустого списка в F#:

Например, определение пустого списка в F#:
let empty = []

F# вывод тип элемента списка. В C# подобная операция выглядит так:
var empty = FSharpList.Empty;

При добавлении элемента в список, на самом деле создаётся новый список, который содержит новый элемент как голова, а остальной список как хвост.

Опять же, F# имеет для этого специальный синтаксис: 
let a = 1::empty 

В то время как в C#: 
var a = new FSharpList(1, empty); 
или: 
var a = FSharpList.Cons(1, empty); 

Подсахаренный вариант от FSharpx: 
var a = empty.Cons(1); 

Вы также можете создать неизменяющийся список с любым IEnumerable: 
var b = SeqModule.ToList(new[] { 1, 2, 3 }); 

Снова, подсахаренный вариант FSharpx: 
var b = new[] { 1, 2, 3 }.ToFSharpList(); 
или: 
var b = FSharpList.Create(1, 2, 3); 

Как вы используйте FSharpList? 
Вы можете получить доступ к определённому элементу так же, 
как и в обычном изменяемом списке: 
Console.WriteLine(b[2]); // prints "3"

Помните, что случайный доступ в неизменённом связном списке обходится в O(n).
FSharpList реализует IEnumerable, таким образом, что вы сможете использовать его вместе с foreach, используя все функции LINQ (Aggregate, Select, Where, и т.д.). Функциональные языки часто используют сопоставление с образцом и рекурсии для обработки списка. В F# wikibook этому посвящена большая глава. FSharpx реализует сопоставление с образцом в списках C#, так что вы можете использовать их для получения списка с обратным порядком элементов:

[Test]
void Reverse() {
    var a = Enumerable.Range(0, 1000).ToFSharpList();
    var r = Loop(FSharpList.Empty, a);
    Console.WriteLine(r);
}
static FSharpList Loop(FSharpList acc, FSharpList l) {
    return l.Match(() => acc,
                   (head, tail) => Loop(acc.Cons(head), tail));
}

Но будьте осторожны! F# компилирует эквивалентный код с помощью оптимизации хвостовой рекурсии, в то время как C# не имеет такой функции, так что удар приходится на StackOverflowException, при достаточно большом списке (если вы компилируйте с оптимизацией и работаете в 64-разрядной среде CLR!)
Когда используется рекурсивная обработка списков, то лучше использовать Aggregate(), если это возможно (обычно называемая свёрткой (fold) в функциональных языках). Это к тому же упрощает код:

var a = Enumerable.Range(0, 1000000).ToFSharpList(); 
var r = a.Aggregate(FSharpList.Empty, (acc, i) => acc.Cons(i));

Конечно, это всего лишь демонстрационный код. Если вы хотите получить только список с обратным порядком элементов, вызовите ListModule.Reverse(a);
Императивные программисты могли бы задаться вопросом, почему они должны использовать неизменяемые коллекции, когда в BCL уже есть несколько хороших изменяемых коллекций.
Одна из наиболее часто цитируемых причин для использования неизменяемых коллекций (и функционального программирования в целом) является многопоточность. Действительно вы можете свободно и безопасно обходить неизменяемые коллекции по всем потокам, что делает мультипоточную разработку проще. Тем не менее, то же можно сказать о прохождении коллекции по всем регулярным функциям: вы можете быть уверены, что не все функции могут изменить список, что позволит вам держать в голове на одну вещь меньше и позволит статически ликвидировали целый класс ошибок. С использованием многопоточности или без неё, неизменные структуры приводят все виды программирования к упрощению. Конечно, чтобы неизменяемые коллекций по-настоящему работали как неизменяемые, базовый тип элементов также должен быть неизменным.
Расширение Reactive extensions также включается класс ImmutableList, хотя он и внутренний.

Опциональный тип
Опциональный тип используется в F#, например, в нескольких функциях для коллекций. Проблема в том, что эти функции являются эквивалентом Func, но в F# (FSharpFunc), что затрудняет их использование с C#.
FSharpx обобщает эти F# функции, чтобы они могли быть использованы вместе с System.Func и System.Action. Например:

var a = FSharpList.Create(1, 2, 3);
a.TryFind(x => x > 4) // returns FSharpOption
    .Match(v => Assert.Fail("shouldn't have found value {0}", v),
           () => { /* nothing found */ });

Модульный тип
Во многих функциональных языках, таких как F# есть тип, который называется "Unit", который аналогичен типу "void" в C-подобных языках, за исключением того, что на самом деле используется для соответствия типа.
Под "соответствием" я имею в виду то, что вы можете определить нечто вроде Func (вы не можете использовать Func, это не совсем синтаксически верно, хотя и есть тип System.Void). Func точно такой же как и действие (Action), за исключением того, что Func может быть использован в LINQ выражениях (т.е. монады).
FSharpx включает в себя ToFunc() методом расширения действия, Action, Action, и т.д. соответственно конвертируются в Func, Func, Funcи т.д.

Вы можете также использовать его для типов, таких как FSharpOption .
Расширение Reactive Extensions также включает в себя модульный тип.

Размеченные объединения
Они очень полезны, чтобы конкретно представить "ту или иную" вещь, без представления всей иерархии класса, реализующего равенства / хэш / сравнение. Так же, как и со многими другими вещами, их использование в C# более подробное, чем в F#.
Давайте посмотрим на примере:

var a = FSharpChoice.NewChoice1Of2(1);
if (a.IsChoice1Of2) {
    var x = ((FSharpChoice.Choice1Of2)a).Item;
    Console.WriteLine(x + 2);
} else if (a.IsChoice2Of2) {
    var x = ((FSharpChoice.Choice2Of2)a).Item;
    Console.WriteLine(x + ";");
}

Сейчас выглядит довольно уродливо.
FSharpx реализует более удобным путём сопоставление с образцом (в основном шаблон “посетитель”), так что вместо этого вы можете написать:

var a = FSharpChoice.New1Of2(1);
a.Match(x => Console.WriteLine(x + 2),
        x => Console.WriteLine(x + ";"));

FSharpx также реализует LINQ операторы около 2ого выбора и интегрируется с опциями. Например:

object a = 40;
const string b = "60";
var r = from i in FSharpOption.ParseInt(b).ToFSharpChoice("Invalid value b")
        from j in FSharpChoice.Cast(a).SelectSecond(_ => "Invalid value a")
        sel ect i + j;
r.Match(i => Assert.AreEqual(100, i),
        Assert.Fail);

Так же, как кортежи, размеченные объединения по существу анонимны. Кортежи, в общем, являются анонимным типом product. Размеченные объединения, в общем, являются анонимным типом sum.
Расширение Reactive extensions использует внутренние типы type.

Асинхронность
Ещё раз, вы застряли с .NET 3.5 и вы только мечтаете о библиотеке для параллельных задач для .NET 4.
Расширение Reactive extensions использует для этого включение System.Threading.dll, но это перестало поддерживаться и не включается в последующие версии. F# использует асинхронные процессы, которые несколько похожи на другой подход в C# - 5 ждут/асинхронны (различия в асинхронности смотрите в серии постов Tomas Petricek)

FSharpx имеет элементы LINQ для этого, так вы можете написать:
static FSharpAsync Get(string u) {
    var web = new WebClient();
    return web.AsyncDownloadString(new Uri(u));
}
var qq = // qq is of type FSharpAsync
    from google in Get("http://www.google.com")
    fr om bing in Get("http://www.bing.com")
    select google + bing;

string result = qq.Run();

Или вы можете запустить несколько запросов параллельно:
var urls = FSharpList.Create(
      "http://www.google.com"
    , "http://www.bing.com"
    , "http://www.yahoo.com"
    , "http://www.microsoft.com"
    );
var result = FSharpAsync.Parallel(urls.Select(Get)).Select(s => string.Join("", s)).Run();

Это может быть не так мощно как асинхронная работа в F#, но всё равно полезно.

BigInteger
Ещё один пример для .NET 2.0 / 3.5 пользователей. FSharp.Core включает System.Numerics.BigInteger для произвольной точности арифметических действий. Там есть не все возможности .NET 4 BigInteger, но он реализует основные операции. Хотите посчитать 23^25 + 4? Нет проблем:

var a = new BigInteger(23);
var b = BigInteger.Pow(a, 25);
b += new BigInteger(4);
Console.WriteLine(b);

Result: 11045767571919545466173812409689947

Ленивые вычисления
Lazy ещё одна особенность, которая в .NET 4 скопирована с F#, или очень похоже на это. Вы ещё пишете singleton’ы старым способом? С ленивыми вычислениями вы можете сделать это только в .NET 3.5 (с использованием FSharpx):

class MySingleton {
    private MySingleton() {}
    private static readonly Lazy instance = 
        FSharpLazy.Create(() => new MySingleton());

    public static MySingleton Instance {
        get { return instance.Value; }
    }
}

Хотя, честно говоря, я не думаю, что когда-либо сам использовал бы это.

Enumerable кэш
Иногда вы используйте однонаправленный итератор, обобщённый в IEnumerable, как база данных результатов или некоторые данные лениво обрабатывающихся веб запросов, и вы хотите, пройти его несколько раз, при этом сохранив его ленивость, не нарушая ToList(). С FSharp.Core можно кешировать его по требованию с использованием Seq.cache, именуемый SeqModule.Cache в C# / VB.NET. System.Interactive также имеет функцию MemoizeAll, хотя я люблю называть F# лучшим, кеширование более применимо в методах мемоизации.

Enumerable zip
Другой отличный оператор, который доступен только в .NET 4+. В FSharp.Core он немного отличается: сигнатура Enumerable.Zip:

IEnumerable Zip(
    this IEnumerable first,
    IEnumerable second,
    Func resultSelector)

в F# (также в статическом классе SeqModule) zips применяет к набору: IEnumerable<Tuple> Zip(IEnumerable first, IEnumerable second)
В заключение
Если вы работаете с Visual Studio 2010, вы можете воспользоваться большой библиотекой F# возможностей даже в проектах на .NET 2.0. У вас всё для этого есть, используйте это!
Если вы работаете в .NET 3.5 и выше, FSharpx становится более дружественным в C#. Он также облегчает взаимодействие с проектами на F# если вам это нужно, поскольку они используют те же основные типы. Даже в .NET 4, есть неизменяемые коллекции, размеченные объединения и варианты легко строит зависимости.
Также стоит отметить F# PowerPack – это отдельная библиотека, реализующая дополнительные коллекции, такие как HashMultiMap и LazyList и математические специфические объекты, такие как рациональные и комплексные числа, матрицы, векторы.
И всё в открытом доступе, опубликованы под Apache-licensed.

оригинал: http://bugsquash.blogspot.com/2011/10/10-reasons-to-use-f-runtime-in-your-c.html

IT-мозги будут искать завтра на BitByte

Infobox — Fri, 18 May 2012 07:15:38 UT

В субботу 19 мая пройдет фестиваль профессионального развития в сфере IT Bit Byte. Организует его портал IT-мозг, а участвуют крупнейшие IT-работодатели Петербурга.

Молодые IT-специалисты с небольшим опытом работы или совсем без опыта смогут на фестивале пообщаться с представителями крупнейших IT-компаний и успешных стартапов, послушать выступления звезд IT. Участие для соискателей бесплатное.

Мы тоже будем там искать сотрудников в нашу дружную команду саппорта и не только. Подробности всю субботу за нашим столиком в выставочной зоне.

Карта проезда

Готовьтесь к сессии и учитесь вместе с нами!

rustudents — Fri, 18 May 2012 07:08:00 UT

Дорогие студенты!

Вы возможно не знаете, но у нас есть библиотека учебных курсов MS-Library.ru, в которой есть много интересных материалов, как для преподавателей, так и для интересующихся студентов. В преддверии летней сессии, мы подготовили специально для вас обзор лучших курсов, которые, несомненно, будут полезны при подготовке к экзаменам, да и просто для самообразования летом. Курсы содержат, лекции, семинары, лабораторные работы, примеры кода и многое другое.

Программирование

Парралельное программирование

Компьютерная графика и 3D моделирование

Базы данных

Сетевые технологии

Управление ИТ проектами и командная разработка

А для студентов юридических специальностей мы подготовили специальный курс по защите авторских прав - Основы законодательства РФ по защите Авторских и смежных прав.

Удачи на экзаменах!

Книга Microsoft Robotics Developer Studio. Программирование алгоритмов управления роботами.

MSDN Russia — Thu, 17 May 2012 14:35:00 UT

Доступна для скачивания книга «Microsoft Robotics Developer Studio.Программирование алгоритмов управления роботами», которая посвящена программированию алгоритмов управления роботами с помощью Visual Programming Language.

Visual Programming Language (VPL) – это язык визуального программирования для написания приложений для роботов, программа на VPL представляет собой диаграмму блоков и связей между ними. Чтобы научиться программировать на VPL, совсем не обязательно быть профессиональным программистом, достаточно знать основы алгоритмизации и иметь представление о переменных.

В данной книге подробно рассказано о том, как с помощью VPL можно управлять движением робота, считывать и обрабатывать данные с сенсоров, управлять несколькими роботами и о многом другом.

Но самое главное – чтобы научиться управлять роботами, совсем не обязательно покупать дополнительное оборудование, ведь в Microsoft Robotics Developer Studio входит среда визуализации Visual Simulation Environment(VSE),
позволяющая экспериментировать с моделями роботов и тестировать алгоритмы в виртуальном 3D окружении, возможности которой так же описаны!

Скачать книгу можно по ссылке.

Приглашаем на одно из главных интернет-событий года в Петербурге

Infobox — Thu, 17 May 2012 07:23:08 UT

Если вы ищите в интернете клиентов, обслуживаете их через сайт, общаетесь с ними в соцсетях, принимаете интернет-платежи, да и просто идёте в ногу со временем, это мероприятие для вас.

28 и 29 мая в конференц-центре гостиницы «Прибалтийская Park Inn» пройдет VII Санкт-Петербургская Интернет Конференция — СПИК-2012. Программа насыщенная – 4 потока дискуссий и мастер-классы.

Infobox приглашает присоединиться к СПИК-2012. Регистрационный взнос — 1 000 рублей (а в день конференции – 1500). Воспользуйтесь при оплате кодом «infobox50», и получите скидку 50%.

Вдохновляйтесь примерами, спрашивайте, обсуждайте и используйте интернет в вашем бизнесе эффективно.

Встретимся на СПИК!

Зарегистрироваться | Выбрать программу | Посмотреть карту проезда

Стали известны имена еще 4-х докладчиков конференции DevCon’12

MSDN Russia — Thu, 17 May 2012 06:41:11 UT

Стали известны имена еще 4-х докладчиков конференции DevCon’12.

Участие в конференции подтвердили:

Дмитрий Мартынов, советник по платформенной стратегии, Microsoft

Более 15 лет занимается проектированием, разработкой и консультированием в области разработки информационных систем, в том числе интеграционных решений и распределенных приложений в облачной и сервисно-ориентированной архитектуре. Сотрудник Microsoft c 2002 года. В настоящее время отвечает за работу с российскими и международными партнерами и стартапами по использованию Windows Azure. Часто выступает на конференциях с докладами по архитектуре и технологиям.



Вадим Новицкий, вице-президент по разработке AtContent.com (IFFace Inc)

Выпусник Института математики, экономики и информатики Иркутского Государственного Университета по специальности прикладная математика и информатика. Разработкой в вебе занимается с 2004 года. С 2009 года активно использует технологии облачной платформы Windows Azure. Вместе с командой AtContent.com изменяет рынок электронных публикаций и выводит его на принципиально новый качественный уровень.



Михаил Матвиенко, ведущий разработчик, Penxy

Закончил факультет Радиоэлектроники и кибернетики МФТИ. Работал в ABBYY и в нескольких стартапах: Musigy (победитель World Imagine Cup 2005), Colorpen. Сейчас работает в компании PENXY, где занимается созданием распределенной серверной системы на платформе Windows Azure. Специализируется на различных реляционных и NoSQL системах хранения.



Андрей Колчанов, cтудент 4 курса Томского политехнического университета

Андрей так же является студентом-партнером Microsoft и студентом Открытого университета Сколково. Занимал 3 место в российском финале конкурса Imagine Cup 2012 и 1 место в региональном этапе Imagine Cup 2011 Сибирь-Дальний Восток. Является лидером User Group и со-основателем MCP клуба в Томске. Являлся резидентом Летней школы Академпарка 2011 (город Новосибирск) и участником Летней школы по базам данных и информационному поиску Russir/EDBT 2011 (город Санкт-Петербург). Представлял Томский политехнический университет на международной выставке Study World 2012 (город Берлин).

Вы можете ознакомиться с расписанием конференции в соответствующем разделе сайта. Не пропустите прямую трансляцию с конференции!

Стали известны имена еще 15-ти докладчиков конференции DevCon’12

MSDN Russia — Wed, 16 May 2012 14:19:57 UT

Стали известны имена еще 15-ти докладчиков конференции DevCon’12.

Участие в конференции подтвердили:

Анатолий Любомиров, дизайнер пользовательских интерфейсов, Intel

Работает дизайнером пользовательских интерфейсов с 2006 года. Из под его «пера» вышли пользовательские интерфейсы таких продуктов как Intel VTune Amplifier XE, Intel Inspector XE и Intel Advisor XE (а также версии этих же продуктов, но с уменьшенными возможностями). В компании Intel с 2002 года.



Влад Дмитриев, менеджер по работе с партнерами, Microsoft

В сфере ИТ работает более 17 лет. За это время участвовал в разработке мультимедиа систем, систем бизнес аналитики, банковских приложений. В команде Microsoft c 2006 года. Более пяти лет отвечал за техническое взаимодействие с партнерами-производителями компьютерной техники. В область профессиональных интересов входит разработка приложений для клиентских устройств и средства настройки образов операционных систем Microsoft.

Сергей Гребнов, ведущий специалист, Akvelon

Ветеран компании Akvelon, лидер подразделения мобильной разработки. В настоящий момент работает над инициативами команды Microsoft Open Technologies, участвует в разработке Apache Cordova и jQuery Mobile. В прошлом победитель Microsoft Imagine Cup, стажер Microsoft Research, призер ACM. Программист-фанатик.



Денис Фокин, генеральный директор компании Ти Ай Системс

20 лет в сфере ИТ. Прошел путь от программиста до руководителя ИТ-компании. В роли системного архитектора и руководителя проектов участвовал в создании крупнейших в России информационных систем. При этом главным своим профессиональным достижением считает создание успешной и сплоченной команды профессионалов, каковой сейчас является компания Ти Ай Системс.



Дмитрий Казарин, ведущий разработчик на платформе Windows Phone компании Русские Интернет Решения (QIP)

Microsoft Student Partner с 2008 года. В область интересов входят веб и мобильная разработка. Автор популярного приложения Translate This под Windows Phone. В настоящее время занимается разработкой мобильных приложений в компании Русские Интернет Решения.

Филипп Панфилов, разработчик клиентских решений

Microsoft Student Partner в МГТУ им. Н.Э. Баумана. Занимается разработкой клиентских приложений для Windows Phone и Windows 8. В область профессиональных интересов также входит исследование вопросов информационной безопасности облачных технологий.

Костя Заикин, руководитель группы разработки мобильных карт под Windows Phone, Яндекс

Работает в Яндексе с 2011 года. Отвечает за разработку мобильных Яндекс.Карт и общих компонент приложений Яндекса для Windows Phone.

Александр Краковецкий, руководитель в DevRain Solutions

Автор сайтов Windows Phone 7 Rocks! и Microsoft User Group Community. В данный момент является руководителем DevRain Solutions, занимающейся разработкой приложений для Windows Phone 7. Microsoft Regional Director, Microsoft и Telerik MVP, кандидат технических наук по информационным технологиям, автор публикаций на многих технических порталах, спикер и активный член технического сообщества.


Сергей Васеленко, генеральный директор, «Гартл Технолоджи Корпорейшн»

Работает в сфере управления, ИТ и разработки ПО 20 лет. MBA, PMP. С 2010 года является учредителем и генеральным директором ЗАО «Гартл Технолоджи Корпорейшн». С 2007 по 2010 год работал заместителем генерального директора по экономике и информационным технологиям в ОАО «Новая перевозочная компания». Является экспертом по разработке на Microsoft Excel и Microsoft SQL Server, автором сайта excel-sql-sever.com. В сферу профессиональных интересов входит создание платформы для быстрой разработки бизнес-приложений с использованием Microsoft Excel.



Никита Клычников, руководитель отдела SharePoint, ADV/web-engineering co.

Руководитель отдела SharePoint в ADV/web-engineering co. Опыт разработки на платформе .NET с 2006 года. Сертифицированный специалист Microsoft. Принимал участие в работе над созданием публичных проектов для ВТБ24, Пробизнесбанка на платформе SharePoint.



Денис Пасечник, эксперт по управлению проектами и построению систем обеспечения качества в рамках полного цикла разработки ПО, Microsoft

Активный сторонник Agile продуктовых методологий c упором на инструментальную поддержку от компании Microsoft, в первую очередь: Visual Studio, TFS, Project Server. Работает в ИТ сфере с 1996 года. Сертифицированный менеджер проектов уровня (B) по версии IPMA, сертифицированный IPMA Assessor. Имеет Microsoft сертификации (MCSD, MCDBA, MCT, MSFP). Начиная с 2003 года являлся участником программы Microsoft Regional Director, а с 2007 года MVP со специализацией в Visual Studio Team System. C 2010 года работает в Компании Microsoft.



Александр Белоцерковский, тренер, Учебный Центр ТПУ & Softline

В сфере IT работает с 2004 года. С 2005 года является системным администратором суперкомпьютерного центра в Томском Политехническом Университете. Читает курсы в IT Academy в Центре Инноваций Microsoft ТПУ по направлениям сетевого администрирования, разработки приложений и облачных вычислений. В область профессиональных интересов входят распределённые и облачные вычисления, разработка на платформе .NET, системное администрирование.



Алексей Филимонов, партнер Global TechInnovations

Алексей Филимонов отвечает в компании Global TechInnovations за направление технологической акселерации стартапов ранней стадии. До этого работал Директором по стратегическим проектам в компании «ДоксВижн», ведущего разработчика систем электронного документооборота, где занимался глобализацией платформы DocsVision и взаимоотношениями с инвесторами. Ранее Алексей занимал должность Директора департамента программных решений компании Digital Design, руководил филиалом крупнейшего чайнокофейного производителя компании «Орими Трэйд» в Казахстане, работал на разных позициях в области развития бизнеса в известных ИТ-компаниях (Exigen Services, Lynx). Закончил СПбГУ (бакалавр физики, второе высшее образование в области математических методов в экономике), обладатель степени МВА (ИМИСП). Алексей также является сооснователем ряда стартапов в области электронной коммерции.



Дмитрий Сошников, координатор академических программ Microsoft в России

Кандидат физико-математических наук, доцент кафедр МАИ и Высшей школы экономики. Член Российской ассоциации искусственного интеллекта. Координатор академических программ Microsoft в России. Занимается популяризацией функционального программирования и языка F#, а также разработкой приложений для мобильной платформы Windows Phone. Автор более 60 трудов в области искусственного интеллекта и распределённого представления знаний, среди которых монография, учебное пособие и книга «Функциональное программирование на языке F#».

Ромуальд Здебский, руководитель направления по технологической стратегии, Microsoft Россия

В Microsoft координирует работу технических экспертов по разработке программного обеспечения и управлению информационной инфраструктурой с точки зрения ключевых технологических приоритетов платформы Microsoft. Неоднократно выступал и принимал ключевое участие в подготовке ряда технических конференций компании (Платформа, Дни разработчика, TechDays, запуск Visual Studio 2008/2010, ReMIX и другие). Руководил подготовкой конференции Платформа 2011 и первой международной конференции Tech∙Ed Russia 2011.

Вы можете ознакомиться с расписанием конференции в соответствующих разделах сайта. Не пропустите online трансляцию!

Смотрите онлайн лекцию Марии Левиной «PR: быть или казаться» 17 мая в 19-00

rustudents — Wed, 16 May 2012 14:16:54 UT

Многим кажется, что PR- это что-то веселое, маркетинговое, что-то связанное с прессой, что-то ненаучное и совершенно не понятное. Марина Левина, директор по PR и корпоративным коммуникациям Microsoft в России, расскажет о том, зачем нужен PR, что такое корпоративная коммуникация, зачем все это нужно, можно ли обойтись без этих функций, а также откроет 10 принципов правильного создания Public Relations.

Смотрите онлайн 17 мая в 19-00 на www.microsoft.ru/university

Лекция пройдет в рамках курса "Не тупи! Заточись!" от Microsoft University. Это возможность понять, чем ты хочешь заниматься в будущем и каких знаний тебе не хватает, а также пообщаться с экспертами Microsoft. Найти области деятельности, где ты бы хотел чему-то научиться.

Курс подготовлен в совместном партнерстве Microsoft и Открытого Университета Сколково.

Пять причин не пропустить Tech•Ed Europe 2012

MSDN Russia — Wed, 16 May 2012 13:51:37 UT

В отличие от обычных классных занятий с ограниченным набором тем, Tech∙Ed позволяет комбинировать как сами сессии, так и их типы, что делает предлагаемое обучение действительно персонализированным.

Вы будете находиться в непринужденной обстановке среди тысяч своих коллег. Используйте Справочник делегатов, чтобы заранее связаться с нужными людьми или используйте неформальный подход.

Нет лучшего места , чтобы узнать о готовящихся к выпуску продуктах:

Если вы только встали на путь сертификации или уже являетесь опытным сертифицированным специалистом, вы не захотите упустить потрясающую возможность выполнить сертификационные требования. На Tech∙Ed Europe вам предложат бесплатно сдать экзамены в рамках сертификации MCSE.

В современном онлайновом взаимосвязанном мире огромная удача – получить выделенное время, позволяющее отвлечься от постоянных сиюминутных дел и отвлекающих забот и сосредоточиться на самообразовании.

Ждем вас на Tech∙Ed Europe 2012!

[Перевод] Проблема циклических зависимостей при инициализации типов

Станислав — Wed, 16 May 2012 06:00:58 UT

Некоторые из читателей, которые когда-либо сталкивались с проблемой, описанной в названии статьи, наверняка оставались на работе до поздна и проводили много часов в отладчике. Для других это может быть не более чем игрой слов и жаргонными словечками. Однако, давайте отойдем от жаргона в сторону и раскроем понятия:

Инициализация типа: это код, который выполняется чтобы проинициализировать все статические переменные класса и выполнить статический конструктор;
Циклическая зависимость: два кусочка кода, которые зависят друг от друга. В нашем случае это два класса, инициализация типов которых требует уже проинициализированного типа другого класса.

Ну и небольшой пример, чтобы показать, о чем идет речь:

using System; 
	
class Test 
{     
    static void Main() 
    { 
        Console.WriteLine(First.Beta); 
    } 
} 
	
class First 
{ 
    public static readonly int Alpha = 5; 
    public static readonly int Beta = Second.Gamma; 
} 
	
class Second 
{ 
    public static readonly int Gamma = First.Alpha; 
}

Результатом выполнения этого кода будет 0
Читать дальше →