[erlang-questions] Spec is diabolical IMHO

[Raoul Duke]

hi,

On Thu, Sep 27, 2012 at 4:48 PM, Steve Davis
<steven.charles.davis@REDACTED> 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.