4 ms·
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
by setr 9y ago
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
- tome 9y agoA C int can't be null. Perhaps you're thinking of an int *.