TC39 Proposal: Type Annotations

• proposal-type-annotations

  101 4,097 4.7 JavaScript

  ECMAScript proposal for type syntax that is erased - Stage 1

  

footnote: Looking at my phone's browser history, I read the article at https://tc39.es/proposal-type-annotations when making this comment. Not the github repo. I hadn't dove too deep into it, but it does seem that it specifies a syntax for the type declaration, at least on the top level. I initially believed it was entirely unspecified what the contents between the : and = were.

My feelings are still the same in that I don't support the proposal.

• astexplorer

  43 5,953 6.0 JavaScript

  A web tool to explore the ASTs generated by various parsers.

I think it's just greater than/less than:

https://astexplorer.net/#/gist/b0dff7bdaf1d8f9024fe18fda70a9...

• 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.

  

• proposal-record-tuple

  73 2,428 2.7 HTML

  ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!

  

Nahhhh lets get the immutable data structures (record + tuples) proposal to land before this one.

https://github.com/tc39/proposal-record-tuple

• Elm

  198 7,451 5.4 Haskell

  Compiler for Elm, a functional language for reliable webapps.

  

> Having this would just mean that we will never ever ever get actual static typing in javascript

I think we will never have mandatory static typing in Javascript, because of legacy code.

The solution is to use something higher level. Maybe Elm.

https://elm-lang.org/

• Carp

  84 5,393 0.7 Haskell

  A statically typed lisp, without a GC, for real-time applications.

  

Or make Webassembly text extensible then we could have something like https://github.com/carp-lang/Carp/blob/master/docs/LanguageG...

• proposal-decorator-metadata

  4 122 4.3 HTML
  

https://github.com/tc39/proposal-decorator-metadata is where we'd probably need to begin to store this information. It's still need a transpiler to generate the necessary decorators. Decorators are still in progress (but kind of seemingly shaping up these days).

• rust

  2,683 93,041 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

The turbofish resolves a bunch of syntax ambiguities[1].

Apparently C++ parsing is undecidable, so building an AST requires arbitrary template instantiation (and C++ templates are turing complete).

The turbofish is a compromise that allows the parser to stay simple. I know there were efforts to remove it, but it appears to be here to stay.

https://github.com/rust-lang/rust/blob/master/src/test/ui/pa...

• SaaSHub

  www.saashub.com featured

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

  

Suggest a related project