data types in function definition

• tl

  54 1,950 7.7 Lua

  The compiler for Teal, a typed dialect of Lua

  

Although I’ve never used it, Teal appears to provide the functionality you need I believe https://github.com/teal-language/tl/blob/master/docs/tutorial.md

• lua-in-rust

  1 97 10.0 Rust

  The Lua programming language, implemented in Rust.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• ravi

  4 1,140 4.3 C

  Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

https://github.com/dibyendumajumdar/ravi Optional static types, with JIT and AOT compilation

• Yuescript

  7 413 8.7 C++

  A Moonscript dialect compiles to Lua.

• nelua-lang

  32 1,866 7.8 Lua

  Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

• pallene

  17 575 6.0 Lua

  Pallene Compiler

  

• moonscript

  35 3,134 4.4 Lua

  :crescent_moon: A language that compiles to Lua

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• shine

  1 228 10.0 Lua

  A Shiny Lua Dialect (by richardhundt)

https://github.com/richardhundt/shine Lua dialect

• luau

  64 3,645 9.0 C++

  A fast, small, safe, gradually typed embeddable scripting language derived from Lua

  

https://luau-lang.org/ Gradually typed embeddable language derived from Lua

• checks

  1 18 10.0 C

  luarock for SierraWireless "checks" argument checking library, otherwise available at https://github.com/SierraWireless/luasched (by fab13n)

You can add some runtime check by using the https://github.com/fab13n/checks library.

• metalua

  1 342 0.0 Lua

  The metalua programming language

This is a version in C and you can find a luarock package. If you prefer, there is a pure lua version in the metalua sources https://github.com/fab13n/metalua/blob/master/checks.lua

Suggest a related project