Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a conference presentation introducing hs-bindgen, a revolutionary tool that automatically generates Haskell Foreign Function Interface (FFI) bindings directly from C header files. Learn how this innovative approach eliminates the error-prone and time-consuming process of manually creating bindings when interfacing Haskell with C libraries. Discover the novel binding specification method that enables compositional reuse of bindings across different libraries, allowing developers to build upon existing work efficiently. Examine the domain-specific language developed in Haskell for representing C expressions found in macros, complete with a sophisticated type inference algorithm that enables automatic binding generation for functions defined as C macros. Understand how this comprehensive solution addresses common challenges in Haskell-C interoperability, making foreign function interfaces more accessible and maintainable for developers working with mixed-language codebases.
Syllabus
[Haskell'25] Automatic C bindings generation for Haskell
Taught by
ACM SIGPLAN