Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Message from discussion Spec is diabolical IMHO
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Raoul Duke  
View profile  
 More options Sep 27 2012, 7:57 pm
From: Raoul Duke <rao...@gmail.com>
Date: Thu, 27 Sep 2012 16:57:49 -0700
Local: Thurs, Sep 27 2012 7:57 pm
Subject: Re: [erlang-questions] Spec is diabolical IMHO
hi,

On Thu, Sep 27, 2012 at 4:48 PM, Steve Davis

<steven.charles.da...@gmail.com> wrote:
> There is NO WAY that function could ever return {error, Reason}, and further wastes your valuable time in trying to convince you that it could.

sounds pretty funny, maybe somebody was trying to leave it as an
exercise for the reader, or two different people worked on the spec
vs. code. if you are complaining about getting that particular one
fixed, that makes sense, and presumably you could open a bug or send a
patch in for it somewhere?

but if you are talking about the general problem of mismatches
happening between spec+code, well, then you need to either move back
to something w/out any specs at all, or you need to use stuff like
quickcheck*, or move over to agda or epigram or ats or something crazy
like that.

(* and even then the proving-a-negative-thing is philosophically
unsolvable in the general sense, no?)

sincerely.
_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.