Monads are monoids in the category of endofunctors

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 ]