News for hackers. Stuff that matters.

A comment on Monads are monoids in the category of endofunctors. Parent comment

Re:Monads are monoids in the category of endofunctors by yawaramin on Thursday September 09, 2021 @11:01PM (#28477300)
Ever use Facebook? WhatsApp? Discord? Telephones? Docker? Amazon EC2? Bought something in a Walmart store or on their websites? etc. etc. Some of their core, critical parts are written in functional programming languages.

Just because you don't see FP out in the wild being conspicuous, doesn't mean it's not there ;-)

[ Parent | on HN ]
Re:Monads are monoids in the category of endofunctors by BrissyCoder on Thursday September 09, 2021 @11:56PM (#28477640)
Which parts in particular? Genuinely curious.
[ Parent | on HN ]
Re:Monads are monoids in the category of endofunctors by yawaramin on Friday September 10, 2021 @12:39AM (#28477877)
- Facebook: spam filter implemented in an efficient data access language/tool called Haxl: https://engineering.fb.com/2014/06/10/web/open-sourcing-haxl...

- WhatsApp: famous for being written in Erlang, a functional programming language, and processing more messages a day than the entire global SMS network with a team of 50 backend engineers

- Discord: handling extreme amounts of chat/call traffic using Elixir, another functional programming language based on the same tech as Erlang

- Telephones: telephone switches from Ericsson (and in fact, internet switches from Cisco) use Erlang

- Docker: core virtualization component for macOS (hyperkit) written in OCaml

- Amazon EC2: another core virtualization component of all computes, parts of the Xen hypervisor, written in OCaml

[ Parent | on HN ]