Comments by "p11" (@porky1118) on "Rust: Turtles all the way down" video.

2:22 Noone ever said, linked lists are impossible in Rust. Double linked lists are impossible in (safe) Rust.
2
Scopes is also a low level programming language with high level macros. It's reaches both, lower and higher levels than Rust.
2
@NoBoilerplate I didn't say, Scopes is a viable alternative to Rust. It's much more experimental. I just wanted to mention it because it really has potential and noone knows about it. But I don't think, it's only about the popularity. Popularity is just a simple argument even non-technical people understand.
2
@NoBoilerplate I never choose languages because of popularity. I choose them because of features only. I still ended up with Rust as my main programming language.
2
@NoBoilerplate Probably :) The first language I really got into was Common Lisp, which I used for 3 years, but I stopped using it because of the lack of low level stuff. Then I mostly used experimental languages and also had my first contact with Rust. I really got into Rust, but also tried some low level lisps. One of them is Scopes. It's a great language. It has everything you need, but it's dirty, just like C++. For example there are no orphan rules for example, so you could have multiple libraries overwrite some method.
2
@NoBoilerplate I've seen macro lisp. I didn't like it since it's still tokenized the same way as Rust. So "with-input-from-file" is just the same as "with - input - from - file". And "a - b" is the same as "a-b" (always a single token). A shortcoming of the Rust macro system.
2
@NoBoilerplate Indentation is fully optional in Scopes. It will just look like a real lisp. I'm a fan of indentation based syntax. In most languages there's a preferred way to indent stuff anyway. In Rust I just use "cargo fmt" all the time anyway, which indents it after opening braces and unindents it at closing braces. I didn't use a lot of python, but I didn't like it's indentation based syntax, since I was never sure about what is allowed, when I wanted to split something along multiple lines. The Scopes notation is better in that regard. It's a direct mapping to S-Expressions and doesn't care about semantics at all.
2
@NoBoilerplate I recently had some idea: There could be indent and unindent chars, similar to newline. After a indent char, the whole program is indented like when using tabs on every line. An unindent char unindents the char. It would need some editor support. There could be some setting if these indent and unindent chars are visible. They could be displayed as some kind of brackets. Indent could work similar to now. Pressing tab will indent the current/selected line by adding an indent char at the end of the previous line and an unindent char at the end of the current line. if an unindent char and an indent char follow each other, they cancel each other out. Version control systems (like Git) would like it as well. You could indent or unindent huge code blocks without the VCS thinking it's a complete rewrite. It would only see the first and the last line getting a new indent or unindent char.
2
@NoBoilerplate Maybe I'll just write a prototype editor. I wanted to write a text editor anyway.
2