Comments by "p11" (@porky1118) on "Clojure: Turtles All The Way Down" video.
-
7
-
3
-
@NoBoilerplate
After stopping using Lisp, I switched between Rust and Scopes for some time.
I've been the only user for some time besides the developer.
I ended up with only using Rust for now though, mostly because it's cleaner (like orphan rules; in Scopes I can just import a module which overwrites some of my methods without letting me know. I don't feel safe anymore).
Scopes is still the most powerful language, I think. It has all the features of major programming languages, most interesting for you, it's S-Expression based, has Lisp macros, and a Rust borrow checker (version 2, only one level of borrowed data, no structs or tuples containing borrowed data).
It's even more low level than C (by default values are not even on the stack but in the registers and immutable).
And more high level than Lisps. Even a new kind of macro, which has access to type information and is able to do partial evaluation.
It's the only language, where I was able to write a compile time dimension and type generic automatically typed geometric algebra library with versor tracking.
And probably the only language where this is even possible theoretically, besides C++ maybe.
It's difficult to keep it short when talking/writing about Scopes ;)
3
-
2
-
2
-
1