AI, Data Science & Business Certificates from Google, IBM & Microsoft
Start speaking a new language. It’s just 3 weeks away.
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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