Alacsonyabb típus

A legalacsonyabb típus ( null típus , üres típus ) néhány típuselméletben és programozási nyelvben használt objektum , amely értékek nélküli típusnak felel meg. A szabványos matematikai jelölés a felső tack ( ). A Curry-Howard levelezés keretében a legalacsonyabb típus egy logikai hamis képletnek felel meg.

Az altípusos rendszerekben a legalacsonyabb típus az összes típus egy altípusa [1] ; ennek ellenkezője azonban nem biztos, hogy igaz – bizonyos esetekben az összes típus altípusa nem feltétlenül a legalacsonyabb. Egyes típusrendszerek kettős fogalmat vezetnek be - a legmagasabb típust , amely lefedi a rendszer összes lehetséges értékét.

A programozásban a függvény visszatérési értékeként a legalacsonyabb típust gyakran használják a függvénydivergencia kimutatására: amikor a függvény nem ad vissza semmilyen eredményt a hívónak. Támogatott: Haskell (2010 óta), Common Lisp (szimbólum NIL), Scala ( ; paraméterezett típusok kovarianciájáraNothing is használják ), Rust (kísérleti adattípus, jelölése ; jelen van az olyan függvények aláírásában, amelyek garantáltan nem adnak vissza értéket, például hívás vagy végtelen hurok esetén, és visszatérési típusként olyan vezérlőfolyam-operátorokhoz, mint a [ 2] , Ceylon ( [3] , Julia ( [4] , TypeScript ( ) [5] [6] ) , JavaScript Closure Compiler megjegyzésekkel ( ), PHP ( ), Python ( ) [7] , Kotlin ( [8] , Elm ( ) [9] , D ( ) [10] . !panic!()breakreturn)Nothing)Union{})never!Nullnevertyping.NoReturnNothing)Nevernoreturn

Jegyzetek

1. ↑ Piers Benjamin S. (1997). "Korlátozott mennyiségi meghatározás alsó határral." CiteSeerX  10.1.1.17.9230 .
2. ↑ A primitív típus soha . Rust szabványos könyvtári dokumentáció . Letöltve: 2020. szeptember 24. Az eredetiből archiválva : 2020. szeptember 23. (határozatlan)
3. ↑ 3. fejezet Típusrendszer - 3.2.5. Alacsonyabb típus . A Ceylon programozási nyelv . Red Hat, Inc. Letöltve : 2017. február 19. Az eredetiből archiválva : 2017. február 20.. (határozatlan)
4. ↑ A Julia programozási nyelv alapjai , < https://docs.julialang.org/en/v1/base/base/ > Archiválva 2021. július 25-én a Wayback Machine -nél 
5. ↑ A soha nem írható típus, TypeScript 2.0 kiadási megjegyzések , Microsoft, 2016-10-06 , < https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-0.html#the-never-type > . Letöltve: 2019. november 1. Archiválva : 2019. október 30. a Wayback Machine -nél 
6. ↑ A soha típus, TypeScript 2.0 kiadási megjegyzések, forráskód , Microsoft, 2016-10-06 , < https://github.com/microsoft/TypeScript-Handbook/blob/bb3564f4f06dd776d430198a137ae90580/00%rease.2.0% md#the-never-type > . Letöltve: 2019. november 1. Archiválva : 2021. július 16. a Wayback Machine -nél 
7. ↑ gépelés.NoReturn, gépelés — Tipptipp támogatás, Python Language Documentation, Python Software Foundation , < https://docs.python.org/3/library/typing.html#typing.NoReturn > . Letöltve: 2020. február 25. Archiválva : 2020. február 21. a Wayback Machine -nél 
8. ↑ Semmi , < https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-nothing.html > . Letöltve 2020. május 15-én. Archiválva : 2020. február 25. a Wayback Machine -nél 
9. ↑ Soha , < https://package.elm-lang.org/packages/elm/core/latest/Basics#Never > . Letöltve: 2021. március 25. Archiválva : 2021. április 10. a Wayback Machine -nél 
10. ↑ Types - D programozási nyelv . dlang.org . Letöltve: 2022. július 31. (határozatlan)

Linkek

• Pierce B. Típusok programozási nyelvekben. - Dobrosvet , 2012. - 680 p. — ISBN 978-5-7913-0082-9 .