tag:blogger.com,1999:blog-3208941668630248550.post6388655933262462319..comments2024-03-13T10:43:06.615+02:00Comments on 18-ть лет с Delphi: Написали про монадыAlex W. Lulinhttp://www.blogger.com/profile/08400475846894229767noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-3208941668630248550.post-59380264677273502762013-10-23T16:39:35.148+03:002013-10-23T16:39:35.148+03:00>do-нотация кстати - ОСОБЕННО понятна. varX - т...>do-нотация кстати - ОСОБЕННО понятна. varX - там наверное пробел пропущен и с кейсом (регистром) напутали. Или там опять тонкости, которые я не понял?<br /><br />Никаких тонкостей, просто усталость. =)<br />Должно быть так:<br />http://pastebin.com/5J4y252p<br /><br />>- m - имя монады?<br />да<br /><br />>readFromFile - монада чтения из файла?<br />да<br /><br />>varX - место положения результата?<br /><br />>varX -> return (f x) - означает вернуть монаду, которая вызывает функцию f у которой вместо x будет подставлен varX?<br /><br />\varX -> return (f varX) это функция, возвращающая монаду. Да.Son of a gunnoreply@blogger.comtag:blogger.com,1999:blog-3208941668630248550.post-68311720745299766182013-10-22T22:50:10.730+03:002013-10-22T22:50:10.730+03:00\varX -> return (f x)
-- вот это вроде "ин...\varX -> return (f x)<br />-- вот это вроде "интуитивно понятно", но хотелось бы пояснений.<br />m = readFromFile >>= (\varX -> return (f x))<br /><br />- m - имя монады?<br />readFromFile - монада чтения из файла?<br />varX - место положения результата?<br />varX -> return (f x) - означает вернуть монаду, которая вызывает функцию f у которой вместо x будет подставлен varX?Alex W. Lulinhttps://www.blogger.com/profile/08400475846894229767noreply@blogger.comtag:blogger.com,1999:blog-3208941668630248550.post-47045789777957279512013-10-22T22:46:24.128+03:002013-10-22T22:46:24.128+03:00do-нотация кстати - ОСОБЕННО понятна. varX - там н...do-нотация кстати - ОСОБЕННО понятна. varX - там наверное пробел пропущен и с кейсом (регистром) напутали. Или там опять тонкости, которые я не понял?Alex W. Lulinhttps://www.blogger.com/profile/08400475846894229767noreply@blogger.comtag:blogger.com,1999:blog-3208941668630248550.post-52540144661025245852013-10-22T22:44:20.989+03:002013-10-22T22:44:20.989+03:00Но - "закорючки" всё же :-) уж не обижай...Но - "закорючки" всё же :-) уж не обижайтесь на "императивщика".. Не чета "примесям"....Alex W. Lulinhttps://www.blogger.com/profile/08400475846894229767noreply@blogger.comtag:blogger.com,1999:blog-3208941668630248550.post-36516500417254558922013-10-22T22:41:54.810+03:002013-10-22T22:41:54.810+03:00вот тут - ПОНЯЛ, спасибо.вот тут - ПОНЯЛ, спасибо.Alex W. Lulinhttps://www.blogger.com/profile/08400475846894229767noreply@blogger.com