What Is Reason?
"Why bother learning an entire new language?"
This isn't what Reason's about.
However, it's unclear which features of JS to reshape, in order to fit it into the mold of a language with fast semantics and 100% sound typing. But we can work backward, from an already sound language with performance and simplicity taken into account, and give it a few tweaks so that it looks and acts a bit more like the better part of the familiar web language we've come to know.
All these decisions made it so that, for common use-cases, the learning curve of Reason isn't really higher than learning JS + a gradual type system; in return, you get:
- A rock solid type system. OCaml types have 100% coverage (every line of code), inference (types can be deduced and aren't required to be written manually), and soundness (once it compiles, the types are guaranteed to be accurate).
- An eye for simplicity & pragmatism. We allow opt-in side-effect, mutation and object for familiary & interop, while keeping the rest of the language pure, immutable and functional.
- A focus on performance & size. Reason's build system,
bsb, finishes building in less than 100ms (incremental). Our produced output is also tiny.
- Great ecosystem & tooling. Use your favorite editor, your favorite NPM package, and any of your favorite existing stack.
* Don't believe us? Check our JS -> Reason cheat sheet or try a few snippets of Reason in the playground and observe the output at the right!
Why OCaml As The Backing Language? Why Not [My Favorite Language]?
First of all, please understand that no matter which language we choose, we'd get this question from most of you! =)
Many backing languages would satisfy the previous section's points; the points below, however, have been deal-breakers in our considerations.
- Side-effects, mutation & other escape hatches. These aren't usually the shiny selling points of a language; but being able to bridge toward a part of a codebase without an elaborate interop/rewrite is crucial for us at Facebook. OCaml defaults to immutable and functional code, but having the escape hatches makes the initial adoption sometimes simply possible.
- Implementation polish matters. OCaml's been refined over two decades and gets better every year. If we propose a new syntax & toolchain, we'd like it not to have deal-breaking semantics & type "gotchas" and/or diminishing return, 80% onto the writing of a codebase.
- The language for writing React. Reason's creator also created ReactJS, whose first prototypes were written in SML, a distant cousin of OCaml. We've transcribed ReactML into ReactJS for wide adoption. A few years later, we're now iterating on the future of ReactJS through ReasonReact.
- Nice, growing community. I mean, we're really nice. I'm Canadian. We have members all over the world. If everything fails, ask in the Discord channel and at least a few of our members in your timezone will answer.
Hope that helps! Want to know more? Strike a conversation with any of us in the community!
Reason is a open source community project from Facebook.