News for hackers. Stuff that matters.

A comment on JuliaLang: The Ingredients for a Composable Programming Language. Parent comment

Re:JuliaLang: The Ingredients for a Composable Programming L... by vanderZwan on Monday February 10, 2020 @12:48PM (#22291403)
> It’s too bad the typing is only for dispatch, but hopefully someone will write a typechecker someday

I was under the impression that if you write a function that takes very specific sub-types as its parameters, and then try to call it with invalid parameters (that is, values that cannot be converted to the right type via the promotion rules) that Julia will complain about this?

[ Parent | on HN ]
Re:JuliaLang: The Ingredients for a Composable Programming L... by tgflynn on Monday February 10, 2020 @02:30PM (#22292350)
It will complain, but typically only at run time.
[ Parent | on HN ]
Re:JuliaLang: The Ingredients for a Composable Programming L... by vanderZwan on Tuesday February 11, 2020 @10:11AM (#22299048)
Ah, right! We're talking about AOT typechecking. I had forgotten Julia doesn't really do that (yet). Yes, fair is fair, since that is when it is the most useful its absence is a bit painful.
[ Parent | on HN ]