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

# Manifest

All variables are explicitly typed in the code, usually associated with static typing.

## Facts

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

## Relationships

### Plangs

- [Agda](https://plangs.page/agda)
- [C](https://plangs.page/c)
- [Cilk](https://plangs.page/cilk)
- [Clang](https://plangs.page/clang)
- [FAUST](https://plangs.page/faust)
- [Fortran](https://plangs.page/fortran)
- [Hack](https://plangs.page/hack)
- [Java](https://plangs.page/java)
- [Shen](https://plangs.page/shen)