News for hackers. Stuff that matters.

A comment on Dependent Types for F#. Parent comment

Re:Dependent Types for F# by Animats on Tuesday December 05, 2017 @09:16PM (#15857979)
That's a subclass with an object invariant.

(Gotta use the new buzzwords to be l33t. Even for old ideas.)

[ Parent | on HN ]
Re:Dependent Types for F# by joeblubaugh on Saturday December 09, 2017 @01:34PM (#15887222)
Sure, so if you use Ada you can write types like this and the runtime will enforce your invariants automatically. What other non-academic languages support that? It’s something I miss from Ada for sure.
[ Parent | on HN ]