| 2023-10-10 00:00:40 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-10 00:00:51 +0200 | nate1 | (~nate@c-73-131-252-124.hsd1.ut.comcast.net) |
| 2023-10-10 00:02:10 +0200 | <nate1> | If I have a large number of constraints on a function, is there a way for me to group them all into some kind of "constraint alias" that can be used in place of copy/pasting them all onto any wrapper functions? I prefer not to use partial type signatures |
| 2023-10-10 00:03:46 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-10-10 00:04:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-10 00:05:24 +0200 | <geekosaur> | turn on `ConstraintKinds` and then you can `type CAlias t = (Foo t, Bar t, …)` |
| 2023-10-10 00:06:00 +0200 | <geekosaur> | just remember to include a parameter for each type variable, unless it's appropriate to `forall` it |
| 2023-10-10 00:10:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2023-10-10 00:10:57 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-10 00:18:17 +0200 | <nate1> | That seems to be exactly what I wanted, thanks! |
| 2023-10-10 00:19:18 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-10 00:21:39 +0200 | roboguy__ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-10 00:24:03 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-10 00:25:13 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-10 00:28:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-10 00:31:29 +0200 | nate1 | (~nate@c-73-131-252-124.hsd1.ut.comcast.net) (Quit: WeeChat 4.0.5) |
| 2023-10-10 00:35:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Remote host closed the connection) |
| 2023-10-10 00:43:08 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-10 00:43:41 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-10 00:44:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 00:48:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-10 00:50:57 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-10 00:52:19 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 00:56:44 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-10 01:10:53 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 01:12:24 +0200 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2023-10-10 01:14:17 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-10 01:15:22 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-10 01:16:02 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-10 01:18:47 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Client Quit) |
| 2023-10-10 01:23:00 +0200 | tv | (~tv@user/tv) (Ping timeout: 272 seconds) |
| 2023-10-10 01:27:52 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 01:28:59 +0200 | <jackdk> | There is also the "trick" of `class (Foo t, Bar t) => CAlias t; instance (Foo t, Bar t) => CAlias t`, but I can't remember the tradeoffs between them |
| 2023-10-10 01:32:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-10 01:32:44 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-10 01:32:55 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:54ef:d4cb:76a5:fbd4) (Quit: Client closed) |
| 2023-10-10 01:35:04 +0200 | tv | (~tv@user/tv) |
| 2023-10-10 01:35:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-10-10 01:46:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 01:51:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-10 02:02:04 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-10 02:03:11 +0200 | califax | (~califax@user/califx) |
| 2023-10-10 02:04:57 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 02:07:59 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 245 seconds) |
| 2023-10-10 02:08:29 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-10-10 02:08:58 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-10-10 02:09:04 +0200 | <Axman6> | yeah I was going to say the same thing but they'd left |
| 2023-10-10 02:09:10 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-c3bf-57ee-df70-9765.res6.spectrum.com) (Remote host closed the connection) |
| 2023-10-10 02:09:28 +0200 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2023-10-10 02:09:30 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-b4b7-28bb-a7a6-e3fe.res6.spectrum.com) |
| 2023-10-10 02:09:52 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-10 02:10:02 +0200 | <Axman6> | I remember Ed prefers that in Lens, I have a feeling it's related to partial application of the classname in types being weird if you use the type alias |
| 2023-10-10 02:10:30 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-10 02:11:08 +0200 | otto_s | (~user@p4ff27261.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-10 02:12:00 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-10-10 02:12:33 +0200 | otto_s | (~user@p4ff27261.dip0.t-ipconnect.de) |
| 2023-10-10 02:16:35 +0200 | mrmr155 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2023-10-10 02:16:50 +0200 | tv | (~tv@user/tv) (Ping timeout: 272 seconds) |
| 2023-10-10 02:17:50 +0200 | <haskellbridge> | <tewuzij> Me too |
| 2023-10-10 02:19:16 +0200 | mrmr155 | (~mrmr@user/mrmr) |
| 2023-10-10 02:19:20 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-10-10 02:20:22 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-10-10 02:22:55 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 02:27:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-10 02:30:51 +0200 | tv | (~tv@user/tv) |
| 2023-10-10 02:34:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-10 02:37:32 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 255 seconds) |
| 2023-10-10 02:37:40 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) (Quit: Client closed) |
| 2023-10-10 02:39:25 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 02:39:27 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-10-10 02:43:56 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-10 02:44:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-10 02:44:20 +0200 | img | (~img@user/img) |
| 2023-10-10 02:47:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-10 02:48:30 +0200 | mrmr155 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2023-10-10 02:48:51 +0200 | mrmr155 | (~mrmr@user/mrmr) |
| 2023-10-10 02:48:51 +0200 | solrize | (~solrize@user/solrize) (Ping timeout: 258 seconds) |
| 2023-10-10 02:51:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-10 02:51:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-10-10 02:52:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-10-10 02:55:56 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:00:26 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-10 03:00:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-10 03:01:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-10 03:01:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-10 03:01:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-10 03:02:10 +0200 | solrize | (~solrize@2601:644:8501:aaf0::86ea) |
| 2023-10-10 03:03:35 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 240 seconds) |
| 2023-10-10 03:12:14 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:16:30 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-10 03:20:53 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:21:47 +0200 | myyo_ | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:21:47 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Read error: Connection reset by peer) |
| 2023-10-10 03:24:10 +0200 | myyo_ | (~myyo@75-166-145-203.hlrn.qwest.net) (Read error: Connection reset by peer) |
| 2023-10-10 03:24:15 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:24:20 +0200 | otto_s | (~user@p4ff27261.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-10 03:25:45 +0200 | Square2 | (~Square4@user/square) |
| 2023-10-10 03:25:46 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Read error: Connection reset by peer) |
| 2023-10-10 03:25:47 +0200 | otto_s | (~user@p5b044f94.dip0.t-ipconnect.de) |
| 2023-10-10 03:25:49 +0200 | myyo_ | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 03:35:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2023-10-10 03:46:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e561:e849:ed8d:66e) (Ping timeout: 246 seconds) |
| 2023-10-10 03:46:38 +0200 | bilegeek | (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) (Quit: Leaving) |
| 2023-10-10 03:50:32 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2023-10-10 03:52:49 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2023-10-10 03:55:54 +0200 | <jackdk> | Axman6: sounds right, maybe the type alias way falls down when you have MPTCs and/or some classes which are usable before you completely saturate the alias? |
| 2023-10-10 03:57:52 +0200 | myyo_ | (~myyo@75-166-145-203.hlrn.qwest.net) (Remote host closed the connection) |
| 2023-10-10 04:08:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-10 04:10:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-10 04:13:44 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 04:18:09 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-10 04:22:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-10 04:26:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-10 04:27:21 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-10-10 04:27:42 +0200 | <[Leary]> | You need the `class` version if you want to use it where you have `... -> Constraint` parameters to your values/datatypes/typeclasses, but that's pretty rare. |
| 2023-10-10 04:29:20 +0200 | <[Leary]> | Personally, I'd rather write `class (c a, d a) => (c & d) a; instance (c a, d a) => (c & d) a` once and reuse it in ordinary type aliases. |
| 2023-10-10 04:31:34 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 04:36:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-10 04:37:07 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-10 04:39:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-10 04:43:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-10 04:43:49 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-10 04:43:49 +0200 | finn_elija | FinnElija |
| 2023-10-10 04:44:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-10 04:45:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 04:50:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-10 04:51:31 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) () |
| 2023-10-10 04:54:01 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-10 04:56:02 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2023-10-10 04:59:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 05:04:12 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-10-10 05:06:26 +0200 | akyv13 | (~akyv13@2409:4060:e94:fd16:3264:e4c1:bd2f:7cc4) |
| 2023-10-10 05:11:49 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:2700:dafa:9613:d393:4807) |
| 2023-10-10 05:12:55 +0200 | aforemny | (~aforemny@i59F516DE.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-10 05:24:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-10 05:24:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-10 05:26:41 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-10 05:39:35 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-10 05:49:00 +0200 | akyv13 | (~akyv13@2409:4060:e94:fd16:3264:e4c1:bd2f:7cc4) (Ping timeout: 248 seconds) |
| 2023-10-10 05:49:56 +0200 | akyv13 | (~akyv13@2409:4060:e94:fd16:83b7:6803:6742:b0f9) |
| 2023-10-10 05:49:58 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 05:51:48 +0200 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2023-10-10 05:53:52 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2023-10-10 05:53:52 +0200 | Sciencentistguy7 | Sciencentistguy |
| 2023-10-10 05:54:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-10-10 06:05:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-10 06:19:48 +0200 | adium | (adium@user/adium) (Ping timeout: 240 seconds) |
| 2023-10-10 06:21:57 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-10 06:22:43 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-10 06:25:44 +0200 | akyv13 | (~akyv13@2409:4060:e94:fd16:83b7:6803:6742:b0f9) (Ping timeout: 246 seconds) |
| 2023-10-10 06:29:35 +0200 | Friendship | (~Friendshi@user/Friendship) (Ping timeout: 240 seconds) |
| 2023-10-10 06:33:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 06:34:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-10 06:35:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-10 06:36:44 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-10-10 06:37:16 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-10-10 06:41:13 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 06:41:15 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 06:41:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-10 06:43:04 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-10-10 06:46:00 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds) |
| 2023-10-10 06:49:59 +0200 | Friendship | (~Friendshi@user/Friendship) |
| 2023-10-10 07:09:00 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-10-10 07:09:00 +0200 | vglfr | (~vglfr@88.155.165.25) (Ping timeout: 248 seconds) |
| 2023-10-10 07:09:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-10 07:10:33 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 07:20:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-10 07:20:28 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2023-10-10 07:21:19 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-10 07:21:19 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-10-10 07:21:44 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2023-10-10 07:22:36 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-10 07:29:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0559e554f9a7bd00b3.dip0.t-ipconnect.de) |
| 2023-10-10 07:32:41 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-10 07:35:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-10-10 07:35:12 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-10-10 07:37:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-10 07:37:51 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-10-10 07:39:39 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2023-10-10 07:40:25 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-10 07:47:49 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 07:52:27 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds) |
| 2023-10-10 07:52:51 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-10 07:58:11 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-10 07:58:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-10-10 07:59:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-10 07:59:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0559e554f9a7bd00b3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-10 08:00:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-10-10 08:00:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-10 08:09:12 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2023-10-10 08:09:12 +0200 | Me-me | (~me-me@user/me-me) |
| 2023-10-10 08:10:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-10 08:11:14 +0200 | euleritian | (~euleritia@dynamic-046-114-206-118.46.114.pool.telefonica.de) |
| 2023-10-10 08:15:40 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-10 08:16:08 +0200 | rgw | (~R@2605:a601:a0df:5600:4991:d4f3:eae6:6) (Quit: rgw) |
| 2023-10-10 08:21:45 +0200 | danza | (~francesco@151.35.208.79) |
| 2023-10-10 08:23:38 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 08:25:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-10 08:25:13 +0200 | dsrt^ | (~cd@76.145.193.217) |
| 2023-10-10 08:28:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds) |
| 2023-10-10 08:28:56 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-10 08:32:13 +0200 | shapr` | (~user@2600:1700:c640:3100:4d15:1e8d:2f46:bef9) |
| 2023-10-10 08:32:17 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2023-10-10 08:33:02 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 272 seconds) |
| 2023-10-10 08:33:02 +0200 | shapr | (~user@2600:1700:c640:3100:e1b1:e88e:4412:3c5c) (Ping timeout: 272 seconds) |
| 2023-10-10 08:44:35 +0200 | vglfr | (~vglfr@88.155.165.25) (Ping timeout: 258 seconds) |
| 2023-10-10 08:45:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efed:414a:90bf:ce2c) |
| 2023-10-10 08:47:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 08:50:04 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 08:52:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-10 09:00:04 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-10-10 09:02:34 +0200 | vglfr | (~vglfr@88.155.165.25) (Ping timeout: 245 seconds) |
| 2023-10-10 09:02:37 +0200 | danza | (~francesco@151.35.208.79) (Read error: Connection reset by peer) |
| 2023-10-10 09:02:45 +0200 | danza | (~francesco@151.37.223.26) |
| 2023-10-10 09:06:27 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 09:06:40 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-10 09:07:22 +0200 | CiaoSen | (~Jura@2a05:5800:2a8:8300:664b:f0ff:fe37:9ef) |
| 2023-10-10 09:09:26 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) |
| 2023-10-10 09:12:55 +0200 | vglfr | (~vglfr@88.155.165.25) (Ping timeout: 255 seconds) |
| 2023-10-10 09:13:05 +0200 | danza | (~francesco@151.37.223.26) (Ping timeout: 240 seconds) |
| 2023-10-10 09:13:15 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-10 09:13:30 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 09:17:02 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-10-10 09:18:11 +0200 | euleritian | (~euleritia@dynamic-046-114-206-118.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 09:18:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 09:33:14 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 09:33:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-10 09:34:25 +0200 | euleritian | (~euleritia@dynamic-046-114-206-118.46.114.pool.telefonica.de) |
| 2023-10-10 09:35:16 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-10 09:37:48 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-10-10 09:39:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-10 09:39:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 09:40:20 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-10-10 09:40:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-10 09:44:20 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-10 09:45:03 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-10 09:45:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-10 09:46:48 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200CEE54AEB34117456.dsl.pool.telekom.hu) |
| 2023-10-10 09:54:49 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-10 09:57:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-10 10:00:44 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2023-10-10 10:01:00 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-10-10 10:01:43 +0200 | danse-nr3 | (~francesco@151.37.223.26) |
| 2023-10-10 10:04:42 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2023-10-10 10:07:00 +0200 | Nixkernal_ | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds) |
| 2023-10-10 10:14:23 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-10-10 10:17:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) |
| 2023-10-10 10:20:46 +0200 | euleritian | (~euleritia@dynamic-046-114-206-118.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 10:21:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 10:22:58 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2023-10-10 10:27:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-10 10:33:03 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
| 2023-10-10 10:39:37 +0200 | chele | (~chele@user/chele) |
| 2023-10-10 10:45:26 +0200 | kalj | (~kalj@213-66-216-233-no600.tbcn.telia.com) |
| 2023-10-10 10:49:59 +0200 | kalj | (~kalj@213-66-216-233-no600.tbcn.telia.com) (Client Quit) |
| 2023-10-10 10:50:42 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-10 10:54:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-10 11:00:08 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-10 11:01:56 +0200 | cpressey | (~cpressey@host-92-10-151-94.as13285.net) |
| 2023-10-10 11:04:41 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-10-10 11:05:50 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-10-10 11:06:23 +0200 | cpressey | (~cpressey@host-92-10-151-94.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-10 11:11:42 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-10 11:12:02 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-10-10 11:12:06 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 11:14:51 +0200 | forell | (~forell@user/forell) |
| 2023-10-10 11:16:18 +0200 | cpressey | (~cpressey@host-92-28-116-63.as13285.net) |
| 2023-10-10 11:16:19 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-10 11:17:38 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-10-10 11:21:59 +0200 | <Athas> | Yay, new GHC. I wonder when it will come to Nix. |
| 2023-10-10 11:28:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 11:30:20 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-10 11:30:55 +0200 | matijja | (~matijja@193.77.181.201) |
| 2023-10-10 11:36:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:2700:dafa:9613:d393:4807) (Ping timeout: 248 seconds) |
| 2023-10-10 11:37:04 +0200 | privacy | (~privacy@user/privacy) |
| 2023-10-10 11:39:36 +0200 | aforemny | (~aforemny@i59F516D8.versanet.de) |
| 2023-10-10 11:39:55 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2023-10-10 11:40:58 +0200 | cpressey | (~cpressey@host-92-28-116-63.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-10 11:41:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) |
| 2023-10-10 11:42:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-10 11:45:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-10 11:45:59 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-10-10 11:47:23 +0200 | tomith | (tomith@user/tomith) |
| 2023-10-10 11:47:54 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) |
| 2023-10-10 11:50:56 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-10 12:03:37 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-10-10 12:12:05 +0200 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 255 seconds) |
| 2023-10-10 12:12:45 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-10-10 12:14:00 +0200 | <haskellbridge> | <simonmic> idea: the room name could be, eg, "#haskell Libera IRC" or "Haskell Libera IRC bridge", clarifying it's purpose and that it's not about building IRC bots in haskell |
| 2023-10-10 12:16:11 +0200 | <haskellbridge> | <simonmic> idea: the room name could be, eg, "#haskell @ Libera IRC" or "Haskell Libera IRC bridge", clarifying it's purpose and that it's not about building IRC bots in haskell |
| 2023-10-10 12:17:51 +0200 | <haskellbridge> | <simonmic> IRC users: ignore me, this is about the matrix room mirroring this channel. And sorry for edits, it's impossible to remember bridges are there without some visual cue |
| 2023-10-10 12:22:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 12:23:19 +0200 | <probie> | There is a visual cue - IRC users complaining |
| 2023-10-10 12:23:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 12:23:50 +0200 | <haskellbridge> | <simonmic> that is an inefficient mechanism :) |
| 2023-10-10 12:30:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-10 12:32:39 +0200 | CiaoSen | (~Jura@2a05:5800:2a8:8300:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-10-10 12:38:30 +0200 | <probie> | It's pretty efficient if what you're gauging is level of irritation. A few stray matrix-specific messages are less intrusive than some random link on https://justpaste.it and we endure that |
| 2023-10-10 12:41:19 +0200 | <arahael> | You matrix users should just come on over to irc! |
| 2023-10-10 12:42:12 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-10 12:42:19 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) () |
| 2023-10-10 12:44:10 +0200 | <exarkun> | we do, it's just irritating ;) |
| 2023-10-10 12:44:20 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-10 12:45:18 +0200 | CiaoSen | (~Jura@2a05:5800:2a8:8300:664b:f0ff:fe37:9ef) |
| 2023-10-10 12:48:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 12:53:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-10 13:02:54 +0200 | danse-nr3_ | (~francesco@151.37.168.2) |
| 2023-10-10 13:04:01 +0200 | danse-nr3 | (~francesco@151.37.223.26) (Read error: Connection reset by peer) |
| 2023-10-10 13:08:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5a89:920c:4eba:834c) |
| 2023-10-10 13:08:53 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-10 13:24:48 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-10 13:25:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 13:27:06 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-10 13:33:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 13:33:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 13:35:12 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-10-10 13:40:15 +0200 | danse-nr3_ | (~francesco@151.37.168.2) (Ping timeout: 240 seconds) |
| 2023-10-10 13:43:59 +0200 | <dminuoso> | Instead of debating IRC or matrix, we should just develop one universal chat protocol to cover everyones needs. |
| 2023-10-10 13:44:24 +0200 | [exa] | increases the protocol counter |
| 2023-10-10 13:44:31 +0200 | <_0xa> | https://xkcd.com/927/ |
| 2023-10-10 13:45:30 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 2023-10-10 13:46:27 +0200 | diamond | (~user@89.223.35.3) |
| 2023-10-10 13:52:32 +0200 | <Athas> | IRC already covers all real needs for a chat protocol. |
| 2023-10-10 13:52:36 +0200 | <Athas> | It is the humans that are wrong. |
| 2023-10-10 13:53:05 +0200 | Guest|7 | (~Guest|7@wifi-wpa.agh.edu.pl) |
| 2023-10-10 13:54:22 +0200 | Guest|7 | (~Guest|7@wifi-wpa.agh.edu.pl) (Client Quit) |
| 2023-10-10 14:03:25 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-10-10 14:04:45 +0200 | <tomsmeding> | "it is you that is wrong, not me" :p |
| 2023-10-10 14:04:55 +0200 | <tomsmeding> | the new GHC is already on the playground! :) |
| 2023-10-10 14:06:32 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-10-10 14:11:38 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-10 14:14:16 +0200 | <exarkun> | Anyone have any examples of using amazonka-s3 against a non-AWS provider (eg a locally hosted minio)? |
| 2023-10-10 14:14:51 +0200 | <exarkun> | I can't figure out how you're even meant to approach this - do it in the config file or env vars? Hand-craft your own Region? Or override some Service Endpoints? |
| 2023-10-10 14:18:59 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-b4b7-28bb-a7a6-e3fe.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-10-10 14:19:00 +0200 | hgolden_ | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-10-10 14:19:06 +0200 | notliks | (~notliks@190.123.12.164) |
| 2023-10-10 14:19:52 +0200 | <notliks> | Naruto Has Ninja Sex with Nuevo Leon Governor Samuel Garcia99,99! |
| 2023-10-10 14:19:52 +0200 | <notliks> | Naruto Uzumaki visits Monterrey and meets Governor Samuel Garcia and starts a romantic escapade with him. |
| 2023-10-10 14:19:52 +0200 | <notliks> | https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia |
| 2023-10-10 14:20:58 +0200 | <tomsmeding> | @where ops |
| 2023-10-10 14:20:58 +0200 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2023-10-10 14:22:24 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-10 14:24:13 +0200 | <notliks> | Naruto Has Ninja Sex with Nuevo Leon Governor Samuel Garcia99,99! |
| 2023-10-10 14:26:04 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-10 14:28:23 +0200 | <haskellbridge> | <sm> where is our battledroid |
| 2023-10-10 14:28:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5a89:920c:4eba:834c) (Ping timeout: 258 seconds) |
| 2023-10-10 14:29:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4e6:7a66:6b3f:7b11) |
| 2023-10-10 14:29:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-10-10 14:30:44 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 14:31:21 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 14:31:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 14:31:55 +0200 | <int-e> | ozone is sleeping on the job :-( |
| 2023-10-10 14:33:42 +0200 | notliks | sprays diarrhea into int-e's face |
| 2023-10-10 14:34:15 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-10-10 14:43:17 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-10 14:43:54 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 14:50:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4e6:7a66:6b3f:7b11) (Quit: xff0x) |
| 2023-10-10 14:50:38 +0200 | <notliks> | I want cum in vglfr's face |
| 2023-10-10 14:54:30 +0200 | <nitrix> | Sir, this is a Haskell's. |
| 2023-10-10 14:54:43 +0200 | kaptch | (~kaptch@eduroam09.au.dk) |
| 2023-10-10 14:54:43 +0200 | kaptch | (~kaptch@eduroam09.au.dk) (Client Quit) |
| 2023-10-10 14:55:19 +0200 | <notliks> | I want to cum in your hair, nitrix |
| 2023-10-10 14:55:22 +0200 | <notliks> | Asl? |
| 2023-10-10 14:55:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f7aa:8fa9:8388:1900) |
| 2023-10-10 14:55:41 +0200 | <notliks> | I am already jacking off |
| 2023-10-10 15:02:09 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 245 seconds) |
| 2023-10-10 15:07:16 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 260 seconds) |
| 2023-10-10 15:07:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 15:07:21 +0200 | <notliks> | Naruto Has Ninja Sex with Nuevo Leon Governor Samuel Garcia99,99! |
| 2023-10-10 15:07:21 +0200 | <notliks> | Naruto Uzumaki visits Monterrey and meets Governor Samuel Garcia and starts a romantic escapade with him. |
| 2023-10-10 15:07:21 +0200 | <notliks> | https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia |
| 2023-10-10 15:07:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 15:09:44 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 15:11:58 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-10 15:12:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-10-10 15:12:13 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-10 15:14:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-10 15:14:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-10 15:14:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-10 15:14:10 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 15:14:30 +0200 | notliks | (~notliks@190.123.12.164) (K-Lined) |
| 2023-10-10 15:17:31 +0200 | danse-nr3 | (~francesco@151.37.168.2) |
| 2023-10-10 15:18:20 +0200 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-10 15:25:43 +0200 | privacy | (~privacy@user/privacy) (Quit: Leaving) |
| 2023-10-10 15:25:44 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-10 15:27:45 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-10 15:34:26 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-10 15:35:13 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 252 seconds) |
| 2023-10-10 15:36:20 +0200 | stites | (~stites@2607:fb90:ad63:d467:8c95:7826:30af:a5b6) |
| 2023-10-10 15:39:54 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 272 seconds) |
| 2023-10-10 15:47:19 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-10-10 15:47:37 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 15:52:46 +0200 | stites | (~stites@2607:fb90:ad63:d467:8c95:7826:30af:a5b6) (Read error: Connection reset by peer) |
| 2023-10-10 15:53:08 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 15:56:30 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-10 15:57:32 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-10 15:58:57 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-10 16:02:18 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-10 16:02:18 +0200 | stites | (~stites@155.33.134.7) (Read error: Connection reset by peer) |
| 2023-10-10 16:02:34 +0200 | stites | (~stites@2607:fb90:ad63:d467:8c95:7826:30af:a5b6) |
| 2023-10-10 16:02:57 +0200 | stites | (~stites@2607:fb90:ad63:d467:8c95:7826:30af:a5b6) (Read error: Connection reset by peer) |
| 2023-10-10 16:03:17 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 16:04:29 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-10 16:07:12 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-10 16:10:22 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-10 16:11:10 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 16:12:32 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) |
| 2023-10-10 16:19:30 +0200 | EvanR_ | EvanR |
| 2023-10-10 16:19:51 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-10-10 16:22:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-10 16:24:35 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-10 16:26:34 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-10 16:31:00 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-10 16:38:30 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Quit: reconnecting) |
| 2023-10-10 16:39:18 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-10 16:40:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-10 16:41:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efed:414a:90bf:ce2c) (Quit: WeeChat 2.8) |
| 2023-10-10 16:42:37 +0200 | Guest98 | (~Guest98@8afbfebe.st-andrews.ac.uk) |
| 2023-10-10 16:44:07 +0200 | Guest98 | (~Guest98@8afbfebe.st-andrews.ac.uk) (Client Quit) |
| 2023-10-10 16:45:02 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-10 16:45:32 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-10-10 16:47:31 +0200 | <EvanR> | which real number package is lambdabot using, exact-real package exports this CReal type which is parameterized while lambdabot's isn't |
| 2023-10-10 16:47:48 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 240 seconds) |
| 2023-10-10 16:49:37 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 16:49:39 +0200 | <dolio> | I woudl guess: https://hackage.haskell.org/package/numbers |
| 2023-10-10 16:50:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 16:50:39 +0200 | <EvanR> | yep that's it |
| 2023-10-10 16:52:23 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-10 16:54:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-10 17:00:55 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2023-10-10 17:01:33 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2023-10-10 17:01:49 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2023-10-10 17:02:04 +0200 | Square2 | (~Square4@user/square) |
| 2023-10-10 17:03:09 +0200 | danse-nr3 | (~francesco@151.37.168.2) (Read error: Connection reset by peer) |
| 2023-10-10 17:03:14 +0200 | danse-nr3_ | (~francesco@151.37.159.35) |
| 2023-10-10 17:03:20 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-10 17:03:22 +0200 | Square | (~Square@user/square) |
| 2023-10-10 17:03:58 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 17:04:46 +0200 | diamond | (~user@89.223.35.3) (Ping timeout: 272 seconds) |
| 2023-10-10 17:06:20 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2023-10-10 17:06:51 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 17:07:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 17:10:48 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-10 17:12:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-10 17:14:02 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-10 17:14:29 +0200 | CiaoSen | (~Jura@2a05:5800:2a8:8300:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 2023-10-10 17:14:35 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-10-10 17:17:13 +0200 | <EvanR> | 5.9.10. Linking against C++ libraries |
| 2023-10-10 17:17:27 +0200 | <EvanR> | what, that's a thing |
| 2023-10-10 17:18:02 +0200 | <EvanR> | system-cxx-std-lib-1.0 is in the package list... does that mean you can just use C++ stdlib stuff |
| 2023-10-10 17:18:54 +0200 | <geekosaur> | still need `extern "C"` linkage, but C++ stdlib varies between gcc and clang (and windows builds use clang now because the bfd linker's broken on windows) so the special package was added to record which stdlib to use |
| 2023-10-10 17:19:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-10 17:20:42 +0200 | <geekosaur> | sadly, direct C++ linkage still remains a "$DEITY help you, especially if you're not on linux x86_64" |
| 2023-10-10 17:24:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 17:26:16 +0200 | <EvanR> | immediately after running cabal init -n there's a mysterious binary file in dist-newstyle/cache/compiler, any idea what that is |
| 2023-10-10 17:26:27 +0200 | <EvanR> | 13k in size |
| 2023-10-10 17:26:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 17:27:23 +0200 | <EvanR> | it's got some of my environment variables in there |
| 2023-10-10 17:27:57 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-10 17:30:49 +0200 | <EvanR> | is that supposed to get committed |
| 2023-10-10 17:32:58 +0200 | <EvanR> | I'm wrong I have no idea where that came from |
| 2023-10-10 17:33:21 +0200 | stites | (~stites@155.33.134.7) (Read error: Connection reset by peer) |
| 2023-10-10 17:33:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-10 17:33:42 +0200 | stites | (~stites@2607:fb91:dc7:28cf:320c:e73:d9d7:7692) |
| 2023-10-10 17:34:07 +0200 | stites | (~stites@2607:fb91:dc7:28cf:320c:e73:d9d7:7692) (Read error: Connection reset by peer) |
| 2023-10-10 17:34:27 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 17:34:37 +0200 | <danse-nr3_> | stuff under dist/ does not usually get committed, and i would not commit anything that captured your env vars anyways |
| 2023-10-10 17:35:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) (Remote host closed the connection) |
| 2023-10-10 17:35:22 +0200 | <tomsmeding> | EvanR: never commit dist-newstyle |
| 2023-10-10 17:35:31 +0200 | <tomsmeding> | even worse, it says "cache" |
| 2023-10-10 17:35:32 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-10 17:36:14 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) |
| 2023-10-10 17:37:34 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-10 17:39:22 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 17:41:17 +0200 | <int-e> | EvanR: if you wonder what's in there: https://github.com/haskell/cabal/blob/master/cabal-install/src/Distribution/Client/ProjectPlanning… (so it's used to detect changes of the compiler, and other information that relates to how it discovers packages) |
| 2023-10-10 17:41:50 +0200 | <int-e> | (but yeah, don't commit it) |
| 2023-10-10 17:42:22 +0200 | <EvanR> | :thumbsup: |
| 2023-10-10 17:48:37 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 2023-10-10 17:50:35 +0200 | stites | (~stites@155.33.134.7) (Read error: Connection reset by peer) |
| 2023-10-10 17:51:37 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-10-10 17:52:45 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 17:53:31 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 260 seconds) |
| 2023-10-10 17:54:05 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-10 17:55:02 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-10 17:55:07 +0200 | todi | (~todi@p4fd1ae09.dip0.t-ipconnect.de) |
| 2023-10-10 17:59:56 +0200 | lena64t1 | (~lena64t@gateway/tor-sasl/hck) |
| 2023-10-10 18:00:51 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-10 18:01:53 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 252 seconds) |
| 2023-10-10 18:05:07 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-10 18:07:16 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-10 18:08:19 +0200 | califax | (~califax@user/califx) |
| 2023-10-10 18:08:21 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:08:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 18:09:58 +0200 | stites | (~stites@155.33.134.7) (Read error: Connection reset by peer) |
| 2023-10-10 18:10:35 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 18:10:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-10 18:13:27 +0200 | shapr` | shapr |
| 2023-10-10 18:20:17 +0200 | stites | (~stites@155.33.134.7) (Read error: Connection reset by peer) |
| 2023-10-10 18:21:32 +0200 | danse-nr3_ | (~francesco@151.37.159.35) (Ping timeout: 248 seconds) |
| 2023-10-10 18:21:36 +0200 | stites | (~stites@155.33.134.7) |
| 2023-10-10 18:23:01 +0200 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-10-10 18:25:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:25:11 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 18:25:33 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:25:37 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) |
| 2023-10-10 18:25:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2023-10-10 18:25:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 18:27:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) |
| 2023-10-10 18:27:53 +0200 | sm_ | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-10 18:30:57 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-10 18:33:10 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-10 18:41:47 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Quit: Client closed) |
| 2023-10-10 18:43:38 +0200 | danse-nr3_ | (~francesco@151.37.159.35) |
| 2023-10-10 18:43:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:46:25 +0200 | danse-nr3_ | (~francesco@151.37.159.35) (Remote host closed the connection) |
| 2023-10-10 18:46:50 +0200 | danse-nr3_ | (~francesco@151.37.159.35) |
| 2023-10-10 18:47:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 18:49:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-10 18:49:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) (Remote host closed the connection) |
| 2023-10-10 18:50:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-10-10 18:55:32 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-10 18:58:03 +0200 | <EvanR> | there is a sort of schism in programming language philosophy, you have people who design usable languages with math inspired notation that expresses huge amounts of information in a small space, then you have people who argue the code should look like english and it doesn't matter how verbose it gets |
| 2023-10-10 18:58:26 +0200 | <EvanR> | now I'm wonder what the hell it would look like if you tried to make a syntax for haskell that did this second philosophy xD |
| 2023-10-10 18:59:02 +0200 | <EvanR> | like a COBOL skin for haskell |
| 2023-10-10 18:59:03 +0200 | <monochrom> | Would that be Liskell? If you s/English/Japanese/ ? |
| 2023-10-10 18:59:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:59:11 +0200 | <EvanR> | liskell? |
| 2023-10-10 18:59:12 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 18:59:27 +0200 | <monochrom> | Haskell but with Lisp syntax. |
| 2023-10-10 18:59:34 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 18:59:36 +0200 | <monochrom> | which is Japanese grammar. |
| 2023-10-10 18:59:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 18:59:54 +0200 | <Unicorn_Princess> | s/<$>/map and haskell is pretty english too, isn't it? |
| 2023-10-10 19:00:10 +0200 | <geekosaur> | gcc's internal/"core" language at least used to be S-expressions |
| 2023-10-10 19:00:29 +0200 | <mauke> | how is lisp like japanese? |
| 2023-10-10 19:00:43 +0200 | <monochrom> | verb arg1 arg2 ... |
| 2023-10-10 19:01:08 +0200 | <danse-nr3_> | yeah i find like haskell respects both views to be honest. We get used to see things in terms of polarities, but often that is just an useless frame |
| 2023-10-10 19:01:17 +0200 | <mauke> | "give me that" |
| 2023-10-10 19:03:19 +0200 | <geekosaur> | yes, but English only does it for imperatives and (in a different way) interrogatives |
| 2023-10-10 19:03:56 +0200 | <monochrom> | (is Japanese verb-subject-object) |
| 2023-10-10 19:04:02 +0200 | <mauke> | I don't speak Japanese, but my impression was that its main features were postpositions (postfix markers) and leaving out any information that can be inferred (subjects, objects, etc.) |
| 2023-10-10 19:04:35 +0200 | <mauke> | oh, and different styles of speaking depending on the social context |
| 2023-10-10 19:04:58 +0200 | <monochrom> | Lisp also have postfix markers for optional arguments and named arguments/attributes :) |
| 2023-10-10 19:05:27 +0200 | <geekosaur> | those are prefix aren't they? :foo bar rather than bar :foo? |
| 2023-10-10 19:05:58 +0200 | <geekosaur> | they're only postfix relative to the verb |
| 2023-10-10 19:06:25 +0200 | <monochrom> | Yeah I mean relative to the verb. |
| 2023-10-10 19:07:26 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 255 seconds) |
| 2023-10-10 19:09:33 +0200 | <ncf> | isn't japanese SOV |
| 2023-10-10 19:10:00 +0200 | <monochrom> | Oops! It's SOV. |
| 2023-10-10 19:10:04 +0200 | <geekosaur> | any Japanese speakers about to provide some ground truth? |
| 2023-10-10 19:12:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) |
| 2023-10-10 19:13:00 +0200 | <Unicorn_Princess> | geekosaur, where's the fun in that? |
| 2023-10-10 19:13:43 +0200 | <mauke> | SOV? hey, that's common in Latin |
| 2023-10-10 19:14:17 +0200 | <monochrom> | Well then, switching strategies... "map f xs" and "give me that" follow the same English imperative grammar. Therefore Haskell is the finest imperative language. >:) |
| 2023-10-10 19:14:31 +0200 | <yushyin> | yeah, japanese is SOV, particles (the markers) are usually after the verb/noun |
| 2023-10-10 19:14:33 +0200 | <geekosaur> | seen a lot in ancient Hebrew too, although modern I think has mostly gone SVO. (both verbs and objects have markers, so you can get away with pretty much any order) |
| 2023-10-10 19:15:04 +0200 | <yushyin> | like you would see the verb and the very end + the question marker 'ka' |
| 2023-10-10 19:16:08 +0200 | <mauke> | https://metacpan.org/pod/Lingua::Romana::Perligata the most readable language |
| 2023-10-10 19:18:34 +0200 | <Unicorn_Princess> | on the other hand, sql tries to be very english-like with its "select from where", but the syntax is such a poor fit for the underlying semantics i find it utterly opaque and confusing |
| 2023-10-10 19:19:36 +0200 | <monochrom> | Generally what's wrong with shoehorning logic into natural languages. |
| 2023-10-10 19:19:40 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) (Ping timeout: 248 seconds) |
| 2023-10-10 19:19:51 +0200 | <monochrom> | Natural languages were evolved not intelligently designed. |
| 2023-10-10 19:19:54 +0200 | <mauke> | UPDATE users SET password = ''; |
| 2023-10-10 19:19:59 +0200 | <mauke> | oops forgot my WHERE clause |
| 2023-10-10 19:20:49 +0200 | <dolio> | You should tell logic teachers that. :þ |
| 2023-10-10 19:21:10 +0200 | <monochrom> | Yeah it's an unpopular opinion. |
| 2023-10-10 19:29:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-10 19:29:34 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) |
| 2023-10-10 19:31:51 +0200 | danse-nr3_ | (~francesco@151.37.159.35) (Remote host closed the connection) |
| 2023-10-10 19:32:28 +0200 | danse-nr3_ | (~francesco@151.37.159.35) |
| 2023-10-10 19:33:04 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-10 19:34:38 +0200 | chexum_ | chexum |
| 2023-10-10 19:39:09 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-10 19:39:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) (Remote host closed the connection) |
| 2023-10-10 19:39:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-10 19:43:21 +0200 | euleritian | (~euleritia@dynamic-046-114-200-052.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-10 19:43:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-10 19:43:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) |
| 2023-10-10 19:44:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-10 19:44:44 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2023-10-10 19:45:10 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-10-10 19:45:42 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-10-10 19:48:13 +0200 | lena64t1 | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 252 seconds) |
| 2023-10-10 19:58:00 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-10-10 19:58:28 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) |
| 2023-10-10 20:03:20 +0200 | __ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-10 20:04:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Read error: Connection reset by peer) |
| 2023-10-10 20:04:25 +0200 | __ht | _ht |
| 2023-10-10 20:05:30 +0200 | blackfield | (~aenima@85.255.4.218) (Remote host closed the connection) |
| 2023-10-10 20:07:45 +0200 | blackfield | (~aenima@85.255.4.218) |
| 2023-10-10 20:14:09 +0200 | <ddellacosta> | Japanese usually has the verb at the very end, and a single conjugated verb can be an entire sentence given subject/object context |
| 2023-10-10 20:15:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-10 20:22:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-10 20:22:12 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-10 20:22:12 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-10 20:29:48 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-10 20:30:06 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-10 20:33:28 +0200 | <haskellbridge> | <Inst> iirc Japanese is SOV, not OSV, right? |
| 2023-10-10 20:33:41 +0200 | Simikando | (~Simikando@adsl-dyn230.91-127-81.t-com.sk) (Quit: Leaving) |
| 2023-10-10 20:34:03 +0200 | <monochrom> | Yes I apologize. :) |
| 2023-10-10 20:34:06 +0200 | <haskellbridge> | <Inst> erm, VSO |
| 2023-10-10 20:34:27 +0200 | <haskellbridge> | <Inst> it's SOV, rather |
| 2023-10-10 20:35:37 +0200 | <haskellbridge> | <Inst> Arabic is the most prominent VSO language, and IIRC someone tried to build a Lisp in that. |
| 2023-10-10 20:35:56 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-10-10 20:36:14 +0200 | <haskellbridge> | <Inst> Welp, thank god Terry Davis wasn't a Lisper |
| 2023-10-10 20:37:15 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-10 20:37:32 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-10 20:37:33 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-10 20:38:15 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-10-10 20:38:36 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-10-10 20:39:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2023-10-10 20:39:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-10 20:39:41 +0200 | <danse-nr3_> | oh i did not know arabic was VSO. Yeah that works quite well with lisp, and with haskell as well |
| 2023-10-10 20:39:50 +0200 | malte | (~malte@mal.tc) |
| 2023-10-10 20:40:13 +0200 | <monochrom> | But then you have to write like "sx f pam" >:) |
| 2023-10-10 20:41:15 +0200 | ski | (~ski@88.131.7.247) |
| 2023-10-10 20:41:55 +0200 | <danse-nr3_> | oops |
| 2023-10-10 20:42:39 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2023-10-10 20:45:04 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) |
| 2023-10-10 20:45:56 +0200 | <EvanR> | terminals have bidi support now so that should be fine |
| 2023-10-10 20:46:54 +0200 | <haskellbridge> | <Inst> oh fing hell, nick's horrible code example was actually one term away from being idiomatic haskell... |
| 2023-10-10 20:46:58 +0200 | haskellbridge | <Inst> facepalms |
| 2023-10-10 20:47:39 +0200 | <haskellbridge> | <Inst> https://pastebin.com/9aDhPPFU |
| 2023-10-10 20:47:42 +0200 | <EvanR> | goddammit nick |
| 2023-10-10 20:47:46 +0200 | <EvanR> | smh |
| 2023-10-10 20:47:48 +0200 | <haskellbridge> | <Inst> i was posting this to make fun of it, but i realize it |
| 2023-10-10 20:48:40 +0200 | <haskellbridge> | <Inst> this is actually valid |
| 2023-10-10 20:48:41 +0200 | <haskellbridge> | <Inst> https://paste.tomsmeding.com/MdhtnBN3 |
| 2023-10-10 20:48:49 +0200 | <haskellbridge> | <Inst> due to do bulleting |
| 2023-10-10 20:49:36 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-10 20:49:36 +0200 | <APic> | lol |
| 2023-10-10 20:49:51 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-10-10 20:50:19 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-10-10 20:50:24 +0200 | <monochrom> | Who is nick? |
| 2023-10-10 20:50:30 +0200 | <ski> | > 1 + do 2 |
| 2023-10-10 20:50:31 +0200 | <lambdabot> | 3 |
| 2023-10-10 20:50:46 +0200 | <haskellbridge> | <Inst> the guy who came up with the reason you wanted everyone to ignore me for |
| 2023-10-10 20:50:55 +0200 | <EvanR> | :t (do 1 + 2) 3 |
| 2023-10-10 20:50:56 +0200 | <lambdabot> | (Num t1, Num (t1 -> t2)) => t2 |
| 2023-10-10 20:50:59 +0200 | <mauke> | > do do do do baby shark |
| 2023-10-10 20:51:01 +0200 | <lambdabot> | "baby shark" |
| 2023-10-10 20:51:22 +0200 | <haskellbridge> | <Inst> iirc some russians already posted this, and maxigit was enthusiastic about it |
| 2023-10-10 20:51:33 +0200 | <EvanR> | pureFunction is not a function, or is it, it depends |
| 2023-10-10 20:51:35 +0200 | <haskellbridge> | <Inst> on discourse |
| 2023-10-10 20:51:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-10 20:51:42 +0200 | <haskellbridge> | <Inst> using do under blockarguments to avoid having to use parens |
| 2023-10-10 20:51:56 +0200 | <monochrom> | Huh "pureFunction" but it's type is Int. I wonder if we should argue over "is this a function?" again. |
| 2023-10-10 20:52:18 +0200 | <tomsmeding> | and also it's monadic! |
| 2023-10-10 20:52:24 +0200 | <EvanR> | shoot you're right, the Int is in there |
| 2023-10-10 20:52:30 +0200 | <EvanR> | that's bogus again |
| 2023-10-10 20:52:46 +0200 | <haskellbridge> | <Inst> well, it's some kind of weird overloading in not haskell |
| 2023-10-10 20:52:53 +0200 | <haskellbridge> | <Inst> let's not discuss not haskell, agreed? |
| 2023-10-10 20:52:59 +0200 | <tomsmeding> | no |
| 2023-10-10 20:53:07 +0200 | stites | (~stites@155.33.134.7) (Ping timeout: 264 seconds) |
| 2023-10-10 20:53:23 +0200 | <monochrom> | Yeah I noticed and exploited that length forces Int. :) |
| 2023-10-10 20:53:44 +0200 | stites | (~stites@2607:fb91:dc7:28cf:320c:e73:d9d7:7692) |
| 2023-10-10 20:53:58 +0200 | <monochrom> | Well this code is still legal Haskell after hiding and shadowing "return". :) |
| 2023-10-10 20:53:59 +0200 | <[exa]> | [Gödel voice:] but ints are functions?! |
| 2023-10-10 20:54:26 +0200 | <tomsmeding> | no, Gödel would be "functions are ints" |
| 2023-10-10 20:54:27 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-10 20:54:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2023-10-10 20:54:44 +0200 | <monochrom> | Dear Gödel, Integer could be functions, but Int is too small for your encoding. >:) |
| 2023-10-10 20:54:44 +0200 | <tomsmeding> | which, I guess, yields the same conclusion |
| 2023-10-10 20:54:46 +0200 | <mauke> | pureFunction :: a -> Int |
| 2023-10-10 20:54:55 +0200 | <haskellbridge> | <Inst> iirc it was hudak who suggested in haskell school of expression |
| 2023-10-10 20:55:06 +0200 | <haskellbridge> | <Inst> that every haskell value can be thought of as a function of zero arguments |
| 2023-10-10 20:55:11 +0200 | <mauke> | and I'm keeping the return |
| 2023-10-10 20:55:38 +0200 | <mauke> | length is a haskell value, so I shall think of length as a function of zero arguments |
| 2023-10-10 20:56:01 +0200 | <monochrom> | OK yeah using Prelude's return, it is still legal Haskell, just with a different type. |
| 2023-10-10 20:56:31 +0200 | <monochrom> | But where is the fun in not arguing over 0-arity functions? :) |
| 2023-10-10 20:56:55 +0200 | <haskellbridge> | <Inst> more like, i'm trying to understand monadic style, for instance, i taught somehow how to use (>>>) to hide point free and make it look like vertical code |
| 2023-10-10 20:57:01 +0200 | <EvanR> | an every function is a constant |
| 2023-10-10 20:57:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-10 20:57:20 +0200 | <mauke> | > "fun" `infixOf` "not arguing over 0-arity functions" |
| 2023-10-10 20:57:21 +0200 | <monochrom> | Every variable is a constant, too. :) |
| 2023-10-10 20:57:21 +0200 | <lambdabot> | error: |
| 2023-10-10 20:57:21 +0200 | <lambdabot> | • Variable not in scope: infixOf :: [Char] -> [Char] -> t |
| 2023-10-10 20:57:21 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2023-10-10 20:57:29 +0200 | <mauke> | > "fun" `isInfixOf` "not arguing over 0-arity functions" |
| 2023-10-10 20:57:30 +0200 | <lambdabot> | True |
| 2023-10-10 20:57:33 +0200 | <haskellbridge> | <Inst> i tried to refactor at least some of their "newbie' haskell stuff that was infested with lets into where-based binding-based do |
| 2023-10-10 20:58:08 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-10 20:58:10 +0200 | <monochrom> | Usuallly do and where don't mix that well. |
| 2023-10-10 20:58:12 +0200 | <mauke> | hmm, doesn't tell you where, though |
| 2023-10-10 20:58:28 +0200 | <haskellbridge> | <Inst> yeah i know, because where can't see monadic bindings in do |
| 2023-10-10 20:58:34 +0200 | <haskellbridge> | <Inst> so would you advise using let instead? |
| 2023-10-10 20:59:02 +0200 | <monochrom> | We are pretty much forced to. I have some other opinion that doesn't really matter. |
| 2023-10-10 20:59:26 +0200 | <EvanR> | let is always the answer. Or lambda. Or a case. Or a constructor |
| 2023-10-10 20:59:37 +0200 | <monochrom> | But the let order also corroborates with the imperative style. |
| 2023-10-10 21:00:08 +0200 | <haskellbridge> | <Inst> i guess i need more experience and experimentation in this |
| 2023-10-10 21:00:26 +0200 | <monochrom> | The goal is to write COBOL but in Haskell syntax, remember? So where gives the wrong order. |
| 2023-10-10 21:01:03 +0200 | <haskellbridge> | <Inst> yeah but the problem is that if you write it like that, it loses to py, it just looks more verbose and degenerate |
| 2023-10-10 21:01:14 +0200 | <EvanR> | I was basically boggling at how you write pattern matching definitions with english-looking essay code |
| 2023-10-10 21:01:23 +0200 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-10-10 21:01:29 +0200 | <EvanR> | it seems totally incompatible |
| 2023-10-10 21:01:34 +0200 | <mauke> | chaotic evil: use neither let nor where, only pattern guards |
| 2023-10-10 21:01:39 +0200 | <haskellbridge> | <Inst> figuirng out how to hybridize in functional idioms is probably the way forward, but i don't have enough experience to make a judgment or have a guess at good ways to do so |
| 2023-10-10 21:01:58 +0200 | <monochrom> | Oh pattern matching in COBOL would be the right way to use a "where" word! |
| 2023-10-10 21:02:00 +0200 | <haskellbridge> | <Inst> how would using pattern guards work out? |
| 2023-10-10 21:02:37 +0200 | <EvanR> | hybridized (bastardized) functional idioms are the norm, scala, F#, etc |
| 2023-10-10 21:02:42 +0200 | <monochrom> | "append xs to ys where mylist takes the form x:xs" >:) |
| 2023-10-10 21:02:45 +0200 | <haskellbridge> | <Inst> in the sense of foo | otherwise, bar <- baz = qux? |
| 2023-10-10 21:02:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc64:c01f:9dc:b9a6) (Remote host closed the connection) |
| 2023-10-10 21:02:49 +0200 | danse-nr3_ | (~francesco@151.37.159.35) (Read error: Connection reset by peer) |
| 2023-10-10 21:03:13 +0200 | danse-nr3_ | (~francesco@151.35.218.156) |
| 2023-10-10 21:03:25 +0200 | <haskellbridge> | <Inst> actually, tbh, redundant code, you should be able to just foo | bar <- baz = qux, no? |
| 2023-10-10 21:03:28 +0200 | <mauke> | > let foobar = succ; pureFunction | x <- length "some_arg", y <- foobar 42 = x + y in pureFunction |
| 2023-10-10 21:03:29 +0200 | <lambdabot> | 51 |
| 2023-10-10 21:04:34 +0200 | <monochrom> | Oh hey the other day I discovered the #scalaz. It says "Welcome to the ivory tower, download Scalaz 10 at https://www.haskell.org/. No, Scala 3 does not have dependent types" |
| 2023-10-10 21:04:50 +0200 | <mauke> | > let hmm | i <- 0, x <- i, i <- i + 1, y <- i, i <- i + 1, z <- i = (x,y,z) in hmm |
| 2023-10-10 21:04:52 +0200 | <lambdabot> | (0,1,2) |
| 2023-10-10 21:05:33 +0200 | <haskellbridge> | <Inst> message set by tapas, what did you expect? :) |
| 2023-10-10 21:06:02 +0200 | <tomsmeding> | "let hmm is the 3-tuple of x and y and z where 0 takes the form i, i takes the form x, i + 1 takes the form i, i takes the form y, i + 1 takes the form i, i takes the form z" ? |
| 2023-10-10 21:06:14 +0200 | <tomsmeding> | er, s/ is / be / |
| 2023-10-10 21:06:31 +0200 | <haskellbridge> | <Inst> mauke: you can verticalize it |
| 2023-10-10 21:06:34 +0200 | <tomsmeding> | clearly more readable |
| 2023-10-10 21:07:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5c70:b44a:ee74:69b2) |
| 2023-10-10 21:08:07 +0200 | <haskellbridge> | <Inst> that is a twisted and workable idiom, strangely enough, and actually shows how pattern guards can be more than just a poor man's XViewPattern |
| 2023-10-10 21:08:53 +0200 | <monochrom> | Sure, pattern guards do something that view patterns don't. |
| 2023-10-10 21:08:56 +0200 | <tomsmeding> | it's nice if you're binding GADTs where just a single constructor typechecks; doing that in a 'let' wouldn't work, you'd have to do it in a 'case' but that's unwieldy |
| 2023-10-10 21:09:58 +0200 | <monochrom> | Namely, pattern guards almost have boolean status. |
| 2023-10-10 21:10:15 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-10 21:10:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5c70:b44a:ee74:69b2) (Remote host closed the connection) |
| 2023-10-10 21:10:55 +0200 | <haskellbridge> | <Inst> iirc, the guard syntax allows let, bool, guard, right? |
| 2023-10-10 21:10:57 +0200 | <haskellbridge> | <Inst> the let is never fail, bool can fail, guard can fail as well |
| 2023-10-10 21:11:15 +0200 | <monochrom> | es |
| 2023-10-10 21:11:18 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2023-10-10 21:11:18 +0200 | <monochrom> | err, yes |
| 2023-10-10 21:11:29 +0200 | stites | (~stites@2607:fb91:dc7:28cf:320c:e73:d9d7:7692) (Read error: Connection reset by peer) |
| 2023-10-10 21:11:47 +0200 | <monochrom> | Does it allow let? |
| 2023-10-10 21:11:49 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-10 21:11:53 +0200 | <mauke> | they're all guards |
| 2023-10-10 21:11:59 +0200 | <monochrom> | > m | let x=m+1, x==x = x |
| 2023-10-10 21:12:00 +0200 | <lambdabot> | <hint>:1:3: error: parse error on input ‘|’ |
| 2023-10-10 21:12:05 +0200 | <tomsmeding> | > let hmm | let i = 10 = 10 in hmm |
| 2023-10-10 21:12:07 +0200 | <lambdabot> | 10 |
| 2023-10-10 21:12:09 +0200 | <tomsmeding> | > let hmm | let i = 10 = i in hmm |
| 2023-10-10 21:12:11 +0200 | <lambdabot> | 10 |
| 2023-10-10 21:12:19 +0200 | <tomsmeding> | perfectly readable |
| 2023-10-10 21:12:19 +0200 | <monochrom> | Yeah that. Thanks. |
| 2023-10-10 21:12:43 +0200 | <monochrom> | Might have better luck with yahb2. :) |
| 2023-10-10 21:12:53 +0200 | <tomsmeding> | hm? |
| 2023-10-10 21:13:01 +0200 | <monochrom> | But I also wrote a wrong recursion, so meh. |
| 2023-10-10 21:13:08 +0200 | <tomsmeding> | oh |
| 2023-10-10 21:13:21 +0200 | <tomsmeding> | % m | let x=m+1, x==x = x |
| 2023-10-10 21:13:21 +0200 | <yahb2> | <no output> |
| 2023-10-10 21:13:24 +0200 | <tomsmeding> | % m |
| 2023-10-10 21:13:26 +0200 | <yahb2> | <timeout> |
| 2023-10-10 21:13:29 +0200 | <tomsmeding> | % 1 |
| 2023-10-10 21:13:29 +0200 | <yahb2> | 1 |
| 2023-10-10 21:13:41 +0200 | <monochrom> | But at least not a syntax error. :) |
| 2023-10-10 21:15:40 +0200 | danse-nr3_ | (~francesco@151.35.218.156) (Ping timeout: 252 seconds) |
| 2023-10-10 21:15:54 +0200 | <haskellbridge> | <Inst> https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-620004 |
| 2023-10-10 21:16:37 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-10 21:17:05 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-10 21:17:51 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
| 2023-10-10 21:17:53 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-10 21:18:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5c70:b44a:ee74:69b2) |
| 2023-10-10 21:21:16 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-10-10 21:22:00 +0200 | privacy | (~privacy@user/privacy) |
| 2023-10-10 21:25:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2023-10-10 21:30:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-10-10 21:32:19 +0200 | <tomsmeding> | why does the ghcup entry for ghc 9.8.1 have '2023-10-09' under notes |
| 2023-10-10 21:33:18 +0200 | <tomsmeding> | answer: because it, and stack 2.7.3, have a viReleaseDay tag in the ghcup yaml. Follow-up question: why on Earth do only ghc 9.8.1 and stack 2.7.3 have a viReleaseDay tag :p |
| 2023-10-10 21:34:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5c70:b44a:ee74:69b2) (Remote host closed the connection) |
| 2023-10-10 21:34:22 +0200 | <monochrom> | ooohhh recommended is now GHC 9.4.* :( |
| 2023-10-10 21:34:29 +0200 | monochrom | wants to stay with 9.2 |
| 2023-10-10 21:34:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2023-10-10 21:34:34 +0200 | <tomsmeding> | :p |
| 2023-10-10 21:35:04 +0200 | <tomsmeding> | monochrom: I'm sure maerwald will not come and berate you for staying with 9.2 |
| 2023-10-10 21:36:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-10 21:39:24 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2023-10-10 21:42:48 +0200 | danza | (~francesco@151.35.218.156) |
| 2023-10-10 21:43:27 +0200 | todi | (~todi@p4fd1ae09.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-10-10 21:44:04 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 272 seconds) |
| 2023-10-10 21:47:20 +0200 | Square | (~Square@user/square) |
| 2023-10-10 21:47:27 +0200 | liyang | (sid322268@uxbridge.irccloud.com) |
| 2023-10-10 21:48:30 +0200 | dsrt^ | (~cd@76.145.193.217) (Ping timeout: 272 seconds) |
| 2023-10-10 21:49:35 +0200 | dsrt^ | (~cd@76.145.193.217) |
| 2023-10-10 21:50:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-10-10 21:55:36 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::a27d) |
| 2023-10-10 21:56:31 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::a27d) (Client Quit) |
| 2023-10-10 22:03:10 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-10 22:04:01 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-10 22:06:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8c8d:37ea:f5b2:d34) |
| 2023-10-10 22:07:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-10 22:10:36 +0200 | <EvanR> | I think I'm on the no man's land of 9.6 which is neither recommended nor disrecommended by ghcup |
| 2023-10-10 22:10:49 +0200 | danza | (~francesco@151.35.218.156) (Ping timeout: 255 seconds) |
| 2023-10-10 22:11:07 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 264 seconds) |
| 2023-10-10 22:11:13 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 252 seconds) |
| 2023-10-10 22:12:31 +0200 | <[exa]> | (couraged or discouraged) |
| 2023-10-10 22:12:35 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-10-10 22:14:42 +0200 | <geekosaur> | I skip every other release which means I did 8.10, 9.2, and am now on 9.6 and will use 9.8 only for testing while I wait for 9.10 |
| 2023-10-10 22:14:58 +0200 | <geekosaur> | or whatever it will be called but the HEAD docs suggest 9.10 |
| 2023-10-10 22:19:33 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-10 22:20:38 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-10-10 22:27:07 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-10 22:30:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-10 22:30:35 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2023-10-10 22:30:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-10-10 22:31:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-10 22:33:03 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-10-10 22:39:03 +0200 | Friendship | (~Friendshi@user/Friendship) (Read error: Connection reset by peer) |
| 2023-10-10 22:39:23 +0200 | Friendship | (~Friendshi@user/Friendship) |
| 2023-10-10 22:43:28 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2023-10-10 22:44:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-10 22:45:41 +0200 | ystael | (~ystael@user/ystael) |
| 2023-10-10 22:46:29 +0200 | vshev4enko | (~vshev4enk@88.135.249.114) |
| 2023-10-10 22:48:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-10 22:48:50 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200CEE54AEB34117456.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 2023-10-10 22:55:22 +0200 | sh4l0 | (~sh4l0@151.62.73.183) |
| 2023-10-10 22:57:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-10-10 22:57:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-10 22:58:42 +0200 | <tomsmeding> | it better be 9.10 |
| 2023-10-10 22:58:46 +0200 | <tomsmeding> | I'm not emotionally ready for ghc 10 |
| 2023-10-10 22:59:39 +0200 | acidjnk | (~acidjnk@p200300d6e7072f0519cae40178150491.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-10-10 23:02:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-10 23:03:07 +0200 | danza | (~francesco@151.35.218.156) |
| 2023-10-10 23:03:39 +0200 | <EvanR> | there won't be ghc 10. It'll be the totally unrelated brand pivot to ghc X |
| 2023-10-10 23:04:06 +0200 | <Rembane> | XHC |
| 2023-10-10 23:04:49 +0200 | <EvanR> | that's too real |
| 2023-10-10 23:05:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-10 23:05:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-10 23:05:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-10 23:05:35 +0200 | <EvanR> | Haskell [History] X |
| 2023-10-10 23:06:35 +0200 | <Axman6> | tomsmeding: amen D: |
| 2023-10-10 23:06:52 +0200 | sh4l0 | (~sh4l0@151.62.73.183) (Quit: Leaving) |
| 2023-10-10 23:07:07 +0200 | <Axman6> | Thnks, now I have anxiety, and I only just woke up |
| 2023-10-10 23:07:47 +0200 | <Rembane> | I think we need to move to another dimension or something. |
| 2023-10-10 23:08:15 +0200 | <Axman6> | GHC 9.8 + 7i |
| 2023-10-10 23:08:25 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-10-10 23:10:12 +0200 | <Rembane> | Roaming the complex plane in peace |
| 2023-10-10 23:12:02 +0200 | bilegeek | (~bilegeek@2600:1008:b004:d50e:d8be:4118:2b29:669c) |
| 2023-10-10 23:12:26 +0200 | <geekosaur> | one component for DH and the other for everything else 😛 |
| 2023-10-10 23:13:16 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-10 23:15:06 +0200 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2023-10-10 23:15:21 +0200 | <haskellbridge> | <Inst> me neither, tbh |
| 2023-10-10 23:15:29 +0200 | <haskellbridge> | <Inst> ghc10 is going to be disappointing because I was hoping for something big with GHC10 |
| 2023-10-10 23:15:40 +0200 | xigua | (~xigua@user/xigua) |
| 2023-10-10 23:15:46 +0200 | <haskellbridge> | <Inst> I hope that bgamari etc stall out on GHC 9 until there's some big release |
| 2023-10-10 23:15:47 +0200 | <ddellacosta> | how about just "X," I bet no one has thought of that before |
| 2023-10-10 23:15:51 +0200 | ddellacosta | runs |
| 2023-10-10 23:16:03 +0200 | <haskellbridge> | <Inst> give me GHC 9.24 instead of a disappointing GHC 10 |
| 2023-10-10 23:16:09 +0200 | <haskellbridge> | <Inst> hahahaha |
| 2023-10-10 23:16:55 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-10-10 23:17:17 +0200 | vshev4enko | (~vshev4enk@88.135.249.114) (Ping timeout: 255 seconds) |
| 2023-10-10 23:23:34 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-10 23:31:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-10 23:34:11 +0200 | <mauke> | that way lies perl 5.38 |
| 2023-10-10 23:35:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-10 23:36:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-10-10 23:36:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-10 23:38:04 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |
| 2023-10-10 23:39:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-10 23:39:54 +0200 | cpressey | (~cpressey@host-2-102-11-74.as13285.net) (Quit: Client closed) |
| 2023-10-10 23:41:02 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-10-10 23:42:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-10 23:43:21 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2023-10-10 23:44:05 +0200 | <tomsmeding> | is that a problem? :p |
| 2023-10-10 23:44:17 +0200 | tomsmeding | isn't sure if there is some sub-joke here about perl |
| 2023-10-10 23:46:37 +0200 | <mauke> | no, not really |
| 2023-10-10 23:46:55 +0200 | <mauke> | only that at some point things ossify |
| 2023-10-10 23:47:56 +0200 | <mauke> | so if you stay at, say, ghc 9.x for too long, you can't switch to 10 anymore without breaking lots of things |
| 2023-10-10 23:50:41 +0200 | skltonian | (~skltonian@190.123.41.211) |
| 2023-10-10 23:50:45 +0200 | <skltonian> | Garfield's Foursome with Nermal, Edna Sklton, and Jean Pierre Manikariza99,99 |
| 2023-10-10 23:50:45 +0200 | <skltonian> | Garfield, Nermal, Edna Sklton, and Jean Pierre Manikariza have an orgy over lasagna! |
| 2023-10-10 23:50:45 +0200 | <skltonian> | https://justpaste.it/Garfield-Foursome-Nermal-Skilton |
| 2023-10-10 23:50:52 +0200 | ChanServ | +o geekosaur |
| 2023-10-10 23:50:59 +0200 | geekosaur | +b *!*@190.123.41.211 |
| 2023-10-10 23:50:59 +0200 | skltonian | geekosaur (skltonian) |
| 2023-10-10 23:51:03 +0200 | <Rembane> | Are there people still on Perl 5.38 that can't switch to Perl 5.39 aynmore? |
| 2023-10-10 23:51:40 +0200 | geekosaur | -o geekosaur |
| 2023-10-10 23:51:58 +0200 | <mauke> | no, but a release of perl 7 would be "fun" |
| 2023-10-10 23:52:04 +0200 | danza | (~francesco@151.35.218.156) (Ping timeout: 255 seconds) |
| 2023-10-10 23:52:14 +0200 | <mauke> | (6 is effectively burned as a version, similar to php) |
| 2023-10-10 23:52:34 +0200 | <mauke> | oh, and 5.39 is a developer release anyway. the next stable release will be 5.40 :-) |
| 2023-10-10 23:54:47 +0200 | <Rembane> | Oh, that sounds messy |
| 2023-10-10 23:54:49 +0200 | <mauke> | there are hardcoded "perl5" in file and directory names, it appears in environment variables (PERL5LIB, PERL5OPT, PERL5DB, ...), there is code that assumes the first number will always be 5 |
| 2023-10-10 23:54:54 +0200 | <johnw> | Perl still has releases? |
| 2023-10-10 23:55:13 +0200 | <haskellbridge> | <geekosaur> 19100 |
| 2023-10-10 23:55:23 +0200 | <mauke> | people still use Haskell? |
| 2023-10-10 23:55:31 +0200 | <johnw> | mauke: yes |
| 2023-10-10 23:55:32 +0200 | <tomsmeding> | fortran still has releases |
| 2023-10-10 23:56:23 +0200 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-10-10 23:56:53 +0200 | <monochrom> | IRC still has users. >:) |
| 2023-10-10 23:57:05 +0200 | <tomsmeding> | I built a tool to semi-automatically whittle a list of dependencies down to one that has a build plan in cabal |
| 2023-10-10 23:57:08 +0200 | <tomsmeding> | (for the playground) |
| 2023-10-10 23:57:15 +0200 | <tomsmeding> | turns out that people are overly lax in dependency bounds |
| 2023-10-10 23:57:16 +0200 | <tomsmeding> | >.> |
| 2023-10-10 23:57:18 +0200 | <monochrom> | I think someone here actually still use emacs for IRC. |
| 2023-10-10 23:57:37 +0200 | <geekosaur> | at least two, from quit messages |
| 2023-10-10 23:57:47 +0200 | <mauke> | a lot of this was caused by the switch from perl4 to perl5, I think. people had to distinguish between the established ("stable") and shiny new versions of the language, so "5" was added everywhere |
| 2023-10-10 23:57:52 +0200 | <mauke> | compare "ansi" in C |
| 2023-10-10 23:58:13 +0200 | <geekosaur> | wow, quite a lot according to my logs |
| 2023-10-10 23:59:48 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-10 23:59:48 +0200 | <mauke> | so ... I guess ghc should be fine as long as they don't make a release with lots of great new features that everyone wants to use and then stay on that major version number for three decades |