Functional Architecture - goto copenhagen 2012
Download as PPTX, PDF2 likes1,628 views
The document discusses Phillip Trelford's expertise in programming languages and functional architecture, with a focus on F# and its application in business logic and domain-driven development. It highlights the use of various languages such as C#, Java, and Erlang in different fields, including gaming and finance. Trelford emphasizes the advantages of F# for expressing business logic concisely and mentions specific applications where these languages are utilized.
![Functions
Imply : Instrument[] -> Order[] -> Order[]](https://image.slidesharecdn.com/functionalarchitecture-philliptrelford-gotocopenhagen2012-120526042807-phpapp02/85/Functional-Architecture-goto-copenhagen-2012-11-320.jpg)
Functional Architecture - goto copenhagen 2012
- 1. FUNCTIONAL ARCHITECTURE Phillip Trelford Trayport
- 2. About Me Family Values Retail Halo 3 Trade
- 3. Programming Languages Assemblers C with Classes Functional • 6502 • C++ • JavaScript • Z80 • Java • F# • 680x0 • C# • Lua • 80x86 • 65c816 • SH-2 • R3000 •C
- 4. Video Game Decades 1980s/1990s 2000s/2010s Scripts Scripts C with Assemblers Classes
- 5. Coroutine Zombies Pseudo Code random_pause 10 while not dead wait_until_in_range 50.0 home_in_on_target 10
- 6. Coroutine Zombies Pseudo Code F# random_pause 10 yield! random_pause 10 while not dead while true do wait_until_in_range 50.0 yield! wait_range 50 home_in_on_target 10 yield! home_in 10
- 7. Speed Runtime Development Super Nintendo DSL • Interprets byte code • Close to domain • On 3.58MHz CPU • Easy to port • At 60FPS • Zero compile time
- 8. FP Sweet Spots Domain Computation Concurrency
- 9. Thoughtworks Tech Radar 2012 F# Languages “F# is excellent at concisely expressing business and domain logic.”
- 10. Types F# UML Class Diagram type Object(name) = member this.Name = name type Action = | Call of Object * string *Object | Async of Object * string *Object
- 11. Functions Imply : Instrument[] -> Order[] -> Order[]
- 12. Computation
- 13. Concurrency async { do! control.MouseLeftButtonDown |> Async.AwaitEvent }
- 15. Thoughtworks Tech Radar 2012 “Developers trying to achieve explicit business logic within an application may opt to express their domain in F# with the majority of plumbing code in C#.”
- 16. Applications Erlang for Fault Tolerant Messaging • Messaging in Chat, Gaming, Messaging, NoSQL • Facebook, MMOG, RabbitMQ, Amazon, … F#/Scala • Computation in Insurance, Finance, Gaming • Credit Suisse, Jane Street, TrueSkill, Path of Go, … C#/Java/PHP/Python/Ruby… • CRUD in Line of Business Applications • Everything else
- 19. Buttons Methods 63 Properties 63 Events 35 Constructors 1 Total Members 162
- 20. XBLA: Path to Go – F# AI
- 21. Q&A • Twitter: @ptrelford • Email: phil at trelford.com • Blog: http://trelford.com/blog
Editor's Notes
- #2: I work as a hands-on Software Architect AND Developer at Trayport.I work with the project team on the code on a day-to-day basis.
- #3: Wrote first commercial game when I was 13, nearly 30 years ago which makes me just over 27 ;)Characterized by functional concepts.Video games: state machines & DSLs, transformation, math, proceduralE-Commerce: immutable messages & commands (audit trail – no deletion)Machine Learning: computationTrading: immutable messages, computation, concurrency
- #4: C is assemblerC++ was initially called C with ClassesJava/C# = C with Classes + GC
- #5: 1980s/1990s Games written in C interpreters & custom DSLs with coroutines, engines written in Assembler including C2000s/2010s Games written in Lua & custom DSLs, engines written in C & C++
- #6: See: http://en.wikipedia.org/wiki/Coroutine#Common_usesCode sample:http://fssnip.net/ca
- #7: See: http://en.wikipedia.org/wiki/Coroutine#Common_usesCode sample:http://fssnip.net/ca
- #8: Runtime: 80/20 rule – performance of most code is not importantDevelopment: time to market is importantPsygnosis offered to pay: 25,000GBP to convert a video game in 6 months 75,000GBP to convert a video game in 3 months
- #11: Lightweight types with correct defaultsImmutabilityCompositionSeparation of concernsLightweight functions with correct defaultsIdempotentTestableType signatures
- #12: Map: (‘T -> ‘U) -> ‘T -> ‘U
- #13: Samples:Units in CellzLunar Landurz
- #15: Putting it all together: http://www.trayport.com/en/joule/video
- #19: Intellisense via the dot gives discoverabilityMakes it easy to explore an APIWorld bank sample