I'm curious: as I understand it, one of the purposes of the FFI is to allow bindings to "close to the metal" languages. I'm curious what would be involved in letting the FFI provide bindings to LLVM code in Haskell.
While I'm at it, I'll mention the most recent reason that this thought occurred to me, which is the complaint in
here that Haskell can't currently get access to SIMDs, while LLVM
does have that access, and I'm trying to think about how I might go about gluing those together.