Hacker GitHub

← All repos

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

Mentions per year 62 mentions · busiest year 2023 (13)
20082026
AllStoriesComments NewestTopOldest
  1. …so I'd been keeping my eye on tl[1] and wu-lan[2] which both transpile to Lua for a while. 1. https://github.com/teal-language/tl 2. https://github.com/wu-lang/wu
    comment by ZoomZoomZoom · 2021-01-15 · in Lua and Python (2020)
  2. …-> JavaScript): https://reasonml.github.io/ * Teal (Lua with strict type annotations -> Lua): https://github.com/teal-language/tl As well as the gazillion languages that compile to and interoperate well with C, such as Nim and several…
    comment by nerdponx · 2020-12-16 · in Zig 0.7.1 Released – 69 bugs fixed
  3. * Typed Lua: https://github.com/andremm/typedlua (not actively maintained) * tl: https://github.com/teal-language/tl a compiler for Teal a typed dialect of lua. (actively maintained)
    comment by soapdog · 2020-09-18 · in Lua in the Kernel?
  4. ▲ 1
    Teal, a Typed Dialect of Lua
    story by nonbirithm · 2020-09-12 · 0 comments
  5. …compiler to generate bytecode. Edit: see also teal[0] (newish) and typedlua[1] (dead?) [0] https://github.com/teal-language/tl [1] https://github.com/andremm/typedlua
    comment by anonymoushn · 2020-09-12 · in Luau: Augmenting Lua’s Syntax with Types
  6. Didn't realize he'd taken a break. Guess that allowed him to develope tl[1]. [1] - https://github.com/teal-language/tl
    comment by pull_my_finger · 2020-09-01 · in Htop 3.0
  7. …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
  8. 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
  9. 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
  10. 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
  11. 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
  12. ▲ 4
    Teal: Static Type-Checking for Lua
    story by minxomat · 2020-07-27 · 0 comments