Granite: Compositional Functional Logic Programming

Explore the development of Granite, a strict and untyped programming language, in this 32-minute conference talk from ACM SIGPLAN's HOPE'23. Delve into Granite's goal of enhancing functional programming by providing a basis for general-purpose programming that is parallelizable, expressive, and compositional. Learn how Granite incorporates deterministic parallelism similar to LVars, offers rich data structures and cyclic data types through functional logic programming, and enables easy extension of recursive functions using open recursion. Discover the underlying connection between these design aspects through the concept of join-semilattices, which Granite elevates to a first-class language feature. Examine various examples demonstrating Granite's capabilities and discuss the challenges encountered during its implementation.