3 ms·
There’s a missing “minimal language” with a combination of features that doesn’t yet exist, but should: - value semantics with both implicitly-copyable and mov
by slavapestov 3y ago
There’s a missing “minimal language” with a combination of features that doesn’t yet exist, but should:
- value semantics with both implicitly-copyable and move-only values
- unboxed generics with type classes/traits/protocols and associated types
- as little syntax and sugar as possible for everything else
- mlochbaum 3y agoThe first point jumped out to me as contradictory: for immutable values copying is only an implementation detail. Apparently "value semantics" can also refer to mutable values with exclusive ownership, is that the idea here or something else?
- slavapestov 3y ago> Apparently "value semantics" can also refer to mutable values with exclusive ownership, is that the idea here or something else? Yes, that's what I meant here.
- rileyphone 3y agoMaybe Austral? https://austral-lang.org/ https://austral-lang.org/
- nottorp 3y agoYou just described your next hobby project?