Návrhové vzory v Haskellu

Na blogu Inside 245s autor ukazuje, jak implementovat návrhové vzory známé z objektově orientovaných jazyků ve funkcionálním jazyce Haskell.

3.5.2010 21:53 | Radek Miček | Zajímavý článek

Komentáře

[Bedňa]

Hmmmm, ten článok je dosť divný, ja už nikdy neporuzmiem Haskelu a Haskel mne, kua že som sa nenarodil o 10rokov neskôr :(

[Miloslav Ponkrác]

Každému jazyku se dá porozumět, koneckonců stejně všechno ve všech jazycích je prekabátěné goto, podmínky a proměnné.

Nicméně funkcionální jazyky jsou vytvářeny tak, že je horší se v nich orientovat, což vedlo před cca 15 lety k jejich mohutnému ústupu.

V Haskellu v podstatě takřka nikdo neprogramuje (proti porovnání s jinými běžnými jazyky je to statistická chyba). Myslím, že s ohledem na náročnost toho jazyka časem zanikne.

[deda.jabko]

Každému jazyku se dá porozumět, koneckonců stejně všechno ve všech jazycích je prekabátěné goto, podmínky a proměnné.

to je hodne naivni predstava. s takovou muzu tvrdit, ze boeing 747 je jenom prekabateny Ford T. a s touto logikou muzu dal pokracovat...

nicmene, boeingy jsou vytvářeny tak, že je horší se v nich orientovat...

Boeing dneska v podstatě takřka nikdo nepouziva (proti porovnání s jinými běžnými dopravnimi prostredky je to statistická chyba). Myslím, že s ohledem na jejich náročnost boeing časem zanikne.

[Miloslav Ponkrác]

Ta naivní představa vychází z mých 25letých zkušeností jako vývojář a z desítek programovacích jazyků nejrůznějších paradigmat, které jsm byl nucen kdy alespoň částečně zvládnout.

Na zbytek komentáře pak není třeba reagovat, protože dohnat něco do extrému umí každý vůl. Ovšem extrémní příklad, kdy někdo z programovacího jazyka udělá Boeing nedokazují nic jiného, že takový myslitel kouří silný matroš.

[alblaho]

No já myslím, že všechny _imperativní_ jazyky jsou +- to samé.

Přece jenom všelijaké ty deklarativní logická akademická udělátka můžou být docela originální.

Moto Haskellu je "avoid success at all cost" Ono je to vědecký projekt ve kterém se zkoušejí nové věci, které pak pronikají do mainstreamových jazyků. A ty nové věci se nám bude hodit až budeme chtít maximálně využít stojádrový procesor a nezbláznit se z toho.

[Josef Kufner]

Tak, tak... u imperativních jazyků se s tím dá souhlasit, ale funkcionální, logické a deklarativní s tím nemají mnoho společného.

Ve funkcionálních jazycích jako je Haskell je potřeba přemýšlet značně odlišným způsobem (vlastně je to celé tak trošku naruby) a třeba takový Prolog je zcela o něčem jiném...

Btw, Haskel nezkouší zrovna moc nové věci... Jistý pan Haskell Curry žijící 1900 až 1982 vymyslel ty věci kolem roku 1933 – tedy nějakých třicet let ještě před vznikem C a Unixu.

[Radek Miček]

Haskell Curry žijící 1900 až 1982 vymyslel ty věci

To záleží jaké věci máte na mysli. AFAIK lidé kolem Haskellu vymysleli typové třídy, view patterns, Spineless Tagless G-machine, zobecněné algebraické datové typy, různé datové struktury (zippery, finger tree), různé techniky programování (parsec, quickcheck) a další.

[Ladicek]

1936 - Alonzo Church also invents every language that will ever be but does it better. His lambda calculus is ignored because it is insufficiently C-like. This criticism occurs in spite of the fact that C has not yet been invented.

[Radek Miček]

To ale není pravda. Stačí vzít nějaký jazyk a přidat tam funkci rozhodni_jestli_zastaví, která pro libovolný Turingův stroj a vstup určí, zda-li stroj na vstupu zastaví.

[alblaho]

Mě dostává, že autoři Haskellu se (dle jejich vlastních slov) v něm stále učí programovat.

Tj. oni mají jazyk, který je mocný (a má nějaké slabiny), ale není úplně jasné, jak jej použít při řešení reálných problémů. Ještě se neutvořily "best practices", protože člověk v Haskellu může ten problém vyřešit dost různě, přičemž si a) může nabít hubu b) může přijít s geniálním řešením.

[zoul]

Že já na to tlačítko Rozbalit klikal :)

[Petr Smid]

Naivní představa?

I ten Haskellovskej program překompiluje do instrukcí procesoru, což opravdu není nic jiného než podmínky, goto (instrukce podmíněných skoků) a proměnné (registry a paměť).

[alblaho]

To bys pak mohl říct, že všechny turingovské jazyky jsou to samé

A ano, všechno můžeš napsat v assembleru. Ale vyšší programovací jazyky jsou přece od toho, abys to v něm psát nemusel.

[Ondy]

Rozhodne je to zajimavy clanek. O jazyk Haskell se nejakou dobu zajimam, nicmene zatim jsem treba nepochopil koncept monad. Vzdy jsem se proklikal na matematickou definici, ale stejne by me zajimalo, jestli by ji nekdo umel vysvetlit tak aniz by predpokladal ze mam PhD v matematice a teoreticke informatice.

[Radek Miček]

Monad tutorials timeline

[Ondy]

Diky!!!! To vypada velmi zajimave.

[Hynek (Pichi) Vychodil]

No v podstatě je to velice jednoduché. Představ si funkci, která má jako jeden z parametrů celý vesmír a tento parametr si označ IO. No a zbytek jsou jen takové učené kecy kolem.

[Trin_cz]

Ze jsou monady potreba pro pochopeni haskellu je siroce rozsirenym omylem. Proste nechte monady monadama, a uzivejte si treba toho, ze kazda funkce je izolovana a nemuze ovlivnit zbytek programu (vyjma navratove hodnoty). Co ja bych za neco takoveho dal treba v ruby on rails. K haskellu jde pristupovat i zcela neakademicky a je to zatracene prakticky jazyk. OpenGL jsem se naucil poprve az v haskellu - konfigurovatelny remake glxgears a pritom to byla prvni vetsi vec, co jsem v haskellu napsal. Lidi, kteri jsou uz zvykli psat kratke funkce, se ho muzou naucit velmi rychle.

http://neilmitchell.blogspot.com/2010/01/haskell-io-without-monads.html

a samozrejme book.realworldhaskell.org

[alblaho]

Real World Haskell jsem četl, ale už zase zapomněl.

IO tedy bez vědomého použití monád jde, ale myslím, že logování už ne

[void]

Haskell moic nic neříká, ale ten článek je o ničem. Několikařádkové (někdy dokonce několik = 1) obecné řeči...

[diskie]

Haskell ma uci riesit problemy na vyssej urovni abstrakcie. A myslim, ze je to krok spravny smerom.

[Hynek (Pichi) Vychodil]

Máš problém. Vezmeš Haskell a máš dva problémy. Jeden z nich se jmenuje lazy evaluace a s tím související memory leaky.