Types as Interfaces

Re:Types as Interfaces by valenterry on Tuesday July 23, 2024 @08:27AM (#41045248)

Sadly this is true and I 100% agree. After reading and working through type-level programmin in Idris, this is the conclusion I came to.

[ Parent | on HN ]

Re:Types as Interfaces by pmarreck on Tuesday July 23, 2024 @08:32AM (#41045283)

What made it seem too restrictive to you? Or what were your experiences trying to apply it to real-world scenarios?

[ Parent | on HN ]

Re:Types as Interfaces by valenterry on Tuesday July 23, 2024 @08:45AM (#41045382)

I'm not sure what you mean. I don't find Idris restrictive (except for the lack of union types with subtyping). Rather I find any mainstream language very restrictive - or is that what you meant?

[ Parent | on HN ]

Re:Types as Interfaces by pmarreck on Tuesday July 23, 2024 @09:22AM (#41045747)

ah, I think I misunderstood. Still getting through the Idris book :)

[ Parent | on HN ]