Static type checking in PicoRuby
The static type system ensures correspondence of the "type" among arguments, parameters, and return values. The point is that you can notice some kinds of bugs in advance of execution. Static typing languages like TypeScript, Go, and Swift are mainstream ...
