4 ms·
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
by ajuc 12y ago
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 12y agoThat would get translated into (s="a" and x=2) or true There is an implicit else.
- ajuc 12y agoIsn'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.