robertkennedy 2017-03-05 12:45:11
I don't.
monochrom 2017-03-05 12:45:32
Then there is none.
monochrom 2017-03-05 12:46:29
You have a constant c, and ask for get c = 'y' and get c = "test".
robertkennedy 2017-03-05 12:46:35
The first uses `get :: a :&&: b :&&: c -> b` and the second uses `get :: a :&&: b :&&: c -> c`
monochrom 2017-03-05 12:46:53
Ah
lyxia 2017-03-05 12:47:59
what's the trick
robertkennedy 2017-03-05 12:48:10
I've written such a function, `get :: c `Has` a => c -> a`; the paper I've begun to write exploits it a lot.
monochrom 2017-03-05 12:48:10
Multiple parameter type class.
robertkennedy 2017-03-05 12:50:55
And closed type families, and "advanced overloading", a GHC wiki article I can't find atm
lyxia 2017-03-05 12:51:47
Okay I see.
robertkennedy 2017-03-05 12:55:10
monochrom: what's your feeling in general when seeing multiple parameter type classes?
athan 2017-03-05 13:06:12
hmm, when quoting type constructors, do the types need to be defined in a different module?
athan 2017-03-05 13:06:15
(using TH)
athan 2017-03-05 13:06:38
I remember that if you intend to use the code generated, you need to import the TH-generated code from a different module
athan 2017-03-05 13:07:16
wait no, my fingers just fooled me x_x dang typos
fresheyeball 2017-03-05 13:14:27
athan: wassap!
SPKB24 2017-03-05 13:17:37
hello
SPKB24 2017-03-05 13:18:26
anyone here?
SPKB24 2017-03-05 13:18:53
exit
Axman6 2017-03-05 13:18:55
a few
SPKB24 2017-03-05 13:18:55
quit
SPKB24 2017-03-05 13:18:58
oh hi
SPKB24 2017-03-05 13:19:13
what are some of the best ways to learn haskell?
Axman6 2017-03-05 13:19:18
there's over a thousand people here at the moment, so aty least a few are probably awake
snow_lemurian 2017-03-05 13:19:57
Heyo!
snow_lemurian 2017-03-05 13:20:38
I really recommend Yet Another Haskell Tutorial
snow_lemurian 2017-03-05 13:20:40
Oops
snow_lemurian 2017-03-05 13:20:43
Too late
mbw 2017-03-05 13:34:29
Hello everyone. I am currently working my way through Gabriel Gonzalez' lens tutorial: https://hackage.haskell.org/package/lens-tutorial-1.0.2/docs/Control-Lens-Tutorial.html. He claims that "[...]any Lens' is automatically also a valid Traversal' (since Functor is a superclass of Applicative)." Traversal' has an Applicative constraint, whereas Lens' has a Functor constraint. So this sentence does not make
mbw 2017-03-05 13:34:35
sense to me, shouldn't it be the other way round? After all, every Applicative Functor is a Functor, but not the other way round. Am I reading this wrong?
Koterpillar 2017-03-05 13:35:13
mbw: lens can take a functor
Koterpillar 2017-03-05 13:35:26
mbw: so if you give them an Applicative, because it's a functor, they'll still work
