sisältää sanat: tyyppi + turvallisuus
Merkitys
(englanniksi)- type safety (the extent to which a programming language is type-safe)
Esimerkkilauseet
Menetelmän tavoite on korjata kaksi callback -funktioiden heikkoutta: parantamalla tyyppiturvallisuutta ja vähentää riippuuvuutta tiedosta mitä callback -funktiota käsittelijän on kutsuttava.Ominaisuuksia ensimmäisen luokan ympäristöt sisällytys - ja parametrisoitu polymorphismi, tyypinpäättely (Hindley -Milner - variantti), käännösaikainen tyyppiturvallisuus moniperintä ja alityypitys korkeamman asteen funktiot, funktioliteraalit moduulit hahmonsovitus sisäänrakennetut perustyypit (esimerkiksi lista ja vektori) nimikoidut argumentit poikkeuksien käsittely Aiheesta muualla The Bla Page Funktionaaliset ohjelmointikieletTaivutustiedot
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | tyyppiturvallisuus |
| Genetiivi | tyyppiturvallisuuden |
| Partitiivi | tyyppiturvallisuutta |
| Essiivi | tyyppiturvallisuutena |
| Translatiivi | tyyppiturvallisuudeksi |
| Inessiivi | tyyppiturvallisuudessa |
| Elatiivi | tyyppiturvallisuudesta |
| Illatiivi | tyyppiturvallisuuteen |
| Adessiivi | tyyppiturvallisuudella |
| Ablatiivi | tyyppiturvallisuudelta |
| Allatiivi | tyyppiturvallisuudelle |
| Abessiivi | tyyppiturvallisuudetta |
Riimit
-isuːs
Kaikki riimit