|malsyned||monochrom: and the latter has the benefit of actually being useful in a real source file.|
OK, it's settled. i'm totally doing that and not even feeling guilty.
|SamB||anyway, it gives better error messages than fromJust|
|monochrom||A large part of programming is about exploiting facts.|
When I was a kid, I contemplated on "how paranoid should I be in my code?"
|dons||doh, just missed emk|
i like the quote on his latest blog entry, "Dont worry if you dont understand the details" :-)
should be our motto here.
|monochrom||For example, I had a chain of functions f, g, h, ... f passed its number parameter to g, g then passed the same number to h, ... They were all intended to just work for positive integers. Must I repeat the safeguard against non-positive integers at all stages?|
|lambdabot||Title: ScreenShots: vim-shim.png - shim - Trac, http://tinyurl.com/29r7ah|
|beschmi||dons: it's just a quick hack for now ;)|
|dons||that's pretty sweet.|
should i dive in then?
being a vim user
|kscaldef||does Double distinguish 0 and -0?|
|dibblego||> 0::Double == -0::Double|
|action||jcreigh ponders why the semantics of the x86 DIV instruction must be so convoluted...|
|jcreigh||ponders why the semantics of the x86 DIV instruction must be so convoluted...|
|dons||> 0 == ((-0) :: Double)|
|kscaldef||> 0.0 == -00|
|dons||?check \x -> let _=x :: Double in x == - (-x)|
|lambdabot||OK, passed 500 tests.|
|dons||i'm surprised that worked|
|kscaldef||hmm... okay, that's not my bug|
> 0.0 == -0.0
|nmessenger||dons: that's an interesting way to annotation params without lhs annotations.|
|jcreigh||Do doubles just have a sign bit?|
|monochrom||After joining the school-of-thought of proof-your-programs-correct, I feel no guilt in omitting all checks (except at the outermost interface facing malicious parties). I have written down in the specification that f,g,h expect positive integers, I have proved that all calls observe it, nothing to worry.|
|dons||nmessenger: yeah :-) old QuickCheck trick|
|Pseudonym||jcreigh: Because it was complicated 30 years ago.|
|dbremner||monochrom - then you might like this http://ftp.stratus.com/vos/doc/papers/RobustProgramming.ps|
|Pseudonym||That's the reason for everything in the x86.|