Co je silné psaní?
Silné psaní je typový systém, který se používá s programovacími jazyky a nutí programátora zadávat kód specifickým způsobem, jak je diktováno typovým systémem a standardy jazyka. Síla silného psaní se může lišit, ale většina typů systémů používá omezení vysoké pevnosti. Tím je možné zastavit většinu nebo všechny neplatné položky, což může zabránit chybám kódování. Některé programovací jazyky umožňují programátorům používat různá celá čísla, ale tento systém psaní omezuje konverze. Uživatele je vynucena konzistence, což může být prospěšné, ale tento systém psaní může také odnést kreativitu.
Pokud někdo používá soupravu nebo programovací jazyk, který má silné psaní, tento systém psaní lze nastavit s vysokou nebo nízkou úrovní síly. Vysoká síla znamená, že systém psaní zadává uživateli přísná omezení, zatímco nízká síla je o něco mírnější s chybami a nekonzistentním kódem. Zatímco u některých systémů se používá nízká pevnost, vysoká pevnost je mnohem běžnější, protože výhody tohoto psacího systému jsou nejlépe podporovány vysokou pevností.
Programátoři mohou při vytváření programu vytvářet neplatné položky, ať už jako omyl nebo záměrně, aby vyzkoušeli nové kódování. U slabého systému psaní budou tyto chyby procházet kompilátorem, což může způsobit závažné chyby. Pokud je použito silné psaní, budou tyto chyby upozorněny na programátora. Systém také obvykle odmítne kompilovat programování, dokud nebude kódování opraveno, což zajistí, že chyby budou minimální.
Celá čísla se často používají s programováním a programovací jazyk někdy umožňuje uživatelům zadávat celá čísla, která nejsou v souladu s jazykem. Zároveň, pokud má jazyk konverzní nástroj, převede celá čísla tak, aby mohla být použita. Silné psaní zakazuje tento postup a odmítá přijímat nestandardní celá čísla.
Způsob, jakým silné psaní ovládá implementaci programovacího jazyka uživatelem, znamená mnoho výhod a nevýhod. To neumožňuje chyby ani nestandardní kódování, takže tento typovací systém zajišťuje konzistentní kódování. Obvykle také zajišťuje, že kódování bude fungovat při kompilaci. Hlavní nevýhoda spočívá v tom, že kreativita je výrazně omezena. Pokud se uživatel pokusí napsat kódování způsobem, který je v rozporu se standardy, i když samotný kód bude fungovat a může být lepší než standardní kódování, pak silné psaní stále zakáže kódování, dokud ho uživatel nestandardizuje.