Jaderný modul v Haskellu

Obávám se ale, že do oficiálního jádra takové high-level moduly jen tak neproniknou.

ja len trochu neviem, ake by priniesol funkcionalny jazyk pri vyvoji kernel modulu – ktory teda vacsinou bude nejaky device driver.. skor ma napadaju same negativa…

Na drivery to asi zrovna nebude, ale spousta modulu nejsou drivery HW, ale naopak resi nejakou logiku, kde se muze hodit (pro nekoho) pohodlnejsi zpusob zapisu algoritmu – napr. sifrovani, nejaky specificky filesystem – no je to takova perlicka, treba se to nekomu bude hodit na nejake custom specialitky. Ale taky nemyslim, ze by se takove moduly mohly nebo mely dostat do standardniho kernelu – uz proto, ze by pak build kernelu vyzadoval kompilator Haskellu

Napadaji me tri hlavni vyhrady:

1. nejsou lidi (kteri umeji dany jazyk a jsou ochotni/zhavi v nem neco delat)
2. imperativni verze je rychlejsi
3. imperativni verze je podstatne blizsi typu reseneho problemu

Vsechny tri jsou trosku problemy typu slepice/vejce. Je jasne, ze jaderne moduly jsou dost extremni pripad, ale pokud to nekoho primeje zajimat se o FP, nekoho jineho treba k praci na superkompilaci Haskellu a nekdo treti zasdili zajimave reseny zdrojak v Haskellu, je to vyhra sama o sobe.

Skoda, ze z te zpravicky neni poznat o jake jadro se jedna.

Clanek pise o tom, ze si muzete napsat a zkompilovat vlastni jaderny modul v Haskellu – takze zalezi, pro jake jadro si ten modul napisete :)

Kompilator GCC se taky nevydava pro specificke jadro…

> Kompilator GCC se taky nevydava pro specificke jadro…

Akorat obcas nektere jadro nejde s nekterym GCC prelozit ;)

Asi byste se divil, ale třeba na Islandu se skutečně mluví ne anglicky, ale islandsky. (Ne, vážně, jak někdo může klást takhle stupidní otázky? ;/)

Já na té otázce nevidím nic stupidního. Samozřejmě, že doslova vzato je jasné, že v tom samozřejmě někdo něco dělá. Taky znám šílence, kteří se topí v teoriích, ohánějí se tvrzeními, že funkce v C nejsou funkce a funkcionální programování je úžasné, ale taky by mě zajímalo, jestli se v tom vůbec něco dělá. (chápete?)

Zeptejte se bank, co Haskell používají na RAD finančních aplikací, ne mně. :p

Máš z téhle ptákoviny takový dojem? :)

chtelo by to jaderny interpreter perlu jako modul…
treba:
modprobe kperl some_ugly_hack.kpl

Kvantita obvykle neprinasi kvalitu…

(anebo jsem nepoznal ironii)

Naprosto souhlasím. V PHP jsem toho už viděl od tzv. programátorů. Mám zkušenosti i s PHP pocházejícím z Indie. Naprostá bomba. Proto se PHP v zaměstnání širokým obloukem vyhýbám.

ale fuj…

Ale houby, jedine Basic. Ten spousta lidi jeste asi trochu umi a nebylo by tezke znovu zacit, zvlast, kdyby byl zvolen nejaky popularni dialekt jako zaklad interpreteru, treba ZX Spectrum. Cobol by take nebyl spatny, typicky jaderny modul by pak mel rozsah zdrojaku porovnatelny s rozsahem zdrojaku treba pro Ext3. :-)

Ty brdo, to neni vubec spatny napad . . .

To pak bude Linux něco jako Longhorn???

Že by někdo dostal do kernelu Mono? Tak šílený snad nikdo není :)

Já myslím, že v jedné nejmenované firmě, mající smlouvu s jinou nejmenovanou firmou jsou nejmenovaní lidé, kteří by to rádi udělali.

Pana Miguela de Icazu muzete oznacit primo… Opravdu mam z nej cim dal vice pocit, ze by rad dosahnul Microsoft Gnome nebo Linux .NET