teal-types
tl
teal-types | tl | |
---|---|---|
2 | 54 | |
101 | 1,963 | |
4.0% | 2.8% | |
5.2 | 7.1 | |
18 days ago | 18 days ago | |
Lua | Lua | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
teal-types
-
Experience with statically typed lang that compiles to lua for plugins/scripting?
I have no affiliations, but I think teal would be a great such language. It feels very much like "what TS is to JS" in that it's syntax is (I believe) a superset of lua, and it is possible to require teal files in lua files by first requiring the teal compiler (a one line change). In fact, there's already a neovim plugin that I use everyday written in teal! Teal also has the concept of declaration files (like `.d.ts` in TS or `.pyi` in python), and it has [declaration files for neovim files](https://github.com/teal-language/teal-types/tree/master/types/neovim) already. However, its LSP is very, very young.
-
Is it possible to configure neovim with teal instead of lua?
There are type definitions in the teal-types repo for neovim. And as for theoretical, my config is like 99% teal right now (granted I am biased since I'm one of its maintainiers :P) (also it's on a dev branch of teal with some unstable features so don't just copy paste stuff and expect it to work).
tl
-
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
-
What's the deal with Fennel in Neovim?
There is already https://github.com/teal-language/tl, which is typed Lua. I think fennel exists to serve a different niche-- personally I use it not for any type features; I just like the syntax better, and others may find certain features like the macro system useful.
- Using Lua with C++
- Teal – Type Hints for Lua
-
Using other languages
There's also some languages made to compile straight to Lua: - MoonScript is the most popular Lua wrapper - it's built to be more Python-like, featuring indentation-based scopes, function calls without parentheses, lambda syntax, list comprehension, and much more. - Yuescript is a modern update to MoonScript that adds more features (I haven't used it myself, so I'm not entirely sure exactly how it differs from MS). - Teal is a version of Lua that adds static typing for better code standards.
-
Bog – small, strongly typed, embeddable language
Terra and Nelua are both very different in goals than Teal. Teal is literally gradual types integrated into Lua keeping as many of Lua's idioms as possible (to a fault[1]). Terra and Nelua are both very metaprogrammable systems programming languages. Nelua's goals are primarily to soften C's rough edges, comparable to something like Nim.
There's another one you missed in Pallene[2]. But again, it's goal was to optimize the stack sharing involved 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
What are some alternatives?
nvim-moonwalk - Use any language that compiles to Lua in your Neovim configuration
luau - A fast, small, safe, gradually typed embeddable scripting language derived from Lua
teal-language-server - A language server for Teal, a typed dialect of Lua
OpenBBTerminal - Investment Research for Everyone, Everywhere.
impatient.nvim - Improve startup time for Neovim
packer.nvim - A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
gitsigns.nvim - Git integration for buffers
rpi-open-firmware - Open source VPU side bootloader for Raspberry Pi.
nvim-oxi - :link: Rust bindings to all things Neovim
luaforwindows - Lua for Windows is a 'batteries included environment' for the Lua scripting language on Windows. NOTICE: Looking for maintainer.
lua-language-server - A language server that offers Lua language support - programmed in Lua
pallene - Pallene Compiler