🚀 go-pugleaf

On 10 Maj, 05:16, "Adam Karpierz" <karpierz@_NOSPAM_python.pl> wrote:
> Użytkownik "Aleksander Galicki" <tret...@WYTNIJ.gazeta.pl> napisał:
>
> >> Prosze nie miaszac dwoch zupelnie ortogonalnych pojec.
>
> > Niczego nie mieszam. Prosze spojrzec:  The Computer Science and
> > Engineering
> > "Type system: A collection of type rules for a typed programming language.
>
> Prawda
>
> > Same as static type system."
>
> Bzdury.
>
> > "Untyped language: A language that does not have a (static) type system"
>
> Bzdury
>
> > Python jest wlasnie untyped - zgodnie z terminogia ktora istnieje od
> > jakichs
> > kilkudziesieciu lat.
>
> Bzdury a nie terminologia
>
> PS: Jezykiem beztypowym to jest np Tcl.
>       Tam wszystko jest stringiem.

Bzdura.

Język Tcl jak najbardziej posiada typy (z tym tylko, że w zakresie
języka nie można tworzyć własnych). Zasada EIAS tak naprawdę polega
tylko na tym, że każdy obiekt Tcl-owy (a więc należący do jednego z
Tcl-owych typów) jest automatycznie serializowalny, tzn. zawsze może
być przekonwertowany na string i odwrotnie. No i oczywiście nie można
tych typów jawnie weryfikować w programach.

Aczkolwiek jest to zupełnie niepotrzebne, bo w Tcl-u się po prostu
tego nie robi. Jeśli np. potrzebujemy wykonać operację dodawania na
dwóch wartościach, a jedna z nich jest stringiem nie konwertowalnym na
liczbę, to leci wyjątek (note: odmiennie, niż np. w Perlu, w którym
"jeden" == "dwa" zwraca true). Część kwalifikacji wartości można
wykonać np. za pomocą komendy [string is].

>       Jezykiem beztypowym w czesci jest Perl.

Aha, czyli "beztypowy" oznacza dla ciebie "taki, gdzie obiektom nie
można sprawdzić typu". Cóż, niektórzy uważają, że jest to zbędny
ficzer. Ja przychylam się do twierdzenia, że język beztypowy to taki,
który nie posiada statycznego systemu typów (co mówiłem już od dawna),
ale i w takim języku nie widzę koniecznej potrzeby posiadania
możliwości sprawdzania typu. W języku skryptowym przykładowo mogę mieć
"coś" pobrane z jakiegoś źródła i nie interesuje mnie czy w postaci
liczby całkowitej, czy stringa, ale interesuje mnie jednak, czy to, co
dostałem, to liczba. Więc nie obchodzi mnie jakiś zakodowany dla
obiektu TYP, po stwierdzeniu którego mogę stwierdzić, że, kurde, mogę
sobie wziąć na żywca, albo dopiero muszę przekonwertować string na
liczbę. Sprawdzam tylko czy [string is integer $liczba] i to mi
wystarczy.