F# in the Real World (DDD EA)
•
10 j'aime•6,057 vues
In this talk we discussed a number of real world use cases of F# at Gamesys
Recommandé
Contenu connexe
Tendances
En vedette
En vedette (20)
Similaire à F# in the Real World (DDD EA)
Similaire à F# in the Real World (DDD EA) (20)
Plus de Yan Cui
Plus de Yan Cui (20)
Dernier
Dernier (20)
F# in the Real World (DDD EA)
- 1. F#in
- 2. the Real
- 3. World
- 4. Hi, my name is Yan Cui.
- 6. agenda
- 12. why F#?
- 13. time to market
- 14. correctness
- 15. efficient
- 16. tame complexity
- 18. Collectables Wager Size Special Symbol Avg Wager Size Web Server call
- 19. • Line Win! – X number of matching symbols on adjacent columns! – Positions have to be a ‘line’! – Wild symbols substitute for other symbols! ! • Scatter Win! – X number of matching symbols anywhere! – Triggers bonus game
- 20. What symbols should land?! Any special symbol wins?! Did the player win anything?
- 21. What the player’s new average wager?
- 22. Should the player receive collectables?
- 23. type Symbol = Standard! of string! ! ! ! | Wild
- 24. type Symbol = Standard! of string! ! ! ! | Wild e.g.! Standard “hat”! ! Standard “shoe”! ! Standard “bonus”! ! …
- 25. type Symbol = Standard! of string! ! ! ! | Wild i.e.! Wild
- 26. ! ! ! type Win = LineWin of int * Symbol * int! ! | ScatterWin of Symbol * int
- 27. ! ! ! type Win = LineWin of int * Symbol * int! ! | ScatterWin of Symbol * int e.g.! LineWin (5, Standard “shoe”, 4)
- 28. ! ! ! type Win = LineWin of int * Symbol * int! ! | ScatterWin of Symbol * int e.g.! ScatterWin (Standard “bonus”, 3)
- 29. type LineNum = int! type Count! = int! ! type Win = LineWin of LineNum * Symbol * Count! ! | ScatterWin of Symbol * Count
- 30. closed hierarchy
- 31. no Nulls
- 33. [Measure]! type Pence e.g.! 42Pence! ! 153Pence! ! …
- 34. 10Meter / 2Second ! = 5Meter/Second! 10Meter * 2Second ! = 20Meter Second ! 10Meter + 10Meter ! = 20Meter! 10Meter * 10! ! ! = 100Meter! 10Meter * 10Meter ! = 100Meter2! 10Meter + 2Second ! // error! 10Meter + 2 ! ! ! // error
- 35. 10Meter / 2Second ! = 5Meter/Second! 10Meter * 2Second ! = 20Meter Second ! 10Meter + 10Meter ! = 20Meter! 10Meter * 10! ! ! = 100Meter! 10Meter * 10Meter ! = 100Meter2! 10Meter + 2Second ! // error! 10Meter + 2 ! ! ! // error
- 36. type Wager = int64Pence! type Multiplier = int! ! type Payout = Coins! of Wager! ! ! | MultipliedCoins of Multiplier * Wager! ! ! | Multi! of Payout list! ! ! | BonusGame
- 37. type Wager = int64Pence! type Multiplier = int! ! type Payout = Coins! of Wager! ! ! | MultipliedCoins of Multiplier * Wager! ! ! | Multi! of Payout list! ! ! | BonusGame
- 38. type Wager = int64Pence! type Multiplier = int! ! type Payout = Coins! of Wager! ! ! | MultipliedCoins of Multiplier * Wager! ! ! | Multi! of Payout list! ! ! | BonusGame
- 39. type State = ! {! AvgWager! : Wager! SpecialSymbol : Symbol! Collectables : MapCollectable, Count! }
- 42. Recap
- 43. lightweight syntax for types hierarchies
- 47. order of magnitude increase in productivity
- 50. player states are big
- 56. Elastic Load Balancer S3 Auto scaling Group Server A Server B ... EC2 CloudFront Stateful Server
- 57. The Actor Model An actor is the fundamental unit of computation which embodies the 3 things! • Processing! • Storage! • Communication! that are essential to computation.! ! -Carl Hewitt* * http://bit.ly/HoNHbG
- 58. The Actor Model • Everything is an actor! • An actor has a mailbox! • When an actor receives a message it can:! – Create new actors! – Send messages to actors! – Designate how to handle the next message
- 59. Stateful Server • Gatekeeper! – Manages the local list of active workers! – Spawns new workers! ! • Worker! – Manages the states for a player! – Optimistic locking! – Persist state after period of inactivity
- 60. Stateful Server Game Server Player A Player B S3 Worker C Worker B Gatekeeper RequestHandlers Asynchronous
- 61. Stateful Server Game Server Worker C Worker B Gatekeeper Worker A ok RequestHandlers Player A Player B Asynchronous S3
- 62. Stateful Server Game Server S3 Worker C Worker B Gatekeeper Worker A RequestHandlers Player A Player B Asynchronous
- 63. Stateful Server Game Server S3 Worker C Gatekeeper Worker A RequestHandlers Player A Player B Asynchronous
- 64. Stateful Server Game Server Worker C Worker A Gatekeeper error RequestHandlers Player A Player B S3 Asynchronous
- 65. type Agent‘T = MailboxProcessor‘T! ! ! !
- 66. type Agent‘T = MailboxProcessor‘T! ! type Message = ! | Get of AsyncReplyChannel…! | Put of State * Version * AsyncReplyChannel…
- 67. type Agent‘T = MailboxProcessor‘T! ! type Message = ! | Get of AsyncReplyChannel…! | Put of State * Version * AsyncReplyChannel…
- 68. type Result‘T =! | Success! of ’T! | Failure! of Exception! ! ! !
- 69. type Result‘T =! | Success! of ’T! | Failure! of Exception! ! type GetResult = ResultState * Version! type PutResult = Resultunit!
- 70. type Agent‘T = MailboxProcessor‘T! ! type Message = ! | Get of AsyncReplyChannelGetResult! | Put of State * Version * AsyncReplyChannelPutResult
- 71. type Agent‘T = MailboxProcessor‘T! ! type Message = ! | Get of AsyncReplyChannelGetResult! | Put of State * Version * AsyncReplyChannelPutResult
- 72. type Worker (playerId) =! let agent = AgentMessage.Start(fun inbox -! let state = getCurrentState playerId! ! let rec workingState (state, version) = ! async { … }! and closedState () =! async { … }! ! workingState (state, 1))
- 73. type Worker (playerId) =! let agent = AgentMessage.Start(fun inbox -! let state = getCurrentState playerId! ! let rec workingState (state, version) = ! async { … }! and closedState () =! async { … }! ! workingState (state, 1))
- 74. type Worker (playerId) =! let agent = AgentMessage.Start(fun inbox -! let state = getCurrentState playerId! ! let rec workingState (state, version) = ! async { … }! and closedState () =! async { … }! ! workingState (state, 1))
- 75. type Worker (playerId) =! let agent = AgentMessage.Start(fun inbox -! let state = getCurrentState playerId! ! let rec workingState (state, version) = ! async { … }! and closedState () =! async { … }! ! workingState (state, 1))
- 76. type Worker (playerId) =! let agent = AgentMessage.Start(fun inbox -! let state = getCurrentState playerId! ! let rec workingState (state, version) = ! async { … }! and closedState () =! async { … }! ! workingState (state, 1))
- 77. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None - ! do! persist state! return! closedState()! …! }!
- 78. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None - ! do! persist state! return! closedState()! …! }!
- 79. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None - ! do! persist state! return! closedState()! …! }!
- 80. non-blocking I/O
- 81. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None - ! do! persist state! return! closedState()! …! }!
- 82. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None - ! do! persist state! return! closedState()! …! }!
- 83. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! …! | Some(Get(reply)) -! reply.Reply | Success(state, version)! return! workingState(state, version)! …! }!
- 84. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! …! | Some(Put(newState, v, reply)) when version = v -! reply.Reply | Success()! return! workingState(newState, version+1)! …! }
- 85. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! …! | Some(Put(_, v, reply)) -! reply.Reply | Failure(VersionMismatch(version, v))! return! workingState(state, version)! }
- 86. let rec workingState (state, version) = ! async { ! let! msg = inbox.TryReceive(60000)! match msg with! | None ! ! ! ! ! ! - …! | Some(Get(reply)) ! ! ! ! - …! | Some(Put(newState, v, reply)) when version = v - …! | Some(Put(_, v, reply)) ! ! ! - …! }
- 87. and closedState () = ! async { ! let! msg = inbox.Receive()! match msg with! | Get(reply) -! reply.Reply | Failure(WorkerStopped)! return! closedState()! | Put(_, _, reply) -! reply.Reply | Failure(WorkerStopped)! return! closedState()! }
- 88. and closedState () = ! async { ! let! msg = inbox.Receive()! match msg with! | Get(reply) -! reply.Reply | Failure(WorkerStopped)! return! closedState()! | Put(_, _, reply) -! reply.Reply | Failure(WorkerStopped)! return! closedState()! }
- 91. 60% latency drop
- 92. no databases
- 93. 90% cost saving
- 95. Recap
- 96. Agents! • no locks! • async message passing! !
- 97. Agents! • no locks! • async message passing! • self-contained! • easy to reason with
- 100. Async Workflow! • non-blocking I/O! • no callbacks
- 101. Pattern Matching! • clear concise
- 104. Caught a Gnome
- 105. EXP Item Gold Quest Progress Caught a Gnome
- 106. Level Up Quest Progress EXP Item Gold Caught a Gnome Quest Complete
- 107. Level Up Quest Progress EXP Item Gold Caught a Gnome New Quest Quest Complete
- 108. Quest Progress EXP Item Gold Caught a Gnome Quest Complete New Quest Level Up
- 109. Quest Progress New Quest Achievement Progress EXP Item Gold Quest Complete Level Up Caught a Gnome
- 110. Level Up Quest Progress EXP Item Gold Caught a Gnome Quest Complete New Quest Achievement Progress Achievement Complete
- 111. Level Up Quest Progress EXP Item Gold Caught a Gnome Quest Complete New Quest Achievement Progress Achievement Complete
- 112. 100+ actions
- 114. triggered by different abstraction layers
- 120. Caught Gnome Trapping Queue Levelling Quests Achievements Analytics Partner Reporting EXP Item Gold
- 121. Caught Gnome Trapping Queue Levelling Quests Achievements Analytics Partner Reporting EXP Item Gold
- 125. need lots of facts
- 126. type Fact =! | GotExp! ! of Exp! | GotGold! ! of Gold! | GotItem! ! of Item * Count! | CaughtMonster! of Monster * Bait * Location! | LevelUp! ! of OldLevel * NewLevel! …
- 127. type Reward =! | GotExp! ! of Exp! | GotGold! ! of Gold! | GotItem! ! of Item * Count! ! type StateChange =! | LevelUp! ! of OldLevel * NewLevel! …
- 128. type Fact =! | StateChange! of StateChange! | Reward! ! of Reward! | Trapping! ! of Trapping! | Fishing! ! of Fishing! …
- 129. let process fact =! match fact with! | StateChange(stateChange)! - …! | Reward(reward)! ! ! - …! | Trapping(trapping)! ! - …! …
- 130. C# interop
- 131. …! var fact = Fact.NewStateChange(! ! StateChange.NewLevelUp(oldLvl, newLvl));! …
- 132. type IFact = interface end! ! type Reward =! | GotExp! ! of Exp! | GotGold! ! of Gold! | GotItem! ! of Item * Count! interface IFact
- 133. type IFact = interface end! ! type Reward =! | GotExp! ! of Exp! | GotGold! ! of Gold! | GotItem! ! of Item * Count! interface IFact
- 134. let process (fact : IFact) =! match fact with! | :? StateChange ! as stateChange!- …! | :? Reward ! ! as reward! ! - …! | :? Trapping! ! as trapping! - …! …! | _ - raise | NotSupportedFact fact
- 135. let process (fact : IFact) =! match fact with! | :? StateChange ! as stateChange!- …! | :? Reward ! ! as reward! ! - …! | :? Trapping! ! as trapping! - …! …! | _ - raise | NotSupportedFact fact
- 136. simple
- 137. flexible
- 138. saver
- 140. location bait attraction rate catch rate
- 144. trial-and-error
- 146. “…if you require constant diligence you’re setting everyone up for failure and hurt”
- 148. genetic algorithms
- 164. wanna find correlations? you can DIY it! ! ;-)
- 165. why was payment service slow last night?
- 170. Find metrics whose 5 min average exceeded 1 second during last 12 hours
- 171. cloudWatch.Select( unitIs “milliseconds” + average () 1000.0 @ last 12 hours | intervalOf 5 minutes)
- 172. cloudWatch.Select(“ unitIs ‘milliseconds’ and average 1000.0 duringLast 12 hours at intervalOf 5 minutes”)
- 173. did any cache nodes’ CPU spike yesterday?
- 174. cloudWatch.Select( namespaceLike “elasticache” + nameLike “cpu” + max () 80.0 @ last 24 hours | intervalOf 15 minutes)
- 175. cloudWatch.Select( namespaceLike “elasticache” + nameLike “cpu” + max () 80.0 @ last 24 hours | intervalOf 15 minutes) regex support
- 181. Amazing F# =
- 182. Recap
- 188. great performance
- 189. name your throughput
- 195. GOAL SELECT UserId, TopScore FROM GameScore WHERE GameTitle CONTAINS “Zelda” ORDER DESC! LIMIT !! 3 WITH (NoConsistentRead)
- 196. Query AST Execution
- 197. F# FParsec* *www.quanttec.com/fparsec External DSL via
- 199. SELECT * FROM GameScore Abstract Syntax Tree (AST) FParsec
- 201. select GameTitle, UserId, TopScore from GameScores where GameTitle = “Starship X” and TopScore = 1000 order desc limit 3 with (NoConsistentRead, Index(GameTitleIndex, true))
- 203. S3 Provider github.com/fsprojects/S3Provider F# type provider for Amazon S3
- 207. no code generation
- 210. why F#?
- 211. time to market
- 212. correctness
- 213. efficient
- 214. tame complexity