> A good type system (e.g Rust's, Haskell's..) can eliminate all type errors fro... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

paulddraper on Dec 29, 2016 | parent | context | favorite | on: Rust is mostly safety

> 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?

pavelludiq on Dec 30, 2016 | [–]

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.

tblair on Dec 30, 2016 | [–]

It is in Rust, although I'm sure you can come up with something where the type system won't save you.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact