Obsah:
Definice - Co znamená silně typizovaný?
Výrazně napsaný je pojem používaný k označení programovacího jazyka, který vynucuje přísná omezení promísení hodnot s odlišnými datovými typy. Pokud jsou taková omezení porušena a dojde k chybě (výjimka).
Techopedia vysvětluje silně napsané
Mezi příklady silně typovaných jazyků patří Java, Ruby, Smalltalk a Python. V případě Java jsou chyby při psaní detekovány během kompilace. Další programovací jazyky, jako je Ruby, detekují chyby při psaní během běhu.
U silně typovaných jazyků je chování operací předvídatelnější ve srovnání se špatně typovanými jazyky. Nevýhodou je, že musí deklarovat a napsat všechny proměnné a parametry - ačkoli někteří by argumentovali, že je to prostě dobré kódování.
Rozlišování mezi silně typovanými jazyky a slabě typovanými jazyky je poněkud rozmazané. Některé z jazyků, které se považují za silně psané, skutečně umožňují ústupky, které je činí špatně napsanými. Vezměte například C #. Zatímco C # vyžaduje, aby všechny jeho proměnné měly definovaný typ, umožňuje programátorovi zakázat dynamickou kontrolu typu. Dokonce i Java, považovaná za jeden z nejpoužívanějších programovacích jazyků, umožňuje objekty přetypovat na jiné typy.
