What Made Lisp Different (2002)

Re:What Made Lisp Different (2002) by bcherny on Sunday February 18, 2018 @02:55PM (#16407981)

I've been thinking about this problem a lot lately: does there exist an isomorphism between high level languages, such that you can map their ASTs and type systems back and forth?

[ Parent | on HN ]

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 ]