Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



The 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?


> 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.


Maybe Austral?

https://austral-lang.org/


You just described your next hobby project?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: