BorrowScript
Mezzano
BorrowScript | Mezzano | |
---|---|---|
9 | 48 | |
1,432 | 3,488 | |
- | - | |
5.5 | 4.4 | |
6 months ago | about 2 months ago | |
HTML | Common Lisp | |
- | 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
Mezzano
-
A standalone zero-dependency Lisp for Linux
Have you made or plan to make any contributions to Mezzano (https://github.com/froggey/Mezzano) or are you mainly interested in seeing how far you can take this thing on your own?
- Ask HN: What are some of the most elegant codebases in your favorite language?
- Mezzano, an operating system written in Common Lisp
- Mezzano – An operating system written in Common Lisp
-
Why Lisp?
>> except building compilers and OSes
SBCL is written in Lisp, yes? Except the runtime, which is C + asm.
I've heard people wrote some OSes in the past, like Genera. Or if you prefer recent attempt, try https://github.com/froggey/Mezzano. Never tried it, though.
-
Help needed - new programming language
No need to.
-
Dynamic, JIT-compiled language for systems programming?
Not at all. See mezzano for a notable recent example of an OS written entirely in a dynamic language.
-
What help is needed for Lisp community in order to make Lisp more popular?
So..
"Why do you want to make Lisp more popular? If you were sucessful, what would be different in the world, and why is that desirable to you?"
Normally at this point I'd listen to the response, and ask more questions based on that. That would wind up with a very, very deep thread, so I'll break a cardinal rule and pre-guess at some answers.
This kind of question comes up pretty frequently. In many cases, I suspect the motivation behind the question is "Wow! Here's this cool tool I've discovered. I want to make something really useful with it. I want to do it as part of a community effort; share my excitement with others, share in their excitement, and know that what I'm making is useful because others find it desirable and are excited by it." The field could be cooking, sports, old machine tools, tiny homes, or demo scene. Its the fundemental driver for most content on HN, YouTube, Instructables, and such. It is a Good Thing.
If that is your motivator, then my suggestion is to find something that bugs you and fix it. You've already decided you're only interested in code, not other aspects. You said you preferred vim, but the emacs ecosystem has a very rich set of sharp edges that need filing off, and a rich set of tools with which to attack them.
One example: even after 50 years there's no open IDE which allows you to easily globally rename a Lisp identifier. I don't know about LispWorks or other proprietary environments, but you can't in emacs or vim do a right-click on "foo" in "(defun foo ()...)" and select a command which automatically renames it in all invocations. [Queue lots of "but you can..." replies here.] I don't think vim is up to the task of doing this internally. It would be possible in emacs; but would require a huge effort with lots of help from other people. If you emerged alive from that rabbit warren you'd join the company of Certified "How Hard Could it Be?" Mad Scientists such as Dr. "I just want to draw molecules" Meister [1] and "Wouldn't an OS in Lisp be Cool" Froggey [2].
[1] https://github.com/clasp-developers/clasp
[2] Mezzano https://github.com/froggey/Mezzano
-
Emacs should become a Wayland compositor
You might want to look at Mezzano which is an operation system written in Common Lisp https://github.com/froggey/Mezzano
I haven’t tried it since moving to M1/ARM, but it is cool.
- are there emacs machines?
What are some alternatives?
cyclone - Cyclone is a type- and memory-safe dialect of C
mirage - MirageOS is a library operating system that constructs unikernels
lobster - The Lobster Programming Language
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
swc - Rust-based platform for the Web
Smalltalk - By the Bluebook implementation of Smalltalk-80
ValueScript - A dialect of TypeScript with value semantics.
april - The APL programming language (a subset thereof) compiling to Common Lisp.
DMDScript - An implementation of the ECMA 262 (Javascript) programming language
ChezScheme - Chez Scheme
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
tao-theme-emacs - tao-theme - two uncoloured color themes for EMACS