| dbpedia-owl:abstract
|
- Vahva tyypitys on ohjelmointikielissä käytettävä ominaisuus, joka määrittelee, että jokaisella muuttujalla on tyyppi ja muuttujat voivat saada ainoastaan tyyppinsä mukaisia arvoja. Ominaisuus on käytössä useissa ohjelmointikielissä, mutta ei kaikissa. Vahvan tyypityksen ansiosta ohjelmointikielen kääntäjä huomaa jotkin ohjelmointivirheet automaattisesti.
- Silna typizacja to system typów w języku programowania, w którym każde wyrażenie ma ustalony typ i nie można go używać w kontekście przeznaczonym dla innych typów. Silna typizacja wykrywa pewne błędy, jednak ogranicza znacznie język i tworzy wiele fałszywych błędów. Np. mieszanie liczb zmiennoprzecinkowych i całkowitych jest prawie zawsze w pełni poprawne, jednak niektóre systemy silnie typizowane uznają je za błąd.
- A programozási nyelvek csoportosíthatók a bennük létrehozott változókra, típusokra vonatkozó műveletek szigorúsága alapján: ezen szempontból beszélhetünk erősen vagy gyengén típusos nyelvekről. Azon nyelveket, melyekben minden változót előre deklarálnunk kell, és minden adattípussal csak a rajta elvégezhető műveleteket tehetjük meg, erősen tipikus programozási nyelvnek hívjuk.
- In computer science and computer programming, a type system is said to feature strong typing when it specifies one or more restrictions on how operations involving values of different data types can be intermixed. The opposite of strong typing is weak typing.
- Строгая типизация — один из вариантов политики работы с типами данных, которая используется в языках программирования.
- Un lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado una variable de un tipo concreto, no se puede usar como si fuera una variable de otro tipo distinto a menos que se haga una conversión. No hay una única definición de este término. Un lenguaje que no es fuertemente tipado se dice que no está tipado. La mayoría de los lenguajes imperativos son fuertemente tipados mientras que los lenguajes declarativos no suelen estar tipados.
- 在電腦科學以及程式設計中，術語強型別用以描述程式語言對於混入不同数据类型的值，這方面的運算限制中所處的地位。它的反義詞是弱型別。然而，這些術語在短短的電腦歷史中，早已含括了更多的意義，而且時常很難知道寫的人究竟要表達哪個意思。 中國大陸用語習慣稱型別為类型；稱資料為数据；稱執行為运行。
- En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées. Par opposition, un langage sans typage fort est dit faiblement typé. Depuis son invention, le terme de typage fort a été employé avec de nombreux sens contradictoires, ce qui lui a enlevé presque toute signification. La liste qui suit rassemble quelques affirmations possibles sur le typage fort, avec des exemples de langages fortement typés et respectant le critère.
- In informatica, e in particolare in programmazione, l'espressione tipizzazione forte (strong typing) può essere usata per caratterizzare il tipo di regole che un determinato linguaggio di programmazione impone, a livello sintattico o semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo. L'opposto della tipizzazione forte è la tipizzazione debole. In un linguaggio fortemente tipizzato, il programmatore è tenuto a specificare il tipo di ogni elemento sintattico che durante l'esecuzione denota un valore (per esempio un valore costante, una variabile o una espressione), e il linguaggio garantisce che tale valore sia utilizzato in modo coerente con il tipo specificato: per esempio, non è possibile eseguire una somma aritmetica su dati di tipo stringa. Questo concetto generale può applicarsi con diverse sfumature; a seconda del contesto, dunque, l'espressione linguaggio fortemente tipizzato può riferirsi a cose leggermente diverse: tipizzazione statica: tutti i controlli sull'uso corretto dei valori rispetto al loro tipo vengono eseguiti durante la compilazione; sicurezza rispetto ai tipi (type safety): è garantito che vengano fatti controlli esaustivi sull'uso dei valori rispetto al loro tipo, ma non necessariamente durante la compilazione (un programma potrebbe fallire durante l'esecuzione a causa di violazioni di tipo) impossibilità di eseguire conversioni di tipo; impossibilità di eseguire conversioni di tipo implicite; Un esempio limite di linguaggio debolmente tipizzato è il linguaggio macchina, in cui un'area di memoria, rappresentata nel codice da un indirizzo di memoria, può essere usata indifferentemente per contenere valori di qualunque tipo, numeri interi, numeri con la virgola, caratteri, e così via. I linguaggi di programmazione ad alto livello tendono ad avere sistemi dei tipi più sicuri e quindi ad avvicinarsi all'ideale della forte tipizzazione, ma in genere rimangono disponibili meccanismi per trattare dati in modo flessibile che si prestano a essere utilizzati per violare il sistema dei tipi. Per esempio, il linguaggio C fornisce almeno tre meccanismi che lo qualificano come linguaggio debolmente tipizzato: le operazioni di casting, che consentono di forzare l'interpretazione di un qualunque valore secondo un qualunque tipo (anche un tipo diverso da quello a cui il valore è stato precedentemente associato); i puntatori a void, che godono di conversione di tipo implicita verso qualunque altro tipo puntatore; le unioni consentono di interpretare una collezione di dati correlati secondo diverse attribuzioni di tipo indipendenti.
- Starke Typisierung (engl. strong typing, deutsch oft auch strenge Typisierung) bezeichnet ein Prinzip bei der Typisierung von Programmiersprachen, das allerdings nicht eindeutig definiert ist. In der Fachliteratur finden sich unterschiedlich strenge Definitionen. Man kann aber generell zwischen Sprachen ohne oder sehr schwacher Typisierung oder stärkerer Typisierung unterscheiden. Oft hängt strenge mit statischer Typisierung zusammen und erweitert diese. Bei dynamischer Typisierung im Rahmen von Referenzvariablen, Vererbung oder Polymorphie, letztere können oft erst zur Laufzeit der entsprechenden Programme überprüft werden, gibt es sehr große Unterschiede in der Stärke der Typisierung. Programmiersprachen die bei dynamischen Variablen nur sehr schwach typisiert sind, wie C oder C++, erlauben die Zuweisung von beliebigen Adressen an Referenzvariablen. Sehr rigoros entworfene Programmiersprachen erlauben nur streng kompatible Zuweisungen, viele Programmiersprachen tolerieren jedoch aus praktischen Erwägungen implizite Typenumwandlungen ohne oder mit vernachlässigbarem Informationsverlust. Starke Typisierung wird meist als Vergleich denn als absolute Bezeichnung genutzt: Sprache X ist stärker/strenger typisiert als Sprache Y. Bei solchen Vergleichen spielt sehr oft das Vorhandensein impliziter oder auch expliziter Konvertierungen eine Rolle; so ist PHP deshalb schwächer typisiert als C, weil PHP fast überall implizit konvertiert, C jedoch nur bei ähnlichen Typen. C++ ist wiederum deshalb stärker typisiert als C, da z. B. implizite Umwandlungen von void- in beliebige andere Pointer nicht erlaubt sind. Noch stärker typisiert ist wiederum Delphi, das im Gegensatz zu C++ keine impliziten Konvertierungen zwischen Boolean- und Integer-Werten vornimmt. Und Haskell erlaubt noch nicht einmal implizite Konvertierungen von Ganz- in Fließkommazahlen. Der Sinn einer starken Typisierung ist, Programmierfehler zu vermeiden, die entstehen können, wenn der Compiler oder Interpreter nicht auf gefährliche, implizite (nicht ausdrücklich ausgezeichnete) Typkonvertierungen hinweist - beispielsweise würde in der Skriptsprache Perl (ohne, eine Compiler-Anweisung, die den Compiler darauf hinweist, eine sehr strenge Prüfung vorzunehmen) der String "4" implizit in den Integer 4 umgewandelt, jedoch der z. B. durch Tippfehler entstehende String "e4" in den Integer 0. In C dürfte (alleine wegen der völlig unterschiedlichen Repräsentation von Strings und Integern) solch eine Umwandlung nicht durchgeführt werden.
|
| rdfs:comment
|
- Vahva tyypitys on ohjelmointikielissä käytettävä ominaisuus, joka määrittelee, että jokaisella muuttujalla on tyyppi ja muuttujat voivat saada ainoastaan tyyppinsä mukaisia arvoja. Ominaisuus on käytössä useissa ohjelmointikielissä, mutta ei kaikissa. Vahvan tyypityksen ansiosta ohjelmointikielen kääntäjä huomaa jotkin ohjelmointivirheet automaattisesti.
- En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées. Par opposition, un langage sans typage fort est dit faiblement typé. Depuis son invention, le terme de typage fort a été employé avec de nombreux sens contradictoires, ce qui lui a enlevé presque toute signification.
- Starke Typisierung (engl. strong typing, deutsch oft auch strenge Typisierung) bezeichnet ein Prinzip bei der Typisierung von Programmiersprachen, das allerdings nicht eindeutig definiert ist. In der Fachliteratur finden sich unterschiedlich strenge Definitionen. Man kann aber generell zwischen Sprachen ohne oder sehr schwacher Typisierung oder stärkerer Typisierung unterscheiden. Oft hängt strenge mit statischer Typisierung zusammen und erweitert diese.
- Silna typizacja to system typów w języku programowania, w którym każde wyrażenie ma ustalony typ i nie można go używać w kontekście przeznaczonym dla innych typów. Silna typizacja wykrywa pewne błędy, jednak ogranicza znacznie język i tworzy wiele fałszywych błędów. Np. mieszanie liczb zmiennoprzecinkowych i całkowitych jest prawie zawsze w pełni poprawne, jednak niektóre systemy silnie typizowane uznają je za błąd.
- A programozási nyelvek csoportosíthatók a bennük létrehozott változókra, típusokra vonatkozó műveletek szigorúsága alapján: ezen szempontból beszélhetünk erősen vagy gyengén típusos nyelvekről. Azon nyelveket, melyekben minden változót előre deklarálnunk kell, és minden adattípussal csak a rajta elvégezhető műveleteket tehetjük meg, erősen tipikus programozási nyelvnek hívjuk.
- In informatica, e in particolare in programmazione, l'espressione tipizzazione forte (strong typing) può essere usata per caratterizzare il tipo di regole che un determinato linguaggio di programmazione impone, a livello sintattico o semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo. L'opposto della tipizzazione forte è la tipizzazione debole.
- In computer science and computer programming, a type system is said to feature strong typing when it specifies one or more restrictions on how operations involving values of different data types can be intermixed. The opposite of strong typing is weak typing.
- Строгая типизация — один из вариантов политики работы с типами данных, которая используется в языках программирования.
- Un lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado una variable de un tipo concreto, no se puede usar como si fuera una variable de otro tipo distinto a menos que se haga una conversión. No hay una única definición de este término. Un lenguaje que no es fuertemente tipado se dice que no está tipado. La mayoría de los lenguajes imperativos son fuertemente tipados mientras que los lenguajes declarativos no suelen estar tipados.
- 在電腦科學以及程式設計中，術語強型別用以描述程式語言對於混入不同数据类型的值，這方面的運算限制中所處的地位。它的反義詞是弱型別。然而，這些術語在短短的電腦歷史中，早已含括了更多的意義，而且時常很難知道寫的人究竟要表達哪個意思。 中國大陸用語習慣稱型別為类型；稱資料為数据；稱執行為运行。
|
