richardhundt / shine

A Shiny Lua Dialect
Other
231 stars 18 forks source link

Some input for optional typing & guards in Shine #61

Open romix opened 10 years ago

romix commented 10 years ago

Hi,

I've found the following paper from Roberto & Co:

"Typed Lua: An Optional Type System for Lua" http://www.lifl.fr/dyla14/papers/dyla14-4-typed-lua-an-optional-type-system.pdf

May be some ideas could/should be used in Shine as well?

romix commented 10 years ago

And something similar: https://github.com/emilk/sol

romix commented 10 years ago

This is the current implementation of Typed Lua (as described in the paper) on github: https://github.com/andremm/typedlua