3 ms·
Semi-serious comment; vigil is tongue in cheek because it 'deletes' said function, which is clearly for laughs. However, if it permanently 'deactivated' it ins
by tpoacher 6y ago
Semi-serious comment; vigil is tongue in cheek because it 'deletes' said function, which is clearly for laughs.
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.
- discodachshund 6y agoYou 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.