ES8 Proposal: Optional Static Typing
isiahmeadows at gmail.com
Wed Sep 28 23:39:36 UTC 2016
I'm just an observer who occasionally contributes to this list, but I don't
see static types making it into ES any time soon.
First, no type checker (TypeScript, Flow, or any other) can fully check the
core language (most notably `bind`, `apply`, `call`, and
Second, they both still are missing some pretty significant features
Fantasy Land and Ramda users, variadic generics for `bind`, `call`, and
`apply`, n-ary unions for `Object.assign` and similar, etc.).
Third, I'd rather it remain just an extension to the language, maintained
independently. Research on types is still very active, since it's a very
young field. It's still a work in progress on how to best type otherwise
dynamic languages. It may be plausible in the future to go Python's route
and allow for a particular syntax without mandating it have semantic
implications, but I feel even that's likely years off.
On Wed, Sep 7, 2016, 00:07 Vlad Fedosov <vlad.fedosov at gmail.com> wrote:
> Hi! Does anyone doing something to push this proposal forward? I’m sure
> that optional static typing is something that should be presented in ES.
> Currently we have a lot of buzz around TypeScript just because it has
> static typing.
> es-discuss mailing list
> es-discuss at mozilla.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the es-discuss