Re:I learned Haskell in just 15 years
by kreyenborgi on Monday June 17, 2024 @02:27AM
(#40702843)
> makes tough problems easy and easy problems tough
And because of mutual recursion, that means that tough is easy (and easy tough). In other words, if we call the class of tough problems T and easy problems NT, we have T==NT, given FP.
And because of mutual recursion, that means that tough is easy (and easy tough). In other words, if we call the class of tough problems T and easy problems NT, we have T==NT, given FP.