News for hackers. Stuff that matters.

A comment on Embracing Swift for Deep Learning. Parent comment

Re:Embracing Swift for Deep Learning by adamnemecek on Sunday April 21, 2019 @09:28PM (#19715714)
Nope, all computation is representable in terms of types.

https://en.wikipedia.org/wiki/Curry–Howard_correspondence

[ Parent | on HN ]
Re:Embracing Swift for Deep Learning by coldtea on Monday April 22, 2019 @08:17AM (#19718295)
Which is neither here nor there, as a contrived case.

In actual languages people us e(e.g. that have more than 2% of the job market), type errors caught by the compiler don't catch "all computation" errors.

Not even in Haskell...

[ Parent | on HN ]