BorrowScript
ValueScript
| BorrowScript | ValueScript | |
|---|---|---|
| 9 | 3 | |
| 1,432 | 80 | |
| - | - | |
| 5.5 | 9.6 | |
| 6 months ago | 2 months ago | |
| HTML | Rust | |
| - | 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.
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
ValueScript
-
Transactional Try Blocks in ValueScript
ValueScript has an online playground and is open source.
- TypeScript Without Side Effects
What are some alternatives?
cyclone - Cyclone is a type- and memory-safe dialect of C
immer - Postmodern immutable and persistent data structures for C++ — value semantics at scale
Mezzano - An operating system written in Common Lisp
lobster - The Lobster Programming Language
swc - Rust-based platform for the Web
DMDScript - An implementation of the ECMA 262 (Javascript) programming language
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
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'
dioxus - Fullstack GUI library for web, desktop, mobile, and more.