Granite: Compositional Functional Logic Programming
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.