News for hackers. Stuff that matters.

A comment on Zcoin implementation bug enabled attacker to create over 500K Zcoins. Parent comment

Re:Zcoin implementation bug enabled attacker to create over ... by kzrdude on Tuesday March 07, 2017 @04:51AM (#13809337)
Yeah, let's compare with a stricter language:

In Rust, x = y evaluates to (), not any of the values in x or y.

In Rust, numbers are not implicitly usable as booleans in conditionals.

[ Parent | on HN ]
Re:Zcoin implementation bug enabled attacker to create over ... by lmm on Tuesday March 07, 2017 @04:58AM (#13809346)
Indeed, just as in every other ML-family language since 1973. (I'm glad these things are finally getting mainstream attention, but I'm not sure why people get so excited about "Rust features" that are almost all taken straight from Ocaml)
[ Parent | on HN ]
Re:Zcoin implementation bug enabled attacker to create over ... by aij on Tuesday March 07, 2017 @11:36AM (#13811745)
Hey, I'm just glad to see 1970's PL research finally making it to the mainstream(ish), regardless of which language gets the marketing credit for it.

I think the main advantage Rust has over OCaml is that it is syntactically more like C. But, hey, if it's what gets HM-style type inference to the masses, I'll take it.

[ Parent | on HN ]