<div dir="ltr"><br><br><div class="gmail_quote">On Wed, Oct 1, 2008 at 3:27 PM, Simon Brenner <span dir="ltr">&lt;<a href="mailto:olsner@gmail.com">olsner@gmail.com</a>&gt;</span> 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 class="Ih2E3d">On 10/1/08, John Van Enk &lt;<a href="mailto:vanenkj@gmail.com">vanenkj@gmail.com</a>&gt; wrote:<br>
&gt; There&#39;s the well known &quot;How to shoot your self in the foot&quot; list which I<br>
&gt; have it printed and taped on my desk at work.<br>
&gt;<br>
&gt; <a href="http://www-users.cs.york.ac.uk/susan/joke/foot.htm" target="_blank">http://www-users.cs.york.ac.uk/susan/joke/foot.htm</a><br>
&gt;<br>
&gt; &nbsp;I had a co-worker ask me how you&#39;d shoot your self in the foot with<br>
&gt; Haskell. Here&#39;s the best I could do:<br>
&gt;<br>
&gt; &quot;You shoot the gun, but the bullet gets trapped in the IO monad.&quot;<br>
<br>
</div>While compiling your program the compiler produces a type error long<br>
enough to overflow a kernel buffer, overwrite the trigger control<br>
register and shoot you in the foot.<br>
<br>
or<br>
<br>
After trying to decipher the type errors from the compiler, your head explodes.</blockquote><div><br>Or as GHC says:<br>&nbsp;&nbsp;&nbsp; My brain just exploded.<br><br>And of course it says that because:<br>&nbsp;&nbsp;&nbsp; I can&#39;t handle pattern bindings for existentially-quantified constructors.<br>
&nbsp;&nbsp;&nbsp; Instead, use a case-expression, or do-notation, to unpack the constructor.<br><br>But, telling people that part takes the fun out of :)<br><br>&nbsp;</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
<br>
or<br>
<br>
After you&#39;ve finally found a way to circumvent the type system and<br>
shoot yourself in the foot, Oleg appears out of nothing and shoots you<br>
in the foot for coming up with it before him.</blockquote><div><br>Heh.&nbsp; Nice.&nbsp; Oleg has earned himself the Haskell equivalent of a Chuck Norris reputation.&nbsp; Except that Oleg has really earned the respect he gets from our teasing.&nbsp; BTW, is there an Oleg Facts website?<br>
<br>Jason<br></div></div><br></div>