reagents
reason
reagents | reason | |
---|---|---|
2 | 44 | |
126 | 10,056 | |
-0.8% | 0.1% | |
4.4 | 5.8 | |
12 months ago | 2 months ago | |
OCaml | OCaml | |
ISC License | MIT License |
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.
reagents
-
Transputer.net
The 1978 paper proposes a reasonable set of primitives and then walks through prose examples with them. The book proposes roughly the same primitives (channels are the big change, but stop is barely in the paper) and describes them in a formal notation for state machines. It's the difference between a sketch of a plausible idea and writing down the mathematics.
Related though much later, ocaml https://github.com/ocaml-multicore/reagents observed that the send/recv primitives make less sense than a swap primitive. Between occam and the current ocaml effort, concurrent ML is the same sort of model with the details really well thought through (e.g. a thread executing stop gets garbage collected).
-
OCaml 5.0 Multicore is out
Still early days, but I had done some exploratory work in the past on Reagents, a composable lock-free library [1]. Now that OCaml 5 is released, we're reviving this work.
It's semantics is weaker than STM -- unlike STM, it doesn't provide serializability but Reagents can compile down to multi-word compare and swap operations, which can be implemented with the help of hardware transactions (when present) or efficient software implementations of it [2]. Hence, Reagent programs should be faster than STM.
[1] https://github.com/ocaml-multicore/reagents
reason
- Learning Elm by porting a medium-sized web front end from React (2019)
-
Melange for React devs book, alpha release
Hey HN, at Ahrefs we have been working on an online book that hopefully helps React developers get up and running with Melange, an OCaml to JavaScript compiler. You can read more about Melange here: https://melange.re/.
There are still a few chapters that we'd like to add before considering it "complete", but it might be already helpful for some folks out there, that's why we decided to publish it early.
The book uses Reason syntax to implement React components using ReasonReact components. You can read more about both in:
https://reasonml.github.io/
-
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?
-
Earning the privilege to work on unoriginal problems
This tracks with how I've seen "normal" languages converge on similar, flawed imitations of better type systems through tools and repurposed syntax. Thank you for confirming.
Do you have any recommendations or warnings regarding general languages which reach in the opposite direction? Reason[1] and F#[2] are both examples: they attach pre-existing ecosystems and compile-for-$PLATFORM tools to OCaml-like typing.
OCaml itself is also intriguing for personal projects. However, I'm worried the "GPL" in its standard library's LGPL license might scare people despite both the linking exception and Jane Street's MIT alternative.
1. https://reasonml.github.io/
-
Melange 1.0: Compile OCaml / ReasonML to JavaScript
ReasonML purely as a syntax layer on top of OCaml is still being updated and released[1]. Incidentally, I'm one of the maintainers of that project too :-)
With this Melange release, we're hoping to somewhat revive ReasonML and channel some folks back to the community from the perspective of a vertically integrated platform that has seen major investment in the past few years.
[1]: https://github.com/reasonml/reason
-
VN Compiler. Why using Fable is too difficult. (Pt. 1)
Why not use https://reasonml.github.io/ instead? Or just use Typescript?
-
My Thoughts on OCaml
Quieted down, but I depend on projects with worst graphs:
https://github.com/reasonml/reason/graphs/contributors
-
why
There is also reasonml for Web development.
- Por que Elm é uma linguagem tão deliciosa?
What are some alternatives?
rescript-webapi - ReScript bindings to the DOM and other Web APIs
purescript - A strongly-typed language that compiles to JavaScript
rescript-compiler - The compiler for ReScript.
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
js_of_ocaml - Compiler from OCaml to Javascript.
ocamlformat - Auto-formatter for OCaml code
refterm - Reference monospace terminal renderer
sqlite3-ocaml - OCaml bindings to the SQLite3 database
pydantic - Data validation using Python type hints
parallel-programming-in-multicore-ocaml - Tutorial on Multicore OCaml parallel programming with domainslib
Elm - Compiler for Elm, a functional language for reliable webapps.
Statsd - Daemon for easy but powerful stats aggregation