3 ms·
I might be wrong, as my contact with Julia has been a while ago. But IIRC, Julia, having no type checker [1], cannot check whether every function is complete re
by choeger 6y ago
I might be wrong, as my contact with Julia has been a while ago. But IIRC, Julia, having no type checker [1], cannot check whether every function is complete regarding the type in question.
This is somewhat comparable to OCaml's polymorphic variants, which only solve the expression problem if you give up the completeness check of pattern matching.
[1] yes, I know it does a lot of run-time stuff with things called types, but that's something fundamentally different. Really.
- eigenspace 6y agoMy eyes just rolled so hard they might be stuck in the back of my head.
- choeger 6y agoBecause you think that calling Julia a typed language is good for marketing?
- neolog 6y agoIt sucks when moving from Python that I lose Mypy. Very helpful to have a production-quality type checker, even an imperfect one.
- dang 6y agoPlease don't sneer. That's in the site guidelines: https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html. If you know more than another commenter, that's great, but in that case share some of what you know so the rest of us can learn. Responding to bad information with good information improves this place; just putting others down makes it worse.