metaclass: (Default)
[personal profile] metaclass
Читал про монады, наткнулся на несамочевидную шизу с mapM для списков:

mapM (\x -> [x-1, x+1]) [10,20,30]
[ [9,19,29], [9,19,31], [9,21,29], [9,21,31], [11,19,29], [11,19,31], [11,21,29], [11,21,31] ]

Пришлось лезть в ghci и описание устройства mapM, чтобы не сойти с ума.

Date: 2009-11-25 05:23 pm (UTC)
From: [identity profile] mr-aleph.livejournal.com
ну это вполне очевидно, если вспомнить о том, что список как монада --- это "множественность миров".

но первую минуту идёт дым из головы.

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 25th, 2025 04:57 pm
Powered by Dreamwidth Studios