<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;}
@page Section1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
        {page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal>If I understand it correctly, implicit parameters in Haskell
allow you to pass values to functions with explicitly adding a parameter to
each of the functions being “called” (I appologize for my
imperative terminology here. How would I say this correctly? Being “evaluated”?)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The arrows always use tuples to group the input and output
parameters, like:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>foo :: SF (Int,Int,Int) (Int,Int)<o:p></o:p></p>
<p class=MsoNormal>foo = proc (x,y,z) -> do<o:p></o:p></p>
<p class=MsoNormal> p <- cat -< (x,y)<o:p></o:p></p>
<p class=MsoNormal> q <- dog -< z<o:p></o:p></p>
<p class=MsoNormal> returnA -< (p,q)<o:p></o:p></p>
<p class=MsoNormal> where<o:p></o:p></p>
<p class=MsoNormal> cat = proc (x,y) ->
returnA -< (x+y)<o:p></o:p></p>
<p class=MsoNormal> dog = proc z ->
returnA -< 10*z<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Suppose I don’t want to explicitly pass the x and y parameters
to the cat (and deeper) arrows, but make them implicit. I guess that would be
impossible? I mean, I can’t use implicit parameters language extension to
make the arrow input parameters implicit?<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Thanks,<o:p></o:p></p>
<p class=MsoNormal>Peter<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>