[12] to, ze se z jazyka odebere par potencialne nebezpecnych featur ho jeste nedela bezpecny. ...zustava tu spousta krasnych veci jako preteceni hodnot nebo fakt, ze kazda _funkce_ muze vyhodit vyjimku (nebo provest jiny side effect), aniz by to programator tusil,...
on je totiz rozdil mezi programem o kterem si myslite, ze je bezpecny a programem u nehoz je to dokazane...
[13] scheme rulez! zajimavym jazykem, bezpochyby inspirovanym schemem, je bitc, ktery by mel umet dokazovat, ze program je korektni... zatim jsem to nezkousel, ale uz par let si na to delam cas... ;-]
