Tsunkiet Man <[email protected]> writes: Context:
someFunction :: Integer -> String someFunction = show > However it asks me how my function can fail? Well I know my function fails > by definition when I do not insert an Integer into SomeFunction. Like > SomeFunction 2.3425221 The compiler guarantees that this will not happen, thus your function will not get the opportunity to fail. > and now I also know that when I insert a number that > is very close to zero (I think a denormalized value means that a value is > very close to zero: The numbers closest to zero that you are able to pass, are 1 and -1. Both of which should work, no? > Now I also know that when I use 'undefined' I would get an error. I'd argue that it's not your function that fails, but the parameter (whose evaluation causes an exception). > So what other cases are there? Well, it might fail to terminate (loop forever). Semantically, I think this is treated as _|_ just like passing it 'undefined'. I think you'll have a hard time doing this with 'show', though. > (I asked my question about Floating > because I guessed it would be similiar to Integers) Floating point (IEEE 754) has its own set of problems, but in general, I think 'show' is fairly robust. But perhaps you can you think of a resource it can run out of? -k -- If I haven't seen further, it is by standing in the footprints of giants _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
