-
- いいね！0
Rúnar
@runarorama
@nuttycom @djspiewak Agreed, because otherwise how do you know it’s the parallel apply and not one implemented with bind?
2014-01-31 06:17:13
Rúnar
@runarorama
@nuttycom @djspiewak Two types make undesirable outcomes unrepresentable.
2014-01-31 06:18:03
Daniel Spiewak
@djspiewak
@runarorama @nuttycom And yet, if you have a bijection between them, you’re not restricting *anything.
2014-01-31 06:18:22
@nutty.land / @nuttycom@icosahedron.website
@nuttycom
@djspiewak What's funny is that @puffnfresh and I had this same discussion a month ago, with me in your place. Took him days to convince me.
2014-01-31 06:25:58
🔥 Tpol Chico
@tpolecat
@runarorama if the types are distinct then how does Task subsume them both? I think I'm missing something. / @nuttycom @djspiewak
2014-01-31 06:34:33
Daniel Capo Sobral
@dcsobral
@nuttycom @djspiewak @puffnfresh @runarorama At times like this I wish Twitter had a tree view...
2014-01-31 06:45:02
Rúnar
@runarorama
@djspiewak @nuttycom Well, there's a bijection between Id and Future, but you still want those to be distinct, I think.
2014-01-31 06:45:11
Daniel Spiewak
@djspiewak
@runarorama @nuttycom That bijection should not exist in the first place.
2014-01-31 06:48:45
Lars Hupel (@lars@hupel.info on Fedi)
@larsr_h
I accidentally committed to talk about I/O via Free. On Monday. Problem: I have no idea. Send help.
2014-01-31 06:58:29