FP design patterns

[thedeemon]

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

Comments

[thedeemon.livejournal.com]

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

[binf.livejournal.com]

рассказал всё, что можно в F#) дальше - ад-хок полиморфизм, которого там нет

[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]

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

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

[kodt-rsdn.livejournal.com]

Вот именно это я и имею в виду. Перечёркивает структурированное знание одного аспекта и даёт азы другого. Несоразмерно.

Конечно, без азов говорить не о чем, т.е. нужна преварительная подготовка.
Но после этого лекция будет выглядеть не "паттерн А, паттерн Б, паттерн В - фигня-война, засуньте это в какую-нибудь монаду", а "зато у нас вот такие и вот этакие типичные ситуации возникают, которые красиво укладываются в монады L, S, T, а вот другие ситуации, для которых лучше изобрести вообще другой математический аппарат"...