Functional Modelling of Contractual Workflows in DAML • Andrae Muys • YOW! 2019
This presentation was recorded at YOW! 2019. #GOTOcon #YOW
Andrae Muys - Technical Architect & Software Engineer at Digital Asset @etymon
RESOURCES
ABSTRACT
The Australian Security Exchange (#ASX)’s #CHESS replacement will be one of the most institutionally significant deployments of pure #FP in the world. The CHESS settlement and registry system tracks the ownership of $1.5 trillion of the Australian economy on a daily basis. Its replacement is being developed by #DigitalAsset in #DAML, and is due for completion in 2021.
Running on a distributed ledger technology (#DLT), DAML is a #SmartContract language inspired by #Haskell. It shares much of Haskell’s pure core; however, it removes the infamous IO type, and instead provides a dedicated and restricted ledger-interaction type. This type, and the underlying ledger model it encapsulates, captures DAML’s first-class control of authorisation and privacy.
This presentation introduces the DLT architecture style. It will explain the strengths and weaknesses of DLT, especially when modelling contractual workflows. It will demonstrate the use of DAML language to implement multi-party workflows that include authorisation and privacy requirements on the DLT platform developed by Digital Asset.
An attendee will come away with an understanding of how DLT is a distinct architectural style, a taste of DAML as a programming language, and an insight into the platform and language behind the highest profile functional programming project in Australia. [...]
RECOMMENDED BOOKS
Christian Clausen • Five Lines of Code •
Andy Oram & Greg Wilson • Beautiful Code •
Christian Mayer • The Art of Clean Code •
Tom DeMarco & Tim Lister • Peopleware •
David Farley • Modern Software Engineering •
#AndraeMuys #FunctionalProgramming #SoftwareEngineering #Programming #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at
Sign up for updates and specials at
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
1 view
0
0
2 months ago 00:00:47 4
Russian BMP T-15 Armata
2 months ago 00:56:07 1
Tartini: Trio Sonatas
2 months ago 00:02:11 14
Security Breach: The Remains Gameplay Trailer #1
2 months ago 00:01:01 10
Cloaking Showcase | Security Breach: The Remains
2 months ago 00:00:19 1
Professionally designed Thermal Transfer Ribbon Slitter Rewinder #machine #slittingmachine #factory
2 months ago 02:59:24 1
Coding a Transformer from scratch on PyTorch, with full explanation, training and inference.
2 months ago 00:12:00 32
PIXEL ART with StableDiffusion + Tileset workflows??
2 months ago 00:02:01 1
Avant 635 Smooth Drive testing
2 months ago 00:01:11 1
Meet the Audi A6 e-tron models
2 months ago 00:21:26 1
Apple told my wife this iMac was “Unfixable“...did they LIE???
2 months ago 00:02:23 1
How we fabricated the Micro Miracle models | Nanoscribe
2 months ago 00:28:50 1
Lightning Boy Shader - Boo Tutorial Part 2 - Indoor Environment Tips
2 months ago 00:02:21 1
2025 YAMAHA MT09 WITH Y-AMT TECHNOLOGY REVEALED!!
2 months ago 00:05:24 1
Me playing Depeche Mode “Enjoy the Silence“ (updated Video version)
2 months ago 00:01:48 1
OBDSTAR G3 HAVAL H6 (3ND) Read PinCode and Program Proximity All Keys Lost via OBD-OBDII365
2 months ago 00:00:26 1
Bowl Can Filling and Seaming Machine
2 months ago 00:33:35 1
NEW FREE ENERGY GENERATOR 20KW - FREE ENERGY FOREVER
2 months ago 00:00:12 1
Production Video of Lenercom: PM4-12
2 months ago 01:24:05 1
Learn Mistral AI – JavaScript Tutorial
2 months ago 00:01:51 1
Deep image reconstruction from human brain activity
2 months ago 00:03:44 1
Judge Dredd - ABC Warrior
2 months ago 00:01:01 1
Brainworx bx_aura - Trailer | Plugin Alliance
2 months ago 00:05:10 1
1995 Nissan Caravan - Gateway Classic Cars Of Fort Lauderdale #1967
2 months ago 00:11:19 1
Michael Talbot: Synchronicity and the Holographic Universe -- Thinking Allowed w/ Jeffrey Mishlove