Bulat Ziganshin <bulat.zigans...@gmail.com> wrote:

> while we are here - i always had problems understanding what is
> inferred and what is expected type. may be problem is just that i'm
> not native speaker
>
The shape of the brick you are trying to push through a hole is
analysed (inferred) by the universe from the brick's overall
properties, while the hole certainly can be said to expect a certain
shape of block.

The actual universe might very well do pixel-based collision, not
something as elaborate as what I described, though. YMMV.

-- 
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to