Looks like Coq has now overtaken Standard ML on both GitHub and Stackoverflow: https://redmonk.com/sogrady/files/2021/08/lang.rank_.0621-1024x807.png
Lean also shows up in lower left just above Logos.
Full report here: https://redmonk.com/sogrady/2021/08/05/language-rankings-6-21/
Coq more popular than wasm :tada:
Looks like we should convert zulip questions to SO questions ...
Coq has a 30 year headstart when compared to WASM, though...
indeed, WASM might explode through the ranks in the near future, giving us an unending assembly renaissance
I just did a two our lecture using jscoq to run coq in wasm on the browser. So, we can all play nicely together :-)
This repository is a clone of github.com/WebAssembly/spec/. It is meant for discussion, prototype specification and implementation of a proposal to add tail call support to WebAssembly.
I guess we can revisit in a decade or two when they have agreed at a proposal for a committee to deliver a proposal for suggesting an implementation of tailcalls in special cases
didn't notice until now, but OCaml is neck-and-neck with Haskell on GitHub, but Haskell is much higher on StackOverflow. Is it maybe all those monads that need explaining?
@Karl Palmskog : I think (just gut feeling, no solid data) Haskell is more widely used in university teaching than OCaml, while OCaml and Haskell have a similar user base among professionals.
I guess all those French students using OCaml go to different forums than StackOverflow also
French students do read StackOverflow questions and answers but probably do not ask as much.
Last updated: Dec 07 2023 at 04:02 UTC