## User login## Navigation |
## archives## Inference of Polymorphic RecursionIn the following (Haskell) example, the type annotation on f :: a -> (Int, a) f x = (g True, x) g True = 0 g False = fst (f 'a') + fst (f 0) main = do print (fst (f True))
I can understand why in general, but I wonder if we could just decide to generalize arbitrarily in the order that declarations appear so that in this case the type of Thanks |
## Browse archives## Active forum topics |

## Recent comments

19 hours 26 min ago

2 days 22 hours ago

2 days 22 hours ago

3 days 7 min ago

3 days 1 hour ago

3 days 9 hours ago

3 days 16 hours ago

3 days 17 hours ago

4 days 18 hours ago

5 days 1 hour ago