Large-scale design in Haskell? [closed]
I talk a bit about this in Engineering Large Projects in Haskell and in the Design and Implementation of XMonad. Engineering in the large is about managing complexity. The primary code structuring mechanisms in Haskell for managing complexity are: The type system Use the type system to enforce abstractions, simplifying interactions. Enforce key invariants via … Read more