# HN comment on Julia vs Swift type checking and auto diff

**URL:** <https://discourse.julialang.org/t/hn-comment-on-julia-vs-swift-type-checking-and-auto-diff/24178>\
**Category:** Machine Learning\
**Created:** [May 13, 2019, 2:49pm UTC](https://discourse.julialang.org/t/hn-comment-on-julia-vs-swift-type-checking-and-auto-diff/24178 "2019-05-13T14:49:21Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![Tamas\_Papp](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tamas_papp/32/25949_2.png) [@Tamas\_Papp](https://discourse.julialang.org/u/Tamas_Papp)\
**Post date:** [May 13, 2019, 3:13pm UTC](https://discourse.julialang.org/t/hn-comment-on-julia-vs-swift-type-checking-and-auto-diff/24178/2 "2019-05-13T15:13:32Z")

</div>

> [@datnamer](#):
>
> getting Julia to perform well amounts to either a lot of trust in the compiler (is static type inference for the Julia type system even possible?) or manual type annotations as far as I can tel

I recall that you initiated a similar discussion,

> [@Future of swift types](https://discourse.julialang.org/t/future-of-swift-types/22944/):
>

in which you did not participate after people replied. There are some relevant points there.

---

_[View the full topic](https://discourse.julialang.org/t/hn-comment-on-julia-vs-swift-type-checking-and-auto-diff/24178)._