granule
Granule offers a novel functional programming language that incorporates a linear type system along with graded modal types for managing effects and coeffects. It presents an innovative view on parameter utilization and list processing, ensuring each element is used exactly as needed. The language comes with comprehensive documentation and tools for in-depth exploration, primarily supporting MacOS at present while promoting future programming advancements. Its inclusive and accessible nature makes it a valuable tool for those exploring advanced type systems.
