Re:Idris: A Language for Type-Driven Development
by p10r on Monday January 23, 2023 @09:40AM
(#34489254)
Would you also recommend that book to someone who's not using Haskell/Idris/Scala?
[ Parent
| on HN ]
Re:Idris: A Language for Type-Driven Development
by satvikpendem on Monday January 23, 2023 @12:28PM
(#34491967)
Sure, it's the methodology that's important, of making invalid states unrepresentable.