caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Bárður Árantsson" <spam@scientician.net>
To: caml-list@inria.fr
Subject: Re: Help me find this pdf
Date: Fri, 19 Oct 2007 07:46:40 +0200	[thread overview]
Message-ID: <ff9gc3$ukr$1@ger.gmane.org> (raw)
In-Reply-To: <20071019152311.25cdf410.mle+ocaml@mega-nerd.com>

Erik de Castro Lopo wrote:
> Bárður Árantsson wrote:
> 
>> What you're saying is basically that lazy pattern matching should only 
>> force as much of the value under examination as is actually necessary to 
>> decide if there's a match. Do I have that right?
>>
>> If so, then Haskell does exactly this.
> 
> But haskell is lazy by default so of course it does it right.
> 

Indeed. I was just having a devil of time figuring out what people were 
actually trying to say and some people seemed to be talking past each 
other, so I just thought I'd try phrasing it as succinctly as possible. 
(Using Haskell as an example of how to do it right.)

Cheers,

-- 
Bardur Arantsson
<bardurREMOVE@THISscientician.net>

- Kittens give Morbo gas. In lighter news, the city of New New
York is doomed. Blame rests with known human Professor Hubert
Farnsworth and his tiny inferior brain.
                                                 Morbo, 'Futurama'


  reply	other threads:[~2007-10-19  5:46 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-18  9:52 Tom
2007-10-18 10:33 ` [Caml-list] " skaller
2007-10-18 11:01   ` Andreas Rossberg
2007-10-18 12:25 ` Jon Harrop
2007-10-18 12:40   ` Arnaud Spiwack
2007-10-18 13:17     ` Jon Harrop
2007-10-18 15:15       ` Till Varoquaux
2007-10-18 12:46   ` Jacques Garrigue
2007-10-18 13:57     ` Jon Harrop
2007-10-18 14:22       ` Brian Hurt
2007-10-18 14:52         ` Robert Fischer
2007-10-18 15:04           ` Eric Cooper
2007-10-18 17:18         ` Jon Harrop
2007-10-19  1:16           ` skaller
2007-10-19  5:09           ` Bárður Árantsson
2007-10-19  5:23             ` [Caml-list] " Erik de Castro Lopo
2007-10-19  5:46               ` Bárður Árantsson [this message]
2007-10-19 12:25               ` Christophe Raffalli
2007-10-19 12:47                 ` Luc Maranget
2007-10-20 14:26                   ` Christophe Raffalli
2007-10-19 14:48                 ` Robert Fischer
2007-10-19 21:43                   ` Andreas Rossberg
2007-10-19 21:51                     ` Robert Fischer
2007-10-20 13:10                       ` Andreas Rossberg
2007-10-19 23:10                     ` Jon Harrop
2007-10-20  1:13                       ` skaller
2007-10-20  6:36                         ` Tom
2007-10-21 11:17                           ` skaller
2007-10-19  8:55             ` Zheng Li
2007-10-19 22:27             ` [Caml-list] " Jon Harrop
2007-10-19 13:00           ` [Caml-list] " Brian Hurt
2007-10-19 13:49             ` Loup Vaillant
2007-10-19 14:41               ` Zheng Li
2007-10-19 23:09             ` [Caml-list] " Jon Harrop
2007-10-18 20:07   ` Tom
2007-10-19  0:59     ` skaller
2007-10-18 20:48 ` Lauri Alanko

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='ff9gc3$ukr$1@ger.gmane.org' \
    --to=spam@scientician.net \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).