v0.9.5.0

• Rank N typing (see https://github.com/granule-project/granule/blob/dev-minor/examples/rankN.gr)

• Algebraic effects and handlers. See e.g.,

  • https://github.com/granule-project/granule/blob/dev-minor/examples/effects_nondet.gr
  • https://github.com/granule-project/granule/blob/dev-minor/examples/effects_state.gr

• Updated standard docs

• Fixes to deriving copyShape and drop combinators

• push deriving combinators now have Pushable constraint, e.g.

      pushList : forall {s : Semiring, r : s, a : Type}
                . {(1 : s) <= r, Pushable r} => (List a) [r] -> List (a [r])
      pushList = push @List
  

• Minor tweaks to the Granule Language Server to improve vscode interaction (no longer complains on the entire file about 'Premature end of file' whilst typing).

ESOP2024 Artefact

Granule used to build the ESOP 2024 synthesis artefact

v0.9.5.0-rc

0.9.5.0

• Adds explicit rankN types in the style of System F (see examples/rankN.gr)
• Given the above, adds the (long awaited) algebraic effects and handlers implementation (see examples/effects_state.gr and examples/effects_nondet.gr) and see -- https://granule-project.github.io/docs/modules/Primitives.html#algebraiceffectsandhandlers

v0.9.4.0

• Advanced synthesis algorithm for language GradeBase mode.
• Better standard library documentation
• Ability to expose the 'hsup' constraint (see push)
• Some bug fixes (see https://github.com/granule-project/granule/milestone/2?closed=1)

v0.9.3.0

0.9.3.0

• Existential types, e.g.,exists {x : Type} . t, see examples/existential.gr and examples/listToVec.gr
• language GradedBase extension, see examples/graded-base.gr
• Various internal refactorings
• Bug fixes related to indexed types
• Uniqueness features renamed (see examples/uniqueness.gr)
• Granule docs's feature gr --grdoc file.gr will generate documentation in docs/index.html
• New Cartesian semiring, with just one element Any : Cartesian for completely erasing grading (trivial solving)

v0.9.1.0

0.9.1.0

• Public and Private are now usable as synonyms for Lo and Hi unless the SecurityLevels extension is turned on.
• 'Level' semiring only in scope when SecurityLevels extension is on.
• Builds on ghc 9.2 now

0.9.0.1

- Bug fixes to pretty printer and lexer

• forkNonLinear can only work over semirings with exact equality for soundness
• Tweaks to the way type-level float equality works
• Fix to differentially-private floats primitives
• Bumps GHC dependency to 9.0.2
• A few additions to the standard library and primitives (includes moveString to make string value unrestricted).

v0.9.0.0

• Major features:

  • Uniqueness modality and mutable arrays
    • https://granule-project.github.io/papers/esop22-paper.pdf
  • Session types with non-linear behaviours
    • https://arxiv.org/abs/2203.12875
  • Granule -> Haskell compiler (grc)
  • language-server protocol

• New graded modalities / improvements

  • LNL semiring (Zero, One, Many) recovers linear logic via new hsup operation
    to control 'push' behaviour on tensors. See: https://hal-lirmm.ccsd.cnrs.fr/TLLA2021/lirmm-03271465

  • Any semiring can now be lifted to a top-completed semiring with Ext (previously only allowed for Nat)

• Language extensions and pragmas: See: https://github.com/granule-project/granule/wiki/Language-Extensions

  • Includes CBN interpreter as an option

• Bug fixes:

  • Bug fixes related to sensitivity analysis
  • Bug fixes relating to derived operation copyShape
  • Improved interpreter

• Tons of minor improvements

  • Error messages are sometimes more intuitive
  • Various additional primitives

v0.8.1.0 (minor release)

0.8.1.0

• New semirings: Sec and Set t for some type t (and SetOp t)
• Bug fixes related to session types
• Some more type aliases added
• Generic deriving coverage improved (especially with drop)

v0.8.0.0

• --synthesise mode
• Support for deriving simple distributive laws
• Improved error messages
• Improved dependent kinds support
• Automatic case splitting and code rewriting features
• case in types
• New OOZ (One or Zero) semiring