<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:CAKFCL4XtkjLngaiBjLKZTUj+ZDPvOwyFKCGNf91h5+8SLkRhRg@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 20:45<br>
</div>
<br>
<br>
</span>
<div dir="ltr">On Thu, Jul 11, 2013 at 2:11 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: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">
<div class="im">
<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]-->
<span style="">
<div>The problem here isn't quite what you think
it is; (==) is not a constructor, therefore it
is a *variable*. It's exactly the same problem
as<br>
</div>
</span>
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div><br>
</div>
<div> a = 5</div>
<div> -- ...</div>
<div> foo a = 3 -- this does NOT compare
with the previous value of "a"; it's
identical to the next line!</div>
<div> foo x = x</div>
<div><br>
</div>
</div>
</div>
</div>
<!--[if !IE]></DIV><![endif]--></blockquote>
</div>
Hm, I thought it is a pattern match with constant, as in
f ('a':xs) == <br>
</div>
</blockquote>
<div><br>
</div>
<div style="">I wonder what you'd make of this definition,
then?</div>
<div style=""><br>
</div>
<div style=""> <span class="" style="color:red">(</span><span
class="" style="color:rgb(0,0,0)">*</span><span class=""
style="color:red">)</span><span style="color:rgb(0,0,0)">
</span><span class="" style="color:rgb(0,0,0)">`on`</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">f</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:red">=</span><span style="color:rgb(0,0,0)">
</span><span class="" style="color:red">\</span><span
class="" style="color:rgb(0,0,0)">x</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">y</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:red">-></span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">f</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">x</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">*</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">f</span><span
style="color:rgb(0,0,0)"> </span><span class=""
style="color:rgb(0,0,0)">y</span></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?<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:CAKFCL4XtkjLngaiBjLKZTUj+ZDPvOwyFKCGNf91h5+8SLkRhRg@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">
<div class="gmail_quote">
<div style="">-- <br>
</div>
</div>
<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>