That would get translated into (s="a" and x=2) or true There is an implicit else... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mccosmos on Nov 18, 2014 | parent | context | favorite | on: An Opinionated Treatise on Cosmos, a New Programmi...

That would get translated into

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

There is an implicit else.

ajuc on Nov 18, 2014 [–]

Isn't it a little useless?

I would think if would work better if it was transformed into implication.

    if (p)
        q

would be

    (p => q)

and

    if p
       q
    else
       r

would be

   (p=>q) and (~p => r)

Anyway, not my language.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact