Comments on: Static vs dynamic typing: do what thou wilt

By: irene

irene — Sat, 29 Mar 2008 17:44:11 +0000

sorry, what is this all about?

By: pegasus

pegasus — Mon, 25 Dec 2006 18:14:48 +0000

i never knew so many kinds of typing existed

By: mikeyoo

mikeyoo — Mon, 25 Dec 2006 07:36:27 +0000

you should make pixel+1 vertex to remove all kernal sleeps

By: dnavarro

dnavarro — Sun, 24 Dec 2006 21:54:14 +0000

Ah, yes. I didn’t test any code.

I really should add a “You get my point” disclaimer.

By: Daniel

Daniel — Sun, 24 Dec 2006 21:46:08 +0000

This is a pretty minor nitpick, but I don’t think this does what you want:
liftXY2 f p p’ = Pixel ((f. hor) p p’) ((f . ver) p p’)

If we have f :: Int -> Int -> Int, then I think (f . hor) :: Pixel -> Int -> Int. Maybe this:
liftXY2 f p p’ = Pixel (f (hor p) (hor p’)) (f (ver p) (ver p’)))

By: David

David — Sun, 24 Dec 2006 19:11:53 +0000

You don’t want to override (+) completely, but in this case it would be perfectly reasonable to make YP an instance of the Num typeclass like so:

data YPos = YP Int deriving Eq

// …

instance Num YPos where
(+) (YP x) (YP y) = YP (x+y)
fromInteger z = YP (fromInteger z)

up (Pixel x y) = Pixel x (y+1)