As a spec user in production, I must say it's very nice usability-wise and can help alleviate most of the issues coming from a lack of a type system. But god i

As a spec user in production, I must say it's very nice usability-wise and can help alleviate most of the issues coming from a lack of a type system. But god it's slow... Some static analysis support would also be hugely appreciated. Not being able to check everything doesn't meen you shouldn't attempt to check something! Many specs are type predicates anyway.