Niko Matsakis

Probably one of the more under-appreciated aspects of #rustlang for me is no-nullable-types. Really makes you realize how poisonous null is

@wycats Once you see it, the rest of the world becomes a dark and scary place.

@mxavier Post.find(params[:id]) -> WHAT IS GOING TO HAPPEN? Post.find(params.get("id").unwrap()) -> Worst case my request fails

@wycats In haskell find =<< lookup "id" params. Nothing, the null case just propagates thru find. Forced to deal w null case @ type level

@mxavier same in Rust. The null case is handled via Option<T> and can't be passed in place of T.

@wycats Glad new languages are actually addressing major plagues in software development these days. Gives me hope :)

@mxavier @wycats now rust just needs tooling to support higher kinded traits and we'd have monads there. Want.

@cartazio Unsure if HKT is happening any time soon. @mxavier