News for hackers. Stuff that matters.

A comment on What Made Lisp Different (2002). Parent comment

Re:What Made Lisp Different (2002) by setr on Monday February 19, 2018 @01:21AM (#16411106)
I imagine type systems will fail: haskell int -> C int -> haskell maybe int

Haskell's type system is more expressive, so information is lost in the translation to C (that the haskell int is non-null), thus becoming maybe int when you translate back to haskell

[ Parent | on HN ]
Re:What Made Lisp Different (2002) by tome on Monday February 19, 2018 @02:44AM (#16411374)
A C int can't be null. Perhaps you're thinking of an int *.
[ Parent | on HN ]