Пытанні з тэгам 'monads'

Монада у праграмаванні - гэта складанае апісанне вылічэнняў. Манады з'яўляюцца важнай канструкцыяй ў мовах функцыянальнага праграмавання, такіх як Haskell.
47
адказаў

Што такое монада?

Сцісла зірнуўшы на Хаскелла ў апошні час, што будзе кароткім, кароткім, практычным тлумачэннем таго, што такое монада? Я знайшоў большасць тлумачэнняў, з якімі я сутыкнуўся, каб быць даволі недаступнымі і не мець практычных дэталяў.
зададзены 05 сент. '08 у 02:26
5
адказаў

Монада - гэта проста моноид ў катэгорыі эндофункторов, у чым праблема?

Хто першым сказаў наступнае? Монада - гэта проста моноид ў катэгорыі эндофукторов, што праблема? І на менш важнай ноце, гэта праўда, і калі б вы маглі даць тлумачэнне (спадзяюся, той, які можа быць зразуметы кімсьці, у каго не так шмат вопыту Хаска ...
зададзены 06 каст. '10 у 09:55
8
адказаў

Буйнамаштабны дызайн у Haskell?

Што такое добры спосаб распрацоўкі / структуравання вялікіх функцыянальных праграм, асабліва ў Haskell? Я прайшоў праз кучу падручнікаў (напішыце самі, як мая любімая, з Real World Haskell - другая секунда), але большасць праграм адносна нев ...
зададзены 20 чэрвеня '10 у 04:21
17
адказаў

Монада на простым англійскай мове? (Для праграміста OOP без фону FP)

У тэрмінах, якія праграміст ААП разумеў бы (без якой-небудзь падрыхтоўкі функцыянальнага праграмавання), што такое монада? Якую праблему ён вырашае і якія найбольш распаўсюджаныя месца ён выкарыстоўвае? EDIT: Каб праясніць разуменне, кот ...
зададзены 24 крас. '10 у 16:42
6
адказаў

Што такое бясплатныя манады?

Я бачыў, што тэрмін Free Monad ўсплывае і затым на працягу некаторага часу, але ўсё проста выкарыстоўваюць / абмяркоўваюць іх, не тлумачачы, што яны сабой уяўляюць. Такім чынам: што такое свабодныя манады? (Я б сказаў, што я знаёмы з манадай і асновамі Хаскел ...
зададзены 13 лістапада. '12 у 0:53
7
адказаў

Навошта нам манады?

Па маім сціплым меркаванні адказы на знакаміты пытанне "Што такое монада?" , Асабліва самыя прагаласавалі, спрабуюць растлумачыць, што такое монада без выразнай тлумачачы, чаму манады сапраўды неабходныя. Ці можна іх растлумачыць як рашэнне праблемы?
зададзены 25 студз. '15 у 20:27
5
адказаў

Добрыя прыклады не functor / functor / Applicative / Monad?

Тлумачачы камусьці, што такое клас класа X, я з усіх сіл спрабую знайсці добрыя прыклады структур дадзеных, якія ў дакладнасці адпавядаюць X. Такім чынам, я Запытаная прыклады для: Канструктар тыпу, які не з'яўляецца функтором. Канструктар тыпу, котор ...
зададзены 28 жнів. '11 у 13:42
6
адказаў

Дапамажыце распрацоўніку З # зразумець: што такое монада?

У нашы дні шмат кажуць пра монадах. Я прачытаў некалькі артыкулаў / паведамленняў у блогах, але я не магу прайсці досыць далёка, каб іх прыклады цалкам зразумелі канцэпцыю. Прычына ў тым, што манады ўяўляюць сабой канцэпцыю функцыянальнага мовы, і, з ...
зададзены 23 сакавіка '09 у 22:20
0
адказаў

Scalaz паўтарае: "Пад'ём" `EnumeratorT` для адпаведнасці" IterateeT "для" большай "манады

Калі ў мяне ёсць EnumeratorT і адпаведны IterateeT, я магу запусціць іх разам: val en: EnumeratorT [String, Task] = EnumeratorT.enumList (List ( "a", "b", "c")) val it: IterateeT [String , Task, Int] = IterateeT.length (it = en) .run: Task [I ...
зададзены 13 лістапада. '14 у 20:21
8
адказаў

Чаму пабочныя эфекты мадэлююцца як манады ў Haskell?

Ці можа хто-небудзь паказаць на тое, чаму нячыстыя вылічэнні ў Haskell мадэлююцца як манады? Я маю на ўвазе, што monad - гэта проста інтэрфейс з 4 аперацыямі, так што ж было прычынай мадэлявання пабочных эфектаў?
зададзены 21 сакавіка '10 у 23:47
15
адказаў

Шаблон, каб пазбегнуць ўкладзеных блокаў catch catch?

Разгледзім сітуацыю, калі ў мяне ёсць тры (ці больш) спосабу выканання вылічэнні, кожны з якіх можа збой з выключэннем. Каб выканаць кожны разлік да таго часу, пакуль мы не знойдзем той, які мае поспех, я раблю наступнае: double val; t ...
зададзены 17 каст. '11 у 19:03
5
адказаў

Функцыянальныя шаблоны праектавання

Існуе мноства функцыянальных ідыём: манады, аплікацыі, стрэлкі і г.д. Яны задакументаваныя ў розных артыкулах, але, на жаль, я не ведаю ні адной кнігі ці артыкулы, дзе яны сумуюцца ў адным месцы (ёсць Typeclassopedia, але ў ім шмат абласцей ...
зададзены 05 ліпеня '12 ў 10:26
5
адказаў

Заяўкі складаюць, манады не робяць

Аплікатары складаюць, манады не робяць. Што азначае вышэйпаказанае зацвярджэнне? А калі пераважней іншых?
зададзены 12 жнів. '11 у 16:35
3
адказаў

Якая мэта чытацкай манады?

Чытач манадай настолькі складаны і здаецца бескарысным. На імператыўным мове, такім як Java або З ++, няма эквівалентнага тэрміна для манады чытача (калі я маю рацыю). Ці можаце вы даць мне просты прыклад і трохі растлумачыць мне?
зададзены 06 студз. '13 у 06:06
5
адказаў

Што такое індэксаваная монада?

Што такое індэксаваная монада і матывацыя для гэтай манады? Я чытаў, што гэта дапамагае адсочваць пабочныя эфекты. Але подпіс і дакументацыя тыпу не прыводзяць мяне нікуды. Якім будзе прыклад таго, як гэта можа дапамагчы адсочваць пабочныя эфекты ...
зададзены 24 февр. '15 у 10:39