Názor k článku HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář od belzebub - Obavam se ze pokud bude projekt psan v...

Obavam se ze pokud bude projekt psan v C/C++, tak "pokusy o formalni verifikaci spravnosti kodu" zustanou jenom pokusy.. (za predpokladu ze neplacam blbosti a stale pouzivate C/C++)

Neuvazovali jste treba o nejakem kulturnejsim (rekneme funkcionalnim) jazyku?

Osobne jsem presvedcen ze pokud je cilem spolehlivost a stabilita, funkcionalnim jazykum se nic nevyrovna