F# was used to build game infrastructure and logic for a company serving millions of users daily. Some key benefits of F# included: 1) Domain modeling using discriminated unions, types, and measures helped increase correctness and productivity. 2) An actor model with asynchronous message passing was used to build stateful game servers in a scalable and efficient way without locks. 3) Processing ga