Ocaml is a nice language to work with. I briefly worked on Frama-C as a student and have only fond memories of it. I think it's the same for most people who had

Ocaml is a nice language to work with. I briefly worked on Frama-C as a student and have only fond memories of it. I think it's the same for most people who had to use it in the past which is why it get upvotes. It has always seemed both very modern in the semantic tools it gave (inference, pattern matching, variant types, the module system) but not too in your face. You could very much code in Ocaml as you would in any imperative language and it would be fine and you would still benefit from the nice type system. Generally you don't want to because the other tools the language gives you feel nicer but sometimes it's simpler and that's fine. Plus, the community tends to be very pragramatic and non judgemental about how you achieve things.