SaaSHub helps you find the best software and product alternatives Learn more →
Tl Alternatives
Similar projects and alternatives to tl
-
InfluxDB
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.
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
Wren
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
-
terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
-
-
nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
-
-
-
Smalltalk
Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file (by rochus-keller)
-
Prosody IM
IMPORTANT: due to a drive failure, as of 13-Mar-2021, the Mercurial repository had to be re-mirrored, which changed every commit SHA. The old SHAs and trees are backed up in the vault branches. Please migrate to the new branches as soon as you can.
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
tl discussion
tl reviews and mentions
-
Ask HN: What are you working on (August 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
- Teal: TypeScript for Lua
-
QuickJS, the Next Generation: a mighty JavaScript engine
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?
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
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
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?
-
Algebraic data types in Lua (Almost) post
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
Check out Teal
-
A note from our sponsor - SaaSHub
www.saashub.com | 8 Sep 2024
Stats
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.