Are dynamic languages going to replace static languages? (2003)

Re:Are dynamic languages going to replace static languages? ... by blacktriangle on Wednesday August 04, 2021 @08:39AM (#28060292)

I thought we were all agreed that the strong - weak type axis was to what degree the language automatically converts types?

[ Parent | on HN ]

Re:Are dynamic languages going to replace static languages? ... by igouy on Wednesday August 04, 2021 @12:34PM (#28063040)

'Indeed, the phrases are not only poorly defined, they are also wrong, because the problem is not with the “strength” of the type checker but rather with the nature of the run-time system that backs them. The phrases are even more wrong because they fail to account for whether or not a theorem backs the type system.'

29.5 Types Versus Safety

"Programming and Programming Languages"

https://papl.cs.brown.edu/2020/safety-soundness.html#%28part...

[ Parent | on HN ]

Re:Are dynamic languages going to replace static languages? ... by pydry on Thursday August 05, 2021 @05:55AM (#28071651)

That's one of the 7 definitions listed on wikipedia.

I think it's more germane to refer to that as weak implicit type casting.

[ Parent | on HN ]