Reading for Monday Subsequent pages of this document contain the appropriate excerpts from the 3 papers, in the order of the bullet points listed below: • H/Direct: • Read sections 1 and 2: this sets up the problem and design space. – In section 2.3: focus on understanding IDL types versus Haskell types. • Read the bullets on page 157: these explain the five IDL pointer types. • Attempt to understand what marshalPoint on page 159 is doing. • Take note of the main claim on the page after page 159. • Stretching the storage manager: • Read section 4 to understand stable names and stable pointers – Read section 4.4 closely to understand some garbage collection im- plications. • Read section 5.6 to understand the memory management issue (not the solution). • Calling hell from heaven and heaven from hell: • Read the second bulleted point in the intro. • Read section 3 – Read section 3.3 closely (stable pointers) – Read section 3.5 closely (higher-order callbacks) • The Lua Registry: • Read section 27.3.1: “Lua offers a separate table, called the registry, that C code can freely use, but Lua code cannot access.” 1 H/Direct: A Binary Foreign Language Interface for Haskell Sigbjorn Finne Daan Leijen Erik Meijer University of Glasgow University of Utrecht University of Utrecht
[email protected] [email protected] [email protected] Simon Peyton Jones University of Glasgow
[email protected] Abstract the particular Haskell implementation. To maintain this in- dependence, H/Direct requires the implementation to sup- H/Direct is a foreign-language interface for the purely func- port a primitive foreign-language interface mechanism, ex- tional language Haskell.