3 ms·
Inria is a public research institute. Researchers working there are responsible for so much more than OCaml, just citing programming languages on top of my head
by p4bl0 8y ago
Inria is a public research institute. Researchers working there are responsible for so much more than OCaml, just citing programming languages on top of my head there are also Bigloo, Hop, Pharo, and Coq. There are probably others and there are of course many more projects that are not programming languages.
- xvilka 8y agoWell, Coq is written in OCaml after all, so my point applies here.
- archgoon 8y agoFor those curious, here are the languages used in the projects bigloo - written in C and scheme hop - js and scheme pharo - small talk and C Coq - written in ocaml It appears that Inria does not exclusively use ocaml for their projects.