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. …would be quite helpful for LLMs, since it would help them catch lots of their mistakes. [0]: https://github.com/teal-language/tl/blob/main/CHANGELOG.md#0...
    comment by gucci-on-fleek · 2026-10-18 · in Teal – A statically-typed dialect of Lua
  2. …, https://github.com/terralang/terra ) Teal (2.7k, 2 days ago, https://teal-language.org/ , https://github.com/teal-language/tl ) The Luau author is always on the official Lua mailing list, and it has twice as many stars, so it seems…
    comment by publicdebates · 2026-02-05 · in Lily Programming Language
  3. …it on the website. But you can add a .gitattributes file to the root of your repository like this https://github.com/teal-language/tl/blob/master/.gitattribut... and at least it will display .tl files with .lua highlighting. Again, thank…
    comment by hisham_hm · 2025-05-16 · in Teal – A statically-typed dialect of Lua
  4. …or Python's stub files [2] I was editing my comment during your reply, and added this: > or maybe https://github.com/teal-language/tl#loading-teal-code-from-l... this is the easier way to do it. `require` and use `loader` during…
    comment by sundarurfriend · 2025-05-16 · in Teal – A statically-typed dialect of Lua
  5. …regenerate Lua from .tl files so Neovim can pick up your changes during development. Edit: or maybe https://github.com/teal-language/tl#loading-teal-code-from-l... this is the easier way to do it. `require` and use `loader` during…
    comment by sundarurfriend · 2025-05-16 · in Teal – A statically-typed dialect of Lua
  6. …your code in Teal (typed lua to lua compiler) and then compile that to Lua to be run in Love: https://github.com/teal-language/tl You can get the Lua LSP working in Love2D with full completion support by the way. The Lua LSP has 3rd party…
    comment by james2doyle · 2025-04-28 · in Lune (Rust-based Luau runtime) 0.9.0 released
  7. …> Optional typed Lua using Teal. https://defold.com/product/ https://defold.com/assets/teal/ https://github.com/teal-language/tl
    comment by anentropic · 2025-04-18 · in Defold: cross-platform game engine
  8. > It really could use a fully statically typed layer that compiles down to Lua. That's Teal: https://github.com/teal-language/tl
    comment by discreteevent · 2025-04-18 · in What do I think about Lua after shipping a project with 60k lines of code?
  9. is Teal widely used? https://github.com/teal-language/tl Teal to lua is what typescript to javascript
    comment by synergy20 · 2025-04-18 · in Defold: cross-platform game engine
  10. Check out Teal - https://github.com/teal-language/tl
    comment by darek · 2024-12-14 · in Luon programming language
  11. …is much better. It's been fun using Lua to externalize a lot of logic (and I'm looking into using https://github.com/teal-language/tl because I love me some typing. Outside of that, I've been blogging a lot more (…
    comment by jalcine · 2024-08-24 · in Ask HN: What are you working on (August 2024)?
  12. …difference is between Pallene and Teal [1], I found a 2021 comment [2] that gives some clues. [1] https://github.com/teal-language/tl [2] https://news.ycombinator.com/item?id=26263759
    comment by conaclos · 2024-07-29 · in Pallene: A statically compiled companion language for Lua
  13. Teal ( https://github.com/teal-language/tl ) is the closest we have from a "TypeScript for Lua". It is natively supported by many projects now, including game engines such as the Bevy scripting plugin and Defold.
    comment by catwell · 2024-07-08 · in QuickJS, the Next Generation: a mighty JavaScript engine
  14. …easily represented in Teal. In those cases, using any and making explicit casts is our last resort. https://github.com/teal-language/tl/blob/master/docs/tutoria... Personally if I paid the cost of having an extra compile step then I would…
    comment by cardanome · 2024-06-02 · in What I think about Lua after shipping a project with 60k lines of code
  15. …so you can simply put teal as a lua dependency. I used it with gopher-lua (Golang lua environment). https://github.com/teal-language/tl/pull/523
    comment by koeng · 2024-06-02 · in What I think about Lua after shipping a project with 60k lines of code
  16. …to do with https://mlir.llvm.org/ ? for typed lua, there is a newer typescript-alike effort https://github.com/teal-language/tl than the mentioned one at https://github.com/andremm/typedlua
    comment by synergy20 · 2024-03-18 · in Ravi is a dialect of Lua, with JIT and AOT compilers
  17. There’s also Teal, a typed dialect in Lua, written in plain Lua: https://github.com/teal-language/tl
    comment by erlend_sh · 2023-12-27 · in Buzz: A lightweight statically typed scripting language
  18. …easily been caught by a type checker. > I had some hope that Luau https://luau-lang.org or Teal https://github.com/teal-language/tl would make things better Inline type annotations are not a prerequisite for typechecking; there's nothing…
    comment by cxr · 2023-11-06 · in Lua Criticism Is Unwarranted
  19. …have easily been caught by a type checker. I had some hope that Luau https://luau-lang.org or Teal https://github.com/teal-language/tl would make things better but with the following example function foo(x: number): string if x == 2 then…
    comment by srhtftw · 2023-10-26 · in Lua Criticism Is Unwarranted
  20. …which has led to teal[1] which offers static type checking. [0]: https://moonscript.org/ [1]: https://github.com/teal-language/tl
    comment by nmz · 2023-09-13 · in Why Fennel?
  21. I wonder why the author doesn't use Teal [0] - a typed dialect of lua. [O] https://github.com/teal-language/tl
    comment by conaclos · 2023-08-18 · in Algebraic data types in Lua (almost)
  22. …C compiler (WASM too w/ Emscripten) - https://github.com/pallene-lang/pallene (Lua AOT compiler) - https://github.com/teal-language/tl (Teal -> Lua compiler) - https://typescripttolua.github.io/ (TS -> Lua compiler) -…
    comment by MrOwnPut · 2023-02-14 · in Using Lua with C++
  23. …in using the C API. It also adds types though and maintains Lua idioms as much as possible. [1]: https://github.com/teal-language/tl/discussions/339 [2]: https://github.com/pallene-lang/pallene
    comment by pull_my_finger · 2023-01-30 · in Bog – small, strongly typed, embeddable language
  24. …checking! Type checking will only happen when you run tl check or load a program with tl run.' from https://github.com/teal-language/tl/blob/master/docs/tutoria...
    comment by chadcmulligan · 2023-01-29 · in Bog – small, strongly typed, embeddable language
  25. …(JIT interpreted) - https://nelua.io (Lua -> C) - https://typescripttolua.github.io/ (TS -> Lua) - https://github.com/teal-language/tl (Teal -> Lua) - https://github.com/sumneko/lua-language-server (IDE only typing) With minimum effort you…
    comment by MrOwnPut · 2023-01-29 · in Bog – small, strongly typed, embeddable language
  26. Have you heard of Teal ( https://github.com/teal-language/tl )? It's like typescript for Lua made by Hisham. It also has the concept of declaration files so you can import (and type) existing Lua modules if needed.
    comment by ftransformer · 2023-01-29 · in Bog – small, strongly typed, embeddable language
  27. …teal is written in teal (compiling down to lua, which can be run on lots of different devices!) https://github.com/teal-language/tl
    comment by koeng · 2023-01-27 · in Nelua: AOT statically typed Lua
  28. …for Lua PUC-Rio. Typed Lua Projects: - https://luau-lang.org/ - https://terralang.org/ - https://github.com/teal-language/tl - https://typescripttolua.github.io/ There's also a language server for Lua dialects for type checking in the IDE:…
    comment by MrOwnPut · 2023-01-27 · in Nelua: AOT statically typed Lua
  29. …put a little more hope in Pallene's[3] development, although the aims are slightly different. [1]: https://github.com/teal-language/tl/blob/master/docs/tutoria... [2]: https://www.lua.org/extras/5.1/strict.lua [3]:…
    comment by pull_my_finger · 2022-11-13 · in #lang Lua
  30. Teal is like typescript for Lua: https://github.com/teal-language/tl
    comment by otikik · 2022-11-13 · in #lang Lua
  31. …(companion typed subset of Lua meant to generate optimized C libraries for use with Lua). [1]: https://github.com/teal-language/tl [2]: https://github.com/pallene-lang/pallene
    comment by pull_my_finger · 2022-09-29 · in Lua, a Misunderstood Language (2021)
  32. In the lua realm, there is teal. It is very much like a typescript for lua https://github.com/teal-language/tl
    comment by npage97 · 2022-08-28 · in Wren is a small, fast, class-based concurrent scripting language
  33. The tutorial they link in the intro is quite good: https://github.com/teal-language/tl/blob/master/docs/tutoria...
    comment by nequo · 2022-08-10 · in A History of Lua (2001)
  34. > lack of any types gets very cumbersome You might be interested in Teal ("the typescript for Lua") https://github.com/teal-language/tl
    comment by otikik · 2022-08-10 · in A History of Lua (2001)
  35. …be done, but it requires a lot of discipline. You might enjoy Teal, a sort of "Typescript for Lua" https://github.com/teal-language/tl
    comment by otikik · 2022-05-24 · in Minimalism in programming language design
  36. Give Teal [1] a look. It’s basically typescript for Lua https://github.com/teal-language/tl
    comment by otikik · 2022-02-20 · in Fengari – Lua for the Browser
  37. …and you use TS as a daily driver, you just have to remember the differences. There's also Teal ( https://github.com/teal-language/tl ) but I haven't gotten around to trying it, it may be less confusing to others.
    comment by hunterb123 · 2022-01-14 · in Yuescript is a dynamic language that compiles to Lua
  38. Today I would recommend checking out Teal: https://github.com/teal-language/tl/ I'd consider it the spiritual successor to Typed Lua.
    comment by ufo · 2021-12-27 · in Lua: Good, Bad, and Ugly Parts (2012)
  39. There is also Teal/Tl https://github.com/teal-language/tl
    comment by nerdponx · 2021-11-04 · in Luau goes open-source
  40. There is Teal language that has type annotations and could output plain Lua: https://github.com/teal-language/tl
    comment by buybackoff · 2021-11-03 · in Luau goes open-source
  41. …If you're looking for something more in the Typescript "transpiler" vein, there's Teal ( https://github.com/teal-language/tl ), written by the guy who created LuaRocks (and htop, interestingly). It still seems a little "early" in its life;…
    comment by ubertaco · 2021-08-24 · in Nelua Programming Language
  42. for Lua there is Teal : https://github.com/teal-language/tl Which provides typing and works in the lua vm. Is that something you were looking for ?
    comment by je42 · 2021-05-17 · in Can I get some reasons to use Java instead of Kotlin?
  43. If you're interested in "Lua with types", check out Teal aka "Typed Lua" aka "Tl": https://github.com/teal-language/tl . It compiles to Lua and is available as a single-file Lua module.
    comment by nerdponx · 2021-02-18 · in Mun: A programming language empowering creation through iteration
  44. …Teal [2] which is basically typed lua. [0] https://fennel-lang.org/ [1] https://moonscript.org/ [2] https://github.com/teal-language/tl
    comment by generichuman · 2021-01-21 · in Solar2D Game Engine
  45. …of general purpose application programming, you might be interested in my new(ish) project Teal: https://github.com/teal-language/tl It's a statically typed dialect of Lua, which is compatible with all modern Lua versions. The core…
    comment by hisham_hm · 2021-01-16 · in Lua and Python (2020)
  46. …static type checking, so I think this is probably a good time to mention my new(ish) project Teal: https://github.com/teal-language/tl It's a statically typed dialect of Lua, which is compatible with all modern Lua versions. The core…
    comment by hisham_hm · 2021-01-16 · in Lua, a Misunderstood Language
  47. …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)
  48. …-> 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
  49. * 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?
  50. …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