What is OCaml used for?

Related questions

1. Is OCaml strongly typed?
2. What is BNF in programming?
3. Is F# faster than C#?
4. Is Lisp strongly typed?
5. Is ML same as ML?
6. What does the L in ML mean?
7. Is Haskell open source?
8. What is meta language in programming?
9. Is C functional programming?
10. Is Haskell easy to learn?

Tags

1. #language
2. #theorem
3. #application
4. #software
5. #widely
6. #programming
7. #involve
8. #areas
9. #ocaml
10. #develop
11. #symbolic
12. #analyzers
13. #interpreters
14. #other
15. #automatic
16. #program
17. #provers
18. #applications
19. #compilers
20. #initially
21. #computation