<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<br>
<blockquote style="border-left: 2px solid #330033 !important;
border-right: 2px solid #330033 !important; padding: 0px 15px 0px
15px; margin: 8px 2px;"
cite="mid:CAKFCL4XA5CKMtbinFhGgN3X3qSnH+NLx=SETc3em9HHFLz+DWA@mail.gmail.com"
type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033; padding: 0px 15px; margin: 2px 0px;"><![endif]--><span
style="color:#000000;" class="headerSpan">
<div class="moz-cite-prefix">-------- Original Message --------<br>
Subject: Re: [Haskell-cafe] Comparing functions<br>
From: Brandon Allbery <a class="moz-txt-link-rfc2396E" href="mailto:allbery.b@gmail.com"><allbery.b@gmail.com></a><br>
To: Vlatko Bašić <a class="moz-txt-link-rfc2396E" href="mailto:vlatko.basic@gmail.com"><vlatko.basic@gmail.com></a><br>
Cc: Haskell-Cafe <a class="moz-txt-link-rfc2396E" href="mailto:haskell-cafe@haskell.org"><haskell-cafe@haskell.org></a><br>
Date: 11.07.2013 21:03<br>
</div>
<br>
<br>
</span>
<div dir="ltr">On Thu, Jul 11, 2013 at 2:58 PM, Vlatko Basic <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:vlatko.basic@gmail.com" target="_blank">vlatko.basic@gmail.com</a>></span>
wrote:<br>
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
<blockquote style="border-left: 2px solid #330033
!important; border-right: 2px solid #330033
!important; padding: 0px 15px 0px 15px; margin: 8px
2px;" type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033; padding: 0px 15px; margin: 2px 0px;"><![endif]-->
<div class="im">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote"
style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
Hm, I thought it is a pattern match with
constant, as in f ('a':xs) == <br>
</div>
</blockquote>
<div><br>
</div>
<div>I wonder what you'd make of this
definition, then?</div>
<div><br>
</div>
<div> <span style="color:red">(</span><span
style="">*</span><span style="color:red">)</span><span
style=""> </span><span style="">`on`</span><span
style=""> </span><span style="">f</span><span
style=""> </span><span style="color:red">=</span><span
style=""> </span><span style="color:red">\</span><span
style="">x</span><span style=""> </span><span
style="">y</span><span style=""> </span><span
style="color:red">-></span><span
style=""> </span><span style="">f</span><span
style=""> </span><span style="">x</span><span
style=""> </span><span style="">*</span><span
style=""> </span><span style="">f</span><span
style=""> </span><span style="">y</span></div>
<div> </div>
</div>
</div>
</div>
</div>
<!--[if !IE]></DIV><![endif]--></blockquote>
According to the enlightenment above, I'd say (*) is a
variable that holds some function/operator that is
applied on (f x) and (f y), not the multiplication,
right?</div>
</blockquote>
<div><br>
</div>
<div style="">Correct. But if it's a variable there, why
would you expect it to be a constant in a different
pattern?</div>
</div>
<div><br>
</div>
</div>
</div>
<!--[if !IE]></DIV><![endif]--></blockquote>
Well, it is confusing that an operator can be a variable. I must get
a habit to understand the meaning by the site, not by the looks.<br>
<br>
Thanks for your answers.<br>
<br>
<blockquote style="border-left: 2px solid #330033 !important;
border-right: 2px solid #330033 !important; padding: 0px 15px 0px
15px; margin: 8px 2px;"
cite="mid:CAKFCL4XA5CKMtbinFhGgN3X3qSnH+NLx=SETc3em9HHFLz+DWA@mail.gmail.com"
type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033; padding: 0px 15px; margin: 2px 0px;"><![endif]-->
<div dir="ltr">
<div class="gmail_extra">-- <br>
<div dir="ltr">
<div>brandon s allbery kf8nh
sine nomine associates</div>
<div><a moz-do-not-send="true"
href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>
<a moz-do-not-send="true"
href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
<div>unix, openafs, kerberos, infrastructure, xmonad <a
moz-do-not-send="true" href="http://sinenomine.net"
target="_blank">http://sinenomine.net</a></div>
</div>
</div>
</div>
<!--[if !IE]></DIV><![endif]--></blockquote>
<br>
</body>
</html>