BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations Rethinking Blockchain Contract Development

Rethinking Blockchain Contract Development

Bookmarks
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.

Recorded at:

Nov 26, 2019

BT