Idris: A language for type-driven development
I know I&#x27;m missing something, but this seems like the functional version of object classes.<p>I&#x27;ve mostly favored procedural programming and only use objects when I have to because the abstraction can make the program harder to reason about, especially when there&#x27;s a lot of inheritance.<p>But I&#x27;ve heard some hype about types in Rust, and now this. The free chapter in the manning book even introduces types in terms of real world objects.<p>So, for someone who doesn&#x27;t love objects, why should I love types?