OH002 Total Functional Programming

Episode Notes In this episode we are joined by Jack Pettersson. We discuss computational models and how they relate to blockchains. Do we want Turing-completeness, or is a weaker model more suitable? Would a dumber (not a Turing complete) language would make smart contracts smarter (easily verifiable)? We talk about total functional languages and alternatives to accounts-based model. Should we look at the blockchain as a pure data store, possibly equipped with primitives such as map/reduce or similar? Links: Meredith Pattersson talks about The Weird Machine Tau Chain Idris: a general purpose pure functional programming language with dependent types Safer smart contracts through type-driven development byt ROBERT EDSTRÖM, JACK PETTERSSON [ Jack Pettersson and Robert Edström (Chalmers University of Technology, Sweden) present on a dependantly typed functional language for smart contracts.

You can listen to OH002 Total Functional Programming online on Radio and Podcast. Open the player on this page to stream the available audio.

OH002 Total Functional Programming is an episode from Oktahedron by Dirk Jäckel.

This episode is 01:10:18 long.

This episode was published on Sep 16, 2016.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Oktahedron when more episodes are available from the podcast feed.