glguy 2017-02-24 16:06:42
maksim__: those numbers are for the last 30 days and might be impacted by the cdn cache (I'm not sure)
glguy 2017-02-24 16:07:03
That package has "106844 total (502 in the last 30 days)"
Cooler 2017-02-24 16:38:06
how does (+1) $ (*2) typecheck?
Cooler 2017-02-24 16:38:14
says it has type (+1) $ (*2) :: (Num a, Num (a -> a)) => a -> a
Cooler 2017-02-24 16:39:54
but when i do let x = (+1) $ (*2) it says to use Flexible contexts
Welkin 2017-02-24 16:40:35
Cooler: Where is Freezer?
Cooler 2017-02-24 16:40:48
he's dead
Welkin 2017-02-24 16:41:11
> (+1) . (*2) $ 1
lambdabot 2017-02-24 16:41:15
3
Welkin 2017-02-24 16:41:16
:t (+1) . (*2)
lambdabot 2017-02-24 16:41:18
Num c => c -> c
Welkin 2017-02-24 16:41:22
looks fine to me
Cooler 2017-02-24 16:41:40
what? not . , $
Welkin 2017-02-24 16:41:52
it ends up being the same
Welkin 2017-02-24 16:41:54
in this case
Welkin 2017-02-24 16:42:11
:t (+1) $ (*2)
lambdabot 2017-02-24 16:42:12
(Num (a -> a), Num a) => a -> a
Welkin 2017-02-24 16:42:32
:t (+1) $ (*2) $ 1
lambdabot 2017-02-24 16:42:34
Num a => a
Welkin 2017-02-24 16:42:45
> (+1) . (*2) $ 1
Cooler 2017-02-24 16:42:46
$ has a different type than .
lambdabot 2017-02-24 16:42:47
3
Welkin 2017-02-24 16:42:48
> (+1) $ (*2) $ 1
lambdabot 2017-02-24 16:42:51
3
Welkin 2017-02-24 16:42:55
it doesn't matter
Cooler 2017-02-24 16:43:20
well it does
Cooler 2017-02-24 16:43:32
because you applied an argument
Welkin 2017-02-24 16:43:41
`a . b` becomes `\c -> a b c`
Cooler 2017-02-24 16:43:42
to just the right side of $
Welkin 2017-02-24 16:43:56
`a . b` becomes `\c -> a b c`, which is the same as `a $ b $ c`
Cooler 2017-02-24 16:44:18
don't apply the argument
Welkin 2017-02-24 16:44:21
er
Welkin 2017-02-24 16:44:34
a (b c) is the same as a $ b $ c
Cooler 2017-02-24 16:44:40
there is no c
Welkin 2017-02-24 16:44:47
c is the parameter
Cooler 2017-02-24 16:44:51
omg
Welkin 2017-02-24 16:45:03
that is eliminated due to eta reduction
