Loading ...
Sorry, an error occurred while loading the content.

160Re: [extremeperl] Book: Higher Order Perl

Expand Messages
  • chromatic
    Mar 29, 2005
    • 0 Attachment
      On Tue, 2005-03-29 at 12:57 +0000, Terrence Brannon wrote:

      > In a strongly typed functional language, reasoning by proof gives you
      > 100% _certainty_ that a certain function works for all input. There is
      > no need to test.

      Surely you left off the disclaimer that you have defined the function
      correctly -- or does your typechecker magically reason that a square
      root function that takes an integer may sometimes return an irrational

      -- c
    • Show all 58 messages in this topic