---
key: tsys/flow
kind: typeSystem
name: "Flow-Sensitive"
url: https://plangs.page/type-system/flow
---

# Flow-Sensitive

The types of variables can change based on control flow in the program.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Flow-sensitive_typing

## Relationships

### Plangs

- [Dart](https://plangs.page/dart)
- [F#](https://plangs.page/f-sharp)
- [Julia](https://plangs.page/julia)
- [Kotlin](https://plangs.page/kotlin)
- [Reason](https://plangs.page/reason)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)
- [Swift](https://plangs.page/swift)
- [TypeScript](https://plangs.page/typescript)
- [Whiley](https://plangs.page/whiley)
- [Zig](https://plangs.page/zig)