InfoQ Homepage Presentations Rethinking Blockchain Contract Development

Rethinking Blockchain Contract Development

Bookmarks

View Presentation

Speed:

Download

59:16

Summary

Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.

Bio

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. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology.

About the conference

Never-failing explosion of enthusiasm and talent is what gets us motivated to explore this amazing community in all of its potential. A journey we take through different ideas, technologies, paradigms and languages inspires creativity, growth and pure enjoyment of coding. To us Scala, Erlang, Haskell, Elixir, F#, Lisp, Clojure, OCamland many other emerging technologies are more than languages - they are new perspectives on how to understand and tackle challenges of every day work.