3 ms·
You might be interested in Servant, a haskell library that uses types to capture these high level interactions between components and then validate and even gen
by KirinDave 9y ago
You might be interested in Servant, a haskell library that uses types to capture these high level interactions between components and then validate and even generate clients, documentation, servers, and simulators.
- hwayne 9y agoI definitely would! One thing a lot of people miss in these discussions is that this isn't an either-or, and we should be using multiple different correctness techniques to increase our confidence.