| jcreigh | Doesn't it assume unary, and that's why we have subtract? |
| sorear | @part #haskell |
| drigz | subtract is flip (-), isn't it? > (-) 2 1 |
| lb | 1 |
| drigz | > subtract 2 1 |
| lb | -1 |
| sorear | lb is going to seriously lag until it is done connecting it IS an irc client |
| drigz | @type (-) |
| lb | forall a. (Num a) => a -> a -> a |
| drigz | sorear: connecting? |
| nominolo | :t subtract |
| sorear | drigz: right. 2 seconds per channel joined |
| lb | forall a. (Num a) => a -> a -> a |
| sorear | drigz: server flood control @botsnack |
| nominolo | @src subtract |
| lb | :) subtract x y = y - x |
| sorear | @botsnack |
| lb | :) |
| sorear | @botsnack |
| lb | :) |
| sorear | @botsnack |
| lb | :) |
| nominolo | @ping |
| jcreigh | :t (4-) |
| lb | forall t. (Num t) => t -> t |
| jcreigh | :t (-4) |
| lb | forall a. (Num a) => a |
| jcreigh | ah, okay. Thinking that (-4) should be a section for consistency is probably a sign of insanity, yes? :) |
| nominolo | well, o'caml has ~ |
| jcreigh | nominolo: how does that work? |
| nominolo | but in any case it's going to be confusing it's negation so, just a different symbol therefore (-x) would be a section but, anyone not aware of sections will confuse it in any case |