[ajuc]

He, great article. I like the language already. Also liked the "it's the best, obviously" attitude.

Minor nitpick: what

    if (s="a")
       x=2

translates into?

    s="a" and x=2

or

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

?

Because your example with if .. else .. seems to indicate the first one and that's weird.

[mccosmos]

That would get translated into

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

There is an implicit else.

[ajuc]

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.