According to http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-overview.html#ravi-extensions-to-lua-5-3 http://the-ravi-programming-language.r

According to http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-overview.html#ravi-extensions-to-lua-5-3 http://the-ravi-programming-language.readthedocs.org/en/late... it seems to have only type annotations for integers and numbers (which I assume to be floating-point numbers) and arrays thereof. I guess an XMPP server will deal mostly with strings, so the benefits from type annotations will be rather small.