Vlákno názorů ke zprávičce Jaderný modul v Haskellu od Inkvizitor - Obávám se ale, že do oficiálního jádra takové...

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.