Manuel M T Chakravarty - Keynote - Rethinking Blockchain Contract Development | Lambda Days 19

Описание: This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019

Get involved in Lambda Days' next conference http://www.lambdadays.org

---

KEYNOTE: RETHINKING BLOCKCHAIN CONTRACT DEVELOPMENT
by Manuel M T Chakaravarty

ABSTRACT
With the proliferation of blockchain designs, we see a proliferation of proposals for languages and systems to script the rules governing transactions on these blockchains, generally known as smart contract languages. Despite the name, these languages are usually fairly conventional programming languages used to impose constraints on the transactions permitted to transfer assets and manipulate data stored on the blockchain.

Given the high financial stakes and widely publicised exploits on first generation (Bitcoin) and second generation (Ethereum) blockchains, the third-generation Cardano blockchain places a strong emphasis on functional programming and formal methods. This includes a new approach to contract languages based on state-of-the art research in programming languages and the increased safety provided by functional programming. The benefits of functional programming go even further: instead of having to invent yet another custom language, we simply use Haskell for the job, we design a superior blockchain architecture, and we seamlessly combine on-chain and off-chain computations.

Read the full abstract: http://www.lambdadays.org/lambdadays2...

---

THE SPEAKER - MANUEL M T CHAKARAVARTY
Tweag I/O & IOHK

Manuel M T Chakravarty works with Tweag I/O as a functional programming evangelist, architects blockchain languages at IOHK, and develops the interactive development environment Haskell for Mac — one of the first Swift apps on the Mac App Store. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology.

More on Manuel M T Chakaravarty: http://www.lambdadays.org/lambdadays2...

---

LAMBDA DAYS & ERLANG SOLUTIONS
Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber.

LAMBDA DAYS
Website: http://www.lambdadays.org
Twitter:   / lambdadays  
Facebook:   / lambdadays  
LinkedIn:   / lambda-days  
Mail: info at lambdadays.org

#LambdaDays #Haskell