2 ms·

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 syst

• 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 ago
    A C int can't be null. Perhaps you're thinking of an int *.