I used Haskell for about eighteen months on a contract, but the project had chosen Haskell before I was brought aboard. Haskell was used to implement a novel pr

I used Haskell for about eighteen months on a contract, but the project had chosen Haskell before I was brought aboard. Haskell was used to implement a novel programming language with strong guarantees of security and data integrity implemented in the type system. The language was both statically and dynamically typed, with static types checked at compile time and dynamic types supported by tagged hardware (the tagged hardware was still under development when I was working on the project).