tl

The compiler for Teal, a typed dialect of Lua (by teal-language)

Tl Alternatives

Similar projects and alternatives to tl

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better tl alternative or higher similarity.

tl discussion

Log in or Post with

tl reviews and mentions

Posts with mentions or reviews of tl. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-08-24.
  • Ask HN: What are you working on (August 2024)?
    132 projects | news.ycombinator.com | 24 Aug 2024
    I need to clean up this page but I'm working on a local(-ish) book collection tool (calling it Livtet for "book head" in Haitian Kreyol). https://www.jacky.wtf/projects/livtet/ has some notes but https://man.sr.ht/~jacky/livtet 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 (https://www.jacky.wtf/essays/ - August looks so full, ha) and now I'm writing about things I'm reading too (https://www.jacky.wtf/links/). Been doing this to try to ween off social media and rely on places like this to share stuff.

  • Pallene: A statically compiled companion language for Lua
    8 projects | news.ycombinator.com | 28 Jul 2024
  • Teal: TypeScript for Lua
    1 project | news.ycombinator.com | 8 Jul 2024
  • QuickJS, the Next Generation: a mighty JavaScript engine
    5 projects | news.ycombinator.com | 7 Jul 2024
    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.
  • What do I think about Lua after shipping a project with 60k lines of code?
    16 projects | news.ycombinator.com | 1 Jun 2024
    I don't think Teal can be total. Lua is super expressive and you would need to get deep into dependent types and whatnot to caption a fraction of the power of its types.

    > Some Lua libraries use complex dynamic types that can't be 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 rather wish for some serious type safety like what Elm or Reason provide. But then you end up with a different language.

    I agree though that for your use case of making complicated libraries Teal might be actually good fit.

    I was going to argue that Luau is superior anyway if you really can't cope with annotations but obviously if you want to make libraries for lua users that doesn't work. (Though I guess you could technically compile down from Luau, just not sure if anyone has ever bothered.)

  • Ravi is a dialect of Lua, with JIT and AOT compilers
    7 projects | news.ycombinator.com | 18 Mar 2024
    it's based off MIR, does it have something to do with https://mlir.llvm.org/ ?

    for typed lua, there is another effort https://github.com/teal-language/tl in addition to the mentioned typescript approach: https://github.com/andremm/typedlua

  • Lua Criticism Is Unwarranted
    4 projects | news.ycombinator.com | 26 Oct 2023
    I had the pleasure of working with Lua 5.1 back in the late noughties. For me it's replaced Tcl whenever I want something I can configure above a C library. At the time I used it I found it quite nice but I'll also not forget the hours I wasted tracking down nil table corruptions which could 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
  • Why Fennel?
    12 projects | news.ycombinator.com | 13 Sep 2023
  • Algebraic data types in Lua (Almost) post
    2 projects | news.ycombinator.com | 18 Aug 2023
    I wonder why the author doesn't use Teal [0] - a typed dialect of lua.

    [O] https://github.com/teal-language/tl

  • Lua: The Little Language That Could
    19 projects | /r/programming | 28 May 2023
    Check out Teal
  • A note from our sponsor - SaaSHub
    www.saashub.com | 8 Sep 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic tl repo stats
59
2,103
7.9
4 days ago

teal-language/tl is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of tl is Lua.


Sponsored
Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com

Did you konow that Lua is
the 17th most popular programming language
based on number of metions?