| 2022-04-10 00:02:52 +0000 | <abastro[m]> | I see, thanks! Sad that macros require TH which inhibits compilation |
| 2022-04-10 00:03:59 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-10 00:04:38 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 00:09:58 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 00:10:53 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-10 00:14:46 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 00:20:08 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 00:20:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 00:22:15 +0000 | <d34df00d> | What's the best way to tell ghc's codegen a branch is unreachable? |
| 2022-04-10 00:23:17 +0000 | <abastro[m]> | Do you mean in pattern matching? |
| 2022-04-10 00:23:26 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-04-10 00:23:38 +0000 | <d34df00d> | abastro: almost — in a pattern guard. |
| 2022-04-10 00:24:33 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 00:25:17 +0000 | <d34df00d> | I have four guards of the form `| upperBits == 0b00` (and for the three other possibilities), ``where upperBits = someWord `shiftR` 6``, so there could be no other options but ghc (unsurprisingly) can't see that. |
| 2022-04-10 00:25:22 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 00:25:46 +0000 | <d34df00d> | I could've used `otherwise` on the last branch, but it kinda breaks the symmetry of the code, so I'd much rather write `| otherwise = unreachable???` after those four branches. |
| 2022-04-10 00:25:49 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-10 00:26:11 +0000 | kmein | (~weechat@user/kmein) |
| 2022-04-10 00:26:29 +0000 | <dsal> | You could define a complete pattern synonym possibly. |
| 2022-04-10 00:27:43 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-04-10 00:28:29 +0000 | cheater | (~Username@user/cheater) |
| 2022-04-10 00:31:59 +0000 | pnotequalnp | (~pnotequal@user/pnotequalnp) |
| 2022-04-10 00:34:33 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-10 00:36:54 +0000 | <abastro[m]> | Another possibility would be pattern matching on bit 6 & bit 7 |
| 2022-04-10 00:38:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-04-10 00:39:12 +0000 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Quit: Leaving) |
| 2022-04-10 00:39:57 +0000 | pnotequalnp | (~pnotequal@user/pnotequalnp) |
| 2022-04-10 00:40:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 00:41:19 +0000 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Remote host closed the connection) |
| 2022-04-10 00:42:30 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-10 00:45:41 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-10 00:45:56 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-04-10 00:46:23 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 00:48:22 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 00:51:00 +0000 | <d34df00d> | The idea with pattern synonyms is interesting, I think it might be the most readable. Thanks! |
| 2022-04-10 00:51:16 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 00:52:49 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 00:59:37 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 01:02:17 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-10 01:07:20 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2022-04-10 01:08:26 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-10 01:08:56 +0000 | razetime | (~quassel@117.254.35.102) |
| 2022-04-10 01:10:49 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-10 01:12:03 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:7d1a:acbd:2bb4:f) (Ping timeout: 260 seconds) |
| 2022-04-10 01:15:45 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 01:16:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-10 01:18:21 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 01:20:12 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 01:20:57 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 01:21:17 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 256 seconds) |
| 2022-04-10 01:22:33 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds) |
| 2022-04-10 01:25:13 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 01:29:39 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 01:37:50 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 01:42:15 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 01:47:09 +0000 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-10 01:47:18 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 01:47:51 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2022-04-10 01:55:37 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 01:58:17 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-10 02:00:11 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 02:06:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 02:11:19 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 02:14:32 +0000 | <sshine> | why is there both an 'aeson-schema' and an 'aeson-schemas' package? that's confusing. |
| 2022-04-10 02:15:16 +0000 | y04nn | (~y04nn@2001:ac8:28:93::a15e) (Remote host closed the connection) |
| 2022-04-10 02:16:48 +0000 | <sshine> | they're even approximately equally popular (76 vs. 100 downloads). |
| 2022-04-10 02:17:40 +0000 | <dsal> | People make packages and upload them. |
| 2022-04-10 02:19:43 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:142e:30d1:6bde:a674) |
| 2022-04-10 02:20:47 +0000 | <sshine> | apparently, at the bottom of aeson-schema's README they say they only support draft v3, whereas another hjsonschema package supports draft v4, but this package is also deprecated. so aeson-schemas it is. :) |
| 2022-04-10 02:21:15 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:25:02 +0000 | hammock | (~Hammock@2600:1700:19a1:3330::588) |
| 2022-04-10 02:26:37 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-04-10 02:26:42 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 02:27:01 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-10 02:27:02 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-10 02:27:02 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 02:30:08 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f1ec-d7f3-37e1-032c.res6.spectrum.com) (Remote host closed the connection) |
| 2022-04-10 02:31:30 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 260 seconds) |
| 2022-04-10 02:31:52 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:33:23 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-10 02:34:56 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-10 02:35:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-10 02:35:42 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-10 02:35:42 +0000 | finn_elija | FinnElija |
| 2022-04-10 02:36:43 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 02:37:43 +0000 | razetime | (~quassel@117.254.35.102) (Read error: Connection reset by peer) |
| 2022-04-10 02:42:02 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:46:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 02:51:11 +0000 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 245 seconds) |
| 2022-04-10 02:52:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:52:58 +0000 | joo-_ | (~joo-_@80-62-117-248-mobile.dk.customer.tdc.net) |
| 2022-04-10 02:52:58 +0000 | joo-_ | (~joo-_@80-62-117-248-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-10 02:52:58 +0000 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-10 02:56:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 03:02:02 +0000 | justOkay | justChili |
| 2022-04-10 03:02:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 03:06:11 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 03:06:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 03:12:31 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 03:16:31 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-10 03:16:36 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 03:17:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 03:17:34 +0000 | Macbethwin | Chargen |
| 2022-04-10 03:21:31 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-10 03:23:04 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 03:23:33 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-10 03:25:03 +0000 | flinner | (~flinner@user/flinner) |
| 2022-04-10 03:27:23 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 03:30:19 +0000 | _dmc_ | (~dcm@27.2.217.137) |
| 2022-04-10 03:30:19 +0000 | _dmc_ | (~dcm@27.2.217.137) (Changing host) |
| 2022-04-10 03:30:19 +0000 | _dmc_ | (~dcm@user/dmc/x-4369397) |
| 2022-04-10 03:30:22 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Ping timeout: 268 seconds) |
| 2022-04-10 03:33:53 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-10 03:38:53 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-10 03:42:23 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-10 03:43:30 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-10 03:45:42 +0000 | <Sgeo> | Do algebraic effects have laws corresponding to the monad laws? If so, are they written out somewhere? Can they differ between effect systems (I'm looking at Unison >.> ) |
| 2022-04-10 03:52:00 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-10 04:00:54 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 04:06:18 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 04:06:30 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 04:18:05 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 04:19:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 04:21:45 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 04:22:50 +0000 | flinner | (~flinner@user/flinner) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-04-10 04:24:19 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 04:25:20 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 04:29:28 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 04:31:17 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 04:34:01 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 04:34:35 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-10 04:39:47 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-10 04:40:45 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2022-04-10 04:41:11 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 04:42:51 +0000 | _dmc_ | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-10 04:43:07 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-10 04:43:58 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-10 04:44:12 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 04:46:43 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 04:49:49 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds) |
| 2022-04-10 04:49:53 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-10 04:52:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 04:56:41 +0000 | pavonia | (~user@user/siracusa) |
| 2022-04-10 04:57:29 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 04:58:23 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 04:58:57 +0000 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2022-04-10 04:59:31 +0000 | dschrempf | (~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu) |
| 2022-04-10 05:01:37 +0000 | bahamas | (~lucian@86.120.21.179) |
| 2022-04-10 05:03:21 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 05:03:25 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 2022-04-10 05:05:22 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-10 05:11:47 +0000 | frost | (~frost@user/frost) |
| 2022-04-10 05:14:49 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 05:14:57 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 05:14:59 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 05:15:02 +0000 | allbery_b | geekosaur |
| 2022-04-10 05:17:43 +0000 | <abastro[m]> | I guess each effect system have their own laws - tbh their semantics are quite confusing to me. |
| 2022-04-10 05:17:55 +0000 | <abastro[m]> | All of them have distinct semantics somehow. |
| 2022-04-10 05:18:17 +0000 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 248 seconds) |
| 2022-04-10 05:23:31 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 05:24:29 +0000 | dschrempf | (~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu) (Quit: WeeChat 3.4.1) |
| 2022-04-10 05:26:52 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-10 05:28:09 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 268 seconds) |
| 2022-04-10 05:31:08 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 05:32:20 +0000 | agrosant | (~agrosant@79.103.182.92.dsl.dyn.forthnet.gr) |
| 2022-04-10 05:32:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 05:33:53 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 05:35:01 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 05:36:25 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 05:36:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 05:38:30 +0000 | bahamas | (~lucian@86.120.21.179) (Ping timeout: 246 seconds) |
| 2022-04-10 05:41:13 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 05:46:38 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-10 05:57:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 06:00:01 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-10 06:01:47 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 06:06:57 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 06:07:26 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 06:12:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 06:12:25 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-10 06:15:21 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 06:17:36 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 06:17:55 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 06:18:27 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 06:19:11 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 06:22:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 06:22:57 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 06:24:58 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 06:27:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 06:28:58 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 06:30:07 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 06:32:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 06:33:29 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 06:38:07 +0000 | acidjnk | (~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de) |
| 2022-04-10 06:38:18 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 06:38:36 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 06:41:51 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2022-04-10 06:43:05 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 06:43:54 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-10 06:45:30 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 06:47:08 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-10 06:47:55 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-04-10 06:54:16 +0000 | caubert | (~caubert@136.244.111.235) (Quit: WeeChat 3.4) |
| 2022-04-10 06:54:28 +0000 | caubert | (~caubert@136.244.111.235) |
| 2022-04-10 06:55:16 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 06:56:11 +0000 | zyklotomic | (~ethan@res388d-128-61-94-217.res.gatech.edu) (Ping timeout: 256 seconds) |
| 2022-04-10 06:58:11 +0000 | zyklotomic | (~ethan@res380d-128-61-83-53.res.gatech.edu) |
| 2022-04-10 07:02:07 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 07:02:20 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 07:04:24 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 07:04:27 +0000 | axeman | (~quassel@2a02:8109:a380:78:b60:751:db79:f3ec) |
| 2022-04-10 07:09:45 +0000 | simeon | (~pi@dslb-002-202-026-141.002.202.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-10 07:10:12 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 07:15:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:15:22 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 07:15:55 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 07:20:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 07:20:55 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 07:21:03 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 07:21:12 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 07:23:45 +0000 | <jonathanx_> | I'm trying out cabal a bit (long term stack user), and can't figure out how to run tests with file watch. Google is rather unhelpful. I'm on vscode with HLS, if that helps |
| 2022-04-10 07:23:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 07:25:28 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 07:26:36 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:28:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 07:29:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 07:31:19 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 07:32:35 +0000 | simeon | (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) |
| 2022-04-10 07:34:34 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 07:36:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:41:16 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 07:42:35 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 07:42:51 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-10 07:44:13 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 07:44:43 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-10 07:46:02 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 07:46:47 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-10 07:47:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:50:36 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 07:50:43 +0000 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-10 07:52:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 07:53:29 +0000 | <maerwald[m]> | jonathanx_: https://github.com/haskell/cabal/issues/5252 |
| 2022-04-10 07:54:39 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-10 07:57:45 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 07:57:48 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:57:59 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 07:58:07 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 07:58:20 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 07:58:28 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 07:58:43 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 07:58:51 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 08:02:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 08:05:13 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 08:05:26 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 08:06:01 +0000 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-04-10 08:06:38 +0000 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-10 08:07:58 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:08:09 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-10 08:10:06 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 08:12:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 08:13:13 +0000 | axeman | (~quassel@2a02:8109:a380:78:b60:751:db79:f3ec) (Ping timeout: 248 seconds) |
| 2022-04-10 08:17:12 +0000 | xpika | (~alan@n122-110-60-225.sun2.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2022-04-10 08:19:29 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 08:22:36 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-10 08:23:39 +0000 | chddr | (~Thunderbi@91.226.34.187) |
| 2022-04-10 08:23:53 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 08:27:24 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:27:43 +0000 | axeman | (~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3) |
| 2022-04-10 08:31:41 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-10 08:31:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-10 08:31:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 08:34:20 +0000 | <Unicorn_Princess> | hm. so i can't partially define a function using pattern-matching, and if all the patterns fall through, use like, point-free style for the rest? |
| 2022-04-10 08:35:14 +0000 | <Unicorn_Princess> | e.g. zero_out_two 2 = 0; zero_out_two = id; |
| 2022-04-10 08:35:58 +0000 | <Rembane> | Unicorn_Princess: That's true, all function equations need to have the same number of arguments. Have a lookt at LambdaCase though. |
| 2022-04-10 08:36:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 08:38:05 +0000 | <Unicorn_Princess> | and there was some syntax where I don't have to write all the arguments in a pattern-match constructor.. someting like instead of IHaveManyArgs a _ _ _ _, I could write IHaveManyArgs a ...? |
| 2022-04-10 08:39:05 +0000 | <Rembane> | You could put all your arguments into a record or a tuple instead. |
| 2022-04-10 08:39:42 +0000 | <Unicorn_Princess> | oh maybe i'm thinking of Rust that lets you do this.. |
| 2022-04-10 08:41:02 +0000 | <Rembane> | How does Rust let you do this? |
| 2022-04-10 08:41:35 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 08:43:04 +0000 | <Unicorn_Princess> | like this: https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html#ignoring-remaining-parts-of-a-value-with- |
| 2022-04-10 08:44:21 +0000 | <Rembane> | That's really nice, you can do that in Haskell too, in the same way as in Rust, but you need some language extensions, lets see if I can find them. |
| 2022-04-10 08:44:26 +0000 | razetime | (~quassel@117.254.35.102) |
| 2022-04-10 08:44:41 +0000 | razetime_ | (~quassel@117.254.35.102) |
| 2022-04-10 08:44:48 +0000 | <abastro[m]> | Hmm |
| 2022-04-10 08:44:54 +0000 | <abastro[m]> | I think haskell has sth like it without extension |
| 2022-04-10 08:44:55 +0000 | <abastro[m]> | For records* |
| 2022-04-10 08:44:59 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 08:45:04 +0000 | razetime__ | (~quassel@117.254.35.102) |
| 2022-04-10 08:45:05 +0000 | <Unicorn_Princess> | ah, this is what you meant, Rembane: https://stackoverflow.com/questions/38052553/haskell-record-pattern-matching |
| 2022-04-10 08:45:15 +0000 | razetime__ | (~quassel@117.254.35.102) (Client Quit) |
| 2022-04-10 08:45:19 +0000 | razetime_ | (~quassel@117.254.35.102) (Client Quit) |
| 2022-04-10 08:45:29 +0000 | <Unicorn_Princess> | very handy, and i already have a record, so it's just what i need |
| 2022-04-10 08:45:29 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 08:48:22 +0000 | <Rembane> | Unicorn_Princess: Bingo! Also this: https://paste.tomsmeding.com/5ijs45HK |
| 2022-04-10 08:49:12 +0000 | <Unicorn_Princess> | not even a ..? i don't like it >:( |
| 2022-04-10 08:49:28 +0000 | <Rembane> | :D |
| 2022-04-10 08:49:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-10 08:49:42 +0000 | <Rembane> | You won't be using the dots for anything, so what are they good for? |
| 2022-04-10 08:49:48 +0000 | <Unicorn_Princess> | oh wait |
| 2022-04-10 08:50:20 +0000 | <Unicorn_Princess> | if f was instead `f R { b } = b`.. |
| 2022-04-10 08:50:28 +0000 | <Unicorn_Princess> | then it would return the b field? |
| 2022-04-10 08:50:33 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-10 08:50:40 +0000 | <Rembane> | Bingo! |
| 2022-04-10 08:50:47 +0000 | <Unicorn_Princess> | in that case i do like it :) |
| 2022-04-10 08:50:49 +0000 | <Rembane> | There's another way to do it too: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/record_wildcards.html |
| 2022-04-10 08:50:52 +0000 | <Rembane> | ^^ |
| 2022-04-10 08:52:00 +0000 | chddr | (~Thunderbi@91.226.34.187) (Quit: chddr) |
| 2022-04-10 08:52:03 +0000 | <Unicorn_Princess> | ah, but works only if there aren't two arguments with the same constructor, eh? |
| 2022-04-10 08:53:23 +0000 | <Rembane> | Yeah, that's usually true for all nice things. |
| 2022-04-10 08:54:17 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 08:54:43 +0000 | <Rembane> | Or wait... I think I misinterpreted your question, I thought you meant many constructors in the same datatype and records for each. |
| 2022-04-10 08:54:46 +0000 | <Rembane> | Do you have an example? |
| 2022-04-10 08:55:55 +0000 | <Unicorn_Princess> | nope, you didn't misunderstand |
| 2022-04-10 08:56:12 +0000 | <Unicorn_Princess> | and A{record_name=r} solves my issue perfectly |
| 2022-04-10 08:56:39 +0000 | <Unicorn_Princess> | hrm. now why can't i find how to rename a variable in the haskell lsp... brb |
| 2022-04-10 08:56:42 +0000 | <Rembane> | Cool, in the case of many constructors for a datatype with records for each lenses are usually the solution for that, but that's a whole other can of worms. |
| 2022-04-10 08:57:19 +0000 | acidjnk | (~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 08:59:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 09:00:07 +0000 | justChili | (~justache@user/justache) (Remote host closed the connection) |
| 2022-04-10 09:01:03 +0000 | justChili | (~justache@user/justache) |
| 2022-04-10 09:03:32 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 09:03:36 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 246 seconds) |
| 2022-04-10 09:06:33 +0000 | axeman | (~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3) (Ping timeout: 248 seconds) |
| 2022-04-10 09:11:01 +0000 | axeman | (~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f) |
| 2022-04-10 09:12:14 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 09:15:14 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 09:16:43 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 2022-04-10 09:18:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:19:46 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de) |
| 2022-04-10 09:19:51 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 09:23:05 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 09:28:14 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-10 09:29:04 +0000 | axeman | (~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-10 09:30:19 +0000 | axeman | (~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac) |
| 2022-04-10 09:35:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:37:07 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-10 09:40:00 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 09:44:50 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-10 09:46:24 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 09:47:12 +0000 | <Unicorn_Princess> | ah, looks like i was looking in the right place, but haskell-lsp doesn't support renaming |
| 2022-04-10 09:47:19 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-10 09:47:35 +0000 | <Unicorn_Princess> | (the emacs lisp function is called lsp-rename, fyi) |
| 2022-04-10 09:48:48 +0000 | <abastro[m]> | I think it used to support renaming |
| 2022-04-10 09:48:53 +0000 | <abastro[m]> | Idk where the functionality has gone hmm |
| 2022-04-10 09:49:14 +0000 | <abastro[m]> | Perhaps some ppl thought text replace is enough, I guess |
| 2022-04-10 09:49:20 +0000 | Unicorn_Princess | will stay outside that particular rabbit hole |
| 2022-04-10 09:54:12 +0000 | gaff | (~gaff@49.207.206.194) |
| 2022-04-10 09:54:20 +0000 | gaff | (~gaff@49.207.206.194) (Client Quit) |
| 2022-04-10 09:54:23 +0000 | razetime | (~quassel@117.254.35.102) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-10 09:59:37 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 10:01:39 +0000 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-10 10:04:09 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 10:05:39 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-04-10 10:12:23 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 10:13:31 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-04-10 10:14:40 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 10:16:39 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 10:17:01 +0000 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2022-04-10 10:17:58 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-10 10:18:51 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 10:26:27 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-10 10:27:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-10 10:27:54 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 10:28:14 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 10:32:41 +0000 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-10 10:33:06 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 10:35:24 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 10:37:20 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 10:42:25 +0000 | mniip | (mniip@libera/staff/mniip) (Remote host closed the connection) |
| 2022-04-10 10:45:31 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-10 10:46:36 +0000 | mniip | (~mniip@libera/staff/mniip) |
| 2022-04-10 10:47:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 10:47:53 +0000 | axeman | (~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac) (Ping timeout: 248 seconds) |
| 2022-04-10 10:50:38 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 10:51:45 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 10:52:31 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 10:57:27 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 11:00:32 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 11:02:57 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds) |
| 2022-04-10 11:05:43 +0000 | abastro | (~abab9579@192.249.26.42) |
| 2022-04-10 11:07:05 +0000 | benin | (~benin@183.82.204.110) (Ping timeout: 248 seconds) |
| 2022-04-10 11:07:08 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-10 11:07:37 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-10 11:13:44 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 11:14:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 11:15:37 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 248 seconds) |
| 2022-04-10 11:18:34 +0000 | abastro | (~abab9579@192.249.26.42) (Remote host closed the connection) |
| 2022-04-10 11:20:06 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) |
| 2022-04-10 11:20:31 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 11:21:10 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 11:22:47 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 11:25:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 11:28:11 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 11:33:03 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 11:34:16 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-04-10 11:34:57 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-10 11:35:37 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-10 11:36:37 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 11:41:13 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 11:43:04 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 11:45:30 +0000 | odnes_ | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-10 11:45:41 +0000 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-10 11:48:00 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 11:52:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-10 11:55:44 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-10 11:57:43 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 12:01:15 +0000 | jm | (~jm@181.171.21.84) |
| 2022-04-10 12:02:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 12:07:39 +0000 | abastro | (~abab9579@192.249.26.42) |
| 2022-04-10 12:09:27 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 246 seconds) |
| 2022-04-10 12:11:34 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 12:12:04 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-10 12:12:21 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 12:13:52 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
| 2022-04-10 12:15:28 +0000 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2022-04-10 12:17:09 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-04-10 12:19:20 +0000 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-10 12:21:15 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 12:29:29 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-10 12:36:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 12:44:27 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 12:48:33 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-10 12:49:00 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 12:49:16 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 12:49:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 12:51:33 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-10 12:54:46 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 12:57:09 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds) |
| 2022-04-10 12:57:44 +0000 | jm | jmatarrese |
| 2022-04-10 12:58:15 +0000 | jmatarrese | javier |
| 2022-04-10 12:58:24 +0000 | javier | jm |
| 2022-04-10 13:00:40 +0000 | phma | (~phma@2001:5b0:210d:6f38:47d2:1a57:a8ac:4c26) (Read error: Connection reset by peer) |
| 2022-04-10 13:01:04 +0000 | jm | jmatarrese |
| 2022-04-10 13:01:23 +0000 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2022-04-10 13:04:36 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 13:05:00 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 13:07:55 +0000 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Ping timeout: 260 seconds) |
| 2022-04-10 13:08:13 +0000 | jmatarrese | (~jm@181.171.21.84) (Quit: nyaa~) |
| 2022-04-10 13:08:15 +0000 | abastro | (~abab9579@192.249.26.42) (Ping timeout: 246 seconds) |
| 2022-04-10 13:08:16 +0000 | abas85851 | (~abab9579@192.249.26.42) |
| 2022-04-10 13:09:17 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
| 2022-04-10 13:09:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 13:09:54 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-10 13:10:59 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-10 13:12:25 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-10 13:13:21 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 13:14:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 13:20:01 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 13:37:56 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-10 13:38:16 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 13:38:39 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 13:39:33 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 2022-04-10 13:39:54 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 13:45:21 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 13:45:25 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-10 13:47:29 +0000 | ridcully_ | (~ridcully@pd951f433.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-10 13:47:42 +0000 | ridcully | (~ridcully@pd951f433.dip0.t-ipconnect.de) |
| 2022-04-10 13:49:55 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-10 13:57:47 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-10 14:04:54 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 14:13:02 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-10 14:14:47 +0000 | hammock | (~Hammock@2600:1700:19a1:3330::588) (Ping timeout: 268 seconds) |
| 2022-04-10 14:21:03 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 14:23:12 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-04-10 14:23:30 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-04-10 14:25:43 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 14:31:41 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 14:35:52 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 14:35:52 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 14:35:55 +0000 | allbery_b | geekosaur |
| 2022-04-10 14:36:06 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-04-10 14:37:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:40:34 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-10 14:40:34 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-10 14:40:34 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 14:40:57 +0000 | abas85851 | (~abab9579@192.249.26.42) (Ping timeout: 248 seconds) |
| 2022-04-10 14:42:26 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 14:44:11 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-10 14:45:18 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-10 14:47:04 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-04-10 14:47:24 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) |
| 2022-04-10 14:47:24 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:50:02 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 14:50:11 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-10 14:50:12 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 14:52:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 14:52:48 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 14:53:19 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 14:54:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-10 14:57:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:59:36 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 15:02:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 15:03:20 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-10 15:04:36 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-10 15:05:56 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 15:08:03 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-04-10 15:09:03 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 15:10:17 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 15:10:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 15:12:03 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 15:13:51 +0000 | <Inst> | proposal: Monad refers to the category theory concept and the typeclass only. |
| 2022-04-10 15:14:07 +0000 | <Inst> | MAF refers to Monadic Applicative Functor and a datatype that can be instanced into Monad |
| 2022-04-10 15:15:55 +0000 | <geekosaur> | it's a bit late to change that, I think |
| 2022-04-10 15:16:09 +0000 | <hpc> | counter-proposal: rename Functor to Map, Applicative to DSL, and Monad to DesignPattern |
| 2022-04-10 15:16:13 +0000 | <hpc> | >:) |
| 2022-04-10 15:17:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 15:18:17 +0000 | <abastro[m]> | >:3 |
| 2022-04-10 15:19:38 +0000 | <hpc> | even more evil proposal: redefine const to "const x = x", because variables in haskell are already const by default |
| 2022-04-10 15:20:52 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) |
| 2022-04-10 15:20:58 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-04-10 15:21:28 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-04-10 15:23:14 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 15:23:45 +0000 | <hpc> | the id function hashes a value's memory and returns a guid |
| 2022-04-10 15:23:51 +0000 | <hpc> | the data keyword has been renamed to type |
| 2022-04-10 15:23:51 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-10 15:23:56 +0000 | <abastro[m]> | `:t pure @((->) a)` |
| 2022-04-10 15:24:03 +0000 | <hpc> | type is now a function that types out what it was given to stdout :D |
| 2022-04-10 15:24:06 +0000 | <abastro[m]> | :t pure @((->) a) |
| 2022-04-10 15:24:06 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-04-10 15:24:07 +0000 | <lambdabot> | error: parse error on input ‘->’ |
| 2022-04-10 15:24:33 +0000 | <abastro[m]> | Wh |
| 2022-04-10 15:24:46 +0000 | <hpc> | er, the data keyword has been renamed to class |
| 2022-04-10 15:24:53 +0000 | <hpc> | to fit in with other oop languages :D |
| 2022-04-10 15:25:05 +0000 | <geekosaur> | lambdabot doens't support TypeApplications |
| 2022-04-10 15:25:08 +0000 | <abastro[m]> | That's the spirit |
| 2022-04-10 15:25:19 +0000 | <abastro[m]> | Oh lambdabot :< |
| 2022-04-10 15:25:23 +0000 | <hpc> | % :t pure @((->) a) |
| 2022-04-10 15:25:23 +0000 | <yahb> | hpc: ; <interactive>:1:13: error: Not in scope: type variable `a' |
| 2022-04-10 15:25:31 +0000 | <hpc> | % :t pure @(->) |
| 2022-04-10 15:25:31 +0000 | <yahb> | hpc: ; <interactive>:1:7: error:; * Expecting one more argument to `(->)'; Expected kind `* -> *', but `(->)' has kind `* -> * -> *'; * In the type `(->)'; In the expression: pure @(->) |
| 2022-04-10 15:25:34 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 15:25:36 +0000 | <hpc> | bah |
| 2022-04-10 15:25:41 +0000 | <geekosaur> | % :t pure @((->) _) |
| 2022-04-10 15:25:41 +0000 | <yahb> | geekosaur: a -> w -> a |
| 2022-04-10 15:25:56 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-10 15:25:57 +0000 | <abastro[m]> | % :t pure @((->) _) |
| 2022-04-10 15:25:57 +0000 | <yahb> | abastro[m]: a -> w -> a |
| 2022-04-10 15:26:03 +0000 | <abastro[m]> | Oh ninja'd |
| 2022-04-10 15:26:51 +0000 | <abastro[m]> | So that is an alternative implementation of traditional const |
| 2022-04-10 15:27:53 +0000 | <hpc> | also ($) is redefined as ($) = jquery |
| 2022-04-10 15:28:03 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 15:28:15 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 15:29:15 +0000 | <abastro[m]> | I legit heard of suggestions like... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/041a4b39e1a7222df46672e7cff2d833dbaf…) |
| 2022-04-10 15:30:00 +0000 | <abastro[m]> | I guess F# folks might like that |
| 2022-04-10 15:30:16 +0000 | <hpc> | we can split the difference |
| 2022-04-10 15:30:20 +0000 | <hpc> | Functor => Functorable |
| 2022-04-10 15:31:22 +0000 | <Zemyla> | What would Contravariant be renamed? |
| 2022-04-10 15:33:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 15:35:21 +0000 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 248 seconds) |
| 2022-04-10 15:36:17 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09) |
| 2022-04-10 15:36:22 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-10 15:37:06 +0000 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 2022-04-10 15:37:06 +0000 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-10 15:37:06 +0000 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-10 15:41:25 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 15:42:58 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 15:43:47 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 15:45:58 +0000 | axeman | (~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2) |
| 2022-04-10 15:48:31 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 15:52:41 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 15:58:26 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-10 16:09:15 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-04-10 16:14:26 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-10 16:15:38 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 16:16:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 16:17:38 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 16:18:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 16:18:58 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-10 16:20:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 16:21:07 +0000 | odnes_ | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-10 16:21:25 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-04-10 16:23:40 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-10 16:23:59 +0000 | <monochrom> | ContravariantFunctorable? >:) |
| 2022-04-10 16:25:47 +0000 | <monochrom> | Ah, late to the party. |
| 2022-04-10 16:26:17 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-10 16:29:04 +0000 | <monochrom> | https://betterprogramming.pub/monads-are-just-fancy-semicolons-ffe38401fd0e will serve as perpetual reminder that whenever people believe "oh, I know", they are fooling themselves. |
| 2022-04-10 16:30:16 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-10 16:33:07 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-10 16:34:12 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 16:34:21 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 16:37:58 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-10 16:38:40 +0000 | [exa] | (exa@user/exa/x-3587197) |
| 2022-04-10 16:39:05 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 16:40:05 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 16:41:45 +0000 | <c_wraith> | Ah, the good old unlawful bind counting "monad" |
| 2022-04-10 16:42:34 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 16:44:23 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 16:47:21 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 16:49:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-04-10 16:49:13 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-10 16:49:54 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 16:50:31 +0000 | infinity0 | (~infinity0@occupy.ecodis.net) (Ping timeout: 260 seconds) |
| 2022-04-10 16:56:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 16:57:35 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 268 seconds) |
| 2022-04-10 16:59:15 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-10 17:01:00 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 17:02:14 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 17:07:21 +0000 | tabemann | (~travisb@2600:1700:7990:24e0:da3f:51e6:d535:6e76) (Remote host closed the connection) |
| 2022-04-10 17:07:34 +0000 | tabemann | (~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9) |
| 2022-04-10 17:09:50 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 17:09:53 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:13:36 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 17:13:48 +0000 | raym | (~raym@user/raym) (Ping timeout: 272 seconds) |
| 2022-04-10 17:14:18 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 17:17:36 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09) (Remote host closed the connection) |
| 2022-04-10 17:29:06 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 17:29:33 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 17:29:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-10 17:30:02 +0000 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-10 17:30:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-10 17:32:37 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:33:20 +0000 | econo | (uid147250@user/econo) |
| 2022-04-10 17:37:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 17:37:40 +0000 | averell | (~averell@user/averell) (Quit: .) |
| 2022-04-10 17:38:05 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 17:44:16 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 17:44:19 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 17:48:45 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 17:49:11 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 17:49:39 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 17:49:44 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-10 17:51:35 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-10 17:51:56 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-10 17:52:26 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 17:54:19 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-10 17:56:08 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 17:57:14 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-10 17:57:16 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:00:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 18:01:00 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 18:01:33 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 18:01:56 +0000 | raym | (~raym@user/raym) |
| 2022-04-10 18:02:29 +0000 | coot | (~coot@213.134.190.95) (Client Quit) |
| 2022-04-10 18:02:59 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 18:07:21 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds) |
| 2022-04-10 18:08:51 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:09:42 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-10 18:11:19 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-10 18:13:28 +0000 | arjun | (~arjun@user/arjun) |
| 2022-04-10 18:13:58 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-10 18:14:19 +0000 | <arjun> | hi, if i have a type say StateT Stack (MaybeT m) with m as my base monad |
| 2022-04-10 18:14:42 +0000 | <arjun> | when i use lift, do i go from inside out, or outside in ? |
| 2022-04-10 18:14:46 +0000 | <Franciman> | hi arjun |
| 2022-04-10 18:14:50 +0000 | <Franciman> | :t lift |
| 2022-04-10 18:14:51 +0000 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2022-04-10 18:14:53 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 18:14:59 +0000 | <Franciman> | so you go from m to MaybeT m |
| 2022-04-10 18:15:12 +0000 | <Franciman> | or from MaybeT m to StateT Stack (MaybeT m) |
| 2022-04-10 18:15:14 +0000 | <arjun> | so i am in the base monad by default |
| 2022-04-10 18:15:20 +0000 | <Franciman> | lower level yes |
| 2022-04-10 18:15:31 +0000 | <arjun> | and to a ask or a put i'd have to lift twice ? |
| 2022-04-10 18:15:39 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:17:03 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-10 18:17:37 +0000 | <arjun> | thanks Franciman |
| 2022-04-10 18:20:06 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 18:20:50 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 18:27:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-10 18:29:45 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 2022-04-10 18:30:17 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:30:35 +0000 | <maerwald> | arjun: put should work without lifting |
| 2022-04-10 18:30:47 +0000 | <maerwald> | :t put |
| 2022-04-10 18:30:48 +0000 | <lambdabot> | MonadState s m => s -> m () |
| 2022-04-10 18:30:56 +0000 | <maerwald> | put :: Monad m => s -> StateT s m () |
| 2022-04-10 18:31:30 +0000 | <maerwald> | mtl might be confusing here |
| 2022-04-10 18:32:10 +0000 | <arjun> | thanks maerwald |
| 2022-04-10 18:33:15 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-10 18:33:19 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 18:34:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-10 18:38:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-10 18:41:00 +0000 | <maerwald> | I realise I don't have a good tutorial link for transformers |
| 2022-04-10 18:41:51 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 18:41:55 +0000 | <maerwald> | arjun: have you written ReaderT/StateT by hand? |
| 2022-04-10 18:42:38 +0000 | <arjun> | can't remember :x |
| 2022-04-10 18:42:56 +0000 | <maerwald> | newtype ReaderT r m a = ReaderT { runReaderT :: ??? } |
| 2022-04-10 18:42:59 +0000 | <maerwald> | fill in ??? |
| 2022-04-10 18:43:33 +0000 | <arjun> | r -> m a ? |
| 2022-04-10 18:43:48 +0000 | <maerwald> | right, now write Functor, Applicative and Monad instance |
| 2022-04-10 18:44:56 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-10 18:45:18 +0000 | <arjun> | right, will do (tomorrow) it's 12:15 here, gotta catch some Zzz |
| 2022-04-10 18:45:29 +0000 | <maerwald> | also, you'll like ContT |
| 2022-04-10 18:45:30 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:142e:30d1:6bde:a674) (Ping timeout: 268 seconds) |
| 2022-04-10 18:46:20 +0000 | <arjun> | i'll look into it, thanks |
| 2022-04-10 18:46:43 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-10 18:46:54 +0000 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 272 seconds) |
| 2022-04-10 18:48:02 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 18:51:16 +0000 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-04-10 18:52:21 +0000 | <maerwald> | next week ragequit and questions about polysemy :D |
| 2022-04-10 18:52:37 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-10 18:54:14 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 18:56:42 +0000 | <maerwald> | haskell and its rabbit holes |
| 2022-04-10 18:57:13 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 19:00:00 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 19:01:31 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds) |
| 2022-04-10 19:02:23 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 19:08:34 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 19:08:34 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 19:08:37 +0000 | allbery_b | geekosaur |
| 2022-04-10 19:12:36 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 19:15:56 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 19:17:03 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-04-10 19:19:21 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-10 19:19:43 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 19:21:06 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 19:21:33 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 19:25:36 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 19:26:56 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-10 19:28:13 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2022-04-10 19:28:26 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-10 19:28:41 +0000 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 19:30:02 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 19:30:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-10 19:31:45 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-10 19:32:05 +0000 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit) |
| 2022-04-10 19:32:46 +0000 | Floof | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 19:33:53 +0000 | Floof | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit) |
| 2022-04-10 19:35:00 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-10 19:35:21 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-10 19:36:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 19:37:56 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 19:41:19 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 19:42:11 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 19:43:50 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-10 19:46:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 19:46:54 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-04-10 19:47:34 +0000 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 19:48:45 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-10 19:49:21 +0000 | <acacia> | hey, I want to write some tests for a web app and want to parse html to make sure the data embedded in it is as expected. What are my options? Any favorite package? |
| 2022-04-10 19:49:45 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-10 19:50:16 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) |
| 2022-04-10 19:51:02 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 19:51:33 +0000 | <geekosaur> | how much do you trust the web app to be html compliant? if "not very" then tagsoup is the only sane choice |
| 2022-04-10 19:51:47 +0000 | <geekosaur> | (there's a *lot* of invalid HTML out there) |
| 2022-04-10 19:52:56 +0000 | califax | (~califax@user/califx) |
| 2022-04-10 19:54:07 +0000 | <acacia> | yeah it should be html compliant |
| 2022-04-10 19:54:40 +0000 | <acacia> | that's not a problem, just looking for the easiest thing to use |
| 2022-04-10 19:54:50 +0000 | <acacia> | I'll take a look at tagsoup. thanks |
| 2022-04-10 19:55:18 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 19:58:26 +0000 | ElVinzFR | (~Guest20@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) |
| 2022-04-10 19:58:46 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-10 19:59:08 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-10 19:59:30 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-04-10 19:59:58 +0000 | <AdityaAlok[m]> | Hello, everyone!... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2f16d604c1b71ed6cb585c843567d0f15c6e…) |
| 2022-04-10 20:00:23 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-10 20:00:49 +0000 | <maerwald> | tagsoup does not handle all invalid html well |
| 2022-04-10 20:02:05 +0000 | <sm> | what's wrong with good old isInfixOf |
| 2022-04-10 20:02:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 20:02:14 +0000 | <geekosaur> | AdityaAlok[m], you would need to link against a wrapper library, and probably need to find out why the indirection in the first place |
| 2022-04-10 20:03:30 +0000 | <maerwald> | AdityaAlok[m]: very likely you have to patch the library |
| 2022-04-10 20:03:37 +0000 | <maerwald> | and use capi instead of ccall |
| 2022-04-10 20:03:46 +0000 | alp_ | (~alp@user/alp) (Client Quit) |
| 2022-04-10 20:03:50 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 20:04:12 +0000 | <maerwald> | also see https://www.haskell.org/ghc/blog/20210709-capi-usage.html |
| 2022-04-10 20:04:54 +0000 | <maerwald> | and https://github.com/haskell/unix/pull/110#issuecomment-613384845 |
| 2022-04-10 20:04:58 +0000 | <maerwald> | as an example |
| 2022-04-10 20:04:59 +0000 | <AdityaAlok[m]> | maerwald: Thank you! I'll try it. |
| 2022-04-10 20:05:02 +0000 | <maerwald> | why ccall is bad |
| 2022-04-10 20:05:38 +0000 | <maerwald> | capi follows include indirections |
| 2022-04-10 20:06:54 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 20:08:46 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 20:10:17 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 20:10:31 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 20:11:36 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 20:12:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 20:12:49 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-10 20:14:18 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-10 20:15:24 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-10 20:16:50 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 20:16:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 20:20:24 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-10 20:22:00 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-10 20:22:02 +0000 | ElVinzFR87 | (~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) |
| 2022-04-10 20:22:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-04-10 20:22:51 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 20:22:56 +0000 | axeman | (~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2) (Ping timeout: 268 seconds) |
| 2022-04-10 20:23:20 +0000 | ElVinzFR87 | (~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2022-04-10 20:24:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-10 20:26:08 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 20:26:41 +0000 | <ElVinzFR> | Beginner. I want to create a "loop" in which the user input a value, then a state is changed (for a toy example, an update in a component in a vector). I thought I could use a recursion in an IO monad, but apparently there is not tail recursion optimization for a monad. What would be the easiest way for me to code my problem ? This would be the |
| 2022-04-10 20:26:42 +0000 | <ElVinzFR> | starting point to code a game, so I need a cycle of input / state change. |
| 2022-04-10 20:27:14 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 20:29:42 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 20:30:42 +0000 | <ElVinzFR> | I am a bit lost, so even pointing to a tutorial, or a snippet online would be an improvement. |
| 2022-04-10 20:30:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 20:31:42 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-04-10 20:32:22 +0000 | cheater | (~Username@user/cheater) |
| 2022-04-10 20:33:02 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 20:34:39 +0000 | <c_wraith> | ElVinzFR: the fact that combining IO actions with >> or >>= isn't tail recursive doesn't mean it isn't efficient. It is efficient. |
| 2022-04-10 20:38:11 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 20:38:30 +0000 | ElVinzFR | (~Guest20@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
| 2022-04-10 20:40:45 +0000 | <geekosaur> | "tail recursion" is not what you think it is in Haskell. |
| 2022-04-10 20:41:25 +0000 | <geekosaur> | (in fact, everything is tail recursive at the graph reduction level) |
| 2022-04-10 20:41:32 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 20:42:14 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-10 20:43:11 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-10 20:44:41 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 20:44:45 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 20:45:08 +0000 | acidsys | crameleon |
| 2022-04-10 20:46:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 20:47:25 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-10 20:47:42 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 20:48:13 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:943e:a08c:ffd0:5f66) |
| 2022-04-10 20:48:48 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 20:49:24 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 2022-04-10 20:49:52 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 20:51:05 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 20:51:56 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 20:52:26 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-10 20:54:27 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 20:57:00 +0000 | <monochrom> | But tail recursion in IO such as "main = do { putStrLn "hello"; main }" works as expected. |
| 2022-04-10 20:57:59 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:01:28 +0000 | <shachaf> | Despite the main not being in tail position! |
| 2022-04-10 21:01:39 +0000 | <c_wraith> | well. it's not tail recursion. it's just efficient recursion |
| 2022-04-10 21:01:56 +0000 | <shachaf> | I think the analogy to tail recursion is pretty reasonable. |
| 2022-04-10 21:02:20 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:02:31 +0000 | <c_wraith> | IO happens to work out that way. Not every implementation of (>>=) is so cooperative with that analogy |
| 2022-04-10 21:03:08 +0000 | <hpc> | tail recursion is a special case of efficient recursion :P |
| 2022-04-10 21:03:14 +0000 | geekosaur | checks to see if you've scared the OP away yet :) |
| 2022-04-10 21:05:03 +0000 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-10 21:08:20 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 21:08:25 +0000 | <monochrom> | https://mail.haskell.org/pipermail/haskell-cafe/2007-May/025591.html |
| 2022-04-10 21:08:30 +0000 | lainon | (lainon@gateway/vpn/protonvpn/lainon) |
| 2022-04-10 21:08:47 +0000 | andrey | (~andrey@p200300dbcf45140050bf2118fcf09947.dip0.t-ipconnect.de) |
| 2022-04-10 21:08:47 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:09:31 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399) (Ping timeout: 260 seconds) |
| 2022-04-10 21:09:35 +0000 | lainon | (lainon@gateway/vpn/protonvpn/lainon) (Remote host closed the connection) |
| 2022-04-10 21:09:53 +0000 | lainon | (lainon@gateway/vpn/protonvpn/lainon) |
| 2022-04-10 21:13:10 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:14:27 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-10 21:17:25 +0000 | hpc | . o O ( tail recursion is whenever the recursive call doesn't grow the call stack, and if you don't have a call stack there's no such thing as tail recursion ) |
| 2022-04-10 21:18:05 +0000 | <dolio> | One of the problems is that people insist on talking about "recursion". |
| 2022-04-10 21:18:40 +0000 | <monochrom> | IMO renaming "call stack" to "evaluation stack" and concluding "I have no call stack" is just being smug. |
| 2022-04-10 21:19:01 +0000 | <hpc> | monochrom: well, let's consider that |
| 2022-04-10 21:19:15 +0000 | <dolio> | Also they don't study Scheme, I guess, which has all sorts of procedures that specify that various arguments are "in tail position" even though they are not in tail position from a very naive syntactic reading. |
| 2022-04-10 21:19:21 +0000 | <hpc> | on the evaluation stack, what kind of "to evaluate this, i need to evaluate that" doesn't grow the stack |
| 2022-04-10 21:19:42 +0000 | <hpc> | i think the only thing is <<loop>> |
| 2022-04-10 21:20:01 +0000 | <hpc> | but i could be wrong |
| 2022-04-10 21:20:10 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:21:07 +0000 | <shachaf> | In an imperative language turning tail recursion into a jump seems like a pretty pointless optimization, since you can just write "while (true) { }" around your function body to get the same effect. |
| 2022-04-10 21:21:27 +0000 | <shachaf> | Other tail calls are probably more useful (though I'd still rather have it be explicit than done as an optimization, usually). |
| 2022-04-10 21:22:18 +0000 | <dolio> | Well, that's easy. It's not an optimization. The compiler has to do it. |
| 2022-04-10 21:22:19 +0000 | <hpc> | from the evaluation stack's perspective, something like an infinite list isn't even recursion - there's a constructor in the way that breaks it up |
| 2022-04-10 21:22:43 +0000 | <hpc> | like a trampoline |
| 2022-04-10 21:22:59 +0000 | <shachaf> | Yes, that seems fine, I mean in a language like C where it's an optional optimization. |
| 2022-04-10 21:23:29 +0000 | <dolio> | Yeah, well, gaining an understanding of this from C compilers is not good. |
| 2022-04-10 21:23:52 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 21:25:57 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 21:26:36 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:27:26 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-10 21:28:17 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-10 21:29:02 +0000 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds) |
| 2022-04-10 21:32:46 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:39:10 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:39:24 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2022-04-10 21:39:39 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-10 21:41:02 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-10 21:43:15 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-10 21:43:36 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-10 21:45:28 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:45:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 21:46:53 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:47:11 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:47:17 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:47:34 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:47:41 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:47:57 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:48:05 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:48:20 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:48:28 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:48:41 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:48:49 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 21:50:16 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-10 21:51:44 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:53:13 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds) |
| 2022-04-10 21:54:40 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 21:54:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-10 21:57:58 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:58:07 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 22:00:08 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 22:01:02 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 22:01:54 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-10 22:01:54 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-10 22:01:54 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 22:02:42 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 22:06:28 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:08:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 22:08:58 +0000 | flinner | (~flinner@user/flinner) |
| 2022-04-10 22:12:59 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 22:13:20 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 22:14:17 +0000 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) () |
| 2022-04-10 22:19:28 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:25:25 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 22:26:24 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-10 22:27:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-10 22:32:07 +0000 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 22:32:48 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-10 22:34:01 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-10 22:40:20 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-10 22:46:33 +0000 | flinner | (~flinner@user/flinner) (Ping timeout: 260 seconds) |
| 2022-04-10 22:48:54 +0000 | lainon | (lainon@gateway/vpn/protonvpn/lainon) (Ping timeout: 246 seconds) |
| 2022-04-10 22:53:16 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 22:55:46 +0000 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) |
| 2022-04-10 22:55:52 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:02:56 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:03:07 +0000 | justChili | justErkel |
| 2022-04-10 23:05:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-10 23:11:28 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:13:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 23:15:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 23:15:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 23:15:42 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-10 23:16:35 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-10 23:17:46 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:21:52 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:23:27 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-10 23:24:51 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-10 23:26:42 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 23:27:57 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:33:32 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-10 23:34:59 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 23:36:33 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-10 23:36:36 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:40:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 23:42:33 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:47:00 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:47:01 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-10 23:52:35 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-10 23:52:56 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:52:58 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 23:54:59 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 23:57:24 +0000 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:58:17 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 23:59:19 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |