Hacker GitHub

← All repos

andremm/typedlua

View on GitHub ↗ ★ 590 Lua

An Optional Type System for Lua

8 mentions on Hacker News by 8 people: 0 stories, 8 comments · first 2014-06-13 · latest 2024-03-18

Mentions per year 8 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …is a newer typescript-alike effort https://github.com/teal-language/tl than the mentioned one at https://github.com/andremm/typedlua
    comment by synergy20 · 2024-03-18 · in Ravi is a dialect of Lua, with JIT and AOT compilers
  2. * Typed Lua: https://github.com/andremm/typedlua (not actively maintained) * tl: https://github.com/teal-language/tl a compiler for Teal a typed dialect of lua. (actively maintained)
    comment by soapdog · 2020-09-18 · in Lua in the Kernel?
  3. …Edit: see also teal[0] (newish) and typedlua[1] (dead?) [0] https://github.com/teal-language/tl [1] https://github.com/andremm/typedlua
    comment by anonymoushn · 2020-09-12 · in Luau: Augmenting Lua’s Syntax with Types
  4. There's also Typed Lua: https://github.com/andremm/typedlua The lead author gave a good presentation at Lua Workshop 2017 in SF: https://www.lua.org/wshop17/Maidl.pdf Both Sol and Typed Lua are no longer maintained. The Typed Lua author is…
    comment by wahern · 2018-07-27 · in Lua and Typesafety = Sol
  5. typedlua was like typescript for lua: https://github.com/andremm/typedlua The author has moved onto working on titan: https://github.com/titan-lang/
    comment by daurnimator · 2018-04-02 · in Why we rewrote Lua in JS (2017)
  6. Typed Lua might be worth checking out: https://github.com/andremm/typedlua (disclaimer: I haven't used it yet)
    comment by leafo · 2017-05-30 · in MoonScript, a programmer friendly language that compiles to Lua
  7. …is why several people are working on adding gradual typing to Lua. The main initiative is probably https://github.com/andremm/typedlua
    comment by catwell · 2016-09-26 · in My love-hate relationship with LuaJIT (2015)
  8. Link to the missing github page (maybe the paper is written before his github page was ready)? https://github.com/andremm/typedlua
    comment by fuzzythinker · 2014-06-13 · in Typed Lua: An Optional Type System for Lua [pdf]