OH002 – Total Functional Programming

Oktahedron

Content provided by Dirk Jäckel. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Dirk Jäckel or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

8y ago 1:10:21

MP3•Episode home

Archived series ("Inactive feed" status)

When? This feed was archived on April 23, 2022 09:04 (2+ y ago). Last successful fetch was on March 21, 2022 17:10 (2+ y ago)

Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Turing completeness vs decidable languages, safer smart contracts and running Ethereum on Ethereum. 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 https://archive.org/details/The_Science_of_Insecurity_ Tau Chain http://tauchain.org/ Idris: a general purpose pure functional programming language with dependent types http://www.idris-lang.org/ Safer smart contracts through type-driven development byt ROBERT EDSTRÖM, JACK PETTERSSON http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf Jack Pettersson and Robert Edström (Chalmers University of Technology, Sweden) present on a dependantly typed functional language for smart contracts. https://www.youtube.com/watch?v=H2uwUdzVD9I

9 episodes

#Business #Tech #Ethereum #Blockchain #Decentralized #Podcasting Education