proposal-type-annotations
rescript-compiler
Our great sponsors
proposal-type-annotations | rescript-compiler | |
---|---|---|
100 | 93 | |
4,060 | 6,411 | |
2.4% | 1.2% | |
4.7 | 9.5 | |
14 days ago | 4 days ago | |
JavaScript | OCaml | |
- | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
proposal-type-annotations
-
Go 1.22 Release Notes
They held a meeting a few months ago so it's alive but probably still years away.
https://github.com/tc39/proposal-type-annotations/issues/184
-
[AskJS] Kicking a dead horse - TS vs JS
I particularly like this thread in the TC39 types proposal. TypeScript IS a development trojan horse and locks you into the Microsoft Way of being a JS developer.
-
HTML First – Six principles for building simple, maintainable, web software
Edit: There is a proposal to extend JavaScript with type annotations, which would allow ("a reasonably large subset") of TypeScript to run directly in the browser. Yay!
-
Building React Components Using Unions in TypeScript
More importantly, TypeScript typically commits to build things into itself when the proposal in JavaScript reaches Stage 3. The pattern matching proposal in JavaScript is Stage 1, but depends on many other proposals as well that may or may not need to be at Stage 3 as well for it to work. This particular proposal is interested on pattern matching on JavaScript Objects and other primitives, just like Python does with it’s native primitives. These are also dynamic types which helps in some areas, but makes it harder than others. Additionally, the JavaScript type annotations proposal needs to possibly account for this. So it’s going to be awhile. Like many years.
-
Show HN: Conway's Game of Life in TypeScript's type system
this is exactly what I want from the _Types as Comments_ proposal[0] as I think it's the only way that types can feasibly become part of the language. It's hard to imagine how all of the concepts TS introduces via special syntax can be covered otherwise.
-
TypeScript Without Transpilation
JSDoc can get you pretty far, but it can be clumsy sometimes. There’s a [TC39 proposal](https://github.com/tc39/proposal-type-annotations) to allow types to live in JS code and be treated as comments (similar with Python types today)
- Do you think typescript will ever have native support on brosers? Or we will have only the JS type annotations?
-
TypeScript Book
Honestly the TC39 is the best case scenario. https://tc39.es/proposal-type-annotations/
Forget runtime type validation, TS is really for preventing bugs at development time as well as IDE integration.
-
Node.js codebase is still entirely in Javascript and not in Typescript and node team does not even officially provide node TS types
As for 2: here it is :) https://github.com/tc39/proposal-type-annotations
When will you see TypeScript in Node.js? Likely when it runs in the runtime. Look at https://github.com/tc39/proposal-type-annotations
rescript-compiler
-
Learning Elm by porting a medium-sized web front end from React (2019)
If you’re a front-end developer, you should checkout ReScript[1], supposedly a JS-oriented successor of ReasonML and developed by the ReasonML team.
-
ReScript: Rust like features for JavaScript
ReScript is "Fast, Simple, Fully Typed JavaScript from the Future". What that means is that ReScript has a lightning fast compiler, an easy to learn JS like syntax, strong static types, with amazing features like pattern matching and variant types. Until 2020 it was called "BuckleScript" and is closely related to ReasonML.
-
Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
As another commenter has already suggested, ReasonML has a lot of what you described here.
However, modern JS-oriented toolchain for ReasonML is called ReScript and you can learn more here: https://rescript-lang.org/
-
How does one write React apps in a purely functional style without making the entire codebase a mess?
ReScript (before BuckleScript) https://rescript-lang.org/ is a functional language that can also use OOP. Ideal for Javascript and Typescript projects, React and servers. It integrates perfectly with Javascript and Typescript code https://rescript-lang.org/docs/react/latest/introduction
-
Show HN: EdgeDB Cloud and 4.0 with FTS and Auth
Thank you!
We invited Gabriel because we think what he's building is pretty cool. It showcases so much about EdgeDB: its type system, data model, query language, composability, introspection, etc.
I'm not a ReScript user myself. What I know is that it's a functional programming language somewhat heavily inspired by OCaml. Their website goes into details [1]
-
Strong typing, a hill I'm willing to die on
You might want to look into ReScript (https://rescript-lang.org/). It has strong static typing with type inference, and it is very fast.
-
Building React Components Using Unions in TypeScript
This is because a “Tagged Union”, another word for TypeScript’s Discriminated Union, is a way to “tag which one is in use right now… we check the tag to see”. Just like when you’re shopping and check the tag of a piece of clothing to see what the price is, what size it is, or what material it’s made out of. Languages like ReScript compile many of their Unions (called Variants) to JavaScript Objects that have a tag property.
-
Converting a JavaScript React app to a ReScript React app.
ReScript is "Fast, Simple, Fully Typed JavaScript from the Future". Let's take a look at how we can add it to an existing React project.
-
Way to High Confidence: The Ideal Testing Trophy
REscript
-
Domain Modelling in the Cloud & AWS CDK
Ultimately, Dhall wasn’t verbose enough nor was I Dhall ninja, but something like TypeScript or ReScript probably would have been better.
What are some alternatives?
svelte-wasm
Elm - Compiler for Elm, a functional language for reliable webapps.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Fable: F# |> BABEL - F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
purescript - A strongly-typed language that compiles to JavaScript
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
openapi-generator - OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
tsdx - Zero-config CLI for TypeScript package development
dream - Tidy, feature-complete Web framework
Cypress - Fast, easy and reliable testing for anything that runs in a browser.
ocaml - The core OCaml system: compilers, runtime system, base libraries