Module typing, code reuse and separate compilation

I deeply apologize for the inconvenience. A bit of an irony here: I took the quotes entirely from section 6.3 , headline "practicum". They are the least technical part of the entire paper. I added some context about the motivation , side effects and relevance for imperative languages. If you wan

Module typing, code reuse and separate compilation

Every time you make a post like this a little part of me hopes you've discovered plain english and code examples to explain the subject, but alas to my small mind you just come off as rambling technobabble. I do wish to understand the subject and point of these posts but as I'm not an academic I

Module typing, code reuse and separate compilation

I just recently stumbled over a paper from Karl Crary: which aims to solve the “avoidance problem” aka “implicit abstraction” problem. Implicit abstractions occur, if a program does take advantage of a type that it doesn’t know about. The