BorrowScript
BorrowScriptInterpreter
BorrowScript | BorrowScriptInterpreter | |
---|---|---|
9 | 1 | |
1,432 | 9 | |
- | - | |
5.5 | 8.0 | |
6 months ago | almost 2 years ago | |
HTML | Rust | |
- | - |
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.
BorrowScript
- TypeScript Without Side Effects
-
Is it possible to have a superset of the C programming languages standard that is as safe as Rust?
You might be looking for something like https://github.com/alshdavid/BorrowScript
-
Why are systems languages always overly complex?
I think AssemblyScript is the best example.
Adding the borrow checker is quite invasive though. This guy is trying https://github.com/alshdavid/BorrowScript.
I think it's a kind of fun constraint that experienced and bored devs like to challenge themselves with - the borrow checker. The latest obsession. You absolutely don't need a borrow checker, just like you didn't need everything to be functional programming, but it's intellectually stimulating.
-
TypeScript as Fast as Rust: TypeScript++
Sounds like BorrowScript, which is TypeScript syntax, a Rust borrow checker, and Go-like coroutines. It's designed for wasm and web api targets. (not compatible with TypeScript though)
https://github.com/alshdavid/BorrowScript
-
High level overview of the algorithm steps of Rust's borrow checker?
I asked how to implement a "borrow checker" in JavaScript in my initial attempts (I've learned a decent amount since), which led me to randomly finding BorrowScript that seems to have another implementation I think, so going to be taking a deeper look there for inspiration as well. But if one could explain the steps of the algorithm, and how it integrates/relates with the type inference process, that would be of great use. Not for learning how to use Rust, but to learn how this aspect of its compiler works.
- Rust-inspired borrow checker, TypeScript-inspired syntax
- BorrowScript: TypeScript with a Borrow Checker
- BorrowScript (spec) β Combining the Rust borrow checker with TypeScript syntax
- BorrowScript spec β Combining the Rust borrow checker with TypeScript syntax
BorrowScriptInterpreter
-
High level overview of the algorithm steps of Rust's borrow checker?
I asked how to implement a "borrow checker" in JavaScript in my initial attempts (I've learned a decent amount since), which led me to randomly finding BorrowScript that seems to have another implementation I think, so going to be taking a deeper look there for inspiration as well. But if one could explain the steps of the algorithm, and how it integrates/relates with the type inference process, that would be of great use. Not for learning how to use Rust, but to learn how this aspect of its compiler works.
What are some alternatives?
cyclone - Cyclone is a type- and memory-safe dialect of C
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Mezzano - An operating system written in Common Lisp
lobster - The Lobster Programming Language
swc - Rust-based platform for the Web
ValueScript - A dialect of TypeScript with value semantics.
DMDScript - An implementation of the ECMA 262 (Javascript) programming language
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
zz - πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
polonius - Defines the Rust borrow checker.
awesome-typescript-derived-languages - Projects which have taken "TypeScript" and made it more than just 'JS with Types'