3 ms·
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.
by valenterry 2y ago
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.
- pmarreck 2y agoWhat made it seem too restrictive to you? Or what were your experiences trying to apply it to real-world scenarios?
- valenterry 2y agoI'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?
- pmarreck 2y agoah, I think I misunderstood. Still getting through the Idris book :)