<div dir="ltr">i think that thats only expressible with the style of parsing that agda mix fix does, and for a variety of reasons I'm somewhat skeptical of the same being viable for ghc for the forseeable future. </div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 16, 2015 at 11:30 PM, Greg Weber <span dir="ltr"><<a href="mailto:greg@gregweber.info" target="_blank">greg@gregweber.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I had an idea whose goal is to ease people into Foldable, Traversable, etc.</div><div>There could be a notation that shows the generalization that is occurring.<br></div><div><br></div><div>map :: Functor [_] => (a -> b) -> [a] -> [b]</div><div><br></div><div>This means that the syntax for the list type is now syntax for the variable created by the Functor constraint.</div><div><br></div><div>Adding such a thing to the language is probably not a good idea, but someone might possibly like such a notation for pedagogy. Of course, it will be pointed out that a Functor is not just a container. But Foldable is sometimes expressed as "anything that toList can be called on", so it should make sense there.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Greg Weber</div><br></font></span></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>