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

# Inferred

Types are automatically deduced without requiring explicit type annotations.

## Facts

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

## Relationships

### Plangs

- [Agda](https://plangs.page/agda)
- [Ballerina](https://plangs.page/ballerina)
- [Beef](https://plangs.page/beef)
- [Boo](https://plangs.page/boo)
- [Bun](https://plangs.page/bun)
- [C#](https://plangs.page/c-sharp)
- [C++](https://plangs.page/c++)
- [Ciao](https://plangs.page/ciao)
- [CodeMonkey](https://plangs.page/codemonkey)
- [Crystal](https://plangs.page/crystal)
- [Curry](https://plangs.page/curry)
- [D](https://plangs.page/d)
- [Dart](https://plangs.page/dart)
- [F#](https://plangs.page/f-sharp)
- [Flix](https://plangs.page/flix)
- [Futhark](https://plangs.page/futhark)
- [Gleam](https://plangs.page/gleam)
- [Go](https://plangs.page/go)
- [Hack](https://plangs.page/hack)
- [Haskell](https://plangs.page/haskell)
- [Idris](https://plangs.page/idris)
- [Imba](https://plangs.page/imba)
- [Julia](https://plangs.page/julia)
- [Kotlin](https://plangs.page/kotlin)
- [Lobster](https://plangs.page/lobster)
- [MLton](https://plangs.page/mlton)
- [Mojo](https://plangs.page/mojo)
- [Nim](https://plangs.page/nim)
- [OCaml](https://plangs.page/ocaml)
- [Odin](https://plangs.page/odin)
- [PureScript](https://plangs.page/purescript)
- [Python](https://plangs.page/python)
- [Rascal](https://plangs.page/rascal)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)
- [Scopes](https://plangs.page/scopes)
- [Standard ML](https://plangs.page/standard-ml)
- [Swift](https://plangs.page/swift)
- [V](https://plangs.page/v)
- [Vala](https://plangs.page/vala)
- [Wing](https://plangs.page/wing)
- [XQuery](https://plangs.page/xquery)
- [Zig](https://plangs.page/zig)