---
key: tsys/nominal
kind: typeSystem
name: "Nominal"
url: https://plangs.page/type-system/nominal
---

# Nominal

Compatibility between types is determined by explicit declarations or names, rather than structure.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Nominal_type_system

## Relationships

### Plangs

- [.NET](https://plangs.page/.net)
- [Ada](https://plangs.page/ada)
- [Agda](https://plangs.page/agda)
- [ASP.NET](https://plangs.page/asp.net)
- [Beef](https://plangs.page/beef)
- [C](https://plangs.page/c)
- [C#](https://plangs.page/c-sharp)
- [C++](https://plangs.page/c++)
- [Crystal](https://plangs.page/crystal)
- [GNAT](https://plangs.page/gnat)
- [Go](https://plangs.page/go)
- [Haxe](https://plangs.page/haxe)
- [HotSpot VM](https://plangs.page/hotspot)
- [Inko](https://plangs.page/inko)
- [Java](https://plangs.page/java)
- [Julia](https://plangs.page/julia)
- [Mojo](https://plangs.page/mojo)
- [Mono](https://plangs.page/mono)
- [Rust](https://plangs.page/rust)
- [Visual Basic](https://plangs.page/visual-basic)