с нее в осадок, мне показалась она избыточной - типа просто чтобы писать покороче, и потому смахивает на сахарок. а так - может я чего-то не знаю и у нее есть еще какой-то крутой смысл?
вспомнил еще один смысл. Я могу ошибаться, но у этой функции корни прорастаю в саму теорию категорий. В частности я такое замечал в законах определения функтора: fmap id = id то есть List.map id [1;2;3] = [1;2;3]
Обсуждают сегодня