| 2020-10-20 00:00:02 +0000 | Wolfy87 | (~Wolfy87@89.47.234.28) () |
| 2020-10-20 00:05:44 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-20 00:05:55 +0000 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-10-20 00:06:13 +0000 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 2020-10-20 00:09:55 +0000 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-10-20 00:13:19 +0000 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2020-10-20 00:13:27 +0000 | codygman | (~codygman@2600:380:f914:a1ca:eb25:85ee:c4a3:cd2e) (Read error: Connection reset by peer) |
| 2020-10-20 00:13:49 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 00:13:57 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) |
| 2020-10-20 00:14:17 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 00:14:49 +0000 | alp | (~alp@2a01:e0a:58b:4920:1551:e4d4:fd40:f1a2) (Ping timeout: 272 seconds) |
| 2020-10-20 00:15:17 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 00:15:52 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 00:16:20 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-10-20 00:18:01 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 00:18:30 +0000 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 2020-10-20 00:20:05 +0000 | christo | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2020-10-20 00:21:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 00:21:54 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 00:22:16 +0000 | bitprophet1 | (~bitprophe@178.239.168.171) |
| 2020-10-20 00:23:43 +0000 | renzhi | (~renzhi@modemcable070.17-177-173.mc.videotron.ca) |
| 2020-10-20 00:25:01 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 246 seconds) |
| 2020-10-20 00:25:58 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 00:26:37 +0000 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2020-10-20 00:26:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 00:27:43 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 00:29:14 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 00:29:38 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 00:35:45 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) (Remote host closed the connection) |
| 2020-10-20 00:36:03 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2020-10-20 00:39:45 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 00:42:31 +0000 | nineonine | (~nineonine@50.216.62.2) |
| 2020-10-20 00:42:52 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 00:44:50 +0000 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 00:45:25 +0000 | jchia | (~jchia@58.32.66.236) (Ping timeout: 240 seconds) |
| 2020-10-20 00:47:25 +0000 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2020-10-20 00:50:50 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 00:51:27 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:8da6:35f3:7a65:db08) (Ping timeout: 244 seconds) |
| 2020-10-20 00:51:59 +0000 | jchia | (~jchia@58.32.71.108) |
| 2020-10-20 00:53:02 +0000 | <koz_> | @hoogle ($>) |
| 2020-10-20 00:53:03 +0000 | <lambdabot> | Data.Functor ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 00:53:03 +0000 | <lambdabot> | Data.Functor.Compat ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 00:53:03 +0000 | <lambdabot> | Data.Functor.Apply ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 00:53:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 00:56:42 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 00:58:13 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 00:58:32 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 00:58:32 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 00:58:32 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 01:00:28 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 01:02:54 +0000 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-20 01:02:55 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 01:04:08 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:e909:6f47:2e73:7e15) |
| 2020-10-20 01:09:48 +0000 | klixto | (~klixto@130.220.8.137) (Quit: WeeChat 2.9) |
| 2020-10-20 01:09:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-20 01:14:37 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2020-10-20 01:15:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 01:16:09 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 01:19:04 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 01:20:25 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 01:21:42 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 01:22:13 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 01:22:55 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 01:26:05 +0000 | eruditass | (uid248673@gateway/web/irccloud.com/x-upuflkjgqfommgrg) |
| 2020-10-20 01:28:24 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 01:28:34 +0000 | <remexre> | how does one write a (Free f a -> Free f a) effect? having a (a -> a) field on the functor would make it a non-functor... |
| 2020-10-20 01:29:25 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 2020-10-20 01:31:12 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 01:31:27 +0000 | Amras | (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-20 01:31:39 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 01:35:47 +0000 | borne | (~fritjof@200116b864f0110043d332954cf9072f.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-20 01:39:00 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 01:40:06 +0000 | bliminse | (~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2020-10-20 01:40:43 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 01:41:40 +0000 | jespada | (~jespada@90.254.245.15) (Ping timeout: 246 seconds) |
| 2020-10-20 01:42:06 +0000 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) |
| 2020-10-20 01:43:22 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 265 seconds) |
| 2020-10-20 01:44:09 +0000 | jespada | (~jespada@90.254.245.15) |
| 2020-10-20 01:46:57 +0000 | sagax | (~sagax_nb@213.138.71.146) (Quit: Konversation terminated!) |
| 2020-10-20 01:52:07 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 01:56:01 +0000 | m0rphism | (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds) |
| 2020-10-20 01:57:02 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2020-10-20 01:57:04 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 246 seconds) |
| 2020-10-20 01:59:19 +0000 | xff0x | (~fox@2001:1a81:522e:d900:f83c:af94:c3a5:2d3f) (Ping timeout: 272 seconds) |
| 2020-10-20 01:59:33 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 01:59:56 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 02:00:19 +0000 | plutoniix | (~q@175.176.222.7) |
| 2020-10-20 02:00:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 02:00:44 +0000 | xff0x | (~fox@2001:1a81:5267:b200:26b7:665c:9537:d5b8) |
| 2020-10-20 02:01:00 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 02:05:44 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 02:06:13 +0000 | isovector1 | (~isovector@172.103.216.166) (Ping timeout: 264 seconds) |
| 2020-10-20 02:09:13 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 02:09:48 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 02:12:12 +0000 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-10-20 02:18:01 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Read error: Connection reset by peer) |
| 2020-10-20 02:18:50 +0000 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-20 02:19:25 +0000 | theDon | (~td@muedsl-82-207-238-239.citykom.de) (Ping timeout: 240 seconds) |
| 2020-10-20 02:20:15 +0000 | texasmynsted | (~texasmyns@104.140.53.131) (Remote host closed the connection) |
| 2020-10-20 02:20:42 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 02:21:01 +0000 | texasmynsted | (~texasmyns@104.140.53.131) |
| 2020-10-20 02:21:25 +0000 | theDon | (~td@94.134.91.48) |
| 2020-10-20 02:21:57 +0000 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-10-20 02:25:54 +0000 | texasmynsted | (~texasmyns@104.140.53.131) (Ping timeout: 265 seconds) |
| 2020-10-20 02:25:59 +0000 | nek0 | (~nek0@mail.nek0.eu) |
| 2020-10-20 02:26:08 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2020-10-20 02:27:25 +0000 | lagothrix | (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services))) |
| 2020-10-20 02:27:33 +0000 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-20 02:27:52 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 02:28:06 +0000 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 02:28:14 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 02:28:50 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 02:29:02 +0000 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 02:29:46 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 02:30:02 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 02:31:58 +0000 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2020-10-20 02:33:58 +0000 | lnlsn | (~lnlsn@2804:14c:2b:891d::1008) |
| 2020-10-20 02:35:55 +0000 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2020-10-20 02:36:27 +0000 | lnlsn | (~lnlsn@2804:14c:2b:891d::1008) (Remote host closed the connection) |
| 2020-10-20 02:37:37 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:e909:6f47:2e73:7e15) (Ping timeout: 260 seconds) |
| 2020-10-20 02:40:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 02:42:14 +0000 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-nbhjcatgxbfovdna) |
| 2020-10-20 02:42:28 +0000 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2020-10-20 02:44:27 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 02:44:55 +0000 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) |
| 2020-10-20 02:48:14 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 02:49:25 +0000 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 02:49:57 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe) |
| 2020-10-20 02:50:34 +0000 | isovector1 | (~isovector@172.103.216.166) |
| 2020-10-20 02:52:03 +0000 | fremandn | (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net) |
| 2020-10-20 02:53:14 +0000 | fremandn | (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2020-10-20 02:53:28 +0000 | fremandn | (fremandn@c-24-5-242-54.hsd1.ca.comcast.net) |
| 2020-10-20 02:54:11 +0000 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 2020-10-20 02:56:00 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2020-10-20 02:56:19 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 02:58:18 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit) |
| 2020-10-20 02:58:34 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 02:59:25 +0000 | renzhi | (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2020-10-20 03:00:02 +0000 | bitprophet1 | (~bitprophe@178.239.168.171) () |
| 2020-10-20 03:04:37 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 03:07:50 +0000 | drbean | (~drbean@TC210-63-209-149.static.apol.com.tw) |
| 2020-10-20 03:07:58 +0000 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2020-10-20 03:09:35 +0000 | <koz_> | remexre: What do you mean by a (Free f a -> Free f a) effect? |
| 2020-10-20 03:10:10 +0000 | <remexre> | how would I write an effect like local (from Reader), for example |
| 2020-10-20 03:10:35 +0000 | <koz_> | :t local |
| 2020-10-20 03:10:37 +0000 | <lambdabot> | MonadReader r m => (r -> r) -> m a -> m a |
| 2020-10-20 03:11:10 +0000 | <koz_> | You don't need Free in your functor definition - that's what defines the effect. |
| 2020-10-20 03:11:15 +0000 | <koz_> | let me just sketch it for you quickly. |
| 2020-10-20 03:14:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-10-20 03:16:09 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 2020-10-20 03:18:29 +0000 | <koz_> | remexre: Something like this I think. https://gist.github.com/kozross/a90e4554562d2f056d3c4c3c20da0545 |
| 2020-10-20 03:20:05 +0000 | koz_ | actually had to refresh his memory even though he worked on free monads like, a week ago. |
| 2020-10-20 03:21:59 +0000 | wilkie | (~wilkie@185.244.214.216) |
| 2020-10-20 03:22:15 +0000 | <koz_> | I think that's incorrect though. I figured out computation nesting once, and then promptly forgot about it. |
| 2020-10-20 03:28:26 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 03:28:44 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 03:28:44 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 03:28:44 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 03:33:13 +0000 | <remexre> | koz_: I think we might be using different definitions of Free or something; I don't think that definition of Ask works for me either |
| 2020-10-20 03:33:21 +0000 | vacwm | (~user@70.23.92.191) |
| 2020-10-20 03:33:59 +0000 | <remexre> | mine would be Ask :: (r -> a) -> Reader r a |
| 2020-10-20 03:35:52 +0000 | reppertj | (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-20 03:39:52 +0000 | <ghoulguy> | The question is: How do I define Reader in terms of Free, and then write ask and local on top of that? |
| 2020-10-20 03:40:19 +0000 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 03:42:03 +0000 | <siraben> | Ah, I think I've had that problem before when working with free monads, heh. |
| 2020-10-20 03:42:10 +0000 | <siraben> | Didn't get local to work |
| 2020-10-20 03:43:44 +0000 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2020-10-20 03:43:49 +0000 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-20 03:45:16 +0000 | refried_ | (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-20 03:48:41 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 03:49:03 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 03:53:02 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 03:54:39 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 03:57:05 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 03:57:15 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 03:58:13 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds) |
| 2020-10-20 03:59:51 +0000 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds) |
| 2020-10-20 04:00:28 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:01:26 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:01:41 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:01:45 +0000 | vacwm | (~user@70.23.92.191) (Ping timeout: 240 seconds) |
| 2020-10-20 04:05:01 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 04:05:15 +0000 | bartemius | (~bartemius@109.252.19.142) |
| 2020-10-20 04:07:24 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds) |
| 2020-10-20 04:07:48 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 04:08:00 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-20 04:10:00 +0000 | <koz_> | remexre: That doesn't make a lot of sense though, since the point of ask is 'retrieve the environment'. That looks like Asks. |
| 2020-10-20 04:11:34 +0000 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 04:12:29 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2020-10-20 04:13:45 +0000 | <koz_> | But yeah, I guess I have no idea what I'm doing. |
| 2020-10-20 04:14:22 +0000 | <koz_> | Essentially, this is me: https://i.kym-cdn.com/photos/images/newsfeed/000/234/765/b7e.jpg |
| 2020-10-20 04:16:04 +0000 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 04:16:31 +0000 | mbomba | (~mbomba@174.91.94.53) ("WeeChat 2.9") |
| 2020-10-20 04:18:04 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:18:21 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:20:28 +0000 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 04:20:44 +0000 | mbomba | (~mbomba@174.91.94.53) ("WeeChat 2.9") |
| 2020-10-20 04:21:03 +0000 | <ghoulguy> | remexre: How about this? https://gist.github.com/glguy/a8be2d28c212c116a76035401710c4ad |
| 2020-10-20 04:21:45 +0000 | <koz_> | ghoulguy: Wait, are you going with a spooky season nick or something? |
| 2020-10-20 04:22:03 +0000 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 04:22:04 +0000 | jchia | (~jchia@58.32.71.108) (Remote host closed the connection) |
| 2020-10-20 04:22:17 +0000 | <ghoulguy> | Yeah, it's the thing to do in #freenode |
| 2020-10-20 04:22:22 +0000 | <koz_> | TIL. |
| 2020-10-20 04:22:44 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 04:22:44 +0000 | <koz_> | I didn't realize who you were until just now. |
| 2020-10-20 04:22:56 +0000 | <ghoulguy> | In particular the freenode staff collectively think it's the thing to do :3 |
| 2020-10-20 04:24:03 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 04:24:56 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 04:24:56 +0000 | taurux | (~taurux@net-188-152-143-32.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
| 2020-10-20 04:26:06 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 04:27:13 +0000 | taurux | (~taurux@net-93-144-31-149.cust.dsl.teletu.it) |
| 2020-10-20 04:27:44 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 04:29:03 +0000 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-10-20 04:32:40 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Read error: Connection reset by peer) |
| 2020-10-20 04:32:57 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-10-20 04:35:04 +0000 | mbomba | (~mbomba@174.91.94.53) (Quit: WeeChat 2.9) |
| 2020-10-20 04:39:59 +0000 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2020-10-20 04:40:14 +0000 | ddellacosta | (~dd@86.106.121.168) (Ping timeout: 256 seconds) |
| 2020-10-20 04:40:23 +0000 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2020-10-20 04:42:19 +0000 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) |
| 2020-10-20 04:43:59 +0000 | day_ | (~Unknown@unaffiliated/day) |
| 2020-10-20 04:44:01 +0000 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 246 seconds) |
| 2020-10-20 04:44:44 +0000 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 272 seconds) |
| 2020-10-20 04:47:54 +0000 | day | (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds) |
| 2020-10-20 04:47:54 +0000 | day_ | day |
| 2020-10-20 04:50:01 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 04:51:01 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:52:12 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 04:53:35 +0000 | bairyn | (~bairyn@unaffiliated/bob0) |
| 2020-10-20 04:54:25 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 04:56:29 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 04:57:06 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:57:14 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:57:25 +0000 | jsynacek | (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 2020-10-20 04:58:43 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 05:00:41 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2020-10-20 05:02:31 +0000 | jchia | (~jchia@45.32.62.73) |
| 2020-10-20 05:03:12 +0000 | coot | (~coot@37.30.52.239) |
| 2020-10-20 05:03:47 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-ejhfdvhwhujhpzoz) |
| 2020-10-20 05:05:21 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 05:06:02 +0000 | xerox_ | (~xerox@unaffiliated/xerox) |
| 2020-10-20 05:07:22 +0000 | jchia | (~jchia@45.32.62.73) (Remote host closed the connection) |
| 2020-10-20 05:07:58 +0000 | jchia | (~jchia@58.32.71.108) |
| 2020-10-20 05:08:58 +0000 | Sanchayan | (~Sanchayan@106.200.207.22) |
| 2020-10-20 05:11:34 +0000 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2020-10-20 05:16:28 +0000 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 2020-10-20 05:16:53 +0000 | Sanchayan | (~Sanchayan@106.200.207.22) (Quit: leaving) |
| 2020-10-20 05:16:53 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) |
| 2020-10-20 05:17:54 +0000 | Guest88073 | lep-delete |
| 2020-10-20 05:17:54 +0000 | lep-delete | Guest88073 |
| 2020-10-20 05:17:55 +0000 | Guest88073 | lep-delete |
| 2020-10-20 05:17:58 +0000 | lep-delete | Guest88073 |
| 2020-10-20 05:18:04 +0000 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
| 2020-10-20 05:18:50 +0000 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-10-20 05:19:09 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:19:35 +0000 | ishutin_ | (~Ishutin@80-95-94-59.pool.digikabel.hu) |
| 2020-10-20 05:22:44 +0000 | ishutin | (~Ishutin@178-164-207-98.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2020-10-20 05:24:29 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 05:24:58 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 05:25:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 05:28:55 +0000 | Sanchayan | (~Sanchayan@106.200.207.22) |
| 2020-10-20 05:30:44 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-10-20 05:34:22 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 05:35:56 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:39:06 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 05:39:22 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 05:39:22 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 05:39:22 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 05:39:43 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 05:41:32 +0000 | <hololeap> | is there a library that simplifies outputting some strings into columns/rows? |
| 2020-10-20 05:44:44 +0000 | whald | (~trem@2a02:810a:8100:11a6:2147:d5b1:8d50:8e3) (Remote host closed the connection) |
| 2020-10-20 05:45:06 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 05:47:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 05:49:42 +0000 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 05:50:25 +0000 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 2020-10-20 05:52:07 +0000 | <hololeap> | for instance outputting something like [(String,String)] as a table in stdout |
| 2020-10-20 05:53:00 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-20 05:53:04 +0000 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2020-10-20 05:53:53 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 05:55:01 +0000 | <hololeap> | i just found 'boxes' which looks promising |
| 2020-10-20 05:55:01 +0000 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-10-20 05:58:09 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:58:55 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 246 seconds) |
| 2020-10-20 05:58:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 06:00:02 +0000 | wilkie | (~wilkie@185.244.214.216) () |
| 2020-10-20 06:01:58 +0000 | hackage | ptr-poker 0.1.1.2 - Pointer poking action construction and composition toolkit https://hackage.haskell.org/package/ptr-poker-0.1.1.2 (NikitaVolkov) |
| 2020-10-20 06:03:31 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 06:03:43 +0000 | refried_ | (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-20 06:08:12 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 06:08:52 +0000 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) (Read error: Connection reset by peer) |
| 2020-10-20 06:11:09 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2020-10-20 06:17:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 06:18:56 +0000 | <koz_> | hololeap: I think most prettyprinter libraries offer something like this? |
| 2020-10-20 06:19:20 +0000 | nados | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving) |
| 2020-10-20 06:22:04 +0000 | alp | (~alp@2a01:e0a:58b:4920:a506:4337:34d1:c04e) |
| 2020-10-20 06:26:36 +0000 | sfvm | (~sfvm@37.228.215.148) (Remote host closed the connection) |
| 2020-10-20 06:26:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 06:28:34 +0000 | kini | (~kini@unaffiliated/kini) (Quit: No Ping reply in 210 seconds.) |
| 2020-10-20 06:29:40 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 2020-10-20 06:30:30 +0000 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2020-10-20 06:32:48 +0000 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) |
| 2020-10-20 06:34:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-10-20 06:36:27 +0000 | husixu | (~husixu@137.132.116.42) |
| 2020-10-20 06:36:58 +0000 | kini | (~kini@unaffiliated/kini) |
| 2020-10-20 06:37:31 +0000 | Franciman | (~francesco@host-82-48-166-25.retail.telecomitalia.it) |
| 2020-10-20 06:38:22 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 06:39:22 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 06:40:59 +0000 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-10-20 06:42:20 +0000 | noecho | (~noecho@static.143.42.203.116.clients.your-server.de) (Quit: ZNC - http://znc.in) |
| 2020-10-20 06:42:31 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 06:42:47 +0000 | noecho | (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 2020-10-20 06:43:32 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 06:44:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 06:46:55 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 06:47:29 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 06:51:16 +0000 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 06:52:13 +0000 | danso | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 2020-10-20 06:52:39 +0000 | nineonine | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 06:53:35 +0000 | danvet_ | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2020-10-20 06:54:26 +0000 | danvet | (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 2020-10-20 06:54:45 +0000 | isovector1 | (~isovector@172.103.216.166) (Ping timeout: 240 seconds) |
| 2020-10-20 06:54:51 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 06:55:09 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 06:56:36 +0000 | mananamenos | (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-20 06:57:49 +0000 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 2020-10-20 06:58:12 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 06:58:28 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 06:58:28 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 06:58:28 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 06:59:18 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 256 seconds) |
| 2020-10-20 06:59:31 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-10-20 06:59:33 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2020-10-20 06:59:33 +0000 | <asheshambasta> | Hi everyone, reflex-platform (?) related question. How does one override packages when using reflex-platform.project? I so far have: https://gist.github.com/asheshambasta/b18f21bc0bdf78b33b02cb846f4b83fe (based off https://github.com/srid/reflex-stone) where I'm trying to add the bulmex package. |
| 2020-10-20 06:59:39 +0000 | <asheshambasta> | (I'm also using niv here) |
| 2020-10-20 07:00:37 +0000 | <asheshambasta> | I can enter a nix-shell; but I get a "called without default argument "bulmex-custom"" error. |
| 2020-10-20 07:01:48 +0000 | <asheshambasta> | (when firing up cabal; which has bulmex-custom as one of its dependencies.) |
| 2020-10-20 07:03:17 +0000 | Echosolace | (~Echosolac@p790105-ipngn4101hiraide.tochigi.ocn.ne.jp) |
| 2020-10-20 07:03:48 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 07:04:50 +0000 | <Echosolace> | Hey, newb here looking at sum . replicate 5 . max 6.7 $ 8.9 |
| 2020-10-20 07:05:00 +0000 | <Echosolace> | Can someone tell me if my understanding is correct? |
| 2020-10-20 07:05:05 +0000 | <Echosolace> | It goes like this - |
| 2020-10-20 07:05:07 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 07:05:23 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 07:07:33 +0000 | <Echosolace> | max calls two parameters, so we are left with max 6.7 and a variable, let's call it a. It's a partial function, which is then called by replicate, which leaves us with a list that looks like this: [max 6.7 a, max 6.7 a, max 6.7 a, max 6.7 a, max 6.7 a]. Sum is called on that list, but now since a is undefined, it finally reaches out and replaces a with 8.9 and sums 5 x 8.9. |
| 2020-10-20 07:08:47 +0000 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 07:10:05 +0000 | <merijn> | Echosolace: Not really |
| 2020-10-20 07:10:12 +0000 | <Echosolace> | Sigh* |
| 2020-10-20 07:10:13 +0000 | <suzu_> | you have it backwards |
| 2020-10-20 07:10:14 +0000 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-20 07:10:22 +0000 | <merijn> | Echosolace: You are overthinking the partial application thing |
| 2020-10-20 07:10:49 +0000 | <merijn> | Echosolace: Let's work backwards rewriting things |
| 2020-10-20 07:10:54 +0000 | <Echosolace> | Ok |
| 2020-10-20 07:11:00 +0000 | <merijn> | $ has the lowest precedence, so we start there |
| 2020-10-20 07:11:08 +0000 | <merijn> | f $ x = f x |
| 2020-10-20 07:11:09 +0000 | <Echosolace> | Yep. Everything to the left first. |
| 2020-10-20 07:11:10 +0000 | <merijn> | So |
| 2020-10-20 07:11:26 +0000 | <merijn> | (sum . replicate 5 . max 6.7) 8.9 |
| 2020-10-20 07:11:39 +0000 | <Echosolace> | Yes. |
| 2020-10-20 07:11:40 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds) |
| 2020-10-20 07:11:51 +0000 | <merijn> | f . g = \x -> f (g x) |
| 2020-10-20 07:12:15 +0000 | <suzu_> | the stuff in the braces is a function that gets called with 8.9 |
| 2020-10-20 07:12:19 +0000 | <Echosolace> | f of g |
| 2020-10-20 07:12:23 +0000 | <merijn> | SO you get ((\x -> sum (replicate 5 x)) . max 6.7) 8.9 |
| 2020-10-20 07:13:07 +0000 | <merijn> | (\y -> (\x -> sum (replicate 5 x)) (max 6.7 y)) 8.9 |
| 2020-10-20 07:13:21 +0000 | <merijn> | Then we can simplify |
| 2020-10-20 07:13:26 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 07:13:43 +0000 | <merijn> | (\y -> sum (replicate 5 (max 6.7 y))) 8.9 |
| 2020-10-20 07:13:46 +0000 | <merijn> | And finally |
| 2020-10-20 07:13:59 +0000 | <merijn> | sum (replicate 5 (max 6.7 8.9)) |
| 2020-10-20 07:15:17 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 07:15:18 +0000 | <Echosolace> | Ok ok I think that helped... The stuff in the braces is a function that gets called with the outside parameter... got it. |
| 2020-10-20 07:15:31 +0000 | <merijn> | Although in practice you normally read "f . g . h" sorta like a pipeline where a values goes into 'h', it's result goes into 'g', and that result goes into 'f' (which, as you can see is exactly what happens in the elaborate version I wrote out |
| 2020-10-20 07:16:08 +0000 | <merijn> | Without constructing all the lambda's in your head, because that's a load of bookkeeping |
| 2020-10-20 07:16:15 +0000 | <ghoulguy> | I think it might help to rewrite (f.g.h) to (f.(g.h)) as an explicit step |
| 2020-10-20 07:17:03 +0000 | <merijn> | Possibly, but I had was too lazy to figure out the brace and (fortunately) "f.(g.h)" and "(f.g).h" are the same ;) |
| 2020-10-20 07:18:09 +0000 | <ghoulguy> | They end up being the same. I suppose it's convenient to collapse that all at once to \x->f(g(h x)) |
| 2020-10-20 07:18:48 +0000 | raichoo | (~raichoo@213.240.178.58) |
| 2020-10-20 07:18:58 +0000 | <dminuoso> | Mmm, can a generic function to provide isomorphisms between arbitrary tuples (that is `f :: (S,T,U) -> ((S,T),U)`, `f :: (S,T,U) -> (S,(T,U))`, `f :: ((S,T),U) -> (S,T,U)` exist at all? |
| 2020-10-20 07:18:59 +0000 | <merijn> | Yeah, that's what my brain does, but that feels too much like "voodoo" for beginners, I think :) |
| 2020-10-20 07:19:19 +0000 | <merijn> | I like dumb, mechanical rewrite rules, because anyone get understand them and they work really well in Haskell :) |
| 2020-10-20 07:19:45 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-20 07:19:54 +0000 | lpsmith | (~lpsmith@unaffiliated/lpsmith) (Quit: ZNC 1.6.5 - http://znc.in) |
| 2020-10-20 07:21:13 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-20 07:21:37 +0000 | lpsmith | (~lpsmith@unaffiliated/lpsmith) |
| 2020-10-20 07:22:15 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 07:23:33 +0000 | tzh | (~tzh@2601:448:c500:5300::e74c) (Quit: zzz) |
| 2020-10-20 07:24:38 +0000 | SanchayanM | (~Sanchayan@122.167.98.111) |
| 2020-10-20 07:25:27 +0000 | <Echosolace> | Ok this one has been doing my head in for a couple of days. It seems so similiar to the previous one - replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 07:25:49 +0000 | Sanchayan | (~Sanchayan@106.200.207.22) (Ping timeout: 260 seconds) |
| 2020-10-20 07:25:54 +0000 | <Echosolace> | So a lengthy function is being called on 4,5..8 |
| 2020-10-20 07:25:57 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 07:26:10 +0000 | <Echosolace> | max determines that 4,5..8 is bigger. |
| 2020-10-20 07:26:20 +0000 | <Echosolace> | it's the zipWith that has me confused. |
| 2020-10-20 07:26:27 +0000 | <Echosolace> | There's nothing to zipWith... |
| 2020-10-20 07:26:42 +0000 | <merijn> | :t zipWith |
| 2020-10-20 07:26:43 +0000 | <lambdabot> | (a -> b -> c) -> [a] -> [b] -> [c] |
| 2020-10-20 07:26:53 +0000 | <Echosolace> | What... |
| 2020-10-20 07:26:57 +0000 | <Echosolace> | :t zipWith |
| 2020-10-20 07:26:57 +0000 | <opqdonut> | Echosolace: zipWith max [1,2,3,4] [4,5,6,7] ==> [max 1 4, max 2 5, max 3 6, max 4 7] |
| 2020-10-20 07:26:59 +0000 | <lambdabot> | (a -> b -> c) -> [a] -> [b] -> [c] |
| 2020-10-20 07:27:04 +0000 | <Echosolace> | Holy shit you can do that here? |
| 2020-10-20 07:27:11 +0000 | <merijn> | Yes? :p |
| 2020-10-20 07:27:17 +0000 | <merijn> | :t zipWith max |
| 2020-10-20 07:27:18 +0000 | <lambdabot> | Ord c => [c] -> [c] -> [c] |
| 2020-10-20 07:27:24 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 07:27:26 +0000 | <Echosolace> | wtf you can type multiples? |
| 2020-10-20 07:27:36 +0000 | <Echosolace> | Yo. |
| 2020-10-20 07:27:39 +0000 | <merijn> | Echosolace: The flaw in your reasoning is that max isn't being applied to those lists |
| 2020-10-20 07:27:47 +0000 | <merijn> | zipWith is being applied to max |
| 2020-10-20 07:28:14 +0000 | <merijn> | And then "zipWith max" is applied first to one list and then "zipWith max [1,2,3,4]" is applied to the final list |
| 2020-10-20 07:29:02 +0000 | <merijn> | Echosolace: In general "foo bar baz quux" is parenthesised as "(((foo bar) baz) quux)" |
| 2020-10-20 07:29:16 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-ejhfdvhwhujhpzoz) (Quit: Connection closed for inactivity) |
| 2020-10-20 07:29:26 +0000 | <merijn> | The exception is operator which are binary and *always* have lower precedence then function application |
| 2020-10-20 07:30:12 +0000 | <merijn> | So "replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5]" is "(replicate 100) . product . (map (*3)) . (zipWith max [1,2,3,4,5])" |
| 2020-10-20 07:30:27 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 07:30:34 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 07:31:16 +0000 | <merijn> | > zipWith f [1,2,3,4] [5,6,7,8] |
| 2020-10-20 07:31:18 +0000 | <lambdabot> | error: |
| 2020-10-20 07:31:19 +0000 | <lambdabot> | • Ambiguous type variable ‘c0’ arising from a use of ‘show_M201622632345... |
| 2020-10-20 07:31:19 +0000 | <lambdabot> | prevents the constraint ‘(Show c0)’ from being solved. |
| 2020-10-20 07:31:28 +0000 | <merijn> | > zipWith f [1,2,3,4] [5,6,7,8] :: [Expr] |
| 2020-10-20 07:31:30 +0000 | <lambdabot> | [f 1 5,f 2 6,f 3 7,f 4 8] |
| 2020-10-20 07:31:48 +0000 | <merijn> | opqdonut: ^^ lazily not writing things out like a pro ;) |
| 2020-10-20 07:31:49 +0000 | <Echosolace> | Thanks, it's all still processing... |
| 2020-10-20 07:32:09 +0000 | <opqdonut> | merijn: heh, I can never trust myself to get the expr stuff to work "live" |
| 2020-10-20 07:32:41 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2020-10-20 07:34:08 +0000 | <Echosolace> | > max 4 5 |
| 2020-10-20 07:34:10 +0000 | <lambdabot> | 5 |
| 2020-10-20 07:34:14 +0000 | <Echosolace> | So cool. |
| 2020-10-20 07:34:21 +0000 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:9049:722b:5333:309e) (Ping timeout: 272 seconds) |
| 2020-10-20 07:34:40 +0000 | <Echosolace> | > max [1,2,3,4] [4,5,6,7] |
| 2020-10-20 07:34:40 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Client Quit) |
| 2020-10-20 07:34:42 +0000 | <lambdabot> | [4,5,6,7] |
| 2020-10-20 07:34:44 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 07:34:58 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 07:37:03 +0000 | mud | (~mud@unaffiliated/kadoban) (Remote host closed the connection) |
| 2020-10-20 07:37:58 +0000 | mud | (~mud@unaffiliated/kadoban) |
| 2020-10-20 07:38:46 +0000 | borne | (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de) |
| 2020-10-20 07:39:09 +0000 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) |
| 2020-10-20 07:39:26 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 07:40:31 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 256 seconds) |
| 2020-10-20 07:40:52 +0000 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) |
| 2020-10-20 07:42:44 +0000 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 2020-10-20 07:42:57 +0000 | <Echosolace> | This stuff is beautiful... |
| 2020-10-20 07:43:11 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 07:43:16 +0000 | <Echosolace> | So, maybe someone can hear out my understanding. |
| 2020-10-20 07:43:18 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 07:43:58 +0000 | <Echosolace> | zipWith uses the function max to tie the two lists together... a la [max 1 4, max 2 5, max 3 6, max 4 7] |
| 2020-10-20 07:44:22 +0000 | <Echosolace> | map then ties *3 to each list element. |
| 2020-10-20 07:44:55 +0000 | xff0x | (~fox@2001:1a81:5267:b200:26b7:665c:9537:d5b8) (Ping timeout: 240 seconds) |
| 2020-10-20 07:45:10 +0000 | <Echosolace> | so now we have [ (max 1 4) * 3, (max 2 5) * 3, (max 3 6) * 3, (max 4 7) *3] |
| 2020-10-20 07:45:14 +0000 | fremandn | (fremandn@c-24-5-242-54.hsd1.ca.comcast.net) () |
| 2020-10-20 07:45:50 +0000 | <Echosolace> | replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5]" is "(replicate 100) . product . (map (*3)) . (zipWith max [1,2,3,4,5])" |
| 2020-10-20 07:45:53 +0000 | xff0x | (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e) |
| 2020-10-20 07:46:09 +0000 | <Echosolace> | Then that gets evaluated, then each element is multiplied together... |
| 2020-10-20 07:46:24 +0000 | <Echosolace> | and then repeated into a list 100 times? |
| 2020-10-20 07:47:12 +0000 | <Echosolace> | Original reference - replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 07:47:25 +0000 | <Echosolace> | > replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 07:47:27 +0000 | <lambdabot> | [1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,163... |
| 2020-10-20 07:47:37 +0000 | <Echosolace> | Sure looks like it... |
| 2020-10-20 07:48:14 +0000 | <Echosolace> | > 12 x 15 x 18 x 21 |
| 2020-10-20 07:48:16 +0000 | <lambdabot> | error: |
| 2020-10-20 07:48:16 +0000 | <lambdabot> | • Could not deduce (Num t0) |
| 2020-10-20 07:48:16 +0000 | <lambdabot> | from the context: (Num t, Num t3, Num t4, |
| 2020-10-20 07:48:30 +0000 | <Echosolace> | > 12 * 15 * 18 * 21 |
| 2020-10-20 07:48:32 +0000 | <lambdabot> | 68040 |
| 2020-10-20 07:48:57 +0000 | <Echosolace> | > 12 * 15 * 18 * 21 * 24 |
| 2020-10-20 07:48:59 +0000 | <lambdabot> | 1632960 |
| 2020-10-20 07:49:17 +0000 | <Echosolace> | Thanks for the help! |
| 2020-10-20 07:52:05 +0000 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds) |
| 2020-10-20 07:54:09 +0000 | coot | (~coot@37.30.52.239) () |
| 2020-10-20 07:54:47 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 07:56:00 +0000 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-chlrdvhuygbnoesm) (Quit: Connection closed for inactivity) |
| 2020-10-20 07:56:06 +0000 | <Echosolace> | Just finished the higher order functions chapter on learn you a haskell. It was daunting but ya'll helped a bunch, thanks! Woot! |
| 2020-10-20 07:57:16 +0000 | kuribas | (~user@ptr-25vy0iajfrrz51ad66r.18120a2.ip6.access.telenet.be) |
| 2020-10-20 07:57:32 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 07:57:58 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 07:59:25 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds) |
| 2020-10-20 07:59:28 +0000 | hackage | jsonifier 0.1.0.4 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1.0.4 (NikitaVolkov) |
| 2020-10-20 07:59:58 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2020-10-20 08:00:33 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-eatidcztrwplllyi) (Quit: Connection closed for inactivity) |
| 2020-10-20 08:01:25 +0000 | tty11 | (~tty1@178.162.209.171) |
| 2020-10-20 08:04:06 +0000 | gioyik | (~gioyik@190.67.155.46) (Quit: WeeChat 2.9) |
| 2020-10-20 08:05:01 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 08:07:54 +0000 | <merijn> | Echosolace: One side note about your use of "and then" is that the evaluation order of Haskell isn't defined (well, that's a bit of an oversimplification, but it will do for now) so there's no real notion of "and then", they key is that in a pure setting the order becomes irrelevant |
| 2020-10-20 08:07:55 +0000 | xff0x | (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e) (Ping timeout: 272 seconds) |
| 2020-10-20 08:08:04 +0000 | xff0x | (~fox@2001:1a81:5267:b200:703a:2918:9e39:c085) |
| 2020-10-20 08:09:20 +0000 | danvet | (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 2020-10-20 08:10:31 +0000 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 2020-10-20 08:11:15 +0000 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2020-10-20 08:12:13 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 08:12:28 +0000 | worc3131 | (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) (Remote host closed the connection) |
| 2020-10-20 08:13:46 +0000 | worc3131 | (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) |
| 2020-10-20 08:14:26 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2020-10-20 08:15:44 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-10-20 08:17:53 +0000 | kritzefitz | (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) |
| 2020-10-20 08:20:11 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds) |
| 2020-10-20 08:21:02 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-20 08:21:52 +0000 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-10-20 08:22:14 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 08:25:49 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64) |
| 2020-10-20 08:26:28 +0000 | thc202 | (~thc202@unaffiliated/thc202) |
| 2020-10-20 08:26:48 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 08:26:50 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 08:27:58 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 260 seconds) |
| 2020-10-20 08:28:44 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64) (Client Quit) |
| 2020-10-20 08:31:15 +0000 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-10-20 08:31:25 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 08:35:10 +0000 | GoatyMcGoatface | shadowdao |
| 2020-10-20 08:36:05 +0000 | kritzefitz | (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 08:36:23 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2020-10-20 08:36:54 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 08:37:25 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 08:38:01 +0000 | Kebab | (257a7135@h37-122-113-53.dyn.bashtel.ru) |
| 2020-10-20 08:38:54 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 08:39:14 +0000 | drbean | (~drbean@TC210-63-209-149.static.apol.com.tw) (Ping timeout: 258 seconds) |
| 2020-10-20 08:39:51 +0000 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 08:41:01 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 264 seconds) |
| 2020-10-20 08:41:20 +0000 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-20 08:41:23 +0000 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2020-10-20 08:41:26 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 08:41:38 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 08:41:40 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2020-10-20 08:42:04 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 08:43:21 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 08:45:48 +0000 | Tario | (~Tario@201.192.165.173) (Remote host closed the connection) |
| 2020-10-20 08:46:59 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 08:48:37 +0000 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-10-20 08:51:16 +0000 | plutoniix | (~q@175.176.222.7) (Quit: Leaving) |
| 2020-10-20 08:52:48 +0000 | borne | (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-10-20 08:52:49 +0000 | <dminuoso> | ito :: (s -> (i, a)) -> IndexedGetter i s a |
| 2020-10-20 08:52:52 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 08:53:04 +0000 | <dminuoso> | Im looking for a variant of `to` that gets access to the current index. Is there such a thing? |
| 2020-10-20 08:53:31 +0000 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) |
| 2020-10-20 08:53:54 +0000 | <dminuoso> | That is, some `((i, s) -> a) -> IndexedGetter i s a` maybe? |
| 2020-10-20 08:55:26 +0000 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 2020-10-20 08:55:43 +0000 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-10-20 08:56:24 +0000 | plutoniix | (~q@175.176.222.7) |
| 2020-10-20 08:56:45 +0000 | britva | (~britva@51.154.14.117) |
| 2020-10-20 08:57:05 +0000 | christo | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2020-10-20 08:58:22 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763) |
| 2020-10-20 08:58:27 +0000 | <edwardk> | :t withIndex |
| 2020-10-20 08:58:28 +0000 | <lambdabot> | (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t) |
| 2020-10-20 08:59:33 +0000 | <edwardk> | :t withIndex.to _foo |
| 2020-10-20 08:59:39 +0000 | <lambdabot> | error: |
| 2020-10-20 08:59:39 +0000 | <lambdabot> | • Found hole: _foo :: (j, t) -> a |
| 2020-10-20 08:59:39 +0000 | <lambdabot> | Where: ‘j’, ‘t’, ‘a’ are rigid type variables bound by |
| 2020-10-20 08:59:45 +0000 | <edwardk> | like that? |
| 2020-10-20 09:00:02 +0000 | tty11 | (~tty1@178.162.209.171) () |
| 2020-10-20 09:00:37 +0000 | <edwardk> | you need to use it inside of some context where you have an index, of course |
| 2020-10-20 09:00:55 +0000 | <edwardk> | :t itraversed.withIndex |
| 2020-10-20 09:00:57 +0000 | <lambdabot> | (TraversableWithIndex i t, Indexable i p, Applicative f) => p (i, a) (f (j, b)) -> t a -> f (t b) |
| 2020-10-20 09:01:07 +0000 | <edwardk> | :t itraversed.withIndex.to id |
| 2020-10-20 09:01:08 +0000 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2020-10-20 09:01:09 +0000 | <lambdabot> | (TraversableWithIndex j t, Indexable j p, Contravariant f, Applicative f) => p (j, b) (f (j, b)) -> t b -> f (t b) |
| 2020-10-20 09:02:15 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 09:02:46 +0000 | <dminuoso> | % toListOf (itraversed . withIndex) ([1,2,3] :: [Int]) |
| 2020-10-20 09:02:47 +0000 | <yahb> | dminuoso: [(0,1),(1,2),(2,3)] |
| 2020-10-20 09:02:50 +0000 | <dminuoso> | edwardk: Looks about right, cheers! |
| 2020-10-20 09:03:18 +0000 | <edwardk> | :t asIndex |
| 2020-10-20 09:03:19 +0000 | <lambdabot> | (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s) |
| 2020-10-20 09:03:32 +0000 | <edwardk> | also exists and might be useful in some situations |
| 2020-10-20 09:04:13 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 09:05:23 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:05:28 +0000 | <dminuoso> | edwardk: I guess `asIndex = withIndex . to fst` roughly? |
| 2020-10-20 09:05:32 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Read error: Connection reset by peer) |
| 2020-10-20 09:05:37 +0000 | <edwardk> | yeah |
| 2020-10-20 09:05:51 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 09:05:54 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 09:08:09 +0000 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-20 09:09:54 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-10-20 09:10:50 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2020-10-20 09:11:54 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 09:12:41 +0000 | leah2 | (~leah@vuxu.org) |
| 2020-10-20 09:14:58 +0000 | ukari | (~ukari@unaffiliated/ukari) |
| 2020-10-20 09:15:17 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:15:25 +0000 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 09:16:14 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 09:18:40 +0000 | nineonine | (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 265 seconds) |
| 2020-10-20 09:19:40 +0000 | wei | (~wei@66.42.41.89) (Read error: Connection reset by peer) |
| 2020-10-20 09:19:52 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-10-20 09:20:33 +0000 | havenwood1 | (~havenwood@185.163.110.116) |
| 2020-10-20 09:20:37 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 264 seconds) |
| 2020-10-20 09:20:48 +0000 | polyrain | (~polyrain@58.161.83.164) |
| 2020-10-20 09:20:59 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 09:23:52 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 09:24:52 +0000 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-gbyrgzvhkjxxusae) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-ptvuhwxuhfxasuxj) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-gsmubjcfwartpuyv) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-sccsqjcyzbrdqsny) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-agqptcwygxrodhxb) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-nbsqkvyjxpcolcjf) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | psydruid | (psydruidma@gateway/shell/matrix.org/x-oprbmexkbiobupsb) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-wjxgdezrhvtzaogq) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-eajfsrqdggsxtjvo) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | hnOsmium0001[m] | (hnosmium00@gateway/shell/matrix.org/x-gyngapiijxrddvgg) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | themsay[m] | (themsaymat@gateway/shell/matrix.org/x-zjmsdphtuogbzdnl) (Quit: killed) |
| 2020-10-20 09:24:52 +0000 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-icdlnorsjqgkpxaw) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-koqtjvguqdzqkcxh) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | chreekat[m] | (chreekatma@gateway/shell/matrix.org/x-xbcxbptrlxxpfxsr) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | sureyeaah | (shauryab98@gateway/shell/matrix.org/x-cwwiukanmlcbaqdo) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | maralorn | (maralornma@gateway/shell/matrix.org/x-zkyzkncpuafqbgyu) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | JoelMcCracken[m] | (joelmccrac@gateway/shell/matrix.org/x-koqjdeyeiyqanqia) (Quit: killed) |
| 2020-10-20 09:24:53 +0000 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-jkdshcytuttkbfpt) (Quit: killed) |
| 2020-10-20 09:24:54 +0000 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-clashmxqyivyyrpr) (Quit: killed) |
| 2020-10-20 09:24:55 +0000 | steve[m] | (stevetrout@gateway/shell/matrix.org/x-rtatbjmnbxiznpmg) (Quit: killed) |
| 2020-10-20 09:24:57 +0000 | zerstroyer[m] | (zerstroyer@gateway/shell/matrix.org/x-odscjndwbucnjdke) (Quit: killed) |
| 2020-10-20 09:24:57 +0000 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-lsmbcsozkdzcnpwu) (Quit: killed) |
| 2020-10-20 09:24:59 +0000 | ttc | (tomtauma1@gateway/shell/matrix.org/x-haadxrqzgtcsrdca) (Quit: killed) |
| 2020-10-20 09:24:59 +0000 | unclechu | (unclechuma@gateway/shell/matrix.org/x-zgeyqatdetfrsgfy) (Quit: killed) |
| 2020-10-20 09:24:59 +0000 | gmind[m] | (gmindmatri@gateway/shell/matrix.org/x-dtqofmafghxzbxls) (Quit: killed) |
| 2020-10-20 09:24:59 +0000 | siraben | (sirabenmat@gateway/shell/matrix.org/x-ltzmckarrmguosgk) (Quit: killed) |
| 2020-10-20 09:25:00 +0000 | texasmynsted[m]1 | (mmynstedko@gateway/shell/matrix.org/x-jzvbrkpfvqeicyva) (Quit: killed) |
| 2020-10-20 09:25:02 +0000 | betrion[m] | (betrionmat@gateway/shell/matrix.org/x-tvrpywqkiskftcqo) (Quit: killed) |
| 2020-10-20 09:25:04 +0000 | jlv | (jlvjustinl@gateway/shell/matrix.org/x-iwakkkxhzkvqgocd) (Quit: killed) |
| 2020-10-20 09:25:05 +0000 | DeadComaGrayce[m | (commagra1@gateway/shell/matrix.org/x-mbzrorwyrzsyvzxq) (Quit: killed) |
| 2020-10-20 09:25:05 +0000 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-hmsbyitwctjrefyg) (Quit: killed) |
| 2020-10-20 09:25:06 +0000 | iinuwa | (iinuwamatr@gateway/shell/matrix.org/x-nfkeciehgetsazih) (Quit: killed) |
| 2020-10-20 09:25:06 +0000 | jeffcasavant[m]1 | (jeffcasava@gateway/shell/matrix.org/x-eehnfkgrainilxie) (Quit: killed) |
| 2020-10-20 09:25:07 +0000 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-oqqgzyvgqemxlxor) (Quit: killed) |
| 2020-10-20 09:25:10 +0000 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-nbhjcatgxbfovdna) (Quit: killed) |
| 2020-10-20 09:25:10 +0000 | srid | (sridmatrix@gateway/shell/matrix.org/x-qzwenlzhtlhlcace) (Quit: killed) |
| 2020-10-20 09:25:11 +0000 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-vcivbailtuqowgfi) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | wrunt[m] | (wruntmatri@gateway/shell/matrix.org/x-lgxhuyewbpjmhgno) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | tersetears[m] | (tersetears@gateway/shell/matrix.org/x-pldppmjclmpzqaog) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | bonvoyage[m] | (bonvoyageu@gateway/shell/matrix.org/x-netifemzzfxlmlap) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | drozdziak1 | (drozdziak1@gateway/shell/matrix.org/x-qsrzjrmwedxwifhe) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | Fernando-Basso[m | (fernando-b@gateway/shell/matrix.org/x-ggwqzbckrjzoebqm) (Quit: killed) |
| 2020-10-20 09:25:12 +0000 | micahsovereign[m | (micahsover@gateway/shell/matrix.org/x-fdcktwkiurzttdbm) (Quit: killed) |
| 2020-10-20 09:25:13 +0000 | mmynsted[m] | (mmynstedtc@gateway/shell/matrix.org/x-niyifdmgamjmeagm) (Quit: killed) |
| 2020-10-20 09:25:13 +0000 | tttom[m] | (tttommatri@gateway/shell/matrix.org/x-soasxrnveoheosxm) (Quit: killed) |
| 2020-10-20 09:25:13 +0000 | GuillaumeChrel[m | (guillaumec@gateway/shell/matrix.org/x-gnseeldmgheyniaq) (Quit: killed) |
| 2020-10-20 09:25:13 +0000 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-kjjsajpvynbjxyjt) (Quit: killed) |
| 2020-10-20 09:25:14 +0000 | ComaGrayce[m] | (commagrays@gateway/shell/matrix.org/x-judmpjaakotiswoi) (Quit: killed) |
| 2020-10-20 09:25:14 +0000 | theduke | (thedukem1@gateway/shell/matrix.org/x-tfitaspyhmnjubsl) (Quit: killed) |
| 2020-10-20 09:25:15 +0000 | wi[m] | (w1gzmatrix@gateway/shell/matrix.org/x-ymbhwxurjlfoxjnq) (Quit: killed) |
| 2020-10-20 09:25:15 +0000 | io_r_us[m] | (commandlin@gateway/shell/matrix.org/x-ooxzqxwxkykjcelk) (Quit: killed) |
| 2020-10-20 09:25:16 +0000 | ethercrow[m] | (ethercrowm@gateway/shell/matrix.org/x-mhxrudfakkaxubql) (Quit: killed) |
| 2020-10-20 09:25:16 +0000 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-titsgoawtmwelkxy) (Quit: killed) |
| 2020-10-20 09:25:16 +0000 | albestro[m] | (albestroma@gateway/shell/matrix.org/x-pjjqsudezxydksrs) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-pcihubjetuqwkhon) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-sdymrxybgjfdnoyu) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | nihilazo | (nihilazoma@gateway/shell/matrix.org/x-oybdwgyjgiaqufzl) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-bitadduvtvbneaeb) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | CaptainFox[m] | (onianimatr@gateway/shell/matrix.org/x-drbxwvoncpbckyzk) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | mikr[m] | (mikrdavral@gateway/shell/matrix.org/x-hacnsmsjuxjtzoxd) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-fxxfrxcrsgikwrue) (Quit: killed) |
| 2020-10-20 09:25:18 +0000 | jiribenes1 | (jbjiribene@gateway/shell/matrix.org/x-depxshgmerhghelp) (Quit: killed) |
| 2020-10-20 09:28:13 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) |
| 2020-10-20 09:28:25 +0000 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2020-10-20 09:29:10 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 09:29:43 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 09:29:46 +0000 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 2020-10-20 09:30:07 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 09:31:01 +0000 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-10-20 09:31:45 +0000 | xerox__ | (~xerox@unaffiliated/xerox) |
| 2020-10-20 09:32:15 +0000 | jiribenes1 | (jbjiribene@gateway/shell/matrix.org/x-ywtaulhgwnhnsvxt) |
| 2020-10-20 09:33:03 +0000 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-20 09:34:14 +0000 | xerox_ | (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 2020-10-20 09:34:14 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-20 09:34:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 09:35:48 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:35:54 +0000 | xerox__ | xerox_ |
| 2020-10-20 09:37:13 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-20 09:39:12 +0000 | sagax | (~sagax_nb@213.138.71.146) |
| 2020-10-20 09:39:55 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-20 09:39:59 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 260 seconds) |
| 2020-10-20 09:40:25 +0000 | Echosolace | (~Echosolac@p790105-ipngn4101hiraide.tochigi.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 2020-10-20 09:40:26 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 09:43:31 +0000 | Kebab | (257a7135@h37-122-113-53.dyn.bashtel.ru) (Remote host closed the connection) |
| 2020-10-20 09:43:36 +0000 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 09:43:52 +0000 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 09:45:45 +0000 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-kxldbtoxiyqqqedi) |
| 2020-10-20 09:45:45 +0000 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-nltixegvkavzyoul) |
| 2020-10-20 09:45:45 +0000 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-kjzdaftnxeysexza) |
| 2020-10-20 09:45:45 +0000 | ttc | (tomtauma1@gateway/shell/matrix.org/x-mcwzexsnwpdfymag) |
| 2020-10-20 09:45:46 +0000 | nihilazo | (nihilazoma@gateway/shell/matrix.org/x-sbjmjryxjhfbwlul) |
| 2020-10-20 09:45:46 +0000 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-futysjdhnnxsbkpw) |
| 2020-10-20 09:45:46 +0000 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-wwzwaupbtfkoadjy) |
| 2020-10-20 09:45:46 +0000 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-ewmkzhxvdotuajer) |
| 2020-10-20 09:45:46 +0000 | tersetears[m] | (tersetears@gateway/shell/matrix.org/x-nyaxdrvmpvslsqtu) |
| 2020-10-20 09:45:46 +0000 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-tjofikpsndtqqoip) |
| 2020-10-20 09:45:46 +0000 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-ukccuigjmsjfrngr) |
| 2020-10-20 09:45:46 +0000 | boistordu | (boistordum@gateway/shell/matrix.org/x-xgghootbaqsnhxfp) |
| 2020-10-20 09:45:47 +0000 | iinuwa | (iinuwamatr@gateway/shell/matrix.org/x-jyhekixvpktslcoc) |
| 2020-10-20 09:45:47 +0000 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-nojviefmaelofmtu) |
| 2020-10-20 09:45:47 +0000 | hnOsmium0001[m] | (hnosmium00@gateway/shell/matrix.org/x-fvmtmiqtqsjbazqg) |
| 2020-10-20 09:45:47 +0000 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-kfsqukvjenobsiyf) |
| 2020-10-20 09:45:47 +0000 | io_r_us[m] | (commandlin@gateway/shell/matrix.org/x-drnpoxjvaxdwwqgi) |
| 2020-10-20 09:45:47 +0000 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-uvhosqtcrbesnxty) |
| 2020-10-20 09:45:47 +0000 | texasmynsted[m] | (mmynstedko@gateway/shell/matrix.org/x-dzaunedvswenjriu) |
| 2020-10-20 09:45:47 +0000 | chreekat[m] | (chreekatma@gateway/shell/matrix.org/x-gieddtjtrbfhzuob) |
| 2020-10-20 09:45:47 +0000 | siraben | (sirabenmat@gateway/shell/matrix.org/x-zfgbuyuodlcnmskq) |
| 2020-10-20 09:45:47 +0000 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-rlgfpzrggighdhrb) |
| 2020-10-20 09:45:47 +0000 | theduke | (thedukem1@gateway/shell/matrix.org/x-wpftwdkxgzvghvvl) |
| 2020-10-20 09:45:48 +0000 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-tkusjxcwwbivwlkm) |
| 2020-10-20 09:45:48 +0000 | micahsovereign[m | (micahsover@gateway/shell/matrix.org/x-gjrcbpecsppcokwm) |
| 2020-10-20 09:45:48 +0000 | Fernando-Basso[m | (fernando-b@gateway/shell/matrix.org/x-effarlclrewjufqv) |
| 2020-10-20 09:45:48 +0000 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-fxzcljgcghrdenen) |
| 2020-10-20 09:45:48 +0000 | srid | (sridmatrix@gateway/shell/matrix.org/x-hviraidnojgflwps) |
| 2020-10-20 09:45:48 +0000 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-crwphkmgvfrosaji) |
| 2020-10-20 09:45:48 +0000 | drozdziak1 | (drozdziak1@gateway/shell/matrix.org/x-gidmfcvagtajvhhw) |
| 2020-10-20 09:45:48 +0000 | psydruid | (psydruidma@gateway/shell/matrix.org/x-pvfpsaadgrgcnmsj) |
| 2020-10-20 09:45:49 +0000 | bonvoyage[m] | (bonvoyageu@gateway/shell/matrix.org/x-rwrgsqnfczgpcfzg) |
| 2020-10-20 09:45:49 +0000 | zerstroyer[m] | (zerstroyer@gateway/shell/matrix.org/x-abrqfdkucphandbz) |
| 2020-10-20 09:45:49 +0000 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) |
| 2020-10-20 09:45:49 +0000 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-oldcfzkhkovghpdz) |
| 2020-10-20 09:45:49 +0000 | unclechu | (unclechuma@gateway/shell/matrix.org/x-rpzcmsnopbhgclgj) |
| 2020-10-20 09:45:49 +0000 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-krghsdaqvpzvmoqq) |
| 2020-10-20 09:45:49 +0000 | JoelMcCracken[m] | (joelmccrac@gateway/shell/matrix.org/x-knmshmpivzxzsdhs) |
| 2020-10-20 09:45:49 +0000 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-bdiuggqbskrlwvgh) |
| 2020-10-20 09:45:50 +0000 | ethercrow[m] | (ethercrowm@gateway/shell/matrix.org/x-kbjvkxqwgnsppadv) |
| 2020-10-20 09:45:50 +0000 | themsay[m] | (themsaymat@gateway/shell/matrix.org/x-uotbvuvhvtbhjjxf) |
| 2020-10-20 09:45:50 +0000 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-tborxvojsdhzkgkh) |
| 2020-10-20 09:45:50 +0000 | maralorn | (maralornma@gateway/shell/matrix.org/x-vqhpwortgcdenadb) |
| 2020-10-20 09:45:50 +0000 | sureyeaah | (shauryab98@gateway/shell/matrix.org/x-avtqnyzbzcxsvcva) |
| 2020-10-20 09:45:52 +0000 | CaptainFox[m] | (onianimatr@gateway/shell/matrix.org/x-miahmjdoquzpwvgq) |
| 2020-10-20 09:45:52 +0000 | betrion[m] | (betrionmat@gateway/shell/matrix.org/x-qpffcnlgtzskewhs) |
| 2020-10-20 09:45:52 +0000 | wrunt[m] | (wruntmatri@gateway/shell/matrix.org/x-bxtindmfgzagxold) |
| 2020-10-20 09:45:52 +0000 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-xudbhqjcpbntxwlf) |
| 2020-10-20 09:45:52 +0000 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-gjzsseikahzwfhmv) |
| 2020-10-20 09:45:53 +0000 | vaibhavsagar | (vaibhavsag@gateway/shell/matrix.org/x-ynipythrsvdyajlm) |
| 2020-10-20 09:45:53 +0000 | jlv | (jlvjustinl@gateway/shell/matrix.org/x-mghywjuolvedlyvk) |
| 2020-10-20 09:45:53 +0000 | DeadComaGrayce[m | (commagra1@gateway/shell/matrix.org/x-zzpvpjjstynkgden) |
| 2020-10-20 09:45:53 +0000 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-rumnfgeqditogrbg) |
| 2020-10-20 09:45:54 +0000 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-clfxuprobknvrhns) |
| 2020-10-20 09:45:54 +0000 | wi[m] | (w1gzmatrix@gateway/shell/matrix.org/x-gjveedxyacwaljmc) |
| 2020-10-20 09:45:54 +0000 | mmynsted[m] | (mmynstedtc@gateway/shell/matrix.org/x-gyrlgvekdzamsbsy) |
| 2020-10-20 09:45:55 +0000 | steve[m] | (stevetrout@gateway/shell/matrix.org/x-iohkoyrfjoxaewzg) |
| 2020-10-20 09:45:55 +0000 | ComaGrayce[m] | (commagrays@gateway/shell/matrix.org/x-aumhvlswnppphkfk) |
| 2020-10-20 09:45:55 +0000 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-aciobbtkqskwpjdk) |
| 2020-10-20 09:45:55 +0000 | mikr[m] | (mikrdavral@gateway/shell/matrix.org/x-tnooaimoadfhoktw) |
| 2020-10-20 09:45:55 +0000 | GuillaumeChrel[m | (guillaumec@gateway/shell/matrix.org/x-dyhwbypfoivqrqzy) |
| 2020-10-20 09:45:56 +0000 | tttom[m] | (tttommatri@gateway/shell/matrix.org/x-hkvnfzzlaaxtbpto) |
| 2020-10-20 09:45:56 +0000 | albestro[m] | (albestroma@gateway/shell/matrix.org/x-inujpqvfiidxrghs) |
| 2020-10-20 09:45:57 +0000 | gmind[m] | (gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) |
| 2020-10-20 09:46:05 +0000 | Tario | (~Tario@201.192.165.173) |
| 2020-10-20 09:47:25 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 240 seconds) |
| 2020-10-20 09:48:53 +0000 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 09:52:13 +0000 | <siraben> | Anyone know what I should do if I want to install the latest haskell-language-server from https://github.com/haskell/haskell-language-server ? Here's what the derivation looks like, http://ix.io/2BlI |
| 2020-10-20 09:52:14 +0000 | <siraben> | But it's missing an argument hls-tactics-plugin, which is not in haskellPackages yet |
| 2020-10-20 09:52:24 +0000 | xff0x | (~fox@2001:1a81:5267:b200:703a:2918:9e39:c085) (Ping timeout: 244 seconds) |
| 2020-10-20 09:52:31 +0000 | <siraben> | edwardk: saw that your recursive PR got merged to master |
| 2020-10-20 09:53:15 +0000 | xff0x | (~fox@2001:1a81:5267:b200:9f10:7d31:322:f836) |
| 2020-10-20 09:58:14 +0000 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2020-10-20 09:58:33 +0000 | vacwm | (~user@70.23.92.191) |
| 2020-10-20 09:59:24 +0000 | ukari | (~ukari@unaffiliated/ukari) |
| 2020-10-20 10:00:27 +0000 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2020-10-20 10:00:57 +0000 | hackage | attoparsec-data 1.0.5.1 - Parsers for the standard Haskell data types https://hackage.haskell.org/package/attoparsec-data-1.0.5.1 (NikitaVolkov) |
| 2020-10-20 10:01:40 +0000 | Lord_of_Life_ | (~Lord@46.217.197.229) |
| 2020-10-20 10:03:02 +0000 | vacwm | (~user@70.23.92.191) (Ping timeout: 260 seconds) |
| 2020-10-20 10:03:54 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2020-10-20 10:04:01 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2020-10-20 10:04:25 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 10:06:05 +0000 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving) |
| 2020-10-20 10:06:26 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 2020-10-20 10:08:55 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 240 seconds) |
| 2020-10-20 10:09:29 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 10:09:38 +0000 | gnumonik | (~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving) |
| 2020-10-20 10:10:17 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-20 10:11:22 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 10:12:46 +0000 | husixu | (~husixu@137.132.116.42) (Remote host closed the connection) |
| 2020-10-20 10:16:08 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 10:16:29 +0000 | alp | (~alp@2a01:e0a:58b:4920:a506:4337:34d1:c04e) (Ping timeout: 272 seconds) |
| 2020-10-20 10:17:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 10:18:55 +0000 | m0rphism | (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 2020-10-20 10:19:30 +0000 | Gerula | (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 2020-10-20 10:19:58 +0000 | raichoo | (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-20 10:20:54 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 10:21:18 +0000 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 10:24:20 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) (Quit: karanlikmadde) |
| 2020-10-20 10:24:40 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 10:25:02 +0000 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) |
| 2020-10-20 10:27:01 +0000 | mirrorbird | (~psutcliff@m83-187-163-53.cust.tele2.se) |
| 2020-10-20 10:28:31 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) |
| 2020-10-20 10:30:41 +0000 | alp | (~alp@2a01:e0a:58b:4920:71d3:32b4:9121:96ef) |
| 2020-10-20 10:30:47 +0000 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2020-10-20 10:31:32 +0000 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) |
| 2020-10-20 10:32:19 +0000 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds) |
| 2020-10-20 10:33:33 +0000 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 244 seconds) |
| 2020-10-20 10:36:40 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 10:38:06 +0000 | Stanley00 | (~stanley00@unaffiliated/stanley00) () |
| 2020-10-20 10:39:49 +0000 | ggole | (~ggole@2001:8003:8119:7200:9458:d2e2:e6f8:6e99) |
| 2020-10-20 10:48:01 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 10:48:24 +0000 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 10:49:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 10:50:07 +0000 | Gerula | (~Gerula@unaffiliated/gerula) (Remote host closed the connection) |
| 2020-10-20 10:50:20 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds) |
| 2020-10-20 10:54:57 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2020-10-20 10:54:57 +0000 | polyrain | (~polyrain@58.161.83.164) (Read error: Connection reset by peer) |
| 2020-10-20 10:55:25 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) |
| 2020-10-20 10:57:06 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2020-10-20 10:58:17 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-10-20 10:59:29 +0000 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 11:00:39 +0000 | taurux | (~taurux@net-93-144-31-149.cust.dsl.teletu.it) (Ping timeout: 265 seconds) |
| 2020-10-20 11:00:59 +0000 | raichoo | (~raichoo@213.240.178.58) |
| 2020-10-20 11:01:03 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 11:01:08 +0000 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 11:01:44 +0000 | taurux | (~taurux@net-188-152-14-24.cust.vodafonedsl.it) |
| 2020-10-20 11:03:04 +0000 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-20 11:04:46 +0000 | pjb | (~t@2a01cb04063ec50021ccf25e922e3d24.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2020-10-20 11:05:25 +0000 | boistordu | (boistordum@gateway/shell/matrix.org/x-xgghootbaqsnhxfp) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
| 2020-10-20 11:05:42 +0000 | refried_ | (~textual@209.6.41.245) (Ping timeout: 260 seconds) |
| 2020-10-20 11:06:35 +0000 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-uvhosqtcrbesnxty) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
| 2020-10-20 11:07:44 +0000 | pjb | (~t@2a01cb04063ec50021ccf25e922e3d24.ipv6.abo.wanadoo.fr) |
| 2020-10-20 11:07:57 +0000 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 11:10:14 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-20 11:14:59 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-10-20 11:17:06 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:19:01 +0000 | rprije | (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2020-10-20 11:20:27 +0000 | alp | (~alp@2a01:e0a:58b:4920:71d3:32b4:9121:96ef) (Ping timeout: 272 seconds) |
| 2020-10-20 11:21:29 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 11:23:01 +0000 | Buntspecht | (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
| 2020-10-20 11:23:25 +0000 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 11:24:57 +0000 | plutoniix | (~q@175.176.222.7) (Quit: Leaving) |
| 2020-10-20 11:27:12 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:31:42 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 246 seconds) |
| 2020-10-20 11:32:01 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 11:32:02 +0000 | berberman | (~berberman@unaffiliated/berberman) |
| 2020-10-20 11:32:34 +0000 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) |
| 2020-10-20 11:33:00 +0000 | dhil | (~dhil@195.213.192.122) |
| 2020-10-20 11:33:07 +0000 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-20 11:33:43 +0000 | alp | (~alp@2a01:e0a:58b:4920:3cec:cc43:6a50:5c5c) |
| 2020-10-20 11:35:11 +0000 | Buntspecht | (~user@unaffiliated/siracusa) (Ping timeout: 258 seconds) |
| 2020-10-20 11:35:13 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 11:35:21 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-jhjfudcxbbzyovpj) |
| 2020-10-20 11:35:30 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 11:36:27 +0000 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 11:36:28 +0000 | hackage | phonetic-languages-rhythmicity 0.1.2.0 - Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) https://hackage.haskell.org/package/phonetic-languages-rhythmicity-0.1.2.0 (OleksandrZhabenko) |
| 2020-10-20 11:36:34 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) |
| 2020-10-20 11:37:23 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:40:05 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 272 seconds) |
| 2020-10-20 11:40:08 +0000 | lawr3nce | (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2020-10-20 11:40:56 +0000 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 258 seconds) |
| 2020-10-20 11:41:34 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-20 11:42:36 +0000 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-10-20 11:44:10 +0000 | Benzi-Junior | (~BenziJuni@88-149-67-198.du.xdsl.is) (Ping timeout: 256 seconds) |
| 2020-10-20 11:44:51 +0000 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-20 11:45:02 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe) (Ping timeout: 244 seconds) |
| 2020-10-20 11:45:48 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 11:48:34 +0000 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
| 2020-10-20 11:48:42 +0000 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-20 11:52:43 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:c431:b9e9:64f3:556) |
| 2020-10-20 11:53:10 +0000 | Buntspecht_ | (~user@unaffiliated/siracusa) |
| 2020-10-20 11:53:23 +0000 | Benzi-Junior | (~BenziJuni@88-149-67-198.du.xdsl.is) |
| 2020-10-20 11:54:44 +0000 | alx741 | (~alx741@186.178.110.100) (Ping timeout: 260 seconds) |
| 2020-10-20 11:57:02 +0000 | Buntspecht | (~user@unaffiliated/siracusa) (Ping timeout: 260 seconds) |
| 2020-10-20 11:57:05 +0000 | Buntspecht_ | Buntspecht |
| 2020-10-20 11:57:36 +0000 | jonatanb | (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) |
| 2020-10-20 11:58:21 +0000 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) |
| 2020-10-20 12:00:01 +0000 | havenwood1 | (~havenwood@185.163.110.116) () |
| 2020-10-20 12:04:49 +0000 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-10-20 12:05:54 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 265 seconds) |
| 2020-10-20 12:06:45 +0000 | Hatsue[m] | PotatoHatsue[Q] |
| 2020-10-20 12:07:20 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-20 12:07:40 +0000 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2020-10-20 12:07:47 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 12:07:51 +0000 | alx741 | (~alx741@186.178.110.244) |
| 2020-10-20 12:08:05 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 12:08:16 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 12:08:16 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 12:08:16 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 12:08:34 +0000 | lawr3nce | (~lawr3nce@gateway/tor-sasl/lawr3nce) (Quit: Leaving) |
| 2020-10-20 12:12:27 +0000 | hackage | sweet-egison 0.1.1.3 - Shallow embedding implementation of non-linear pattern matching https://hackage.haskell.org/package/sweet-egison-0.1.1.3 (SatoshiEgi) |
| 2020-10-20 12:12:30 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 12:12:57 +0000 | drbean | (~drbean@TC210-63-209-185.static.apol.com.tw) |
| 2020-10-20 12:13:20 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 12:17:25 +0000 | <dminuoso> | Mmm, Im generating a lot of boiler plate code using haskell-src-exts, suddenly I realized I might want to generate a few bits of haddock as well, but haskell-src-exts seems to not know about comments at all. |
| 2020-10-20 12:17:27 +0000 | <dminuoso> | What are my options here? |
| 2020-10-20 12:19:04 +0000 | jonatanb | (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) (Quit: Leaving...) |
| 2020-10-20 12:19:28 +0000 | <dminuoso> | Oh.. turns out I wasn't reading the haddock clearly. |
| 2020-10-20 12:19:30 +0000 | <dminuoso> | http://hackage.haskell.org/package/haskell-src-exts-1.18.2/docs/Language-Haskell-Exts-Comments.html |
| 2020-10-20 12:22:25 +0000 | xff0x | (~fox@2001:1a81:5267:b200:9f10:7d31:322:f836) (Ping timeout: 240 seconds) |
| 2020-10-20 12:23:27 +0000 | xff0x | (~fox@2001:1a81:5267:b200:bab1:2e74:50b1:426) |
| 2020-10-20 12:24:08 +0000 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 12:25:03 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 12:26:58 +0000 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 12:28:50 +0000 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 12:28:52 +0000 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Client Quit) |
| 2020-10-20 12:29:08 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Client Quit) |
| 2020-10-20 12:29:10 +0000 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 12:29:43 +0000 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-20 12:29:53 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-20 12:32:19 +0000 | Amras | (~Amras@unaffiliated/amras0000) |
| 2020-10-20 12:33:23 +0000 | <tomjaguarpaw> | What's the standard idiom for zipping more than three lists together? |
| 2020-10-20 12:33:27 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 258 seconds) |
| 2020-10-20 12:33:39 +0000 | <merijn> | tomjaguarpaw: Applicative |
| 2020-10-20 12:33:48 +0000 | <merijn> | tomjaguarpaw: Lemme introduce you to your saviour |
| 2020-10-20 12:34:05 +0000 | <merijn> | > (+) <$> ZipList [1..5] <*> ZipList [6..10] |
| 2020-10-20 12:34:08 +0000 | <lambdabot> | ZipList {getZipList = [7,9,11,13,15]} |
| 2020-10-20 12:34:20 +0000 | haasn | (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2020-10-20 12:34:37 +0000 | <merijn> | tomjaguarpaw: Turns out n-wise zipping is a lawful Applicative ;) |
| 2020-10-20 12:35:26 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 12:36:16 +0000 | haasn | (~nand@mpv/developer/haasn) |
| 2020-10-20 12:37:14 +0000 | texasmynsted | (~texasmyns@104.140.53.123) (Remote host closed the connection) |
| 2020-10-20 12:37:22 +0000 | earldouglas | (~james@unaffiliated/jamestastic) () |
| 2020-10-20 12:38:08 +0000 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 12:39:19 +0000 | <ski> | > [x + y | x <- [1 .. 5] | y <- [6 .. 10]] |
| 2020-10-20 12:39:22 +0000 | <lambdabot> | [7,9,11,13,15] |
| 2020-10-20 12:39:57 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 12:40:45 +0000 | <merijn> | ski: That one requires an extension, though :p |
| 2020-10-20 12:42:27 +0000 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 12:43:17 +0000 | <tomjaguarpaw> | Thanks, I think I will use zipWith ($) |
| 2020-10-20 12:45:09 +0000 | cristi_ | (~cristi@82.76.158.82) |
| 2020-10-20 12:45:22 +0000 | <merijn> | That doesn't work for more than 3, though :p |
| 2020-10-20 12:45:58 +0000 | unlink2 | (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 12:47:26 +0000 | unlink2 | (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) |
| 2020-10-20 12:52:53 +0000 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 12:53:19 +0000 | aGHz_nfb | (~aGHz_nfb@185.163.110.116) |
| 2020-10-20 12:53:39 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 12:56:29 +0000 | urodna | (~urodna@unaffiliated/urodna) |
| 2020-10-20 12:56:42 +0000 | fendor | (~fendor@212095005156.public.telering.at) |
| 2020-10-20 12:57:38 +0000 | <dminuoso> | ski: ParallelListComp is an extension I've never seen in use anywhere. |
| 2020-10-20 12:58:11 +0000 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 12:58:43 +0000 | <Taneb> | > (,,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10] |
| 2020-10-20 12:58:45 +0000 | <lambdabot> | error: |
| 2020-10-20 12:58:45 +0000 | <lambdabot> | • No instance for (Typeable e0) |
| 2020-10-20 12:58:45 +0000 | <lambdabot> | arising from a use of ‘show_M2158027891849958446363’ |
| 2020-10-20 12:58:52 +0000 | <Taneb> | > (,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10] |
| 2020-10-20 12:58:54 +0000 | <lambdabot> | ZipList {getZipList = [('h',1,'w',6),('e',2,'o',7),('l',3,'r',8),('l',4,'l',... |
| 2020-10-20 12:59:02 +0000 | <Taneb> | I can definitely count commas no problem |
| 2020-10-20 13:00:05 +0000 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-10-20 13:00:42 +0000 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 13:01:50 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 13:06:16 +0000 | dhil | (~dhil@195.213.192.122) (Ping timeout: 246 seconds) |
| 2020-10-20 13:06:40 +0000 | Lord_of_Life | (~Lord@46.217.197.229) (Changing host) |
| 2020-10-20 13:06:40 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-10-20 13:08:23 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 13:09:24 +0000 | CUR53 | (~CUR53@196.245.9.37) |
| 2020-10-20 13:11:12 +0000 | <ski> | > zipWith ($) (zipWith ($) (zipWith (,,,) "hello" [0 .. 4]) "world") [5 .. 9] |
| 2020-10-20 13:11:15 +0000 | <lambdabot> | [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)] |
| 2020-10-20 13:11:48 +0000 | <ski> | > let with = zipWith ($) in repeat (,,,) `with` "hello" `with` [0 .. 4] `with` "world" `with` [5 .. 9] |
| 2020-10-20 13:11:51 +0000 | <lambdabot> | [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)] |
| 2020-10-20 13:12:11 +0000 | texasmyn_ | (~texasmyns@104.140.53.123) |
| 2020-10-20 13:12:35 +0000 | solonarv | (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) |
| 2020-10-20 13:12:44 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 13:12:51 +0000 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) (Ping timeout: 246 seconds) |
| 2020-10-20 13:14:03 +0000 | <dminuoso> | Pattern match checker exceeded (2000000) iterations in a case alternative. (Use -fmax-pmcheck-iterations=n to set the maximun number of iterations to n) |
| 2020-10-20 13:14:06 +0000 | <dminuoso> | I should feel bad |
| 2020-10-20 13:14:16 +0000 | <dminuoso> | Also, that typo in maximun :> |
| 2020-10-20 13:14:16 +0000 | texasmyn_ | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 13:15:04 +0000 | <dminuoso> | Perhaps I should stop doing case-of here, and just use non-inlined top level maps.. |
| 2020-10-20 13:15:33 +0000 | <ski> | is it checking exhaustiveness and non-overlap ? |
| 2020-10-20 13:15:49 +0000 | <dminuoso> | Probably, yes. |
| 2020-10-20 13:16:24 +0000 | ildar_ | (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru) |
| 2020-10-20 13:16:30 +0000 | <dminuoso> | I mean this is a 2,000 constructor coproduct type. |
| 2020-10-20 13:16:40 +0000 | <dminuoso> | It's reasonable that GHC has some limits. |
| 2020-10-20 13:17:45 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 13:18:55 +0000 | carlomagno1 | (~cararell@148.87.23.6) |
| 2020-10-20 13:18:55 +0000 | carlomagno | (~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection) |
| 2020-10-20 13:18:55 +0000 | <ski> | yea |
| 2020-10-20 13:19:29 +0000 | octavius | (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102) |
| 2020-10-20 13:20:15 +0000 | <phadej> | if the code is generated, you can (and maybe even should) disable pattern-match checks |
| 2020-10-20 13:20:41 +0000 | <phadej> | you should rathere test that codegenerator makes sensible code on smaller examples :) |
| 2020-10-20 13:20:58 +0000 | <phadej> | i.e. "if you generate code, generate code which is fast to compile" |
| 2020-10-20 13:21:23 +0000 | <dminuoso> | phadej: Honestly, had I done that, I wouldn't have discovered a nasty bug that only occured in one of those large data types. :) |
| 2020-10-20 13:21:32 +0000 | <dminuoso> | So Im keeping this on. |
| 2020-10-20 13:21:40 +0000 | <merijn> | dminuoso: pfft, amateur |
| 2020-10-20 13:21:43 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2020-10-20 13:21:45 +0000 | <merijn> | dminuoso: Just don't write bugs |
| 2020-10-20 13:21:54 +0000 | <dminuoso> | I didn't write a bug. My code generator did! |
| 2020-10-20 13:22:03 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 13:22:05 +0000 | <phadej> | what kind of bug, why only in larger datatypes? |
| 2020-10-20 13:22:28 +0000 | <dminuoso> | Oh, it wasn't even the size. The problem only manifested with a particular data type that also happened to be very large. |
| 2020-10-20 13:22:51 +0000 | <phadej> | then you didn't test your codegen properly |
| 2020-10-20 13:22:55 +0000 | <dminuoso> | heh |
| 2020-10-20 13:23:05 +0000 | <dminuoso> | Yeah this is all very adhoc |
| 2020-10-20 13:23:12 +0000 | <dminuoso> | And Im being punished badly for it |
| 2020-10-20 13:23:48 +0000 | <dminuoso> | to be fair, ghc diagnostics *are* tests for my codegen |
| 2020-10-20 13:24:34 +0000 | shafox | (~shafox@106.51.234.111) (Ping timeout: 260 seconds) |
| 2020-10-20 13:25:24 +0000 | <phadej> | yes, but they run faster on the smaller datatypes :) |
| 2020-10-20 13:25:48 +0000 | SanchayanM | (~Sanchayan@122.167.98.111) (Quit: leaving) |
| 2020-10-20 13:26:56 +0000 | <dminuoso> | phadej: Very roughly, I was building up a `Map String Int` where strings correspond to constructors, and the Map represents an Enum instance. I failed to check whether this was injective or not. |
| 2020-10-20 13:27:14 +0000 | <dminuoso> | And in some particular degenerate case, the source data had duplicate data. |
| 2020-10-20 13:27:55 +0000 | <phadej> | heh. something similar happend with tzdata just recently |
| 2020-10-20 13:28:02 +0000 | <phadej> | they mangle timezonenames into constructor names |
| 2020-10-20 13:28:23 +0000 | <phadej> | and that mangling failed to be injective with recent additions of timezones in IANA db |
| 2020-10-20 13:28:27 +0000 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-20 13:29:58 +0000 | CUR53 | (~CUR53@196.245.9.37) () |
| 2020-10-20 13:30:47 +0000 | cristi_ | (~cristi@82.76.158.82) (Quit: cristi_) |
| 2020-10-20 13:31:02 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-10-20 13:33:46 +0000 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 13:34:46 +0000 | raichoo_ | (~raichoo@213.240.178.58) |
| 2020-10-20 13:34:46 +0000 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2020-10-20 13:34:48 +0000 | raichoo | (~raichoo@213.240.178.58) (Read error: Connection reset by peer) |
| 2020-10-20 13:34:49 +0000 | Buntspecht | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-20 13:35:05 +0000 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 13:36:00 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 13:41:36 +0000 | <remexre> | ghoulguy: yeah, looks like that works; I'll try and see if hoistFree will work for my case too |
| 2020-10-20 13:43:25 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2020-10-20 13:45:14 +0000 | whald | (~trem@2a02:810a:8100:11a6:a51d:28a2:1c9:853d) |
| 2020-10-20 13:45:34 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) (Quit: karanlikmadde) |
| 2020-10-20 13:46:13 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 13:47:05 +0000 | ystael | (~ystael@209.6.50.55) |
| 2020-10-20 13:48:13 +0000 | drbean | (~drbean@TC210-63-209-185.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 2020-10-20 13:51:59 +0000 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-20 13:54:49 +0000 | mirrorbird | (~psutcliff@m83-187-163-53.cust.tele2.se) (Ping timeout: 264 seconds) |
| 2020-10-20 13:55:48 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds) |
| 2020-10-20 13:55:50 +0000 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 13:55:50 +0000 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 13:55:50 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 13:57:25 +0000 | fendor | (~fendor@212095005156.public.telering.at) (Read error: Connection reset by peer) |
| 2020-10-20 13:58:55 +0000 | octavius | (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) |
| 2020-10-20 13:59:00 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 265 seconds) |
| 2020-10-20 13:59:18 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 14:00:11 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 14:00:34 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 14:00:46 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 14:01:06 +0000 | texasmyn_ | (~texasmyns@104.140.53.123) |
| 2020-10-20 14:01:10 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 14:03:38 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 14:03:44 +0000 | Gerula | (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 2020-10-20 14:06:51 +0000 | <DigitalKiwi> | what's injective mean |
| 2020-10-20 14:07:06 +0000 | <Uniaika> | like for sets |
| 2020-10-20 14:08:19 +0000 | lagothrix | (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 260 seconds) |
| 2020-10-20 14:08:47 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 14:09:21 +0000 | JetNoBrains | (bc12e18b@188.18.225.139) |
| 2020-10-20 14:09:39 +0000 | <Cheery> | DigitalKiwi: it means that you can figure from the output what the input was. |
| 2020-10-20 14:09:58 +0000 | zoran119 | (~zoran119@124-169-31-193.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2020-10-20 14:10:34 +0000 | JetNoBrains | (bc12e18b@188.18.225.139) (Remote host closed the connection) |
| 2020-10-20 14:11:09 +0000 | JetNoBrains | (bc12e18b@188.18.225.139) |
| 2020-10-20 14:12:41 +0000 | <Cheery> | Eg. (/2) is not injective, because 1/2 and 2/2 produce same result. |
| 2020-10-20 14:12:48 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-20 14:13:02 +0000 | <Cheery> | > (1/2, 2/2) :: (Int, Int) |
| 2020-10-20 14:13:05 +0000 | <lambdabot> | error: |
| 2020-10-20 14:13:05 +0000 | <lambdabot> | • No instance for (Fractional Int) arising from a use of ‘/’ |
| 2020-10-20 14:13:05 +0000 | <lambdabot> | • In the expression: 1 / 2 |
| 2020-10-20 14:13:16 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 14:13:16 +0000 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 14:13:32 +0000 | kish | (~oracle@unaffiliated/oracle) |
| 2020-10-20 14:13:36 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 14:13:47 +0000 | <Cheery> | haskell has no floordiv? |
| 2020-10-20 14:14:08 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 14:14:35 +0000 | <Cheery> | ah it has better. |
| 2020-10-20 14:14:54 +0000 | <Cheery> | > (quot 2 2, quot 3 2) |
| 2020-10-20 14:14:58 +0000 | <lambdabot> | (1,1) |
| 2020-10-20 14:15:22 +0000 | <Cheery> | Ug good at math. |
| 2020-10-20 14:15:28 +0000 | zoran119 | (~zoran119@124-169-22-28.dyn.iinet.net.au) |
| 2020-10-20 14:15:43 +0000 | <opqdonut> | see also: div |
| 2020-10-20 14:16:03 +0000 | <opqdonut> | > (div 3 2, quot 3 2, div (-3) 2, quot (-3) 2) |
| 2020-10-20 14:16:05 +0000 | <lambdabot> | (1,1,-2,-1) |
| 2020-10-20 14:16:44 +0000 | <opqdonut> | and divMod and quotRem |
| 2020-10-20 14:16:47 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 14:18:13 +0000 | <JetNoBrains> | Why `r` parameter in `ContT` transformer isn't universally quantified inside constructor? |
| 2020-10-20 14:18:41 +0000 | <Taneb> | JetNoBrains: because that would be a different, less powerful |
| 2020-10-20 14:18:43 +0000 | <Taneb> | type |
| 2020-10-20 14:18:46 +0000 | <DigitalKiwi> | thanks |
| 2020-10-20 14:19:48 +0000 | <Taneb> | JetNoBrains: having it outside lets us reset :: Cont r r -> Cont r' r |
| 2020-10-20 14:20:32 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 14:20:42 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 14:20:42 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 14:20:42 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 14:22:09 +0000 | <JetNoBrains> | Taneb interesting, but I can't find such function in mtl - where it is located? |
| 2020-10-20 14:22:44 +0000 | <Taneb> | It's in Control.Monad.Trans.Cont in transformers |
| 2020-10-20 14:23:17 +0000 | <Taneb> | I'm a little surprised that mtl doesn't reexport it |
| 2020-10-20 14:23:24 +0000 | <JetNoBrains> | Thanks, will take a look! |
| 2020-10-20 14:23:34 +0000 | hololeap | (~hololeap@unaffiliated/hololeap) (Ping timeout: 260 seconds) |
| 2020-10-20 14:23:49 +0000 | polyrain_ | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) |
| 2020-10-20 14:24:05 +0000 | <Taneb> | JetNoBrains: the type you described, with the r parameter quantified on the inside of the constructor, is Control.Monad.Codensity in the kan-extensions package |
| 2020-10-20 14:25:21 +0000 | nados | (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-10-20 14:26:42 +0000 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-20 14:26:57 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) (Ping timeout: 260 seconds) |
| 2020-10-20 14:27:22 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 14:27:46 +0000 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-20 14:29:34 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 14:29:44 +0000 | Philonous | (~Philonous@unaffiliated/philonous) (Quit: ZNC - http://znc.in) |
| 2020-10-20 14:30:08 +0000 | Philonous | (~Philonous@unaffiliated/philonous) |
| 2020-10-20 14:31:33 +0000 | <JetNoBrains> | I'm reading an article https://ro-che.info/articles/2019-06-07-why-use-contt where author uses ContT to manage resources, here "universality" of `r` is moved to function level |
| 2020-10-20 14:31:36 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 14:32:03 +0000 | <JetNoBrains> | But it seems that building intuition for ContT as "lifetime management" is not complete |
| 2020-10-20 14:34:25 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 14:35:57 +0000 | ddellacosta | (~dd@86.106.121.168) |
| 2020-10-20 14:38:10 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 272 seconds) |
| 2020-10-20 14:38:18 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2020-10-20 14:39:45 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 14:41:09 +0000 | zoran119_ | (~zoran119@124-169-22-52.dyn.iinet.net.au) |
| 2020-10-20 14:41:42 +0000 | zoran119 | (~zoran119@124-169-22-28.dyn.iinet.net.au) (Ping timeout: 256 seconds) |
| 2020-10-20 14:42:09 +0000 | <maerwald> | with 3 words, do you do `foo $ bar baz` or `foo . bar $ baz`? :D |
| 2020-10-20 14:43:10 +0000 | <ski> | either the latter, or `(foo . bar) baz' or `foo (bar baz)' |
| 2020-10-20 14:43:11 +0000 | son0p | (~son0p@181.136.122.143) |
| 2020-10-20 14:43:55 +0000 | <JetNoBrains> | `foo (bar baz)` anyone? :) |
| 2020-10-20 14:44:18 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 14:44:25 +0000 | <ski> | DigitalKiwi : two different timezones had the same name, apparently |
| 2020-10-20 14:44:34 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2020-10-20 14:45:37 +0000 | <ski> | `f :: T -> U' being injective means that given different `T' inputs, it produces different `U' outputs. in a formula, one can say it like `forall (x0 :: T) (x1 :: T). f x0 = f x1 => x0 = x1' (if the outputs are the same, then the inputs must also have been the same) |
| 2020-10-20 14:45:54 +0000 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 14:46:48 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-dfebbsighvffakyp) |
| 2020-10-20 14:47:14 +0000 | <ski> | data constructors are injective in Haskell. this means that you can pattern-match uniquely. if a value matches `Just x0' and also matches `Just x1', then `x0' is the same as `x1'. so in the pattern `Just x', there's no ambiguity about what `x' would be. the only question is whether there exists such an `x' at all (if the input is `Nothing', then there is no `x' such that the input is equal to `Just x') |
| 2020-10-20 14:47:14 +0000 | bitmapper | (uid464869@gateway/web/irccloud.com/x-ccvftmqgiojwtxir) (Quit: Connection closed for inactivity) |
| 2020-10-20 14:47:36 +0000 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 14:47:59 +0000 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-10-20 14:48:31 +0000 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) |
| 2020-10-20 14:48:34 +0000 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) (Client Quit) |
| 2020-10-20 14:48:45 +0000 | knupfer | (~Thunderbi@200116b82c27b200ad7c9ffd9ebcfe8b.dip.versatel-1u1.de) |
| 2020-10-20 14:48:57 +0000 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2020-10-20 14:49:13 +0000 | <ski> | however, if you're doing an abstract data type, often you want to simulate a "quotient type", and then, conceptually, the data constructor (which should not be exported) is not injective. e.g. the same `Set' (or `Map') can potentially be represented internally as different (balanced) trees |
| 2020-10-20 14:49:39 +0000 | <fresheyeball> | I got a hardish one |
| 2020-10-20 14:49:47 +0000 | <fresheyeball> | https://hackage.haskell.org/package/servant-server-0.14.1/docs/Servant-Server-StaticFiles.html#v:s… |
| 2020-10-20 14:50:00 +0000 | <fresheyeball> | I need to replicate the behavior of this function but for a new Servant combinator |
| 2020-10-20 14:50:25 +0000 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 240 seconds) |
| 2020-10-20 14:50:25 +0000 | JetNoBrains | (bc12e18b@188.18.225.139) (Remote host closed the connection) |
| 2020-10-20 14:50:28 +0000 | britva | (~britva@51.154.14.117) (Quit: This computer has gone to sleep) |
| 2020-10-20 14:50:29 +0000 | <fresheyeball> | and I just cannot get the types to unify |
| 2020-10-20 14:50:54 +0000 | <fresheyeball> | I don't totally understand what is going on in Servant but I can get my custom version to compile |
| 2020-10-20 14:50:59 +0000 | <fresheyeball> | with the correct implimentation |
| 2020-10-20 14:51:02 +0000 | <fresheyeball> | but with the following type |
| 2020-10-20 14:51:07 +0000 | <ski> | another example would be doing rational numbers. we could have `data Ratio a = a :% a', where `1 :% 2' is supposed to represent the same rational number as `2 :% 4'. so, conceptually, if you match on `n :% d', uniqueness of `n' and `d' isn't given. meaning, you have to make sure that the result is the same (or behaves the same), if the input had instead been another representation of the same rational number |
| 2020-10-20 14:51:22 +0000 | <fresheyeball> | StaticSettings -> Tagged (Get '[HTML] (Html m a)) Application |
| 2020-10-20 14:51:32 +0000 | <fresheyeball> | that type works for the implimentation |
| 2020-10-20 14:51:38 +0000 | <fresheyeball> | but I need it to be this |
| 2020-10-20 14:51:46 +0000 | <fresheyeball> | StaticSettings -> ServerT (Get ' |
| 2020-10-20 14:51:57 +0000 | raichoo_ | raichoo |
| 2020-10-20 14:52:08 +0000 | <fresheyeball> | StaticSettings -> ServerT (Get '[HTML] (Html m a)) Handler |
| 2020-10-20 14:52:12 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-20 14:52:27 +0000 | <fresheyeball> | the same exact implimentation is what is used for the library version, I don't get what is wrong |
| 2020-10-20 14:52:35 +0000 | <fresheyeball> | and the library version has this type |
| 2020-10-20 14:52:45 +0000 | <fresheyeball> | StaticSettings -> ServerT Raw Handler |
| 2020-10-20 14:53:09 +0000 | <fresheyeball> | Tagged is kind polymorphic in a way I don't understand, and I could use help |
| 2020-10-20 14:55:47 +0000 | alp | (~alp@2a01:e0a:58b:4920:3cec:cc43:6a50:5c5c) (Ping timeout: 272 seconds) |
| 2020-10-20 15:00:02 +0000 | aGHz_nfb | (~aGHz_nfb@185.163.110.116) () |
| 2020-10-20 15:01:05 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 15:01:19 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 15:02:08 +0000 | kish | (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 2020-10-20 15:02:09 +0000 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 15:02:11 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 15:02:45 +0000 | m4lvin | (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2020-10-20 15:02:57 +0000 | alp | (~alp@2a01:e0a:58b:4920:5d64:e98e:4abc:72e2) |
| 2020-10-20 15:03:06 +0000 | conal_ | (~conal@107.181.166.208) |
| 2020-10-20 15:03:06 +0000 | m4lvin | (~m4lvin@w4eg.de) |
| 2020-10-20 15:03:21 +0000 | kish | (~oracle@unaffiliated/oracle) |
| 2020-10-20 15:03:46 +0000 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-20 15:04:19 +0000 | <hyperisco> | renamePath on my system (Windows) seems to truncate the file |
| 2020-10-20 15:04:46 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Quit: leaving) |
| 2020-10-20 15:05:42 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2020-10-20 15:06:29 +0000 | <hyperisco> | as does copyFile oO |
| 2020-10-20 15:06:30 +0000 | dhil | (~dhil@195.213.192.122) |
| 2020-10-20 15:06:47 +0000 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Quit: Leaving.) |
| 2020-10-20 15:07:36 +0000 | st8less | (~st8less@2603:a060:11fd:0:149e:8518:62e1:ca1b) |
| 2020-10-20 15:08:18 +0000 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-20 15:09:57 +0000 | <phadej> | hyperisco: is the file over 2GB in size? |
| 2020-10-20 15:10:42 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 15:10:44 +0000 | tzh | (~tzh@2601:448:c500:5300::19b0) |
| 2020-10-20 15:10:44 +0000 | <hyperisco> | actually seemed to be a bug or something in vscode and it wasn't reading the current version of the file |
| 2020-10-20 15:11:33 +0000 | <phadej> | it would much nicer if random int32 bug still happened in 2020 |
| 2020-10-20 15:11:40 +0000 | <phadej> | s/nicer/more interesting/ |
| 2020-10-20 15:12:28 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 15:13:55 +0000 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-10-20 15:13:59 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2020-10-20 15:14:23 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
| 2020-10-20 15:15:06 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-10-20 15:16:43 +0000 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-10-20 15:16:53 +0000 | Narinas | (~Narinas@189.223.113.190.dsl.dyn.telnor.net) |
| 2020-10-20 15:17:33 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 15:19:27 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 15:19:44 +0000 | Narinas | (~Narinas@189.223.113.190.dsl.dyn.telnor.net) (Client Quit) |
| 2020-10-20 15:21:27 +0000 | grafa | (~grafa@185.163.110.116) |
| 2020-10-20 15:22:59 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2020-10-20 15:24:57 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 15:25:06 +0000 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-20 15:25:43 +0000 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2020-10-20 15:25:52 +0000 | bairyn | ByronJohnson |
| 2020-10-20 15:27:05 +0000 | test_2348134234 | (~u@2607:5300:60:1d::1) |
| 2020-10-20 15:27:08 +0000 | test_2348134234 | (~u@2607:5300:60:1d::1) () |
| 2020-10-20 15:28:47 +0000 | oisdk | (~oisdk@2001:bb6:3329:d100:5538:baf2:3212:5e91) (Ping timeout: 260 seconds) |
| 2020-10-20 15:29:22 +0000 | raichoo | (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-20 15:29:53 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 15:30:33 +0000 | oisdk | (~oisdk@2001:bb6:3329:d100:c8f6:1bbe:8153:581f) |
| 2020-10-20 15:30:56 +0000 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-20 15:32:36 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 15:34:22 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 15:34:32 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 15:37:56 +0000 | whez | (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp) |
| 2020-10-20 15:40:07 +0000 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving) |
| 2020-10-20 15:40:24 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 15:40:59 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2020-10-20 15:41:40 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 15:42:06 +0000 | jespada | (~jespada@90.254.245.15) (Ping timeout: 256 seconds) |
| 2020-10-20 15:42:37 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 15:43:36 +0000 | jespada | (~jespada@90.254.245.15) |
| 2020-10-20 15:44:20 +0000 | rx862 | (~rx862@2607:fea8:2c5f:faea:25e4:ac44:be42:6e35) |
| 2020-10-20 15:44:33 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 15:46:06 +0000 | rx862 | (~rx862@2607:fea8:2c5f:faea:25e4:ac44:be42:6e35) (Quit: Konversation terminated!) |
| 2020-10-20 15:48:02 +0000 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 15:48:22 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 15:49:01 +0000 | isovector1 | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2020-10-20 15:50:14 +0000 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-uufhwubdezwfmvks) |
| 2020-10-20 15:51:33 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 15:53:04 +0000 | xacktm | (xacktm@gateway/shell/panicbnc/x-pzwqpatxpatbafhr) (Quit: PanicBNC - http://PanicBNC.net) |
| 2020-10-20 15:54:16 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2020-10-20 15:56:40 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 15:56:41 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-20 15:56:42 +0000 | geekosaur | (ac3a3e99@172.58.62.153) |
| 2020-10-20 15:56:57 +0000 | polyrain_ | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 15:57:13 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:c431:b9e9:64f3:556) (Ping timeout: 272 seconds) |
| 2020-10-20 15:58:49 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 16:00:37 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) |
| 2020-10-20 16:01:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 16:02:48 +0000 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) |
| 2020-10-20 16:03:07 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 16:03:38 +0000 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-10-20 16:05:11 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 16:07:25 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 16:07:27 +0000 | bitmapper | (uid464869@gateway/web/irccloud.com/x-vawwmlggjqdnzjxh) |
| 2020-10-20 16:07:48 +0000 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-20 16:07:48 +0000 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-20 16:07:48 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 16:07:59 +0000 | xff0x | (~fox@2001:1a81:5267:b200:bab1:2e74:50b1:426) (Ping timeout: 272 seconds) |
| 2020-10-20 16:08:06 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds) |
| 2020-10-20 16:08:27 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 16:08:39 +0000 | xff0x | (~fox@port-92-195-83-98.dynamic.as20676.net) |
| 2020-10-20 16:09:27 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:5513:d68a:c93e:4e27) |
| 2020-10-20 16:11:11 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:1cbf:1cb4:cff6:749e) |
| 2020-10-20 16:11:17 +0000 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection) |
| 2020-10-20 16:12:53 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-20 16:14:12 +0000 | GyroW | (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-20 16:14:12 +0000 | GyroW | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-20 16:14:12 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 16:15:17 +0000 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1) |
| 2020-10-20 16:15:47 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds) |
| 2020-10-20 16:17:52 +0000 | GyroW_ | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 16:17:52 +0000 | GyroW_ | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 16:17:52 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 16:18:30 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 16:19:10 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds) |
| 2020-10-20 16:21:00 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2020-10-20 16:21:49 +0000 | xacktm | (xacktm@gateway/shell/panicbnc/x-rthkywgvxahgrnnf) |
| 2020-10-20 16:24:54 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 16:26:59 +0000 | alp | (~alp@2a01:e0a:58b:4920:5d64:e98e:4abc:72e2) (Ping timeout: 272 seconds) |
| 2020-10-20 16:27:33 +0000 | ildar_ | (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru) (Quit: leaving) |
| 2020-10-20 16:29:37 +0000 | polyrain | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 16:30:00 +0000 | evade | (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) |
| 2020-10-20 16:30:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 16:31:22 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 16:33:23 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 16:36:06 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 16:36:25 +0000 | EyalSK | (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) |
| 2020-10-20 16:38:59 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 16:39:11 +0000 | LKoen | (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) |
| 2020-10-20 16:39:21 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 16:40:32 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 16:40:51 +0000 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-10-20 16:46:31 +0000 | conal_ | (~conal@107.181.166.208) (Quit: Computer has gone to sleep.) |
| 2020-10-20 16:48:05 +0000 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 2020-10-20 16:48:13 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 2020-10-20 16:48:36 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 16:49:07 +0000 | alp | (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9) |
| 2020-10-20 16:50:41 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 16:53:03 +0000 | Deide | (~Deide@217.155.19.23) |
| 2020-10-20 16:53:35 +0000 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2020-10-20 16:53:59 +0000 | texasmyn_ | (~texasmyns@104.140.53.123) () |
| 2020-10-20 16:54:26 +0000 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 16:57:16 +0000 | nineonine | (~nineonine@216.81.48.202) |
| 2020-10-20 16:59:29 +0000 | nineonine | (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-10-20 16:59:45 +0000 | nineonine | (~nineonine@216.81.48.202) |
| 2020-10-20 17:04:05 +0000 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2020-10-20 17:06:35 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 17:09:37 +0000 | Sheilong | (uid293653@gateway/web/irccloud.com/x-ftxlshtfjorkikim) |
| 2020-10-20 17:11:06 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 17:11:31 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 17:11:34 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 17:13:15 +0000 | <yushyin> | hackage returns 503 for a lot of urls :/ https://hackage.haskell.org/package/system-filepath-0.4.14/docs/Filesystem-Path-CurrentOS.html |
| 2020-10-20 17:13:55 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 17:14:00 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-20 17:14:45 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) (Client Quit) |
| 2020-10-20 17:16:08 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 17:16:24 +0000 | fendor | (~fendor@91.141.2.147.wireless.dyn.drei.com) |
| 2020-10-20 17:17:10 +0000 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 17:17:25 +0000 | texasmynsted | (~texasmyns@62.182.99.148) |
| 2020-10-20 17:17:51 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 17:17:58 +0000 | <statusbot> | Status update: The host is fixing the switch, hopefully resolved shortly. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb |
| 2020-10-20 17:18:06 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) (Client Quit) |
| 2020-10-20 17:18:32 +0000 | <yushyin> | oh |
| 2020-10-20 17:19:55 +0000 | <geekosaur> | #haskell-infrastructure is where to ask about these things, by the way |
| 2020-10-20 17:20:04 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 17:20:07 +0000 | <yushyin> | that explains it |
| 2020-10-20 17:20:16 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 17:21:25 +0000 | brettgilio_ | (~brettgili@brettgilio.com) |
| 2020-10-20 17:21:30 +0000 | brettgilio | (~brettgili@brettgilio.com) (Ping timeout: 256 seconds) |
| 2020-10-20 17:23:59 +0000 | alp | (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9) (Ping timeout: 272 seconds) |
| 2020-10-20 17:24:12 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 17:24:12 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 17:24:12 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 17:24:30 +0000 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) |
| 2020-10-20 17:25:15 +0000 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-10-20 17:25:29 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 2020-10-20 17:26:31 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 17:31:09 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-20 17:31:18 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 17:31:28 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 17:33:00 +0000 | geekosaur | (ac3a3e99@172.58.62.153) (Ping timeout: 245 seconds) |
| 2020-10-20 17:35:57 +0000 | hackage | prolude 0.0.0.3 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.3 (saramuse) |
| 2020-10-20 17:36:56 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 17:38:43 +0000 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2020-10-20 17:42:35 +0000 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2020-10-20 17:44:15 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 17:45:34 +0000 | ech | (~user@gateway/tor-sasl/ech) |
| 2020-10-20 17:46:21 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-dfebbsighvffakyp) (Quit: Connection closed for inactivity) |
| 2020-10-20 17:47:45 +0000 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2020-10-20 17:48:17 +0000 | <statusbot> | Status update: connectivity fixed. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb |
| 2020-10-20 17:48:39 +0000 | <Athas> | I'm mystified that haskell-mode's built-in "autocompletion" is about showing me the grammar for syntactic constructs. |
| 2020-10-20 17:49:05 +0000 | elosant | (~elosant@gateway/tor-sasl/elosant) (Quit: WeeChat 2.9) |
| 2020-10-20 17:49:11 +0000 | <Athas> | Showing me the type of the term would be more useful. Especially since Haskell's syntax is so flexible that just listing the grammar is hardly useful. |
| 2020-10-20 17:49:17 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 17:49:22 +0000 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-10-20 17:49:29 +0000 | texasmynsted | (~texasmyns@62.182.99.148) () |
| 2020-10-20 17:50:24 +0000 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-10-20 17:51:48 +0000 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 17:52:10 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 17:52:32 +0000 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2020-10-20 17:55:30 +0000 | <tomsmeding> | Athas: does haskell-mode use a ghc under the hood? I think showing syntactic grammar is all you can do without getting into the weeds of all that haskell-ide-engine, ghcide, etc are doing |
| 2020-10-20 17:56:07 +0000 | <tomsmeding> | which involves building IDE-like functionality against the API of the ghc your project is using, etc |
| 2020-10-20 17:56:15 +0000 | <Athas> | It does not. And I guess what I'm really sad about is that such a significant technical infrastructure is needed to do things that ought not be very difficult. |
| 2020-10-20 17:56:37 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-10-20 17:56:38 +0000 | <tomsmeding> | perhaps it ought not to be very difficult in a language that is not as complicated as Haskell :p |
| 2020-10-20 17:56:48 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 17:57:30 +0000 | <tomsmeding> | or do you mean that harnessing ghc should not be as difficult? |
| 2020-10-20 17:57:46 +0000 | <Athas> | I do wonder what motivated this grammar hinting, though. I cannot think of what would have motivated its inclusion. |
| 2020-10-20 17:58:01 +0000 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 17:58:16 +0000 | tomsmeding | neither |
| 2020-10-20 17:58:18 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-20 17:58:35 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 17:58:35 +0000 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 17:58:35 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:00:01 +0000 | grafa | (~grafa@185.163.110.116) () |
| 2020-10-20 18:02:01 +0000 | geekosaur | (ac3a3b11@172.58.59.17) |
| 2020-10-20 18:04:42 +0000 | brettgilio_ | (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>) |
| 2020-10-20 18:04:44 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 18:08:49 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 18:09:52 +0000 | brettgilio | (~brettgili@brettgilio.com) |
| 2020-10-20 18:10:31 +0000 | ryjm_matrix | (~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) |
| 2020-10-20 18:11:58 +0000 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 18:12:30 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-20 18:14:56 +0000 | evanjs | (~evanjs@075-129-188-019.res.spectrum.com) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2020-10-20 18:15:23 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 18:16:09 +0000 | evanjs | (~evanjs@075-129-188-019.res.spectrum.com) |
| 2020-10-20 18:16:18 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 2020-10-20 18:18:10 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 18:18:23 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 18:20:28 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 18:20:51 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 18:20:55 +0000 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 2020-10-20 18:21:24 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 18:21:39 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 18:21:43 +0000 | chaosmasttter | (~chaosmast@p200300c4a70942019022135e51598bcd.dip0.t-ipconnect.de) |
| 2020-10-20 18:21:54 +0000 | <frdg> | is `monotonicity` a relevant concept in Haskell? |
| 2020-10-20 18:22:25 +0000 | <monochrom> | Depends on context. But probably yes. |
| 2020-10-20 18:23:05 +0000 | <monochrom> | Depends on context, but monotonicity could be relevant to all computing. All computable functions are monotonic. |
| 2020-10-20 18:23:28 +0000 | hackage | versions 4.0.0 - Types and parsers for software version numbers. https://hackage.haskell.org/package/versions-4.0.0 (fosskers) |
| 2020-10-20 18:23:31 +0000 | <frdg> | The context I am thinking of is if I can benefit by ensuring all of my functions are monotonic. |
| 2020-10-20 18:23:56 +0000 | <frdg> | or does Haskell ensure that implicitly? |
| 2020-10-20 18:23:58 +0000 | <koz_> | frdg: mapMonotonic et al in Data.Map maybe? |
| 2020-10-20 18:24:06 +0000 | <monochrom> | The context determines which "monotonic" we're talking about. |
| 2020-10-20 18:24:11 +0000 | <koz_> | I don't think Haskell can ensure something like monotonicity. |
| 2020-10-20 18:24:19 +0000 | <koz_> | (of any stripe) |
| 2020-10-20 18:24:41 +0000 | <monochrom> | In other words, which partial order you have in mind. |
| 2020-10-20 18:24:58 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-20 18:25:05 +0000 | <frdg> | I know of monotonicity through learning Prolog |
| 2020-10-20 18:25:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 18:25:24 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 18:25:26 +0000 | <frdg> | so whatever the context is in Prolog I guess. |
| 2020-10-20 18:25:26 +0000 | <koz_> | Wait, are we talking about monotonicity of entailment? |
| 2020-10-20 18:25:49 +0000 | <frdg> | koz_: yes just found that |
| 2020-10-20 18:25:50 +0000 | <monochrom> | https://en.wikibooks.org/wiki/Haskell/Denotational_semantics |
| 2020-10-20 18:26:13 +0000 | geekosaur | (ac3a3b11@172.58.59.17) (Remote host closed the connection) |
| 2020-10-20 18:26:14 +0000 | <frdg> | Ill read this |
| 2020-10-20 18:26:36 +0000 | <monochrom> | I don't know Prolog's monotonicity of entailment. |
| 2020-10-20 18:27:00 +0000 | <monochrom> | TLDR ctrl-f for "semantic approximation order" |
| 2020-10-20 18:27:00 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 18:27:00 +0000 | <koz_> | monochrom: It's a property of some logics. |
| 2020-10-20 18:27:18 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 18:27:24 +0000 | <dolio> | Naturally computable functions are monotone with respect to a specific partial order, not every possible partial order. |
| 2020-10-20 18:27:28 +0000 | hackage | lp-diagrams 2.1.3 - An EDSL for diagrams based based on linear constraints https://hackage.haskell.org/package/lp-diagrams-2.1.3 (JeanPhilippeBernardy) |
| 2020-10-20 18:27:30 +0000 | <frdg> | This post has a nice answer: https://stackoverflow.com/questions/43314658/what-are-the-requirements-a-computer-function-must-me… |
| 2020-10-20 18:27:37 +0000 | <dolio> | Some of which may disagree with each other. :) |
| 2020-10-20 18:28:24 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 18:28:36 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 18:29:25 +0000 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2020-10-20 18:29:54 +0000 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 18:29:54 +0000 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 18:30:13 +0000 | taurux | (~taurux@net-188-152-14-24.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2020-10-20 18:30:27 +0000 | <tomsmeding> | frdg: the monotonicity of entailment as described in that SO answer is specific to logical derivation; what would you then mean with "ensuring all of my functions are monotonic" in haskell? |
| 2020-10-20 18:30:28 +0000 | hackage | gasp 1.3.0.0 - A framework of algebraic classes https://hackage.haskell.org/package/gasp-1.3.0.0 (JeanPhilippeBernardy) |
| 2020-10-20 18:30:51 +0000 | taurux | (~taurux@net-109-115-33-227.cust.vodafonedsl.it) |
| 2020-10-20 18:31:06 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 18:31:36 +0000 | <frdg> | tomsmeding: that question doesn't make sense does it? |
| 2020-10-20 18:31:38 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 18:31:54 +0000 | <monochrom> | It makes sense iff you can give examples and counterexamples. |
| 2020-10-20 18:32:32 +0000 | <tomsmeding> | in other words: strictly that definition of monotonicity doesn't really apply, but that doesn't mean there is not another definition that you have in mind that _is_ relevant :) |
| 2020-10-20 18:34:47 +0000 | <frdg> | say you had a pipeline of composed functions. A function could be "monotonic" if it's addition to the pipeline restricts the size of the codomain. If it enlarges the size then it is not monotonic. |
| 2020-10-20 18:35:05 +0000 | taurux | (~taurux@net-109-115-33-227.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2020-10-20 18:36:02 +0000 | alp | (~alp@2a01:e0a:58b:4920:b909:f1ee:7d69:ad6b) |
| 2020-10-20 18:36:09 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 18:36:37 +0000 | <frdg> | though I cannot think of any pure function that would be "non-monotonic" in this definition. |
| 2020-10-20 18:37:07 +0000 | taurux | (~taurux@net-188-152-111-146.cust.dsl.teletu.it) |
| 2020-10-20 18:37:17 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 18:38:28 +0000 | <ski> | what about `(>= 0) . abs' vs. `(>= 0) . subtract 1 . abs' ? |
| 2020-10-20 18:38:30 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2020-10-20 18:38:45 +0000 | <frdg> | restricts the size of the range not codomain. |
| 2020-10-20 18:39:00 +0000 | <ski> | what does "restricts the size of the codomain" mean ? |
| 2020-10-20 18:39:01 +0000 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-10-20 18:40:10 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 18:40:11 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Max SendQ exceeded) |
| 2020-10-20 18:40:20 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 18:41:25 +0000 | taurux | (~taurux@net-188-152-111-146.cust.dsl.teletu.it) (Ping timeout: 240 seconds) |
| 2020-10-20 18:41:38 +0000 | taurux | (~taurux@net-130-25-120-210.cust.vodafonedsl.it) |
| 2020-10-20 18:41:42 +0000 | conal_ | (~conal@66.115.157.40) |
| 2020-10-20 18:42:41 +0000 | <frdg> | ski: I believe that both these function would fit this definition of monotonic if we added a rule that the function could at most preserve the size of the functions range. |
| 2020-10-20 18:43:03 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Read error: Connection reset by peer) |
| 2020-10-20 18:44:32 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 272 seconds) |
| 2020-10-20 18:44:56 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2020-10-20 18:45:13 +0000 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2020-10-20 18:45:36 +0000 | <ski> | "monotonic" usually refers to some partial order. what is the partial order, in your case ? |
| 2020-10-20 18:46:27 +0000 | hackage | lp-diagrams 2.1.4 - An EDSL for diagrams based based on linear constraints https://hackage.haskell.org/package/lp-diagrams-2.1.4 (JeanPhilippeBernardy) |
| 2020-10-20 18:47:12 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 18:47:28 +0000 | hackage | beam-postgres 0.5.0.0 - Connection layer between beam and postgres https://hackage.haskell.org/package/beam-postgres-0.5.0.0 (TravisAthougies) |
| 2020-10-20 18:47:40 +0000 | <frdg> | skit: the size of the range. |
| 2020-10-20 18:47:57 +0000 | <frdg> | ski |
| 2020-10-20 18:48:20 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 18:48:30 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 18:48:30 +0000 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 18:48:30 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:49:35 +0000 | <ski> | so you define `f =< g' to mean `forall y. (exists x. f x = y) => (exists x. g x = y)' ? |
| 2020-10-20 18:52:25 +0000 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Quit: Leaving) |
| 2020-10-20 18:53:17 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 18:55:16 +0000 | <frdg> | ski: You mean `=<` as less or equal right? |
| 2020-10-20 18:55:41 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 18:56:34 +0000 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-10-20 18:56:45 +0000 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-20 18:56:54 +0000 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 18:56:54 +0000 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 18:56:54 +0000 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:58:28 +0000 | hackage | parsek 1.0.3.0 - Parallel Parsing Processes https://hackage.haskell.org/package/parsek-1.0.3.0 (JeanPhilippeBernardy) |
| 2020-10-20 18:58:34 +0000 | <frdg> | ski: to me this definition would be for equality of functions. |
| 2020-10-20 18:59:50 +0000 | <merijn> | hmm |
| 2020-10-20 18:59:59 +0000 | <merijn> | Why is there no foldMapM? :\ |
| 2020-10-20 19:01:30 +0000 | <kuribas> | foldTraverse? |
| 2020-10-20 19:01:41 +0000 | <monochrom> | Since M is involved, order matters now. Should foldMapM mean left to right? right to left? top down? bottom up? |
| 2020-10-20 19:01:56 +0000 | <merijn> | monochrom: eh |
| 2020-10-20 19:02:07 +0000 | <merijn> | monochrom: That matters for monoids too |
| 2020-10-20 19:02:17 +0000 | <merijn> | monochrom: So that's a bit of a non argument |
| 2020-10-20 19:02:28 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
| 2020-10-20 19:02:40 +0000 | <kuribas> | left to right |
| 2020-10-20 19:02:55 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
| 2020-10-20 19:03:03 +0000 | <merijn> | monochrom: Exhibit A: Alt |
| 2020-10-20 19:03:31 +0000 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2020-10-20 19:04:00 +0000 | <phadej> | :t Control.MOnad.foldM |
| 2020-10-20 19:04:02 +0000 | <lambdabot> | error: |
| 2020-10-20 19:04:02 +0000 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-10-20 19:04:03 +0000 | <lambdabot> | Not in scope: ‘Control.MOnad.foldM’ |
| 2020-10-20 19:04:03 +0000 | <lambdabot> | Perhaps you meant one of these: |
| 2020-10-20 19:04:05 +0000 | <phadej> | :t Control.Monad.foldM |
| 2020-10-20 19:04:07 +0000 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2020-10-20 19:04:19 +0000 | <merijn> | monochrom: Perhaps you were thinking of commutative monoids? :p |
| 2020-10-20 19:04:27 +0000 | <monochrom> | No. |
| 2020-10-20 19:04:27 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 19:04:38 +0000 | <merijn> | phadej: Yeah, but then I need to write an awkward wrapper :\ |
| 2020-10-20 19:04:45 +0000 | <phadej> | (a <> b) <> c = a <> (b <> c) |
| 2020-10-20 19:04:59 +0000 | <phadej> | if <> would "print" something, these will sequence effects in different order |
| 2020-10-20 19:05:27 +0000 | hackage | parsek 1.0.4.0 - Parallel Parsing Processes https://hackage.haskell.org/package/parsek-1.0.4.0 (JeanPhilippeBernardy) |
| 2020-10-20 19:05:29 +0000 | <phadej> | but if you don't care, then foldMapM would just work |
| 2020-10-20 19:05:55 +0000 | taurux | (~taurux@net-130-25-120-210.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 2020-10-20 19:06:12 +0000 | <phadej> | looks like rio and relude define foldMapM |
| 2020-10-20 19:06:16 +0000 | <merijn> | phadej: But that doesn't hold for "(Monad m, Monoid r) => (a -> m r) -> [a] -> m r" |
| 2020-10-20 19:06:26 +0000 | <merijn> | phadej: <> can't have an effect there |
| 2020-10-20 19:06:40 +0000 | <merijn> | phadej: That's just Alt/liftA2 (<>) |
| 2020-10-20 19:06:41 +0000 | <monochrom> | Data.Foldable.foldlM and foldrM |
| 2020-10-20 19:06:47 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2020-10-20 19:06:47 +0000 | taurux | (~taurux@net-93-146-7-193.cust.vodafonedsl.it) |
| 2020-10-20 19:06:53 +0000 | <phadej> | merijn: there you can still can traverse in arbitrary order |
| 2020-10-20 19:06:55 +0000 | <merijn> | both of which have perfectly well defined semantics |
| 2020-10-20 19:06:55 +0000 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) |
| 2020-10-20 19:06:59 +0000 | <phadej> | but I guess you'd expect `traverse` order |
| 2020-10-20 19:07:05 +0000 | <merijn> | phadej: Yes, but the traversal order also impacts the monoid |
| 2020-10-20 19:07:20 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 19:07:31 +0000 | <merijn> | The order of traversal matters for foldMap *anyway* |
| 2020-10-20 19:07:41 +0000 | <phadej> | :t \f -> fmap fold . traverse f |
| 2020-10-20 19:07:43 +0000 | <lambdabot> | (Monoid b, Traversable t, Applicative f) => (a -> f b) -> t a -> f b |
| 2020-10-20 19:07:44 +0000 | <merijn> | So the fact that it matters for foldMapM is trivial |
| 2020-10-20 19:07:50 +0000 | <merijn> | Of course it does |
| 2020-10-20 19:07:50 +0000 | <monochrom> | Not that order. The other order. |
| 2020-10-20 19:08:16 +0000 | <phadej> | fmapTraverse should be a member of `Traversable` |
| 2020-10-20 19:08:25 +0000 | <phadej> | \f g -> fmap f . traverse g |
| 2020-10-20 19:08:26 +0000 | <phadej> | :t \f g -> fmap f . traverse g |
| 2020-10-20 19:08:27 +0000 | hackage | flashblast 0.0.4.0 - Generate language learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.4.0 (locallycompact) |
| 2020-10-20 19:08:28 +0000 | <lambdabot> | (Traversable t, Applicative f) => (t b1 -> b2) -> (a -> f b1) -> t a -> f b2 |
| 2020-10-20 19:08:37 +0000 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2020-10-20 19:09:17 +0000 | knupfer | (~Thunderbi@200116b82c27b200ad7c9ffd9ebcfe8b.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-20 19:09:18 +0000 | <merijn> | monochrom: Please show me how the traversal order "doesn't matter" for "Just . First" :) |
| 2020-10-20 19:10:04 +0000 | <phadej> | it doesn't matter, Maybe is commutative effect |
| 2020-10-20 19:10:22 +0000 | <merijn> | phadej: eh, it does... |
| 2020-10-20 19:10:28 +0000 | <merijn> | phadej: You get a different value |
| 2020-10-20 19:10:42 +0000 | <phadej> | you don't |
| 2020-10-20 19:11:10 +0000 | <monochrom> | evaluation order and confluence, vs execution order and effects? |
| 2020-10-20 19:11:13 +0000 | <phadej> | yes |
| 2020-10-20 19:11:19 +0000 | <monochrom> | Must I spell it out? |
| 2020-10-20 19:11:29 +0000 | <phadej> | no, let's just stop |
| 2020-10-20 19:11:41 +0000 | <phadej> | \f -> fmap fold . traverse f -- is what merijn wants |
| 2020-10-20 19:11:56 +0000 | <merijn> | Given a datatype "Foo a" the result of both foldMap and hypothetical foldMapM is dependent on the traversal order of Foo, yes or no? |
| 2020-10-20 19:12:12 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 19:12:25 +0000 | <phadej> | https://gitlab.haskell.org/ghc/ghc/-/issues/13153 looks like I'm not the only one who wants mapTraverse |
| 2020-10-20 19:13:06 +0000 | <phadej> | merijn: ... |
| 2020-10-20 19:13:41 +0000 | conal_ | (~conal@66.115.157.40) (Quit: Computer has gone to sleep.) |
| 2020-10-20 19:14:15 +0000 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) (Quit: leaving) |
| 2020-10-20 19:14:17 +0000 | <phadej> | monochrom meant that if "Foo" is a tree, foldMap can reassosiate the <>, and that shouldn't matter for the end result |
| 2020-10-20 19:14:40 +0000 | <phadej> | as in, foldMap implementation may use associativity of <> to its advantage |
| 2020-10-20 19:14:44 +0000 | <merijn> | phadej: Well my type only admits the Alt monoid in which case it *doesn't* matter |
| 2020-10-20 19:15:00 +0000 | <phadej> | but that's different "order" then traverse-ing |
| 2020-10-20 19:15:21 +0000 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) |
| 2020-10-20 19:15:34 +0000 | bartemius | (~bartemius@109.252.19.142) (Remote host closed the connection) |
| 2020-10-20 19:15:39 +0000 | <merijn> | phadej: I'm trying to determine where the asssumptions diverge that leads to monochrom disagreeing. |
| 2020-10-20 19:15:55 +0000 | <merijn> | afaict the type I want only admits the Alt implementation in which case reassociating <> is irrelevant |
| 2020-10-20 19:15:59 +0000 | <phadej> | internet, where people disagree just because |
| 2020-10-20 19:16:19 +0000 | <merijn> | (well, that's a lie I guess it also admits the dual of Alt) |
| 2020-10-20 19:16:40 +0000 | <merijn> | Either way, reassociating of <> doesn't affect the result, effects or no |
| 2020-10-20 19:16:57 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 19:17:38 +0000 | <monochrom> | So you don't need a general polymorphic function that covers all Foldable instances. |
| 2020-10-20 19:17:40 +0000 | <merijn> | So only the traversal order has an impact on the behaviour of effects, but that has effect on <> anyway |
| 2020-10-20 19:18:28 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 19:19:16 +0000 | <merijn> | monochrom: Ok, so the disagreement (seems?) to be whether "foldMapM :: (Foldable t, Applicative f, Monoid r) => (a -> f r) -> t a -> f r" admits an implementation other than "\f -> getAlt . foldMap (Alt . f)" |
| 2020-10-20 19:19:24 +0000 | ggole | (~ggole@2001:8003:8119:7200:9458:d2e2:e6f8:6e99) (Quit: Leaving) |
| 2020-10-20 19:19:40 +0000 | <phadej> | :t \f -> fmap fold . traverse f . toList |
| 2020-10-20 19:19:41 +0000 | <monochrom> | s/implementation/expectation/ |
| 2020-10-20 19:19:42 +0000 | <lambdabot> | error: |
| 2020-10-20 19:19:42 +0000 | <lambdabot> | Ambiguous occurrence ‘toList’ |
| 2020-10-20 19:19:42 +0000 | <lambdabot> | It could refer to |
| 2020-10-20 19:19:46 +0000 | <phadej> | :t \f -> fmap fold . traverse f . Data.Foldable.toList |
| 2020-10-20 19:19:48 +0000 | <lambdabot> | (Monoid b, Applicative f, Foldable t) => (a -> f b) -> t a -> f b |
| 2020-10-20 19:20:33 +0000 | <phadej> | I guess that's the same |
| 2020-10-20 19:20:41 +0000 | <merijn> | monochrom: Do you agree that "\f -> getAlt . foldMap (Alt . f)" always has the same result, regardless of any reassociating that foldMap happens to do? |
| 2020-10-20 19:21:55 +0000 | <phadej> | no that's different. Alt would have Alternative somewhere |
| 2020-10-20 19:22:03 +0000 | <phadej> | :t \f -> getAlt . foldMap (Alt . f) |
| 2020-10-20 19:22:05 +0000 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Alt f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 19:22:06 +0000 | <merijn> | oh, wait |
| 2020-10-20 19:22:08 +0000 | <merijn> | I mean Ap |
| 2020-10-20 19:22:16 +0000 | <merijn> | my bad |
| 2020-10-20 19:22:23 +0000 | <merijn> | That's what I get for writing form memory |
| 2020-10-20 19:22:23 +0000 | <phadej> | :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 19:22:24 +0000 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 19:22:49 +0000 | <phadej> | :t \f xs -> getAp (foldMap (Ap . f) xs) |
| 2020-10-20 19:22:50 +0000 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 19:23:04 +0000 | <phadej> | silly lambdabot, can you disable PolyKinds |
| 2020-10-20 19:23:20 +0000 | <merijn> | % :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 19:23:20 +0000 | <yahb> | merijn: ; <interactive>:1:2: warning: [-Wname-shadowing] This binding for `f' shadows the existing binding defined at <interactive>:91:1; forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 19:23:25 +0000 | <merijn> | bah |
| 2020-10-20 19:23:37 +0000 | <merijn> | % :seti -XNoPolyKinds |
| 2020-10-20 19:23:37 +0000 | <yahb> | merijn: |
| 2020-10-20 19:23:39 +0000 | <merijn> | % :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 19:23:40 +0000 | <yahb> | merijn: ; <interactive>:1:2: warning: [-Wname-shadowing] This binding for `f' shadows the existing binding defined at <interactive>:91:1; (Foldable t, Applicative f, Monoid a1) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 19:24:42 +0000 | kuribas | (~user@ptr-25vy0iajfrrz51ad66r.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2020-10-20 19:25:11 +0000 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) (Quit: leaving) |
| 2020-10-20 19:25:58 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 19:25:59 +0000 | Will36 | (56be05c9@host86-190-5-201.range86-190.btcentralplus.com) |
| 2020-10-20 19:27:52 +0000 | thrig1 | (~thrig@178.162.209.171) |
| 2020-10-20 19:28:09 +0000 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2020-10-20 19:28:26 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 19:33:50 +0000 | jkachmar | (uid226591@gateway/web/irccloud.com/x-zlznzlpgujapddpg) |
| 2020-10-20 19:35:25 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-jjpkvgqppresuvbx) |
| 2020-10-20 19:35:55 +0000 | jkachmar | (uid226591@gateway/web/irccloud.com/x-zlznzlpgujapddpg) () |
| 2020-10-20 19:37:30 +0000 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) |
| 2020-10-20 19:37:36 +0000 | Franciman | (~francesco@host-82-48-166-25.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-10-20 19:38:21 +0000 | ph88 | (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) |
| 2020-10-20 19:39:15 +0000 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 19:40:22 +0000 | Guest_85 | (bc4a58f5@188.74.88.245) |
| 2020-10-20 19:41:12 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 19:41:13 +0000 | <Guest_85> | can't install it on my ubuntu subsystem on my windows 10 machine |
| 2020-10-20 19:41:17 +0000 | <Guest_85> | bruh |
| 2020-10-20 19:41:40 +0000 | Guest_85 | (bc4a58f5@188.74.88.245) (Remote host closed the connection) |
| 2020-10-20 19:41:50 +0000 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 19:44:43 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 19:46:02 +0000 | <dsal> | Oh man. I hope whoever that is manages to get it installed. |
| 2020-10-20 19:46:27 +0000 | <koz_> | Whatever 'it' was. |
| 2020-10-20 19:47:16 +0000 | nineonin_ | (~textual@216.81.48.202) |
| 2020-10-20 19:47:19 +0000 | <monochrom> | People who only understand the simpleton boolean "it works / it doesn't work" shouldn't be in programming in the first place. |
| 2020-10-20 19:47:31 +0000 | mrbentarikau | caubert |
| 2020-10-20 19:47:44 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 19:48:10 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 19:49:33 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 19:54:24 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 19:54:44 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 19:55:14 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 19:57:53 +0000 | <dminuoso> | monochrom: That sounds rather simpletony boolean. |
| 2020-10-20 19:58:02 +0000 | leah2 | (~leah@vuxu.org) |
| 2020-10-20 19:58:14 +0000 | <monochrom> | haha |
| 2020-10-20 20:01:28 +0000 | rprije | (~rprije@110-175-117-18.tpgi.com.au) |
| 2020-10-20 20:10:48 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 20:12:25 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 20:14:07 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 20:14:35 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 20:15:17 +0000 | <tomsmeding> | I have a function that, when I run it and measure its execution time using Criterion.Measurement.measure, alternatingly takes ~0.53 and ~0.62 seconds |
| 2020-10-20 20:15:31 +0000 | <tomsmeding> | seeing those timings made me do a double take |
| 2020-10-20 20:15:37 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 272 seconds) |
| 2020-10-20 20:16:18 +0000 | <tomsmeding> | fortunately I know the cause, and the cause is unsurprisingly GC; passing +RTS -c reduces the difference to ~0.60 vs ~0.61 (though it still oscillates!) |
| 2020-10-20 20:16:25 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 264 seconds) |
| 2020-10-20 20:17:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 20:17:27 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-20 20:17:40 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 258 seconds) |
| 2020-10-20 20:17:53 +0000 | <koz_> | Is there a pre-rolled instance of Arbitrary for Scientific out there? |
| 2020-10-20 20:19:52 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 20:20:25 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 20:20:58 +0000 | hackage | dsv 1.0.0.0 - DSV (delimiter-separated values) https://hackage.haskell.org/package/dsv-1.0.0.0 (chris_martin) |
| 2020-10-20 20:23:45 +0000 | <dminuoso> | tomsmeding: That difference seems well within margin of errors, induced by things like TLB flushes on preemption, cache evictions from other threads. |
| 2020-10-20 20:24:14 +0000 | <tomsmeding> | dminuoso: also if it's fully reproducible on an intel i7 laptop as well as an amd threadripper server? |
| 2020-10-20 20:24:25 +0000 | <dminuoso> | The difference between 0.60 and 0.61? |
| 2020-10-20 20:24:27 +0000 | <dminuoso> | Id say yes. |
| 2020-10-20 20:24:32 +0000 | <dminuoso> | Or is it still alternatingly? |
| 2020-10-20 20:24:33 +0000 | <tomsmeding> | oh that one, sure |
| 2020-10-20 20:24:37 +0000 | <tomsmeding> | still alternating |
| 2020-10-20 20:24:39 +0000 | <tomsmeding> | :p |
| 2020-10-20 20:24:43 +0000 | <tomsmeding> | that's what makes it interesting |
| 2020-10-20 20:24:54 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 20:25:16 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2020-10-20 20:25:36 +0000 | <dminuoso> | Curious though, in the degenerate case, the GC takes that much time? |
| 2020-10-20 20:25:42 +0000 | <tomsmeding> | oh correction: the +RTS -c doesn't help om the AMD, only on the intel |
| 2020-10-20 20:25:57 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2020-10-20 20:26:44 +0000 | <tomsmeding> | on intel, Criterion.Measurement.measure reports an 'measGcCpuSeconds' of alternatingly about 3.6e-2 and about 7.2e-2 |
| 2020-10-20 20:27:32 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-10-20 20:28:07 +0000 | <dminuoso> | tomsmeding: I wonder, could the alternating behavior happen because of some oscillating swapping? |
| 2020-10-20 20:28:22 +0000 | <dminuoso> | (swapping in the sense of swap memory) |
| 2020-10-20 20:28:42 +0000 | <dminuoso> | I admit, this is rather handwaving |
| 2020-10-20 20:28:57 +0000 | <dminuoso> | But this must clearly be something stateful |
| 2020-10-20 20:29:07 +0000 | <dminuoso> | Or.. |
| 2020-10-20 20:29:10 +0000 | <dminuoso> | Hold on. When you say alternatin |
| 2020-10-20 20:29:19 +0000 | <dminuoso> | Is that within the same program execution? |
| 2020-10-20 20:29:20 +0000 | <tomsmeding> | if you mean swapping as in memory full so swap to disk, no, because memory is far from full |
| 2020-10-20 20:30:08 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) |
| 2020-10-20 20:30:31 +0000 | <tomsmeding> | yes one process that runs the same function a number of times, and the even cases (say) are 0.62 +- 0.3 seconds, and the odd cases (say) are 0.53 += 0.3 seconds |
| 2020-10-20 20:30:57 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:32:07 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:5513:d68a:c93e:4e27) (Ping timeout: 260 seconds) |
| 2020-10-20 20:34:54 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 20:39:42 +0000 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 20:40:34 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 20:41:53 +0000 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 20:42:10 +0000 | Will36 | (56be05c9@host86-190-5-201.range86-190.btcentralplus.com) () |
| 2020-10-20 20:43:57 +0000 | ericsagnes | (~ericsagne@2405:6580:0:5100:1c6c:f39a:cdd0:9852) |
| 2020-10-20 20:44:58 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2020-10-20 20:46:13 +0000 | <hololeap> | i don't understand constraints that don't take any type variables, like HasCallStack. what are these kinds of constraints acting on? |
| 2020-10-20 20:48:34 +0000 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) |
| 2020-10-20 20:48:36 +0000 | <tomsmeding> | you can see constraints as kind of "inferred implicit parameters" |
| 2020-10-20 20:48:44 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 20:48:44 +0000 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 20:48:59 +0000 | <tomsmeding> | where the value being passed as that parameter is a record of the functions defined in the relevant class instance |
| 2020-10-20 20:50:03 +0000 | <tomsmeding> | e.g. for a function like nub :: Eq a => [a] -> [a], under the hood it really takes two arguments: a dictionary Eq { (==) :: a -> a -> Bool }, and a list [a] |
| 2020-10-20 20:50:09 +0000 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 20:51:09 +0000 | <tomsmeding> | hololeap: and the inference algorithm for those inferred parameters is the instance resolution algorithm :) |
| 2020-10-20 20:51:44 +0000 | <tomsmeding> | from that perspective, it makes sense to also allow classes that take zero parameters; their dictionary types just happen to have no type parameters |
| 2020-10-20 20:52:21 +0000 | fendor | (~fendor@91.141.2.147.wireless.dyn.drei.com) (Quit: Leaving) |
| 2020-10-20 20:52:37 +0000 | <tomsmeding> | now HasCallStack is a magical thing that uses the weird dynamic scoping functionality that GHC offers, so it's really a separate case :p |
| 2020-10-20 20:53:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 20:56:23 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 20:57:49 +0000 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) (Ping timeout: 260 seconds) |
| 2020-10-20 20:58:21 +0000 | britva | (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b) |
| 2020-10-20 20:58:21 +0000 | <tomsmeding> | hololeap: this "dictionary" idea is actually also how type classes are implemented in GHC; see e.g. the original paper (http://ropas.snu.ac.kr/lib/dock/HaHaJoWa1996.pdf (which I haven't actually read, sorry :D)) or other resources online |
| 2020-10-20 21:00:02 +0000 | thrig1 | (~thrig@178.162.209.171) () |
| 2020-10-20 21:00:51 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 21:02:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-10-20 21:03:37 +0000 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 21:04:55 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 21:05:21 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 21:05:40 +0000 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 21:05:45 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 240 seconds) |
| 2020-10-20 21:09:23 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-20 21:09:42 +0000 | hekkaidekapus{ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-20 21:11:43 +0000 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-10-20 21:12:24 +0000 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
| 2020-10-20 21:14:38 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 21:15:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2020-10-20 21:15:52 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-10-20 21:18:05 +0000 | gxt | (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2020-10-20 21:18:42 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Quit: Leaving) |
| 2020-10-20 21:18:51 +0000 | gxt | (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-20 21:19:10 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 21:19:18 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-20 21:19:52 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 21:20:28 +0000 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 21:21:44 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds) |
| 2020-10-20 21:21:46 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 21:22:05 +0000 | cassier | (~cassier@195.206.169.184) |
| 2020-10-20 21:22:34 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 21:24:10 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 21:24:19 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-10-20 21:24:32 +0000 | codygman | (~codygman@47.190.47.120) |
| 2020-10-20 21:25:33 +0000 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-10-20 21:26:15 +0000 | conal | (~conal@64.71.133.70) |
| 2020-10-20 21:28:55 +0000 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-10-20 21:28:58 +0000 | codygman | (~codygman@47.190.47.120) (Ping timeout: 258 seconds) |
| 2020-10-20 21:29:10 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-20 21:30:08 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 21:31:43 +0000 | nshepperd | . o 0 (hmm, what if defining all functions in a module in a zero parameter typeclass to resolve circular dependencies instead of using hs-boot) |
| 2020-10-20 21:32:26 +0000 | caubert | (~mrbentari@207.246.80.112) (Quit: WeeChat 2.8) |
| 2020-10-20 21:32:47 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-10-20 21:32:47 +0000 | evade | (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Ping timeout: 260 seconds) |
| 2020-10-20 21:33:10 +0000 | mrbentarikau | (~mrbentari@207.246.80.112) |
| 2020-10-20 21:33:24 +0000 | mrbentarikau | caubert |
| 2020-10-20 21:33:25 +0000 | mananamenos | (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2020-10-20 21:33:31 +0000 | arguapacha | (~arguapach@bras-base-mtrlpq02hsy-grc-04-174-93-252-133.dsl.bell.ca) |
| 2020-10-20 21:33:52 +0000 | conal_ | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 21:34:31 +0000 | totallynotnate | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 2020-10-20 21:34:54 +0000 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 21:36:10 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 272 seconds) |
| 2020-10-20 21:36:31 +0000 | britva | (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b) (Quit: This computer has gone to sleep) |
| 2020-10-20 21:42:39 +0000 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 21:42:56 +0000 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-10-20 21:43:01 +0000 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 21:45:56 +0000 | chaosmasttter | (~chaosmast@p200300c4a70942019022135e51598bcd.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-10-20 21:46:13 +0000 | christo | (~chris@81.96.113.213) |
| 2020-10-20 21:48:15 +0000 | conal_ | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-10-20 21:48:23 +0000 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2020-10-20 21:49:42 +0000 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 21:49:46 +0000 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds) |
| 2020-10-20 21:51:03 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 21:53:38 +0000 | totallynotnate | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 2020-10-20 21:54:04 +0000 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
| 2020-10-20 21:54:31 +0000 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 21:54:40 +0000 | EyalSK | (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) (Quit: Leaving) |
| 2020-10-20 21:55:10 +0000 | totallynotnate | (~nate@110.138.18.157) (Client Quit) |
| 2020-10-20 21:55:38 +0000 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-10-20 21:56:25 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-20 21:57:04 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2020-10-20 21:57:26 +0000 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 22:01:39 +0000 | nineonin_ | (~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 22:01:49 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-20 22:02:16 +0000 | eedgit2 | (~chat.free@95.179.237.21) (Remote host closed the connection) |
| 2020-10-20 22:02:42 +0000 | eedgit2 | (~chat.free@95.179.237.21) |
| 2020-10-20 22:04:03 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-10-20 22:05:09 +0000 | caef^ | (caef@ip98-184-89-2.mc.at.cox.net) () |
| 2020-10-20 22:05:25 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 22:08:36 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 22:09:28 +0000 | <monochrom> | HasCallStack is implemented by being an alias of an implicit parameter constraint. |
| 2020-10-20 22:10:41 +0000 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 22:10:55 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-20 22:11:50 +0000 | <monochrom> | Because of ContraintKinds, it can be coded as a type alias, "type HasCallStack = ?callstack :: CallStack" and then you just write "f :: HasCallStack => Int" it simply expands to "f :: (?callStack :: CallStack) => Int" |
| 2020-10-20 22:13:57 +0000 | hackage | antiope-sqs 7.5.2 - Please see the README on Github at <https://github.com/arbor/antiope#readme> https://hackage.haskell.org/package/antiope-sqs-7.5.2 (arbornetworks) |
| 2020-10-20 22:14:58 +0000 | hackage | antiope-es 7.5.2, antiope-dynamodb 7.5.2, antiope-core 7.5.2, antiope-s3 7.5.2, antiope-shell 7.5.2, antiope-messages 7.5.2, antiope-athena 7.5.2, antiope-sns 7.5.2, antiope-contract 7.5.2, antiope-optparse-applicative 7.5.2 (arbornetworks) |
| 2020-10-20 22:15:33 +0000 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 2020-10-20 22:15:40 +0000 | ndbtpo^ | (ndbtpo@ip98-184-89-2.mc.at.cox.net) |
| 2020-10-20 22:15:41 +0000 | <hpc> | if that was anything but HasCallStack, that trick would make code unreadable with terrifying ease |
| 2020-10-20 22:17:00 +0000 | LKoen | (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-10-20 22:18:03 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2020-10-20 22:18:33 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 22:22:25 +0000 | sagax | (~sagax_nb@213.138.71.146) (Ping timeout: 244 seconds) |
| 2020-10-20 22:23:18 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 22:31:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 22:32:45 +0000 | isovector1 | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving) |
| 2020-10-20 22:33:16 +0000 | jsynacek | (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 246 seconds) |
| 2020-10-20 22:36:49 +0000 | Guest88073 | (~lep@94.31.83.149) (Read error: Connection reset by peer) |
| 2020-10-20 22:36:49 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-10-20 22:36:55 +0000 | lep-delete | (~lep@94.31.83.149) |
| 2020-10-20 22:39:34 +0000 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
| 2020-10-20 22:40:42 +0000 | nineonin_ | (~textual@216.81.48.202) |
| 2020-10-20 22:41:17 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 22:42:14 +0000 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 22:42:34 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Quit: Leaving) |
| 2020-10-20 22:42:48 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
| 2020-10-20 22:46:03 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 22:46:19 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2020-10-20 22:46:21 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-jjpkvgqppresuvbx) (Quit: Connection closed for inactivity) |
| 2020-10-20 22:46:32 +0000 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:1cbf:1cb4:cff6:749e) (Quit: karanlikmadde) |
| 2020-10-20 22:46:38 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-20 22:51:06 +0000 | Alleria_ | (~AllahuAkb@2604:2000:1484:26:4c41:7084:aa7f:3802) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 22:55:39 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 22:55:48 +0000 | heatsink | (~heatsink@107.136.5.69) |
| 2020-10-20 22:56:48 +0000 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Quit: Leaving) |
| 2020-10-20 22:58:00 +0000 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-10-20 23:00:10 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2020-10-20 23:00:39 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-10-20 23:02:00 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 23:02:02 +0000 | irc_user | (uid423822@gateway/web/irccloud.com/x-ccinjvlcbfblsfxt) |
| 2020-10-20 23:02:07 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 23:02:44 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-20 23:06:37 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds) |
| 2020-10-20 23:06:40 +0000 | wroathe | (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-10-20 23:06:42 +0000 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 23:07:55 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 246 seconds) |
| 2020-10-20 23:08:35 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 23:09:54 +0000 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-20 23:10:05 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-20 23:10:39 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2020-10-20 23:12:02 +0000 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 2020-10-20 23:12:18 +0000 | scratchy_beard | (~doug@cpc110383-king13-2-0-cust408.19-1.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-10-20 23:18:24 +0000 | nullheroes | (~danielvu@168.235.66.22) (Quit: WeeChat 2.9) |
| 2020-10-20 23:18:26 +0000 | Amras | (~Amras@unaffiliated/amras0000) (Remote host closed the connection) |
| 2020-10-20 23:20:14 +0000 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-10-20 23:21:02 +0000 | Amras | (~Amras@unaffiliated/amras0000) |
| 2020-10-20 23:21:09 +0000 | acidjnk_new2 | (~acidjnk@p200300d0c7237831d40d0866fc0488e0.dip0.t-ipconnect.de) |
| 2020-10-20 23:24:47 +0000 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 23:26:07 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds) |
| 2020-10-20 23:32:34 +0000 | whatisRT | (~whatisRT@2002:5b41:6a33:0:5c34:b0ad:5b4d:c699) |
| 2020-10-20 23:32:43 +0000 | ystael | (~ystael@209.6.50.55) (Ping timeout: 265 seconds) |
| 2020-10-20 23:33:51 +0000 | danvet_ | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2020-10-20 23:34:54 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) |
| 2020-10-20 23:35:13 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 23:35:46 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 23:37:11 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-10-20 23:37:55 +0000 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 23:38:55 +0000 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 23:40:36 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2020-10-20 23:43:29 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 23:43:50 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 23:44:15 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-20 23:46:19 +0000 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 23:46:46 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 23:48:16 +0000 | jedws | (~jedws@121.209.161.98) (Client Quit) |
| 2020-10-20 23:49:58 +0000 | heatsink | (~heatsink@107.136.5.69) (Remote host closed the connection) |
| 2020-10-20 23:51:11 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds) |
| 2020-10-20 23:53:42 +0000 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2020-10-20 23:54:01 +0000 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 23:54:33 +0000 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 23:56:39 +0000 | jedws | (~jedws@121.209.161.98) (Client Quit) |
| 2020-10-20 23:58:45 +0000 | Alleria_ | (~AllahuAkb@2604:2000:1484:26:9062:c31d:ffbb:9534) |
