Logs: freenode/#haskell
| 2021-04-10 05:35:48 | <davean> | I mean -> is also Num and Monad, and I'm not seeing you ask what the difference between Num and -> are |
| 2021-04-10 05:37:47 | <davean> | (a horrible, no good, very bad instance but whatever) |
| 2021-04-10 05:37:53 | <zzz> | if (->) is a Monad and Arrow is a Monad, I would ask what's the difference between (->) and Arrow |
| 2021-04-10 05:39:18 | <davean> | Whats the difference between Ord and Num? |
| 2021-04-10 05:39:35 | <davean> | And the fact that Int is both of them makes them the same tihng I guess? |
| 2021-04-10 05:39:48 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-04-10 05:40:10 | <zzz> | i think we are misunderstanding eachother |
| 2021-04-10 05:40:11 | <davean> | I'd try to explain better but I don't understand your thinking here enough to make a useful comment |
| 2021-04-10 05:40:14 | <gnumonic> | I dunno that "why is X a Y" (where Y is a typeclass) is ever a question with an interesting answer. X is always a Y because you can define an instance that satisfies the laws... |
| 2021-04-10 05:41:00 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 2021-04-10 05:41:15 | → | true-asset joins (~true-asse@178.239.168.171) |
| 2021-04-10 05:41:38 | <davean> | gnumonic: right. It doesn't really imply any relation other than that the law hold - and it certainly doesn't imply that that being true is interesting |
| 2021-04-10 05:42:11 | <davean> | They exist at different levels and one is an observation about another |
| 2021-04-10 05:42:25 | → | expipiplus1[m] joins (~expipiplu@li1766-207.members.linode.com) |
| 2021-04-10 05:43:17 | <expipiplus1[m]> | hi all |
| 2021-04-10 05:44:02 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-mccaaaafsjcbbjtb) |
| 2021-04-10 05:44:03 | → | DamienCassou joins (damiencass@gateway/shell/matrix.org/x-wraaqkgwwvejeluv) |
| 2021-04-10 05:44:03 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-gxlvabnrocccxmxd) |
| 2021-04-10 05:44:03 | → | mrkajetanp joins (mrkajetanp@gateway/shell/matrix.org/x-hpxrawejyiafurts) |
| 2021-04-10 05:44:03 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-cxxxnfuxyrjazthh) |
| 2021-04-10 05:44:03 | → | fakubish[m] joins (fakubishne@gateway/shell/matrix.org/x-uphtarqburuhkyxg) |
| 2021-04-10 05:44:03 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-elnqcrstviceefpa) |
| 2021-04-10 05:44:04 | → | DevTurks[m] joins (turkdevops@gateway/shell/matrix.org/x-ojlnprlhammzunlz) |
| 2021-04-10 05:44:04 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-nvqlvyzjmcadpsda) |
| 2021-04-10 05:44:04 | → | addem[m] joins (addemmatri@gateway/shell/matrix.org/x-dihufvgbnekkaxvh) |
| 2021-04-10 05:44:04 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-jduphwpfifylkazx) |
| 2021-04-10 05:44:04 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-lrgelkqzqyoiwyju) |
| 2021-04-10 05:44:05 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-ytydtmynqqqucxon) |
| 2021-04-10 05:44:05 | → | CrabMan joins (phi-matrix@gateway/shell/matrix.org/x-xdtvjrfhqsljsdjb) |
| 2021-04-10 05:44:05 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-lztialmegsqbabni) |
| 2021-04-10 05:44:05 | → | Lurkki[m] joins (lurkkifene@gateway/shell/matrix.org/x-qvurztlwhabbghxk) |
| 2021-04-10 05:44:05 | → | my_name_is_not_j joins (mynameisno@gateway/shell/matrix.org/x-luedefgkawhdrktp) |
| 2021-04-10 05:44:05 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-utrkwzmbsriqzljj) |
| 2021-04-10 05:44:05 | → | johnnyv[m] joins (badwolf256@gateway/shell/matrix.org/x-yxpkxdztlttkpjgg) |
| 2021-04-10 05:44:05 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-amguadwuvvlssavp) |
| 2021-04-10 05:44:05 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-ertytzmkazzzhybx) |
| 2021-04-10 05:44:05 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-dhpmvcgpmsxtqfgs) |
| 2021-04-10 05:44:06 | → | mrus[m] joins (mrusmatrix@gateway/shell/matrix.org/x-uxnzjhojjgavftjp) |
| 2021-04-10 05:44:06 | → | arcontethegreat[ joins (arcontethe@gateway/shell/matrix.org/x-htiwddqvyzfqikyg) |
| 2021-04-10 05:44:06 | → | TheWizardTower[m joins (thewizardt@gateway/shell/matrix.org/x-qjoroerupruqagtt) |
| 2021-04-10 05:44:06 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-xwmepnlvznlpjdga) |
| 2021-04-10 05:44:06 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-rxkwfuaqsqeyxnjv) |
| 2021-04-10 05:44:06 | → | immae joins (immaematri@gateway/shell/matrix.org/x-yvvixibszngfldow) |
| 2021-04-10 05:44:06 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-vimrtwwkezzrsayu) |
| 2021-04-10 05:44:06 | → | Lurkki[m]1 joins (lurkkipriv@gateway/shell/matrix.org/x-qkyndrlwwbcdfprx) |
| 2021-04-10 05:44:06 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-biwsjunekbwlrmno) |
| 2021-04-10 05:44:06 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-ksbmrykeuszgsyik) |
| 2021-04-10 05:44:06 | → | mith[m] joins (mithmatrix@gateway/shell/matrix.org/x-hzfozeeypcpgvsfv) |
| 2021-04-10 05:44:07 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-odwuoyyyfqjuhqfr) |
| 2021-04-10 05:44:07 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-tzjvckdqlgqermfr) |
| 2021-04-10 05:44:07 | → | anon1891[m] joins (anon1891ma@gateway/shell/matrix.org/x-onnujzintxhdncvb) |
| 2021-04-10 05:44:07 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2021-04-10 05:44:07 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-fghdiqopefseaokb) |
| 2021-04-10 05:44:07 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-naaogafgvvujonsu) |
| 2021-04-10 05:44:07 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-wcklxxqsduyzhunq) |
| 2021-04-10 05:44:07 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-xrjtspmgpqnkebab) |
| 2021-04-10 05:44:07 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-wpnmsqvzvkvptipj) |
| 2021-04-10 05:44:07 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-imekgdrdrodzrfgy) |
| 2021-04-10 05:44:07 | → | jerin joins (jerinmatri@gateway/shell/matrix.org/x-zeozwveuydonwzcq) |
| 2021-04-10 05:44:07 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-yisbdbwqrxbimepi) |
| 2021-04-10 05:44:07 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-hpjgawiyzuenumyt) |
| 2021-04-10 05:44:07 | → | juliendehos[m] joins (juliendeho@gateway/shell/matrix.org/x-vouozuyzgovkqdyo) |
| 2021-04-10 05:44:08 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-rzbavalgomdzhhtt) |
| 2021-04-10 05:44:08 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-utrdbjjavwpdczxi) |
| 2021-04-10 05:44:08 | → | samthecoy[m] joins (samthecoym@gateway/shell/matrix.org/x-qaqujubkonygneyt) |
| 2021-04-10 05:44:08 | → | adziahel[m] joins (adziahelma@gateway/shell/matrix.org/x-cyhjmrgvstvbsvar) |
| 2021-04-10 05:44:08 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-wopkgivyetfmwccv) |
| 2021-04-10 05:44:08 | → | toasty_avocado[m joins (toastyavoc@gateway/shell/matrix.org/x-suvnnltfbgmbcmqp) |
| 2021-04-10 05:44:08 | → | slycelote[m] joins (slycelotem@gateway/shell/matrix.org/x-yxhtximmpenozqzr) |
| 2021-04-10 05:44:08 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-kdiohswnikqzcrsc) |
| 2021-04-10 05:44:08 | → | mly[m] joins (mlydisenco@gateway/shell/matrix.org/x-hdizmtyvxksdkslu) |
| 2021-04-10 05:44:08 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-xswajewqaoguxzda) |
| 2021-04-10 05:44:08 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-lajcuenivninlvjc) |
| 2021-04-10 05:44:09 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-sdpzurestintfxkz) |
| 2021-04-10 05:44:10 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-sutipvvcssuynets) |
| 2021-04-10 05:44:10 | → | ManofLetters[m] joins (manoflette@gateway/shell/matrix.org/x-ovmdqtbnmvvsfsit) |
| 2021-04-10 05:44:10 | → | Cesionaut[m] joins (cesionautm@gateway/shell/matrix.org/x-sdjhygltyhtlomgg) |
| 2021-04-10 05:44:11 | → | stevekrouse1[m] joins (stevekrous@gateway/shell/matrix.org/x-vkuwqhpopicdwkjn) |
| 2021-04-10 05:44:11 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-rxfmpjgktvgasqzm) |
| 2021-04-10 05:44:11 | → | fox[m]1 joins (foxforestf@gateway/shell/matrix.org/x-hqbybhlwcrwvhxhe) |
| 2021-04-10 05:44:12 | → | jo[m]3 joins (josefmat1@gateway/shell/matrix.org/x-ibivtxxspcqssbda) |
| 2021-04-10 05:44:12 | → | chrisbloecker[m] joins (chrisbloec@gateway/shell/matrix.org/x-gmljuwfyndvwadbj) |
| 2021-04-10 05:44:12 | → | viktorstrate[m] joins (viktorstra@gateway/shell/matrix.org/x-nrjjnqkdtfbtkeet) |
| 2021-04-10 05:44:12 | → | Poyo[m] joins (stikynotha@gateway/shell/matrix.org/x-hdaxlpnazrfvbqll) |
| 2021-04-10 05:44:14 | → | pnotequalnp[m] joins (pnotequaln@gateway/shell/matrix.org/x-vbfhpdihocudbihr) |
| 2021-04-10 05:44:14 | → | amerocu[m] joins (amerocumat@gateway/shell/matrix.org/x-qxnfpxkjfoepsjkc) |
| 2021-04-10 05:44:14 | → | MahmoudMAZOUZ[m] joins (mazouzmaen@gateway/shell/matrix.org/x-imqdkovzqltlmznc) |
| 2021-04-10 05:47:02 | <juri_> | hi more all. |
| 2021-04-10 05:47:06 | × | expipiplus1[m] quits (~expipiplu@li1766-207.members.linode.com) (Quit: Bridge terminating on SIGTERM) |
| 2021-04-10 05:48:32 | <zzz> | right, let e rephrase that. (->) is an Arrow and all Arrows are Profunctors. Is there a need for (->) to be firectly declared a Profunctor instance, if we already have it for Arrows? |
| 2021-04-10 05:49:15 | <zzz> | s/e/me | s/fireclty/directly |
| 2021-04-10 05:49:17 | <davean> | Profunctor isn't a superclass of arrow |
| 2021-04-10 05:50:40 | <zzz> | hmm |
| 2021-04-10 05:53:12 | <zzz> | i see |
| 2021-04-10 05:53:13 | × | glaceon quits (~glaceon@117.222.70.34) (Quit: leaving) |
| 2021-04-10 05:53:18 | <zzz> | thank you |
| 2021-04-10 05:53:22 | → | expipiplus1[m] joins (~expipiplu@li1766-207.members.linode.com) |
| 2021-04-10 05:54:36 | <davean> | Direct questions like that are so much easier :) |
| 2021-04-10 05:55:29 | <juri_> | davean: why does my code suck? :) |
| 2021-04-10 05:55:31 | × | expipiplus1[m] quits (~expipiplu@li1766-207.members.linode.com) (Client Quit) |
All times are in UTC.