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

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

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

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

Пачатак працы з Haskell

На працягу некалькіх дзён я спрабаваў абыйсці вакол парадыгмы функцыянальнага праграмавання ў Haskell. Я зрабіў гэта, чытаючы навучальныя дапаможнікі і назіраючы за скринканами, але, падобна, нічога не здаецца. Цяпер, вывучаючы розныя мовы імпэратыву / OO (напр ...
зададзены 18 чэрвеня '09 у 16:17
7
адказаў

"Якую частку Хиндли-Мілнер вы не разумееце?"

Клянуся, калісьці была футболка для продажу з несмяротнымі словамі: Якая частка ты не разумееш? У маім выпадку адказ будзе ... усё гэта! У прыватнасці, я часта бачу такія абазначэння ў дакументах Haskell, але я не ведаю, што гэта значыць. Я паняцця не ...
зададзены 21 сент. '12 у 17:29
5
адказаў

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

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

У чым розніца паміж. (кропка) і $ (знак даляра)?

У чым розніца паміж кропкай (.) І знакам даляра ($) ?. Наколькі я разумею, яны абодва з'яўляюцца сінтаксічных цукрам, паколькі не патрэбныя круглыя ​​дужкі.
зададзены 02 чэрвеня '09 у 19:06
13
адказаў

Як можа існаваць функцыя часу ў функцыянальным праграмаванні?

Я павінен прызнаць, што я мала ведаю пра функцыянальны праграмаванні. Я чытаў пра гэта тут і там, і так даведаўся, што ў функцыянальным праграмаванні функцыя вяртае той жа выснова для таго ж ўводу, незалежна ад таго, колькі разоў функцыя вызываетс ...
8
адказаў

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

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

Транзітыўнасць аўта-спецыялізацыі ў GHC

З дакументы для GHC 7.6: [Y] ou часта нават не мае патрэбы ў Прагма SPECIALIZE. Пры кампіляцыі модуля M аптымізатар GHC (з -O) аўтаматычна разглядае кожную перагружанай функцыю верхняга ўзроўню, абвешчаную ў M, і спецыялізуецца на розных тып ...
зададзены 01 февр. '14 а 22:13
10
адказаў

Для чаго Haskell сапраўды карысны?

Напрыклад, калі я пачну вывучаць Haskell, што я магу выкарыстоўваць для гэтага. Якія некаторыя агульныя прымянення для гэтай мовы, які я чую, з'яўляецца функцыянальным?
зададзены 22 каст. '09 ў 6:00
15
адказаў

Ці магчыма праграмаванне графічнага інтэрфейсу?

Нядаўна я злавіў памылку FP (спрабуючы вывучыць Haskell), і мяне ўразіла тое, што я бачыў да гэтага часу (першакласныя функцыі, лянівая ацэнка і ўсе астатнія прысмакі). Я яшчэ не эксперт, але мне ўжо стала лягчэй разважаць "функцыянальна", чым імператыўна ...
зададзены 20 крас. '10 у 08:35
7
адказаў

Добрая крыніца Haskell для чытання і вывучэння

Якія некаторыя праграмы з адкрытым зыходным кодам, якія выкарыстоўваюць Haskell і могуць лічыцца якаснымі сучаснымі Haskell? Чым больш база кода, тым лепш. Я хачу даведацца з іх зыходнага кода. Я адчуваю, што я не ведаю, як вучыцца на неб ...
зададзены 19 чэрвеня '11 у 0:27
1
адказ

Метады адсочвання абмежаванняў

Тут сцэнар: я напісаў код з сігнатурай тыпу, і скаргі GHC не змаглі вывесці x ~ y для некаторых x і y. Звычайна вы можаце кінуць GHC ў косць і проста дадаць ізамарфізму да функцыянальным абмежаванням, але гэта дрэнная ідэя па некалькіх прычынах: ...
зададзены 03 мая '14 у 21:11
6
адказаў

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

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

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

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