> А у Хаскелей с Окамлами такие ffi
У окамла искоробочный FFI на самом деле довольно стрёмный (кто-то в ЖЖ вообще говорил, что один из худших), но ctypes частично решает проблему.
Ну это как оценивать. Он небезопасный и ну очень low-level. Не знаю, какой он в хаскиле, но у родного OCaml ffi очень низкий оверхед, это +. Небезопасный и сравнительно сложный, это -