[HN Gopher] Ravi is a dialect of Lua, with JIT and AOT compilers
       ___________________________________________________________________
        
       Ravi is a dialect of Lua, with JIT and AOT compilers
        
       Author : InitEnabler
       Score  : 37 points
       Date   : 2024-03-18 15:54 UTC (7 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | synergy20 wrote:
       | it's based off MIR, does it have something to do with
       | https://mlir.llvm.org/ ?
       | 
       | for typed lua, there is a newer typescript-alike effort
       | https://github.com/teal-language/tl than the mentioned one at
       | https://github.com/andremm/typedlua
        
         | matthews2 wrote:
         | MIR comes from the Rubyverse and isn't related to LLVM MLIR.
         | 
         | https://github.com/vnmakarov/mir?tab=readme-ov-file#mir
        
       | ArkimPhiri wrote:
       | Ravi is interesting to work with. It's simplicity is was draws me
       | the most.
        
       | uticus wrote:
       | Love it. Use case is difficult to grasp at first, but seems to be
       | somewhere less powerful than LuaJIT, but with typing; and more
       | powerful than Typed Lua, but with the same typing?
       | 
       | > Lua is perfect as a small embeddable dynamic language so why a
       | derivative? Ravi extends Lua with static typing for improved
       | performance when JIT compilation is enabled.
       | 
       | > There are other attempts to add static typing to Lua - e.g.
       | Typed Lua but these efforts are mostly about adding static type
       | checks in the language while leaving the VM unmodified.
       | 
       | > Of course there is the fantastic LuaJIT implementation. Ravi
       | has a different goal compared to LuaJIT. Ravi prioritizes ease of
       | maintenance and support, language safety, and compatibility with
       | Lua 5.3, over maximum performance.
        
       ___________________________________________________________________
       (page generated 2024-03-18 23:01 UTC)