Maybe and [] have still the same meaning: they can be seen as functions:<br>- they represent the result(s) that might or might not have a computation<br>- <b>they have to be called/ran/executed</b> (wichever term you prefer) through Data.Maybe.maybe or Data.List.foldX, so that we can extract some value out of them.<br>
It's just that their input is <span style="font-family:courier new,monospace">() <span style="font-family:arial,helvetica,sans-serif">(void)</span></span>. But in Haskell, the type:<br><span style="font-family:courier new,monospace">() -> Maybe a</span><br>
is useless, <span style="font-family:courier new,monospace">Maybe a</span> is sufficient.<br><br>Maybe in that case "procedure" is then a better term than function.<br><br><div class="gmail_quote">2011/12/31 Jerzy Karczmarczuk <span dir="ltr"><<a href="mailto:jerzy.karczmarczuk@unicaen.fr">jerzy.karczmarczuk@unicaen.fr</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Yves Parès :<div class="im"><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
all standard Monads are newtypes wrapping functions<br>
</blockquote></div>
What about Maybe and [] ?<br>
<br>
Jerzy Karczmarczuk<br>
<br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>