4 ms·
The short version, as I understand it, is this will enable the GHC Haskell compiler to validate state machines at compile time. Which is pretty awesome.
by itamarst 9y ago
The short version, as I understand it, is this will enable the GHC Haskell compiler to validate state machines at compile time. Which is pretty awesome.
- agumonkey 9y agoA tiny bit of model checking never hurt I guess.