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

# Safe

Ensures that operations are performed on compatible types, preventing unintended behavior and runtime errors.

## Facts

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

## Relationships

### Plangs

- [Ada](https://plangs.page/ada)
- [Amber](https://plangs.page/amber)
- [C#](https://plangs.page/c-sharp)
- [Gleam](https://plangs.page/gleam)
- [Hack](https://plangs.page/hack)
- [Haskell](https://plangs.page/haskell)
- [Java](https://plangs.page/java)
- [Pascal](https://plangs.page/pascal)
- [Pony](https://plangs.page/pony)
- [PowerShell](https://plangs.page/powershell)
- [Rust](https://plangs.page/rust)
- [Visual Basic](https://plangs.page/visual-basic)
- [Whiley](https://plangs.page/whiley)