granule-project/granule
View on GitHub ↗ ★ 746 Haskell
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2019-04-14 · latest 2025-12-24
20082026
-
…, links relevant resources, too, in particular https://granule-project.github.io/granule.html and https://github.com/granule-project/granule/blob/main/example... The latter tutorial is based on "Quantitative program reasoning with graded…
comment by matt_d · 2024-03-01 · in Functional ownership through fractional uniqueness -
…research, but significant progress is being made, and I'm hopeful. I'm currently keeping an eye on https://github.com/granule-project/granule , which seems like it might have some interesting things to say about this. Currently I'm trying…
comment by bjz_ · 2019-04-14 · in Languages I want to write