Granule – A statically-typed linear functional language with graded modal types | Hacker News Reader