Logs: freenode/#haskell
| 2021-03-07 18:35:35 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-07 18:35:57 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-nmamuvshyesecffd) |
| 2021-03-07 18:36:03 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-nplqxycskjtzpnfg) |
| 2021-03-07 18:36:06 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-xlwlcbjfdgaskbuc) |
| 2021-03-07 18:36:22 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-yluorskaumyihrcn) |
| 2021-03-07 18:36:34 | → | CrabMan joins (phi-matrix@gateway/shell/matrix.org/x-elrhfvlhlcoczwse) |
| 2021-03-07 18:36:46 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-fucrwzurqfdnkyfb) |
| 2021-03-07 18:36:54 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-hmfxsgugtuaqfrpt) |
| 2021-03-07 18:36:55 | → | MrMuffles[m] joins (mrmufflesm@gateway/shell/matrix.org/x-hahwckvaqcfkjcyn) |
| 2021-03-07 18:37:12 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-07 18:37:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-07 18:37:30 | → | MichaelHoffmannb joins (brisadmozi@gateway/shell/matrix.org/x-xmqzxkgsheepjdjp) |
| 2021-03-07 18:37:35 | → | Pressyware[m] joins (pressyware@gateway/shell/matrix.org/x-plprftxrswzlfsuf) |
| 2021-03-07 18:37:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 18:38:06 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-07 18:38:29 | → | a-tsioh[m] joins (a-tsiohmat@gateway/shell/matrix.org/x-uvugmgtwtycebrwk) |
| 2021-03-07 18:39:16 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2021-03-07 18:42:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-07 18:42:12 | → | Guest24956 joins (~zmv@unaffiliated/zmv) |
| 2021-03-07 18:42:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-07 18:42:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 18:43:20 | → | boristheblade joins (~boristheb@87-95-97-198.bb.dnainternet.fi) |
| 2021-03-07 18:44:15 | bigboss98 | is now known as Bigbosskor |
| 2021-03-07 18:44:32 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-07 18:44:35 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-xolbnvrpcfpyxhwo) |
| 2021-03-07 18:44:39 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.19) (Ping timeout: 245 seconds) |
| 2021-03-07 18:44:41 | → | oreoking[m] joins (oreokingma@gateway/shell/matrix.org/x-ripwtpvetljdzkho) |
| 2021-03-07 18:44:41 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-fvwgdwvjsdbvlenc) |
| 2021-03-07 18:44:41 | → | my_name_is_not_j joins (mynameisno@gateway/shell/matrix.org/x-kjoeodzseshxepvl) |
| 2021-03-07 18:44:55 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-gtizoflguipwdywi) |
| 2021-03-07 18:45:29 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-07 18:45:40 | ← | boristheblade parts (~boristheb@87-95-97-198.bb.dnainternet.fi) () |
| 2021-03-07 18:45:53 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-nqikzoyzzbkxkkev) |
| 2021-03-07 18:45:59 | → | Robin[m]2 joins (robinrobin@gateway/shell/matrix.org/x-cmsislyvxyumkemg) |
| 2021-03-07 18:46:00 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-qffksefpcbeofquc) |
| 2021-03-07 18:46:02 | → | Lurkki[m]1 joins (lurkkifene@gateway/shell/matrix.org/x-yfuidztsaefpfasv) |
| 2021-03-07 18:46:09 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-vvymcwfscdivsdlx) |
| 2021-03-07 18:46:13 | → | Lurkki[m] joins (lurkkipriv@gateway/shell/matrix.org/x-svjjpwzvvfaqofmn) |
| 2021-03-07 18:46:14 | → | utdemir[m] joins (utdemirmat@gateway/shell/matrix.org/x-gpwaueemnpfdcwea) |
| 2021-03-07 18:46:14 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 2021-03-07 18:46:17 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-mopbbwnwlliixuwj) |
| 2021-03-07 18:46:19 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 18:46:22 | → | brightly-salty[m joins (brightly-s@gateway/shell/matrix.org/x-agmgihgnmlsqayfq) |
| 2021-03-07 18:46:37 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-qyukuwejrzhlrohq) |
| 2021-03-07 18:46:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 18:48:27 | → | supercoven_ joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-07 18:49:02 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-07 18:49:38 | <sm[m]> | maerwald: a stock ticker-style display is a nice idea actually. Not so IRC-friendly though |
| 2021-03-07 18:50:03 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-07 18:50:15 | <sm[m]> | though you could do it as a widget for element users |
| 2021-03-07 18:50:32 | <maerwald> | we already have a hackagebot for that |
| 2021-03-07 18:50:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 18:50:41 | <maerwald> | but sometimes it's gone |
| 2021-03-07 18:50:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 18:51:00 | <sm[m]> | I know, I used to run it |
| 2021-03-07 18:51:19 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-03-07 18:51:25 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-pkofqmewlpdcrykb) |
| 2021-03-07 18:51:26 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-qmcvpkrinjigllxf) |
| 2021-03-07 18:51:27 | <sm[m]> | it's too verbose to keep running in here 24/7 nowadays I think |
| 2021-03-07 18:51:44 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-07 18:51:49 | <sm[m]> | people complained even back then |
| 2021-03-07 18:51:53 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.19) |
| 2021-03-07 18:51:57 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-ljnrpkuqhybjbqrm) |
| 2021-03-07 18:52:00 | → | toasty_avocado[m joins (toastyavoc@gateway/shell/matrix.org/x-rilvilfetmqcjeab) |
| 2021-03-07 18:52:45 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-ctzchnfbikopgirx) |
| 2021-03-07 18:53:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-03-07 18:53:58 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-07 18:55:09 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-03-07 18:55:20 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 18:55:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-07 18:56:00 | <sm[m]> | ..but maybe with some creative visual compression.. |
| 2021-03-07 18:56:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-07 18:57:07 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 18:57:22 | × | Bigbosskor quits (~Android@223.204.217.185) (Quit: -a- IRC for Android 2.1.58) |
| 2021-03-07 18:57:40 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 18:57:57 | × | bigbosskor quits (~Android@223.204.217.185) (Client Quit) |
| 2021-03-07 18:58:06 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 18:58:45 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-07 18:59:14 | <zebrag> | "Every Haskell Functor is an Applicative": is that a well known fact or my being mistaken? If somehow true, it must be many applicatives, if only when sequencing is relevant. |
| 2021-03-07 18:59:27 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 265 seconds) |
| 2021-03-07 18:59:31 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 276 seconds) |
| 2021-03-07 19:00:05 | <zebrag> | Maybe it is an applicative in a way that isn't useful. |
| 2021-03-07 19:00:28 | × | thevishy quits (~Nishant@103.210.43.206) (Ping timeout: 245 seconds) |
| 2021-03-07 19:00:34 | × | kini quits (~kini@unaffiliated/kini) (Quit: bye) |
| 2021-03-07 19:00:37 | <monochrom> | I don't think it's true in the first place. |
| 2021-03-07 19:00:44 | <zebrag> | ;) |
| 2021-03-07 19:03:02 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-07 19:03:37 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-07 19:04:06 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 246 seconds) |
| 2021-03-07 19:04:13 | <zebrag> | "MultiFunctor is actually none other than Applicative in disguise". If the category contains every products, then a a multi-argument function can be reduced to a one-argument function, that you can lift. What about that? |
| 2021-03-07 19:04:16 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-07 19:05:18 | <zebrag> | (Capriotti & Kaposi) |
| 2021-03-07 19:06:29 | <geekosaur> | that one sounds right and describes <$> and <*>, at least if I understand "MultiFunctor" in terms of the second sentence |
| 2021-03-07 19:06:45 | × | NieDzejkob quits (~quassel@vps-dd3183b7.vps.ovh.net) (Ping timeout: 240 seconds) |
| 2021-03-07 19:07:03 | <zebrag> | And Haskell is, to some extent, a variation on Set, so should contain every products. |
| 2021-03-07 19:07:30 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-03-07 19:08:33 | <zebrag> | "It is therefore natural to define a type class for generalised functors, able to lift functions of arbitrary arity" (for definition of multifunctor) |
| 2021-03-07 19:08:57 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-07 19:09:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Client Quit) |
| 2021-03-07 19:10:09 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds) |
All times are in UTC.