Re: On adding type information to a dynamically typed language

[Dirk Laurie <dirk.laurie@...>]

A patch that makes a parameter list
   (x:number)
syntactic sugar for
   (x) assert(type(x)=='number')
would be easy, has anyone done it already?

I know about MetaLua and Ravi, I don't mean anything like those,
I mean just a little patch.


2017-09-20 4:10 GMT+02:00 Jorge <xxopxe@gmail.com>:
> "To type or not to type: quantifying detectable bugs in JavaScript"
>
> https://blog.acolyer.org/2017/09/19/to-type-or-not-to-type-quantifying-detectable-bugs-in-javascript/
>
>
> Haven't read it very deeply, but seems of interest.
>
> As a curiosity, the first example of bug wouldn't be possible in Lua,
> because it's better designed.
>
>
> Jorge
>
>