teal-language/tl
View on GitHub ↗ ★ 3,004 Lua
The compiler for Teal, a typed dialect of Lua
62 mentions on Hacker News by 42 people: 6 stories, 56 comments · first 2020-07-27 · latest 2026-10-18
20082026
-
…going by that name currently[1]. It's a typed version of Lua. Typed Lua -> TL -> Teal. [1] - https://github.com/teal-language/tl
comment by pull_my_finger · 2020-08-25 · in Show HN: Teal – a serverless VM and programming language -
If this sort of thing interests you, you might want to look at https://github.com/teal-language/tl It implements types on top of Lua. In a single (middle-sized) Lua file. And it is open source.
comment by otikik · 2020-08-05 · in Luau – A fast, small, safe, gradually typed scripting language derived from Lua -
Here it is: https://github.com/teal-language/tl
comment by durub · 2020-08-05 · in Luau – A fast, small, safe, gradually typed scripting language derived from Lua -
It transpiles to plain Lua, so presumably it doesn't improve performance. https://github.com/teal-language/tl/blob/master/docs/about.m...
comment by MaxBarraclough · 2020-08-05 · in Luau – A fast, small, safe, gradually typed scripting language derived from Lua -
There is a typescript for lua: https://github.com/teal-language/tl
comment by minxomat · 2020-08-05 · in Luau – A fast, small, safe, gradually typed scripting language derived from Lua