How to convert from Lua to Teal?

[megaannum]

At https://gemini.google.com/
Ask Gemini:
The following is a line of code in the Lua Language
local v = 5
Convert the line from Lua to the Teal Programming Language.

To convert local v = 5 from Lua to Teal, you would write:
Code snippet

local v: number = 5

Here's why:
local: This keyword is the same in both Lua and Teal for declaring a local variable.
v: The variable name remains the same.
: number: This is the key difference. Teal is a statically typed language, so you need to explicitly declare the type of the variable. In this case, 5 is a number, so we declare v as number.
= 5: The assignment operator and the value remain the same.

I've got a couple thousand lines of Lua. Maybe I can ask Gemini to
convert some of it.....

[hishamhm]

Please do not post AI slop in our forums. Probabilistic token generators cannot perform reliable type inference algorithm for correct type annotation. We will not be spending our human neurons to help people debug incorrect LLM-generated types.

[megaannum]

Please do not post AI slop in our forums. Probabilistic token generators cannot perform reliable type inference algorithm for correct type annotation. We will not be spending our human neurons to help people debug incorrect LLM-generated types.

Wow. A couple of months ago I started using nvim. This, of course, required learning to write some Lua. I'd heard a little about Lua a couple of decades ago. Then, last week, I stumbled upon Teal. It seems like Teal is to Lua as Typescript is to JavaScript; writing little bits of code at home, one could use JavaScript, but for a project with a team, catching errors at compile time is a blessing and time-saver, thus Typescript. Also, typed Scala has an option of converting code to to untyped JavaScript. So, Teal is in the company of other such languages. Of course, compared to other typed languages, Teal is pretty simple (because it exists solely to generate Lua code). Having written my first code some 60 years ago I've written assemble for embedded systems, Lisp, Haskell, C, C++, SQL, Ada, Java, JavaScript, Scala, (as well as some not so well known languages such as Lucid, Concurrent Euclid, TCL and XSLT) and simply wanted to know if anyone had used a tool like Gemini to do some initial porting of Lua code to Teal. I am disappointed in the nature of your response. You have my condolences.