{{language|Inko
|site=https://inko-lang.org/
|exec=bytecode
|gc=yes
|LCT=yes}}
{{language programming paradigm|concurrent}}
{{language programming paradigm|imperative}}

Inko is a statically-typed and object-oriented language that supports generic types. The compiler comes with type inferences that remove the need for manual type annotations in many places.