🚀 go-pugleaf

On Wed, 9 May 2007 21:15:18 +0000 (UTC), "Aleksander Galicki"
<tretete@WYTNIJ.gazeta.pl> wrote:
 
>No wiec prosze nam opowiedziec: co to sa, *konkretnie*, za mechanizmy? To
>pytanie pada po raz trzeci, mam nadzieje, ze nie zostanie tym razem zignorowane. 
>Prosze zauwazyc, ze jezyki beztypowe (czyli dynamiczne) sa charakterestyczne
>wlasnie dlatego, ze nie maja cechy ktora sie zwie statyczny system typow.
>Jakiekolwiek dobrodziejstwa, ktore ktore maja jezyki dynamiczne a ktorych nie
>moze miec statycznie typowany jezyk, musza zatem wynikac z cechy braku
>statycznego systemu typow. Prawde mowiac, nie kojarze zeby tych dobrodziejstw
>bylo duzo. Wiekszosc artykulow pro-dynamic-typing skupia sie na zwiezlosci
>kodu, co jest takim sobie dobrodziejstwem.
>Nawiasem mowiac: http://dirtsimple.org/2004/12/java-is-not-python-either.html
>Ten tekst ladnie uwypukla roznice kuturowe: "sklec to sam" vs "uzyj gotowego". 
>

SparkAda umozliwia formalna weryfikacje programow w jezyku Ada,
wlasnie w oparciu o te statyczne typy:

http://www.praxis-his.com/sparkada/index.asp

A.L.