Z Wikipedii

System typów języka programowania to system, według którego ustalane są typy wyrażeń, następują konwersje wartości wyrażeń, ich walidacja, wybór kodu do obsługi wyrażenia (polimorfizm) itd.

Systemy te klasyfikuje się według siły typizacji - od typizacji silnej do słabej.

Zobacz też: system typów ML, inferencja typów

To jest tylko zalążek artykuÅ‚u zwiÄ…zanego z informatykÄ…. JeÅ›li potrafisz, rozbuduj go.

Powódź na Podkarpaciu - zginął 35-latek

Z powodu intensywnych opadów deszczu i burz, które przeszły nad powiatem bieszczadzkim (Podkarpackie) i wezbrania lokalnych potoków powyżej zbiornika wodnego w Solinie, tamtejszy starosta wprowadził wieczorem alarmy powodziowe dla gmin: Lutowiska i Czarna.

"Rozgrywającym ws. ustawy medialnej była lewica"

Platforma Obywatelska prowadziła arogancką politykę w zakresie ustawy medialnej w stosunku do SLD - twierdzi poseł niezrzeszony Maciej Płażyński.

Lubelskie: pogotowie przeciwpowodziowe

Wisła w Annopolu (Lubelskie) przekroczyła po południu stan alarmowy o 4 cm. W niżej położonych Puławach, poziom wody w rzece zbliżył się do stanu ostrzegawczego.

Lepper o Sejmie: to żenujące, kompromitacja

Andrzej Lepper, przewodniczący Samoobrony oświadczył w Olsztynie, że to, co dzieje się w Sejmie "jest żenujące", a "kłótnia między rządem, a pałacem prezydenckim kompromituje Polskę w oczach świata".

"Nie prowadzimy nagonki na Kurskiego i Wassermanna"

"Gazeta Wyborcza" nie prowadzi nagonki na posłów PiS Jacka Kurskiego i Zbigniewa Wassermanna. Wydaje się, że wyroki w procesach między "Gazetą" a nimi były sprawiedliwe - uważa z-ca redaktora naczelnego "Gazety" Piotr Pacewicz.

Linki: Strona g³ówna