Vlákno názorů k článku Bezpečné programování ala Ada od neologism - no, ona je vubec otazka jestli stoji za...

no, ona je vubec otazka jestli stoji za tu namahu snazit se vylepsovat v bezpecnosti imperativni jazyky - at uz strukturovanym progamovanim , oop nebo striktni typovou kontrolou...

co takhle zazit pouzivat jina paradigmata?

existuje moznost jak se napr. v Haskellu pripojit k databazi?

Jasne, odkaz je na webu haskelu, existuje i konektor pro MySQL, mozna je uz i univerzalnejsi (ODBC?).