← Monday, October 19, 2026Languages & toolsTool

Teal adds static types to Lua and compiles typed source into Lua

teal-language.org Editor score 6/10

Teal extends Lua with annotations, interfaces, union types and generics, then compiles its source files to Lua. It is a useful example of a lightweight typed-language approach for teams working with Lua.

What: - Teal is a statically typed dialect of Lua with annotations for arrays, maps, records, interfaces, union types and generics.
How: - Its compiler, tl, converts .tl source code into .lua files.
Why it matters: - Teal offers typed development for projects that want to retain Lua's minimalism, portability and embeddability.

Teal source code passes through tl to produce Lua files. Sketched from the article's own text.

Read on teal-language.org → Hacker News · 70 comments

Discussion

Discussion is not switched on yet. Use Note above to keep your own thoughts on this story.

Headline, summary, brief and diagram are written by a model from the source's own text; the link, byline and numbers come from the source. Read the original before relying on a claim.