# Correctness and Multiple Dispatch (Help explain to a julia noob)

**URL:** <https://discourse.julialang.org/t/correctness-and-multiple-dispatch-help-explain-to-a-julia-noob/128171>\
**Category:** Community\
**Tags:** question\
**Created:** [April 17, 2025, 11:04pm UTC](https://discourse.julialang.org/t/correctness-and-multiple-dispatch-help-explain-to-a-julia-noob/128171 "2025-04-17T23:04:51Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![mbauman](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/mbauman/32/31082_2.png) [@mbauman](https://discourse.julialang.org/u/mbauman)\
**Post date:** [April 17, 2025, 11:31pm UTC](https://discourse.julialang.org/t/correctness-and-multiple-dispatch-help-explain-to-a-julia-noob/128171/2 "2025-04-17T23:31:16Z")

</div>

Welcome! Yes, there have been many long threads on this in the past. Here are two comments that I think speaks to your question at a high level, but there are many good responses there:

> [@Discussion on "Why I no longer recommend Julia" by Yuri Vishnevsky](https://discourse.julialang.org/t/discussion-on-why-i-no-longer-recommend-julia-by-yuri-vishnevsky/81151/2):
>
> Unfortunately, I think the author is right. I only have experience with Python, Julia and Rust (and a little Perl), but I’ve never encounted even close to as many bugs in other languages as I do in Julia. Both in packages and in Base. The question is why. I think it’s the combination of: A) An extremely generic language where everything is built upon shared abstractions and generic, extendible functions, and B) No way of specifying or checking abstract interfaces, so no-one really knows what …

> [@Discussion on "Why I no longer recommend Julia" by Yuri Vishnevsky](https://discourse.julialang.org/t/discussion-on-why-i-no-longer-recommend-julia-by-yuri-vishnevsky/81151/81):
>
> I’m sympathetic to Yuri’s larger point: Julia as a language and ecosystem is permissive by default. You can easily combine packages in ways that are unlikely to work and get mired in the weeds. For example, I can easily imagine attempting to differentiate a distributed SVD of a BlockedArray filled with Unitful Quaternions. Sure, that’s an absurd example and it’s unlikely to work, but I can imagine how it might work and may even be able to construct the problem statement in a few lines of code.…

I will also add that there’s a wide range of dis/agreement with the various points and so this topic can often spark some lively debates.

---

_[View the full topic](https://discourse.julialang.org/t/correctness-and-multiple-dispatch-help-explain-to-a-julia-noob/128171)._