🚀 go-pugleaf

Adam Szeliga wrote:

> Andrzej Lewandowski wrote:
>
> > siosion@meil.pw.edu.pl (Adam Szeliga) wrote:
> >
>
> > Jakis czas temu ludzie wymyslili cos takiego jak "typy". Typy
> > okreslaja nie tylko ilosc bajtow potzrebnych na reprezentacje danych,
> > ale i dopuszczalne operacje na tych danych. Zauwazyli tez dosyc dawno,
> > ze dopuszczalne operacje na znakach powinny byc inne niz dopuszczalne
> > operacje np. na liczbach calkowitych. Oczywiscie, w ramach ogolnej
> > dowolnosci ktos moze sobie uznac ze np. ma sens wyciaganie pierwiastka
> > kwadrarowego z obiektu 'A'. Zyjemy w wolnym swiecie. Co pozwale
> > rowniez mnie wyrazic swoj stosunek do podobnych pomyslow, co wyrazilem
> > w poprzednim postingu.
> >
>
> Oczywiscie zgadzam sie z opinia iz definicja typu to takze okreslenie
> dopuszczalnych
> na nich operacji.

Aby zle sie nie utrwalilo, krotkie uscislenie. System typow to nie tylko
okreslenie
operacji. Typy maja kilka innych kluczowych cech oraz wypelniaja kilka rol
w jezykach programowania.
Zadaniem systemu typow jest rowniez:
- ustalenie struktury bytow programistycznych (dla operacji generycznych
takich
jak porownanie i podstawienie)
- ustalenie reprezentacji wielkosci (odwzorowania wartosci na pamiec)
- ustalenie sygnatur procedur, funkcji, metod,
- modelowanie pojeciowe, czyli ustalenie nazw bytow programistycznych,
ktore beda mialy znaczenie dla nieformalnej semantyki programu i jego
zwiazkow ze swiatem.

System typow kontroluje oczywiscie czy operacja na pewnej wielkosci jest
dopuszczalna. Nie jest to jednak jedyna jego funkcja, potrzebne jest wiecej,
Ustala on ponadto:
- jak nowe typu moga byc kostruowane z istniejacych typow,
- jaki typ powstaje w wyniku zastosowania konstrucji gramatycznych jezyka
(operacji); sa to tzw. reguly wnioskowania o typie
- ustala reguly i metareguly dopasowania parametrow aktualnych do zadanych
typow parametrow formalnych (np. zasada substitutability, kowariancja, itd.)

Pan Lewandowski ma absolutna racje, ze typy sa bardzo wazne. Moze z tym idiota

troszczke przesadzil, ale sam uzywam rownie dosadnych okreslen na tworcow
standardow CORBA i ODMG, ktorym wydaje sie, ze wiedza o co chodzi w mocnym
typowaniu, demostrujac przy tym dziewicza wprost naiwnosc malego Kazia.

Pozdrowienia
Kazimierz Subieta