[setra]

The core is based on a different type theory. It is very unlikely that the part of GHC called "Haskell core" will make such a massive change.

In general the Idris type inference is not nearly as good as Haskells. I don't mean this in the "dependent type inference is undecidable" sense, but instead just generally.

Idris is also strict instead of lazy like Haskell. This is good or bad depending on who you ask. Very unlikely for it to change in Haskell though.

Many of the other issues are the issues with every small language. Community size and libraries.

[vosper]

> In general the Idris type inference is not nearly as good as Haskells. I don't mean this in the "dependent type inference is undecidable" sense, but instead just generally.

Do you know if this is just because Idris is a much less mature language than Haskell, or its it something fundamental about the design?

[Buttons840]

Probably both. Dependant type systems are still an area of active research.