[EduardoRFS]

Most developers, there is a lot of places to get this information but if you look at the stackoverflow survey, which is a survey large enough to be relevant, you get some data around 25% of developers using Linux.

We're talking about as their computer, not servers tho, everyone uses Linux for server

[nix23]

53% Use Linux:

https://insights.stackoverflow.com/survey/2019#technology-_-...

>Linux and Windows are the most common platforms that our respondents say they have done development work for this year. We asked about container technologies like Docker for the first time this year, and Docker was the third most broadly used platform.

But:

https://insights.stackoverflow.com/survey/2019#technology-_-...

[CurtHagenlocher]

This is the distinction between the platform for which the work is being done and the platform the work is being done on. You can develop for Linux servers from other platforms.

[nix23]

Thanks, peoples from HN would not have understood that, big thumps up!

[the_af]

Thanks for the answer! I have a followup question: if the server is Linux, that means the app itself (or the "solution") is Linux based, which means that an OCaml solution would have to compile (or cross-compile to) and run on Linux, which means that ARM64 on Linux is relevant :)

Unless of course most OCaml devs don't target Linux.

[yawaramin]

Sure it's relevant, but again like Eduardo said, most devs don't have Linux ARM64 dev machines, they don't use it on a daily basis, they don't have experience with it.

[pjmlp]

> everyone uses Linux for server

And here I am deploying .NET and C++ solutions on Windows Servers, strange definition of "everyone".

[yawaramin]

Chill dude, 'everyone' doesn't mean 'literally everyone on the planet', it's a figure of speech :-)

[3001]

This is unrelated, but your karma is 2020.

[yawaramin]

Lol. Not sure if that's a good thing :-D

[coldtea]

"Everyone" means most in casual conversation.

You maybe had it confused with the universal quantifier ∀ in a math/logic context, but it's not the same :-)

[pjmlp]

Which still doesn't apply, when Linux based servers are about 50% of server market.

https://www.t4.ai/industry/server-operating-system-market-sh...

[brmgb]

Come on, everyone knows the old trick of using paid shipments to pretend Microsoft have a large share of the server market. It conveniently discounts all these free installations of Linux.

[pjmlp]

Just like everyone knows those stories about disgruntled employees asking to get their tools back.