Hacker News new | ask | show | jobs
by hisham_hm 1941 days ago
> The intention is to encourage you to add type annotations to your entire Lua codebase.

We definitely like to encourage the use of types (we <3 types!), but, just to clarify, Teal does support hybrid Lua/Teal codebases well, by use of definition files a la TypeScript. The Teal compiler itself is currently a "main program" written in Lua and the "core compiler" written in Teal. :)

> A Typed Lua 2.0, if you want to call it that way.

please don't, people are already confused as is. :)

(For those not well-versed in Lua history like Hugo and me :), "Typed Lua" was an earlier academic project, which had different design criteria such as being able to type check unannotated "idiomatic" Lua, which made it a much more interesting research project and a much more difficult industrial one — Teal is very pragmatic, with the intention of being immediately usable but no intention of being academically interesting, more in the TypeScript mindset. This talk goes through the history, for those interested: https://www.youtube.com/watch?v=VUThGgxOf28 )

> That said, I certainly wouldn't be surprised if we saw more cross pollination of ideas between these two languages in the future :)

For sure! There are some exciting possibilities there!