Thanks. My question is whether it can call a function (say map) previously defined elsewhere in the program. Same goes for filter.<br><br>Tope <br><br><div class="gmail_quote">On Fri, Feb 22, 2008 at 6:04 AM, Christian Maeder &lt;<a href="mailto:Christian.Maeder@dfki.de">Christian.Maeder@dfki.de</a>&gt; wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div></div><div class="Wj3C7c">TOPE KAREM wrote:<br>
&gt; I know the following:<br>
&gt;<br>
&gt; [1] That the general form of conditional expression is: if<br>
&gt; *Boolean_expression* then /exp1/ else /exp2<br>
&gt; /[2] That a conditional expression must always have both a then and an<br>
&gt; else expression.<br>
&gt; [3] That both /exp1/ and /exp2/ must have the same type, which is the<br>
&gt; type of the entire conditional expression.<br>
&gt; [4] That /exp1/ must be &lt;true-value&gt; and /exp2/ must be &lt;false-value&gt;<br>
&gt;<br>
&gt; Reference: Discrete Mathematics Using Computer by John O&#39;Donnell and et<br>
&gt; al. (Second Edition)<br>
&gt;<br>
&gt; My question: Is it possible that exp1 and exp 2 &nbsp;be different function<br>
&gt; calls of another functions (separately) elsewhere within the same program?<br>
&gt; Note: My Boolean_expression is Boolean<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;My /exp1/ is a function call elsewhere within the same program<br>
&gt; (more like a subroutine)<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;My /exp2/ is another function call also elsewhere within the<br>
&gt; same program.<br>
<br>
</div></div>I&#39;m not sure what you&#39;re asking, but exp1 and exp2 may have (the same)<br>
function type:<br>
<br>
if &lt;cond&gt; then map else filter :: (Bool -&gt; Bool) -&gt; [Bool] -&gt; [Bool]<br>
<br>
HTH Christian<br>
</blockquote></div><br>