BorrowScript
DMDScript
BorrowScript | DMDScript | |
---|---|---|
9 | 1 | |
1,432 | 91 | |
- | - | |
5.5 | 2.7 | |
6 months ago | 3 months ago | |
HTML | D | |
- | Boost Software License 1.0 |
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
DMDScript
-
TypeScript as Fast as Rust: TypeScript++
As far as I can tell, D already implements this idea. The Rust/RustGC duality is very similar to D's approach, which has manual memory management and an optional GC [1], and DMDScript [2] could be the scripting language.
[1] https://dlang.org/spec/garbage.html
[2] https://github.com/DigitalMars/DMDScript
What are some alternatives?
cyclone - Cyclone is a type- and memory-safe dialect of C
kmm-production-sample - This is an open-source, mobile, cross-platform application built with Kotlin Multiplatform Mobile. It's a simple RSS reader, and you can download it from the App Store and Google Play. It's been designed to demonstrate how KMM can be used in real production projects.
Mezzano - An operating system written in Common Lisp
swc - Rust-based platform for the Web
lobster - The Lobster Programming Language
awesome-typescript-derived-languages - Projects which have taken "TypeScript" and made it more than just 'JS with Types'
ValueScript - A dialect of TypeScript with value semantics.
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.