DeVault: Announcing the Hare programming language
DeVault: Announcing the Hare programming language
Posted May 2, 2022 12:52 UTC (Mon) by Tobu (subscriber, #24111)Parent article: DeVault: Announcing the Hare programming language
Going by just the design principles, especially the last one:
- Trust the programmer.
- Provide tools the programmer may use when they don’t trust themselves.
- Prefer explicit behavior over implicit behavior.
- A good program must be both correct and simple.
The design direction for a language should tell about the language rather than about "good programs" in general, saying nothing about where they exist. If the language is to encourage correct programs, this implies reducing the space of programs that it is willing to compile. It means sufficient tools that the programmer doesn't in fact need to trust themselves, or that it could be the exception.
That point about language design space and the space of legal programs is better made in the intro paragraphs of Some mistakes Rust doesn't catch, up until the first code snippet. If making "bad programs" with Hare is too easy, if the type system isn't up to building safe abstractions, I doubt Hare will have a shot at being stable and robust.