Hacker News Reader

I highly recommend learning Idris if you want to understand the power of Dependent Types. The book “Type Driven Development” is an excellent guide.

I’m curious about the choice to call this Idris 2 v0.6.0 rather than the more obvious and semver-compatible Idris 2.6.0. Anyone know if Edwin had written about this anywhere?

It would not surprise me if this is influenced by the Haskell Package Versioning Policy (PVP).

In Haskell the simplest way to convey that there are two supported major versions of a project would be to have two packages “Idris” and “Idris2”.

If the package is thus named “Idris2” then bumping to v0.6.0 would indicate a breaking API change under the PVP. It is commonplace for (roughly speaking) “beta” projects to leave the first digit at 0, though what measure of stability and quality is deemed sufficient to move out of “beta” varies.

https://pvp.haskell.org/

Nice to see research in Idris is still going on.

Can you still compile to C out of the box from Idris 2? I can't seem to find that in the docs.

It compiles via Scheme now, I guess you could use a Scheme to C compiler for that.

Idris 2 version 0.6.0 Released