Stream: Miscellaneous

Topic: Redmonk July 2021 report


view this post on Zulip Karl Palmskog (Sep 13 2021 at 06:59):

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/

view this post on Zulip Bas Spitters (Sep 13 2021 at 09:20):

Coq more popular than wasm :tada:

Looks like we should convert zulip questions to SO questions ...

view this post on Zulip Pierre-Marie Pédrot (Sep 13 2021 at 09:23):

Coq has a 30 year headstart when compared to WASM, though...

view this post on Zulip Karl Palmskog (Sep 13 2021 at 09:26):

indeed, WASM might explode through the ranks in the near future, giving us an unending assembly renaissance

view this post on Zulip Bas Spitters (Sep 13 2021 at 09:27):

I just did a two our lecture using jscoq to run coq in wasm on the browser. So, we can all play nicely together :-)

view this post on Zulip Karl Palmskog (Sep 13 2021 at 09:31):

sigh: https://github.com/WebAssembly/tail-call

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

view this post on Zulip Karl Palmskog (Sep 18 2021 at 15:32):

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?

view this post on Zulip Michael Soegtrop (Sep 18 2021 at 17:04):

@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.

view this post on Zulip Karl Palmskog (Sep 18 2021 at 17:06):

I guess all those French students using OCaml go to different forums than StackOverflow also

view this post on Zulip Théo Zimmermann (Sep 19 2021 at 10:10):

French students do read StackOverflow questions and answers but probably do not ask as much.


Last updated: Aug 19 2022 at 19:03 UTC