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

Re: [extremeperl] Book: Higher Order Perl

Expand Messages
  • chromatic
    ... Surely you left off the disclaimer that you have defined the function correctly -- or does your typechecker magically reason that a square root function
    Message 1 of 58 , Mar 29, 2005
    View Source
    • 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
      number?

      -- c
    • Tom Vilot
      ... Wait. That sounds like Rob .... ;c) (kidding) ... Wait. That *also* sounds like Rob ... ... (not kidding!)
      Message 58 of 58 , Apr 8 9:37 AM
      View Source
      • 0 Attachment
        Greg C wrote:

        >
        >
        > Consider: projects A and B have identical goals. In project A, you
        > have free
        > rein in your choice of software and hardware tools. However, the
        > manager sets
        > arbitrary deadlines, likes to stand behind people and criticize their
        > code as
        > they type,


        Wait. That sounds like Rob ....
        ;c) (kidding)

        > On project B, the choice of langauge and hardware are made for you and
        > there's
        > only one computer per two programmers. On the other hand, the manager
        > sees his
        > people as people, negotiates requirements and schedules on a realistic
        > basis,
        > trusts his people, follows a set of best practices (be it XP or some
        > other) and
        > chases everyone out of the office at 5:30.


        Wait. That *also* sounds like Rob ...

        :c)

        (not kidding!)
      Your message has been successfully submitted and would be delivered to recipients shortly.