🚀 go-pugleaf

Adam Karpierz <karpierz@_NOSPAM_python.pl> napisał(a): 

> Użytkownik "Aleksander Galicki" <tretete@WYTNIJ.gazeta.pl> napisał:
> 
> > Prosze zauwazyc, ze jezyki beztypowe (czyli dynamiczne)
> 
> Nie zauwazylem tego wczesniej.
> Jesli Pan uwaza ze jezyki dynamiczne sa beztypowymi to.. (..)
> Python jest jezykiem dynamicznym ale jest _w pelni_
> jezykiem 'typowym'.
> Nie ma obiektu w pythonie ktora nie ma scisle okreslonego typu.
> Co wiecej.
> Typ ten jest okreslany raz i nie mozna go zmienic.
> 
> Prosze nie miaszac dwoch zupelnie ortogonalnych pojec.
> 

Niczego nie mieszam. Prosze spojrzec:  The Computer Science and Engineering
Handbook. CRC Press, 2004. Chapter 97

"Languages that do not restrict the range of variables are called untyped
languages: they do not have types or, equivalently, have a single universal
type that contains all values."

"Untyped languages can enforce good behavior (including safety) in a different
way, by performing sufficiently detailed run time checks to rule out all
forbidden errors. (For example, they may check all array bounds, and all
division operations, generating recoverable exceptions when forbidden errors
would happen.) The checking process in these languages is called dynamic
checking; LISP is an example of such a language. These languages are strongly
checked even though they have neither static checking, nor a type system."

"Type system: A collection of type rules for a typed programming language.
Same as static type system."

"Untyped language: A language that does not have a (static) type system"


Python jest wlasnie untyped - zgodnie z terminogia ktora istnieje od jakichs
kilkudziesieciu lat.


A.

-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/