
There's an interesting python "variant" (more of an overlay actually) that is rather intriguing on github -- Vigil: a truly safe progamming language.
From the readme:
"Infinitely more important than mere syntax and semantics are its addition of supreme moral vigilance. This is similar to contracts, but less legal and more medieval." http://github.com/munificent/vigil Mark

On Sun, Jan 6, 2013 at 8:01 PM, Mark Adam <dreamingforward@gmail.com> wrote:
It's a joke language that deletes code when an assert fails. Python-ideas really isn't the place to post this. Try out http://www.reddit.com/r/python

On Sun, Jan 6, 2013 at 2:08 PM, Yuval Greenfield <ubershmekel@gmail.com> wrote:
Yeah, I sort of got that, but imagine in a multi-user p2p environment (the internet "global brain"), it could be a way to enforce policy across the network. I know list policy, but I rather like the keywords it used to expand on the language. By making the programmer encode expectations, the multiprocessing code doesn't have to work so hard with exception handlin. mark

On Sun, Jan 6, 2013 at 8:01 PM, Mark Adam <dreamingforward@gmail.com> wrote:
It's a joke language that deletes code when an assert fails. Python-ideas really isn't the place to post this. Try out http://www.reddit.com/r/python

On Sun, Jan 6, 2013 at 2:08 PM, Yuval Greenfield <ubershmekel@gmail.com> wrote:
Yeah, I sort of got that, but imagine in a multi-user p2p environment (the internet "global brain"), it could be a way to enforce policy across the network. I know list policy, but I rather like the keywords it used to expand on the language. By making the programmer encode expectations, the multiprocessing code doesn't have to work so hard with exception handlin. mark
participants (3)
-
Jakob Bowyer
-
Mark Adam
-
Yuval Greenfield