Bottom type (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Bottom type" in English language version.

refsWebsite

Global rank English rank

2,232^nd place

1,903^rd place

low place

low place

702^nd place

520^th place

1,514^th place

1,024^th place

low place

7,198^th place

low place

low place

low place

8,052^nd place

1ceylon-lang.org

low place

low place

low place

low place

1typescriptlang.org

low place

low place

383^rd place

320^th place

1kotlinlang.org

low place

low place

low place

low place

ceylon-lang.org

"Chapter 3. Type system — 3.2.5. The bottom type". The Ceylon Language. Red Hat, Inc. Retrieved 2017-02-19.

dart.dev

Understanding null safety - top and bottom, retrieved 2022-04-13
Understanding null safety - never for unreachable code, retrieved 2022-04-13

dlang.org

"Types - D Programming Language". dlang.org. Retrieved 2022-10-20.

github.com

The never type, TypeScript 2.0 release notes, source code, Microsoft, 2016-10-06, retrieved 2019-11-01

haskell.org

hackage.haskell.org

"Data.Void". Hackage. Retrieved 2023-09-20.

julialang.org

docs.julialang.org

"Essentials - The Julia Language", The Julia Programming Language Documentation, retrieved 2021-08-13

kotlinlang.org

Nothing, retrieved 2020-05-15

lispworks.com

"Type NIL". Common Lisp HyperSpec. Retrieved 25 October 2022.

oracle.com

docs.oracle.com

"Section 4.1: The Kinds of Types and Values". Java Language Specification (3rd ed.).

python.org

docs.python.org

"typing — Support for type hints — Python 3.12.0a0 documentation". docs.python.org. Retrieved 2024-03-02.
typing.NoReturn, typing — Support for type hints, Python documentation, Python Software Foundation, retrieved 2024-03-02

rust-lang.org

doc.rust-lang.org

"Primitive Type never". The Rust Standard Library Documentation. Retrieved 2020-09-24.

typescriptlang.org

The never type, TypeScript 2.0 release notes, Microsoft, 2016-10-06, retrieved 2019-11-01

upenn.edu

cis.upenn.edu

Pierce, Benjamin C. (1997). "Bounded Quantification with Bottom". Indiana University CSCI Technical Report (492): 1.