applications of Functional programming /PL outside Fintech/crypto
It seems like everyone who doing things in the FP / PL space is using them for Fintech or cryptocurrency. Are there people doing research in other fields using this tech?
Zoox nondriver Sep 7, 2021
Functional languages are big in the field of automated theorem proving.
Los Alamos National Laboratory ultramagic OP Sep 7, 2021
Yes, do you know any companies using that?
Applications include flexing on the OOP normies ๐
Real talk, FB uses Erlang for messenger, Haskell for spam detection, and OCaml for some PHP compiler stuff, so you can add social media to the list.