Functional Architecture - goto copenhagen 2012
•Download as PPTX, PDF•
2 likes•1,606 views
Functional Architecture presentation on the Software Architecture track at goto conference in Copenhagen 2012.
Recommended
More Related Content
Similar to Functional Architecture - goto copenhagen 2012
Similar to Functional Architecture - goto copenhagen 2012 (20)
More from Phillip Trelford
More from Phillip Trelford (20)
Recently uploaded
Recently uploaded (20)
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
- 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.
- 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
- C is assemblerC++ was initially called C with ClassesJava/C# = C with Classes + GC
- 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++
- See: http://en.wikipedia.org/wiki/Coroutine#Common_usesCode sample:http://fssnip.net/ca
- See: http://en.wikipedia.org/wiki/Coroutine#Common_usesCode sample:http://fssnip.net/ca
- 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
- Lightweight types with correct defaultsImmutabilityCompositionSeparation of concernsLightweight functions with correct defaultsIdempotentTestableType signatures
- Map: (‘T -> ‘U) -> ‘T -> ‘U
- Samples:Units in CellzLunar Landurz
- Putting it all together: http://www.trayport.com/en/joule/video
- Intellisense via the dot gives discoverabilityMakes it easy to explore an APIWorld bank sample