Hegel
reason
Hegel | reason | |
---|---|---|
15 | 44 | |
2,109 | 10,056 | |
- | 0.1% | |
0.0 | 5.8 | |
3 months ago | 2 months ago | |
JavaScript | OCaml | |
MIT 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.
Hegel
- Ask HN: Are “normal” vocabulary getting depleted by tech-brand hijacking?
-
Hegel – An advanced static type checker for JavaScript
unfortunately, the project is on pause for the time being [1]
[1]: https://github.com/JSMonk/hegel/issues/355#issuecomment-1075...
-
Ezno
Thank you. Just checked out the Bagel post (https://www.brandons.me/blog/the-bagel-language) and it looks really cool. Identifying pure functions (whether that is by syntax annotation or from synthesis) is a really good idea, gives me some ideas for doing function inlining in Ezno. I like the "Misc niceties" section, a few of those may of may not be on Ezno's todo list :)
The automatic / inferred generic restrictions is quite cool. https://hegel.js.org/ got there before me! Basic restriction modification is quite simple e.g. `(x) => Math.sin(x)`, x wants to be a number so can add that restriction. It gets more difficult with higher poly types. `(someObj) => Math.sin(someObj.prop1.prop2)` requires modifying not just `someObj` but a property on a property on it. And `(x, y) => printString(x + y)` requires doing even more complex things. But its definitely possible!
- Hegel: advanced static type checker for JavaScript
-
The TypeScript Experience
Can TypeScript be improved in this respect? Or, in broader terms, can a superset of JavaScript support a sound type system without becoming overly complicated?
-
Differences between TypeScript and Elm
An alternative to TypeScript can be Flow, a library maintained by Facebook. Flow, similarly to TypeScript, is not a sound type system. "Flow tries to be as sound and complete as possible. But because JavaScript was not designed around a type system, Flow sometimes has to make a tradeoff". Another alternative is Hegel, a type system that "attempts" to be sound. It is unclear to me if the attempt succeeded or not but it is worth checking.
-
An introduction to type programming in TypeScript – zhenghao
Check out Hegel[0], it uses Flow syntax, it's compatible w/ .d.ts type definitions and has a smarter type inference model than both TS and Flow IMHO.
[0] https://hegel.js.org/
- Hegel: a type checker for JavaScript with optional type annotations for preventing runtime type errors
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?
TypeScript - IO wrapper around TypeScript language services, allowing for easy consumption by editor plugins
purescript - A strongly-typed language that compiles to JavaScript
Hindley Milner Definitions - Runtime type checking for JS with Hindley Milner signatures
rescript-compiler - The compiler for ReScript.
TypL - The Type Linter for JS
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
io-ts - Runtime type system for IO decoding/encoding
js_of_ocaml - Compiler from OCaml to Javascript.
ramda - :ram: Practical functional Javascript
ocamlformat - Auto-formatter for OCaml code
refterm - Reference monospace terminal renderer