AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
