Type theory

A long-term goal for the IPFS ecosystem is to merge distributed apps and local apps into a single paradigm: fundamentally rethinking the UNIX programming model for a content-addressable platform. As a component of this, we aspire to make the best use of state-of-the-art advances in programming language design and implementation, such as substructural types, modal types, and algebraic effects. In the near term, we’re particularly interested in composable concurrent data structures, such as conflict-free replicated data types, and their interplay with trustless systems and distributed computation.

Talks

The Inter-Cranial Abstraction System (ICAS)

Date: 2021-01-12
Speaker: Alan Ransil
Group: AbstractionLab
Area: Type theory

IPLD research and future directions

Date: 2018-10-23
Event: Lab Day 2018
Location: San Francisco, CA, USA
Speaker: David Dalrymple
Group: AbstractionLab
Areas: Distributed systems, Type theory