3 ms·
Hi, I'm the author. Thanks to the person who proposed this on HN! Ask me anything.
by dwheeler 4y ago
Hi, I'm the author. Thanks to the person who proposed this on HN! Ask me anything.
- throwaway81523 4y agoI'd be interested to know how other type-safe language compilers like GHC (Glasgow Haskell Compiler) handle this problem. I believe that .hi files (object files that GHC generates from .hs Haskell source files, like C compilers generate .o's) have type info in them. But I don't know what GHC does to ensure global type consistency. Maybe it has its own equivalent of a link phase, that has to bring in all the types from the .hi's? Is that the equivalent of Ada's originally conceived program library? It never really occurred to me to look into this.