Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.haskell > #212

Re: Can Haskell compare functions?

Show all headers | View raw

Paul Rubin <no.email@nospam.invalid> writes:
>    flt a b c n = n < 3 || a^n + b^n /= c^n
>
> flt a b c n is true iff (a,b,c,n) is not a counterexample to Fermat's
> Last Theorem.
>
> Is flt the same function as (\_ _ _ _ -> True) ?
> It's unreasonable to expect Haskell to figure that out.

Actually, QuickCheck probably could have figured it out:

   f 1 (-1) 0 3  =>  False

but you get the idea ;-).

Back to comp.lang.haskell | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Can Haskell compare functions? ultranewb <pineapple.link@yahoo.com> - 2012-04-06 23:48 -0700
  Re: Can Haskell compare functions? Paul Rubin <no.email@nospam.invalid> - 2012-04-07 00:09 -0700
    Re: Can Haskell compare functions? Paul Rubin <no.email@nospam.invalid> - 2012-04-07 00:18 -0700
    Re: Can Haskell compare functions? Roman W <bloody_rabbit@gazeta.pl> - 2012-04-18 02:40 -0700
      Re: Can Haskell compare functions? Paul Rubin <no.email@nospam.invalid> - 2012-04-18 22:23 -0700

csiph-web