Доизучался ФП

[metaclass]

Кусок проги на C#

//фактически, мы делаем следующее: из конструктора/инициализатора с N параметрами мы
//делаем его же(хотя формально это уже не конструктор, а просто функция), но с нулем
//параметров, методом замыкания N параметров конструктора на локальные переменные
//в анонимном делегате.
public delegate T UIStateConstructor<T>() where T:UIStateBase;
public delegate T UIResourceConstructor<T>() where T:class;

Жаль, фреймворк не 3.5, там подобные штуки делать проще стало, менее многословно.

Comments

Боюсь прослыть невежей, но всё же...

[zelanton.livejournal.com]

а что подразумевается под "ФП", упомянутой в заголовке?

Re: Боюсь прослыть невежей, но всё же...

[metaclass.livejournal.com]

Функциональное программирование. Всю эту пакость с параметрическими типами, замыканиями и функциями высшего порядка я нормально осилил только после изучения функциональной парадигмы, откуда оно заимствовано.

Re: Боюсь прослыть невежей, но всё же...

[zelanton.livejournal.com]

Захотелось взглянуть. С чего начать ознакомление порекомендуете?

Re: Боюсь прослыть невежей, но всё же...

[metaclass.livejournal.com]

Сначала отсюда, видимо:
http://www.rsdn.ru/article/funcprog/fp.xml
http://www.rsdn.ru/article/dotnet/LinqAsStapToFp.xml
http://www.rsdn.ru/summary/3857.xml

а потом наверно
http://www.rsdn.ru/article/haskell/haskell_part1.xml
http://www.rsdn.ru/article/haskell/haskell_part2.xml

Вообще говоря, из всех функциональных языков, хаскель мне нравится больше всего, хотя его и сложновато интегрировать в рабочий процесс(дотнет и дельфи ломают мозг, потом сложно подключать модули из других языков(если это не чистый C или обертки на нем)).

Re: Боюсь прослыть невежей, но всё же...

[alexott.livejournal.com]

F# бери - там интеграция с .Net нормальная...

Re: Боюсь прослыть невежей, но всё же...

[alexott.livejournal.com]

http://code.google.com/p/funprog-ru/ - в качестве введения. а потом можно взять F#. Хотя хаскель более чистый ФЯ

[kiryl.livejournal.com]

Комментарии на русском? Или это специальный перевод для ЖЖ.

[metaclass.livejournal.com]

Да, на русском. В белорусском языке нет нужной терминологии, ога.

[kiryl.livejournal.com]

Как всё запущено...

[thedeemon.livejournal.com]

Только тут почти вся терминология английская русскими буквами. :)

[blackyblack.livejournal.com]

Вот что меня убивает в ФП, так это 10 строк комментария на одну строку кода. И причина то в общем ясна, а осадок всё равно неприятный.

Кстати, я такого рода комменты пишу человеческим языком, хотя и получается гораздо многословнее. А то автобус собьёт и никто в коде уже не разберется :)

[tonal.myopenid.com (from livejournal.com)]

А не приходилось наблюдать исходники на делфах, где каждой строчке примитивного кода предшествовало несколько строк комментов? :)

Так шта ФП здесь как всегда не причём. :)

[blackyblack.livejournal.com]

Ну комментировать каждую строку кода это патология и особенности обучения. :)
А вот ФП всё-таки причём, потому что когда видишь функцию filter_exit_map и пытаешься понять, что же она делает, а внутри оказывается какой-нибудь комбинатор, то без комментариев приходится туго, а с комментариями не лучше потому что нужна или ссылка на статью про комбинаторы или описание человеческим языком, что происходит.

[tonal.myopenid.com (from livejournal.com)]

Точно точно.
Некоторые граждане до сих пор switch с признаком типа используют.
А когда видят двойную передачу впадают в ступор и кричат "чур меня".
Некоторые, правда, обретают кратковременное просветление при отсылке к авторитетным источникам. :)

[metaclass.livejournal.com]

А что такое "switch с признаком типа" и "двойная передача"? :)

[tonal.myopenid.com (from livejournal.com)]

Двойная передача (Double dispatch): http://en.wikipedia.org/wiki/Double_dispatch.

switch с признаком типа - это когда каженному типу в иерархии присваивается номерочек, и тогда в любом месте, где приходит ссылка на экземпляр базового класса мы этот номерочик проверяем и кастимся к нужному типу...
Короче такой рукопашный визитер (Visitor): http://en.wikipedia.org/wiki/Visitor_pattern