 |
Newsgroups: fa.haskell
From: Jonathan Cast <jonathancc...@fastmail.fm>
Date: Sun, 17 Feb 2008 09:21:06 UTC
Local: Sun, Feb 17 2008 4:21 am
Subject: Re: [Haskell-cafe] Re: Doubting Haskell
On 17 Feb 2008, at 1:12 AM, Colin Paul Adams wrote: >>>>>> "apfelmus" == apfelmus <apfel...@quantentunnel.de> writes: You do know what `sinister' means, no? > apfelmus> Colin Paul Adams wrote: >>> Hardly descriptive terms. Sounds like a sinister language to > apfelmus> The mnemonics is that Right x is "right" in the sense of > As I said, this is sinister > (i.e. regarding left-handed people as Sheesh, it's just a mnemonic... > evil). > And left is not the opposite of correct. That would be incorrect. by fmap (due to the design of Haskell type classes); therefore return = Right. Therefore any computation in Either that is not the result of a return is an application of Left. > Also, it is not clear to me that a failure to read a file (for Then don't think of Left as `incorrect behavior'. Left isn't > instance) is incorrect behaviour. incorrect, or Parsec's parse function wouldn't return it on parse errors. > If the file doesn't exist, then I But the program succeeded in doing what I expected it to do when if > think it ought to be considered correct behaviour to fail to read the > file. > So Success and Failure seem to be much better. Certainly they make the failed... jcc Besides, these decisions were made 15 years ago, they're not going to _______________________________________________ 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.
| |||||||||||||