genType
bolt
Our great sponsors
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.
genType
-
ts-belt - Fast, modern, and practical utility library for FP in TypeScript / Flow / JavaScript. (Faster than ramda, rambda, remeda and lodash/fp.)
I don't really use ts-belt to be certain, but by looking at the source, it seems that it's using genType, which can generate TS types from ReScript values, and that makes interop work really well.
-
ReScript 10.0
They discuss this in their docs.
https://rescript-lang.org/docs/manual/latest/introduction#di...
Seems like a type system for Javascript, built with a differing set of opinions than Typescript.
Looks like they also offer some form of TS interop:
https://rescript-lang.org/docs/gentype/latest/introduction
- From TypeScript to ReScript
-
TS Belt - fast, modern, and practical utility library for FP in TypeScript
TS Belt has been built with ReScript (and its Belt stdlib). ReScript generates highly performant JavaScript code, and with genType it also automatically generates TypeScript types. Moreover, I've added a few codemods to the building process to provide even more code optimizations and cleaner TypeScript signatures.
-
How I Switched from TypeScript to ReScript
To interoperate with TypeScript with proper type information you’ll use third-party genType. Add it as a devDependency and annotate the module export you want to generate with @genType (in previous versions you’d surround annotations with square brackets).
bolt
- I wrote my own “proper” programming language
- Communicating between parts of a compiler written in a different languages.
-
How to implement variable shadowing in different scopes with the LLVM API during the codegen phase?
Right now I'm in the codegen phase of my language (it's a university project). We use the LLVM API for this. For this I use several repositories (this and this as well as kaledoscope) for inspiration, who also use LLVM as codegen.
What are some alternatives?
zod - TypeScript-first schema validation with static type inference
bap - Binary Analysis Platform
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
language-server-protocol - Defines a common protocol for language servers.
Idris2 - A purely functional programming language with first class types
infer - A static analyzer for Java, C, C++, and Objective-C
lwt - OCaml promises and concurrent I/O
ocaml-multicore - Multicore OCaml
from-typescript-to-rescript - Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
pyre-check - Performant type-checking for python.
bs-mocha
WeekendCompiler - An example LLVM-based compiler for a subset of C.