Re: On adding type information to a dynamically typed language
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: On adding type information to a dynamically typed language
- From: Dirk Laurie <dirk.laurie@...>
- Date: 2017年9月20日 05:46:33 +0200
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
>
>