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

[metaclass]

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

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

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

Comments

[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