bolt
genType
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.
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.
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).
What are some alternatives?
bap - Binary Analysis Platform
zod - TypeScript-first schema validation with static type inference
language-server-protocol - Defines a common protocol for language servers.
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
infer - A static analyzer for Java, C, C++, and Objective-C
Idris2 - A purely functional programming language with first class types
ocaml-multicore - Multicore OCaml
lwt - OCaml promises and concurrent I/O
pyre-check - Performant type-checking for python.
from-typescript-to-rescript - Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
WeekendCompiler - An example LLVM-based compiler for a subset of C.
bs-mocha