<div dir="ltr"><div style>Hi Jan,</div><div style><br></div>On one hand, I've never really needed this. <div>On the other hand, it looks like a nice syntaxic sugar addition, so if you implemented this I would probably give it a try.</div>
<div><br></div><div style>David.</div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/4/8 Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> You can achieve something similar with the ViewPatterns language<br>
> extension.<br>
><br>
</div><div class="im">> member _ [] = False<br>
> member x (((x ==) -> True) : _) = True<br>
> member x (_ : xs) = member x xs<br>
</div>Hi Tillmann,<br>
<br>
there are a couple of ways to achieve this in Haskell, for example using guards:<br>
<div class="im"><br>
member :: Eq a => a -> [a] -> Bool<br>
member _ [] = False<br>
</div>member y (x:_) | x == y = True<br>
member y (_:xs) = member y xs<br>
<br>
The goal of my proposal is to provide a concise syntax, whereas ViewPatterns are very verbose and<br>
guards are slightly verbose. I want something simple and something that is very intuitive if<br>
you've programmed in Prolog :)<br>
<br>
Janek<br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div></div>