1. 1

Habit is a Haskell variant designed for systems programming. It aims to be general-purpose, balance abstraction versus control of operations, simplicity in design, and support formal verification.

  1.  

  2. 1

    Aside from it being interesting work, the reason I’m submitting this now is that Galois’ blog indicates it might get active again. That’s exciting given it seemed like it just dropped off the map after key members were doing other projects. That project, HASP, was done by people from the Pragramatica Project that built an OS, House, in Haskell. Here’s the relevant links in order from old to new:

    http://programatica.cs.pdx.edu/House/

    http://hasp.cs.pdx.edu/

    https://galois.com/blog/2017/12/update-habit-programming-language/