News for hackers. Stuff that matters.
Re:Caml Trading – Experiences with OCaml on Wall Street [video] by mcguire on Thursday September 11, 2014 @12:36PM (#8303559)
"...writing Gc<List<Gc<Foo>> everywhere..."

Rust, unlike Java, has type definitions[1]; there's no need to use the full expansion everywhere.

(I don't believe it's even necessary in Java, but creating subclasses has its own downsides.)

[1] http://doc.rust-lang.org/0.11.0/rust.html#type-definitions

Re:Caml Trading – Experiences with OCaml on Wall Street [video] by mercurial on Thursday September 11, 2014 @04:03PM (#8304825)
Yes, you can do that, but it's pretty obvious that if you want garbage collection everywhere, you're not going to use a language with linear types and optional, pretty much discourage GC, and write type synonyms all over the place (or fat signatures), you're going to go for a language where it's natural.