News for hackers. Stuff that matters.

A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment

Re:Idris 2 0.6.0 is now available for the JVM by e3bc54b2 on Monday February 27, 2023 @05:58AM (#34955059)
Usually this is done by means of Enumerated types. As someone who didn't get conventional CS education, Enums were bit of me-too for me, but the moment I realised they can be used to make invalid states unrepresentable, I was hooked.

Sure, they can be better in java, but they cover a large enough ground, and as always, most people find that sufficient.

[ Parent | on HN ]
Re:Idris 2 0.6.0 is now available for the JVM by frou_dh on Monday February 27, 2023 @08:25AM (#34956102)
What's different to typical Algebraic-Types/Sum-Types/Nü-Enums in what they showed is that it's Values being OR'd, not types. That is presumably why they are obliquely mentioning it in the comments thread of an Idris release, because Idris is known for "Dependent Types", i.e. types that depend on actual values, not just other types.
[ Parent | on HN ]