Dnia Mon, 08 Oct 2012 17:00:31 +0000, Baranosiu napisal:

> Mechanizmy żadnego języka nie zwalniają od myślenia, mogą być pomocne, ale
> nie zniwelują błędów w projekcie. Ślepa wiara w mechanizmy języka może
> sprowadzić na manowce, bo zawsze może pojawić się coś tak trywialnego, jak
> błąd w kompilatorze czy innym narzędziu i całe cudowne mechanizmy mające
> zapewnić niezawodność mogą przestać działać :D

Dlatego tworzone są kompilatory "Coq verified", wspierają niezły subset C.

A spora część ludzi mało myśli, głównie myśli że myśli, a żyje... powiedziałbym,
że w zasadzie wszyscy tak robią, kwestia tylko skali problemu.

--
Edek