News for hackers. Stuff that matters.

A comment on Metals with Scala 3. Parent comment

Re:Metals with Scala 3 by dwohnitmok on Thursday February 04, 2021 @10:38PM (#26032805)
I think we're starting to talk past each other and this is falling into the well-rehashed pit of "are runtime types really 'types' or just semantically normal runtime assertions."

I'm implicitly talking through the lens of the latter and you're talking through the former.

Regardless I agree with your central point that Julia is doing cool things with runtime types and its design is what is giving it the ability to do such impressive runtime optimizations.

[ Parent | on HN ]
Re:Metals with Scala 3 by eigenspace on Friday February 05, 2021 @01:28AM (#26033682)
> I think we're starting to talk past each other and this is falling into the well-rehashed pit of "are runtime types really 'types' or just semantically normal runtime assertions."

Sorry, that wasn't the direction I was trying to go. I just meant to say that the work it'd take to make different type system in a dynamic language is approximately the amount of work it'd take to make a whole new language.

So I think from a practical POV, it's fair to think of the type system that comes with a given dynamic language as being more or less intrinsic to it, regardless of what one's philosophical stance is on types in dynamic languages generally.

[ Parent | on HN ]