mccosmos

No offense but they're not getting inhumane shock treament either if you're going to pull "our stress is holier than thou" and say it's magnitudes higher, I'll be waiting scientific backing on this or else it's just rude... plus they can always just not make me periodically re-install all my addons with no option to just bypass verification... except this time it doesn't work even with the fixes. (Actually, one time I just didn't see it was set to update automatically downgrading one of them. I'm no expert on these issues, really. They just could have asked first in my opinion.) Thanks, Mozillama.

Edit: I had to click "Restart with addons disabled (safe mode)" for those wondering.

It is 0/0 that is undefined. For 1/0 the standard is either infinity (easily checkable in a language like JavaScript or C) or you get the usual talk that you can't mix infinity with numbers and the operation would be meaningless, etc.

Not quite a movie but having Lojban as the setting fantasy language is the idea behind this new production: https://www.youtube.com/watch?v=4kJATTd6vF8

Such is the wild life of a game programmer...

I designed a logic-functional language called Cosmos (https://github.com/mcsoto/cosmos) based on what I thought would be a good/minimalist/innovative/easy-to-use language design that I'd like to program in. It's lacking in implementation, as it'd ideally have at least a VM in C (and a game framework, I like those).

One property of Cosmos is that there is no boolean type and relations are themselves booleans (q() would be false in this case). Hence, the code would be rather like this:

  rel q()
   true
   false
  ...
  rel main()
   if(q())
    ...

Yeah, it's going to decide that | x = 0 | x = 2 (there is no CLP for strings).

That would get translated into

  (s="a" and x=2) or true

Thanks for the replies. A few comments:

1. I might have gotten a bit carried away when writing some parts of the article.

2. "Functors" are the same as functors from Prolog. Note that Prolog lists are functors too. They also may enable the language to have an 'Option' type like in some functional languages.