On Fri, Feb 13, 2015 at 11:58 AM, Jiahao Chen <[email protected]> wrote:
> As I understand it, the decidability of Julia's type system remains an > open research question. Type checking Julia is definitely undecidable. Subtyping in Julia is probably decidable but it hasn't been proved to be.
