search

dmwit / universe

Classes for types where we know all the values
BSD 3-Clause "New" or "Revised" License
37 stars 17 forks source link

stack overflow (or mega-swapping) when computing universe :: [Int-> Int] #2

Closed dmwit closed 11 years ago

dmwit commented 11 years ago

just what it says on the tin; it shouldn't do that

dmwit commented 11 years ago

I no longer believe that it is reasonable to expect universe :: [Int -> Int] to do anything reasonable. Think about what you're asking it to do: choose outputs for each of 2^64 inputs! It's hopeless to even iterate over the domain, let alone do some computation at each iteration.