4 ms·

First, as the second answer points out, the terms "strong" and "weak" shouldn't be used and are confusing. Second, having a type system makes a language very d

by samth 13y ago

First, as the second answer points out, the terms "strong" and "weak" shouldn't be used and are confusing. Second, having a type system makes a language very different! Language subsets are different languages.

sitkack 13y ago
So when I use quickcheck with Python or Erlang I am creating a different language? Linguistically I don't understand how a proper Shedskin program which is also a Python program with the same semantics is in another language. By that definition, the runtime system effects what the language is, but this happens after it is written, so how can it do that?
- 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 ago
    We 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.

by samth 13y ago

sitkack 13y ago

So when I use quickcheck with Python or Erlang I am creating a different language? Linguistically I don't understand how a proper Shedskin program which is also a Python program with the same semantics is in another language. By that definition, the runtime system effects what the language is, but this happens after it is written, so how can it do that?

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 ago
  We 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.