Cale 2017-02-26 16:07:06
So they're productivity killers
dolio 2017-02-26 16:07:55
I suppose. Reader is probably the most pointless effect.
Cale 2017-02-26 16:07:58
If you need a MonadReader constraint, define a new type class with operations for accessing your particular environment
dolio 2017-02-26 16:08:22
Do they even include it in these hot new effect libraries?
EvanR 2017-02-26 16:08:26
SegFaultAX: right, with idris you can make the effect list a defined variable, its first class
EvanR 2017-02-26 16:08:32
or parameterize it
SegFaultAX 2017-02-26 16:10:51
EvanR: When you say that types are first class, do you mean that types are values in the normal sense? Are they values only during compilation or also at runtime?
dolio 2017-02-26 16:11:09
Cale: I don't think it's a useful effect in the extensible effects sense. It's better in the approach I think you usually take, of defining some monad that you're working in for some activity.
Cale 2017-02-26 16:11:20
SegFaultAX: "Yes" and "also at runtime"
slack1256 2017-02-26 16:15:57
:q
slack1256 2017-02-26 16:16:00
ops
Welkin 2017-02-26 16:16:15
nops
Cale 2017-02-26 16:23:16
(and with that, we can stream video out of our database, yay)
dolio 2017-02-26 16:24:26
Cale: Anyhow, I just try to point out that using mtl-like classes is equivalent to the new effects stuff that people are so enamored with.
dolio 2017-02-26 16:25:27
To counter some of the hype.
jle` 2017-02-26 16:42:28
hm
notjack-rkt 2017-02-26 16:42:43
I'm working on porting some lens stuff to Racket, and was looking for help with some questions on lens+prisms+traversals
dolio 2017-02-26 16:42:45
I wouldn't be surprised if it broke inlining/factoring, though.
dolio 2017-02-26 16:43:10
Depends on how lazy it is.
Cale 2017-02-26 16:43:16
notjack-rkt: sure
jle` 2017-02-26 16:43:22
i acutlaly don't even know if an ST transformer can help my problem
Cale 2017-02-26 16:43:28
notjack-rkt: That's going to be a little tricky without typeclasses...
notjack-rkt 2017-02-26 16:44:10
Cale: It certainly introduces a new set of problems :)
notjack-rkt 2017-02-26 16:44:48
Cale: I'm trying to work with a nested data structure that involves a hash and a key in that hash that may not be present
