Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

unit type · Vinony

🌐English

English Deutsch Français Русский 中文日本語

EntityQ1307872· pop 6· linked from 108 articles

unit type

type allowing only one value in type theory

Available in 6 languages

Français
Deutsch
中文
Estonian
wikifunctions

via Wikidata sitelinks · CC0

Connections

initial and terminal objects

Categories

Data types Type theory

Sources

wikipedia.externallinksexternallink

void type

Entity

computer science

International Standard Book Number

programming language

computer programming

unit of measurement

mathematical logic

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.47

Entitydist 0.62

instance variable

Entitydist 0.63

many-valued logic

Entitydist 0.65

continuous spectrum

Entitydist 0.66

New Foundations

Entitydist 0.68

ad hoc polymorphism

Entitydist 0.68

dimensionless physical constant

Entitydist 0.68

Entitydist 0.68

Entitydist 0.69

Entitydist 0.69

Entitydist 0.70

What links here108 pages

initial and terminal objects

half-precision floating-point format

composite data type

physical address

assignable variable

intuitionistic type theory

virtual address space

first-class functions