3 ms·
No, quickcheck is a testing tool, not a type system. It never rejects your program. What you're saying is that Shedskin and Python have a non-empty intersecti
by samth 13y ago
No, quickcheck is a testing tool, not a type system. It never rejects your program.
What you're saying is that Shedskin and Python have a non-empty intersection. But would the language of numbers with `+` be the "same language" as Python? It has the same relationship as Shedskin.
- sitkack 13y agoWe might run out of reply space. I made a mistake when I said quickcheck, I was thinking of the combination of Dialyzer and Typer in Erlang ( http://www.slideshare.net/konstantinvsorokin/kostis-sagonas-cool-tools-for-modern-erlang-program-developmen http://www.slideshare.net/konstantinvsorokin/kostis-sagonas-... ) I think I get what you are saying, that you have to take the totality of language in the current context. And I would have to say yes, the language of numbers with "+" is in fact Python. I think it is also Haskell and lots of other languages. If I look at a corpus of language through a slit, I will always see a subset of that language. But it doesn't stop being that language by looking at with a microscope. What happens we see a code snippet like a = 5 + b - 10 We don't know what language it is, but it doesn't matter. It is valid Ruby,Python,Lua,JavaScript, etc. Are we,me splitting hairs? I am just a layperson, I would like to fix any discrepancies in my knowledge.