Re:Vigil: The eternal morally vigilant programming language
by discodachshund on Wednesday November 11, 2020 @07:30AM
(#25057778)
You might enjoy a language with refinement types. I know Scala has a library for this called refined, which I believe is a port from Haskell.
In summary it gives you compile time feedback on types with refinements, e.g. positive ints, negative ints, even ints, etc, and can be based on custom predicates.
However, if it permanently 'deactivated' it instead, causing it to exit the program with an error, until some sort of 'guarantee' that the developer has renewed their oaths, I would love this language in a very serious manner.