News for hackers. Stuff that matters.

A comment on Rust is mostly safety. Parent comment

Re:Rust is mostly safety by paulddraper on Thursday December 29, 2016 @04:48PM (#13280447)
> A good type system (e.g Rust's, Haskell's..) can eliminate all type errors from your programs.

It depends what you call a "type error". Is calling `car` on a `nil` instead of a `cons` a type error?

[ Parent | on HN ]
Re:Rust is mostly safety by pavelludiq on Friday December 30, 2016 @04:54AM (#13283570)
In common lisp 'nil is of type 'null which is a subtype of 'list, which is a union of the types 'null and 'cons so it wouldn't be an error. Other lisps might chose to do it differently.
[ Parent | on HN ]
Re:Rust is mostly safety by tblair on Thursday December 29, 2016 @11:56PM (#13282619)
It is in Rust, although I'm sure you can come up with something where the type system won't save you.
[ Parent | on HN ]