3 ms·
You can write the test in the type system with dependent types. It's the same thing. But your language needs to support this. Typescript supports it. The static
by ninetyninenine 1y ago
You can write the test in the type system with dependent types. It's the same thing. But your language needs to support this. Typescript supports it. The static analyzer in your ide or during compilation will now run the test. You get a model and a test for free.