Concurrency Hylomorphism - A Structured Approach to Safe and Efficient Concurrent Programming

Explore a structured concurrency model for safe, efficient, and easy concurrent programming in this conference talk from ACCU 2024. Delve into the concept of concurrency hylomorphism, inspired by Aristotle's philosophy, and its application in the Hylo programming language. Learn how this model guarantees safety, prevents deadlocks and malign race conditions, and offers general-purpose concurrency solutions. Examine various examples demonstrating effective concurrency abstractions, with a focus on ease of use, safety guarantees, and performance considerations. Gain insights into advancing the craft of programming through this innovative approach to concurrent software development.

Concurrency Hylomorphism - Lucian Radu Teodorescu - ACCU 2024