FP design patterns

[thedeemon]

Неплохое и не без юмора совсем вводное введение в ФП для ОО программистов, верующих в дизайн паттерны:

Comments

[kodt-rsdn.livejournal.com]

А дальше начинается боль и унижение, потому что ад-хок там чисто ООП-шный, дотнетовский.

Но делать интерфейсы, жалко уподобленные тайпклассам, - это... это какой-то позор!

[binf.livejournal.com]

Кроме интерфейсов есть ещё дак-тайпинг, работающий через дженерик-ограничение по методу класса. Обещают в 5 версии значительно прокачать эту фичу

[kodt-rsdn.livejournal.com]

Где можно прочитать об этом?

[binf.livejournal.com]

да бес его знает ,вероятно где-то в мсдн. что вроде такой вот функции

let inline getLength< ^a when ^a : (static member Length : string -> int)> str =
    ( ^a : (static member Length : string -> int) str)

[kodt-rsdn.livejournal.com]

А, этот фокус с инлайном, т.е. с чистым компайл-таймом.

Чем это лучше старых добрых плюсовых шаблонов?! Ничем, только ещё хуже. В плюсах-то все эти подстановки и вывод типов на ходу - будь здоров как проработан.
Прокачают до плюсов - будет круто :)))