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.

mccosmos

8년 전discuss

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.

mccosmos

8년 전discuss

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

mccosmos

9년 전discuss

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

mccosmos

9년 전discuss

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).

mccosmos

12년 전discuss

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())
    ...

Indeed, having an 'else' that negates the condition would get tough for complicated conditions. Negation-by-failure and soft-cut ('choose') have their own problems in certain circumstances.

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

mccosmos

12년 전discuss

That would get translated into

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

There is an implicit else.

mccosmos

12년 전discuss

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.

Submissions

Cosmos Released for Open-Source+eBook

[untitled]

Show HN: Logic-Functional Object-Oriented Prototypal Temporal Tic-Tac-Toe

The language of the future

Wizard proposes turning map of the universe inside-out

Support Development of Cosmos-Lang by Getting Fantasy Book about Great Logicians

An Opinionated Treatise on Cosmos, a New Programming Language

comments