3 ms·

I rather enjoyed reading about the language, but was a bit disappointed that they made no attempt at static analysis, especially with such a rich set of asserti

I rather enjoyed reading about the language, but was a bit disappointed that they made no attempt at static analysis, especially with such a rich set of assertions that the language enforces. I'd really like to see my entire program get deleted at compile-time rather than having to run it a bunch of times to delete all the faulty nested function calls one at a time.

a3_nm 14y ago
Agreed. The "deletes the function from your source code" part is amusing, but "swear" and "implore" are just like Python's "assert".
- Cogito 14y ago
  Not quite. Implore asserts that a test passes (prototypically on a passed in parameter), but if that test fails the blame is on the calling function. Swear on the other hand will assign blame to the current function if the test fails.