I think you should need to use a language for more than a week before writing a blog post about how much it sucks.
libguestfs has 300+ API functions, and is about 500 kloc of code.
We autogenerate most of the bindings in ~ 10 programming languages using an OCaml program [hence the large defensive comment at the top of my rant]. I'm very happy to promote functional programming, but only where it's practical.
Or at least the Storable class for marshalling structures?
The confusion about basic language features is very disconcerting.
And the lack of technical depth to some of the points - e.g. "A lot of stuff is simply not possible without delving into the depths of compilers." - please, do say what is not possible using the FFI.
There are literally thousands of packages on Hackage that use the FFI extensively, so I struggle to understand how you could not find examples of pretty much anything you would want to do...