| 2022-07-22 00:00:12 +0000 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 260 seconds) |
| 2022-07-22 00:00:16 +0000 | beaky_ | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-07-22 00:00:31 +0000 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-07-22 00:03:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-22 00:03:48 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 00:03:52 +0000 | Ram-Z_ | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-07-22 00:04:28 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 268 seconds) |
| 2022-07-22 00:04:42 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 276 seconds) |
| 2022-07-22 00:04:49 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-07-22 00:04:58 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 00:05:23 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Quit: WeeChat 3.2) |
| 2022-07-22 00:11:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 00:11:06 +0000 | beaky_ | beaky |
| 2022-07-22 00:11:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 00:11:12 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2022-07-22 00:13:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 00:14:53 +0000 | <qrpnxz> | ghcidefinitely |
| 2022-07-22 00:15:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 00:16:42 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 00:19:16 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 00:21:08 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 00:22:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 00:22:28 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 00:22:46 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 00:23:36 +0000 | <dibblego> | pfft I have ghci-8.8 |
| 2022-07-22 00:24:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 00:24:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 00:26:00 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-22 00:26:40 +0000 | <Axman6> | With functor, we have <$>, and its matching <&> which lets us write the function after the thing it's applied to. Is there a way to do that with applicative, like aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> funOfArg1Arg2Arg3Arg4? |
| 2022-07-22 00:27:37 +0000 | <Axman6> | The reason I want this is that the function in my case is a lambda, and having the named arguments to the lambda visually close to the the source of the arguments would make the code much easier to follow |
| 2022-07-22 00:29:39 +0000 | <Axman6> | so it's more like: aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> (\ |
| 2022-07-22 00:30:04 +0000 | <Axman6> | so it's more like: aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> (\a1 a2 a3 a4 -> ...) with the lambda probably on the following line |
| 2022-07-22 00:31:52 +0000 | hays | (rootvegeta@fsf/member/hays) () |
| 2022-07-22 00:33:06 +0000 | <Axman6> | I guess there's a somewhat gross hack of: (\f -> f <$> a <*> b <*> c) (\a b c -> ...) |
| 2022-07-22 00:34:35 +0000 | <[Leary]> | If you're willing to suffer nested tuples, you could use (<%>) = liftA2 (,) and then (<&>) as normal. But I'd rather use ApplicativeDo. |
| 2022-07-22 00:39:18 +0000 | <Axman6> | yeah, I think traditional applicative style wil be clear enough. I've added comments to the argument expressions matching them with their arguments (the lambda is quite long and takes up like 20 lines constructing a large record) |
| 2022-07-22 00:39:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 00:40:14 +0000 | <geekosaur> | this sounds very ApplicativeDo+RecordWildcards+NamedFieldPuns to me |
| 2022-07-22 00:41:48 +0000 | <Axman6> | While I agree, and I normally would, I'm technically using Daml, not Haskell, and we try to discourage revealing the wizard behind the curtain that is GHC |
| 2022-07-22 00:42:32 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 2022-07-22 00:42:54 +0000 | slack1256 | (~slack1256@186.11.20.31) |
| 2022-07-22 00:44:20 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2022-07-22 00:47:46 +0000 | jespada | (~jespada@190.7.36.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-22 00:48:36 +0000 | Nic64 | (~Nic@2601:400:8000:f770:c591:5d2f:97f2:882a) |
| 2022-07-22 00:48:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b066:fe39:acdd:e9df) (Ping timeout: 272 seconds) |
| 2022-07-22 00:48:49 +0000 | mcfilib | (uid302703@user/mcfilib) |
| 2022-07-22 00:48:54 +0000 | Nic64 | (~Nic@2601:400:8000:f770:c591:5d2f:97f2:882a) (Client Quit) |
| 2022-07-22 00:49:16 +0000 | <jackdk> | Axman6: can you build something up like (<*> arg1) . (<*> arg2) . (& fun) ? |
| 2022-07-22 00:50:35 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-22 00:53:53 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 00:54:32 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 00:55:24 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-22 00:56:53 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 00:57:21 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-22 01:01:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 01:01:53 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 01:07:33 +0000 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 01:07:33 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 01:07:35 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer) |
| 2022-07-22 01:07:52 +0000 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 01:08:18 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-22 01:08:20 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 01:08:32 +0000 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 01:09:55 +0000 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-22 01:10:28 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 01:10:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 01:11:35 +0000 | bgamari | (~bgamari@64.223.157.165) (Ping timeout: 260 seconds) |
| 2022-07-22 01:11:58 +0000 | bgamari | (~bgamari@64.223.171.172) |
| 2022-07-22 01:12:27 +0000 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-22 01:17:03 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 01:17:11 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 01:18:11 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 01:19:24 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 01:21:37 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 268 seconds) |
| 2022-07-22 01:21:56 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 01:23:03 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 01:24:47 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-07-22 01:26:03 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-22 01:28:15 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-22 01:33:58 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-07-22 01:40:12 +0000 | <monochrom> | <!> looks like flip <$>. <%> looks like flip <%>. Also right-associative instead of left-associative. |
| 2022-07-22 01:40:22 +0000 | <monochrom> | err <%> looks like flip <*> |
| 2022-07-22 01:41:03 +0000 | <monochrom> | Oh wait no, I don't know how to do <%> |
| 2022-07-22 01:41:57 +0000 | <monochrom> | I know how to do arg4 ??? arg3 ??? arg2 ??? arg1 <!> fun4, heh |
| 2022-07-22 01:43:17 +0000 | <Axman6> | yeah, bakwardas feels wrong though. I have a feeling it can be done with different fixities |
| 2022-07-22 01:44:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 01:48:24 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 2022-07-22 01:49:56 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 01:51:48 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 01:56:12 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-22 01:56:16 +0000 | brettgilio | (~brettgili@c9yh.net) (Remote host closed the connection) |
| 2022-07-22 01:56:44 +0000 | brettgilio | (~brettgili@c9yh.net) |
| 2022-07-22 01:57:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 01:58:02 +0000 | turlando | (~turlando@user/turlando) |
| 2022-07-22 01:59:47 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 02:00:24 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-22 02:01:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 02:01:22 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 02:02:34 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 02:02:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 02:05:21 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-22 02:07:02 +0000 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-07-22 02:09:05 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 02:10:32 +0000 | <jackdk> | Axman6: heh, I can do backwards with no new operators: `(fc <**>) . (fb <**>) . (fa <&>) $ \a b c -> ...` |
| 2022-07-22 02:11:31 +0000 | <jackdk> | Axman6: oh, but grab the reverse composition operator from `Control.Arrow` or `Control.Category`: `(fa <&>) >>> (fb <**>) >>> (fc <**>) $ _` |
| 2022-07-22 02:16:56 +0000 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 02:18:04 +0000 | toluene | (~toluene@user/toulene) |
| 2022-07-22 02:19:03 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 02:27:00 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 02:28:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 02:28:46 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 02:28:46 +0000 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) (Ping timeout: 268 seconds) |
| 2022-07-22 02:29:33 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 02:29:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-22 02:29:33 +0000 | finn_elija | FinnElija |
| 2022-07-22 02:30:09 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 02:31:20 +0000 | <marcusxavier> | Why most of other languages have features like Applicatives and Monoids? |
| 2022-07-22 02:32:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 02:34:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 02:39:21 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-22 02:40:47 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 02:47:31 +0000 | <pavonia> | Do they? |
| 2022-07-22 02:48:12 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Ping timeout: 276 seconds) |
| 2022-07-22 02:48:54 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 02:52:21 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 02:53:30 +0000 | td_ | (~td@muedsl-82-207-238-040.citykom.de) (Ping timeout: 268 seconds) |
| 2022-07-22 02:55:06 +0000 | td_ | (~td@94.134.91.35) |
| 2022-07-22 02:55:19 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Ping timeout: 244 seconds) |
| 2022-07-22 02:56:35 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 02:57:38 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 02:58:20 +0000 | mcfilib | (uid302703@user/mcfilib) (Quit: Connection closed for inactivity) |
| 2022-07-22 02:59:15 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-07-22 02:59:28 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 03:00:17 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 03:07:23 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-22 03:08:03 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-07-22 03:08:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 03:08:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 03:08:51 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-07-22 03:10:13 +0000 | <zzz> | applicarives and monoids are not features |
| 2022-07-22 03:10:13 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 03:10:36 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 03:10:46 +0000 | zzz | (~yin@user/zero) (Quit: leaving) |
| 2022-07-22 03:11:13 +0000 | yin | (~yin@user/zero) |
| 2022-07-22 03:11:48 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 03:15:42 +0000 | jargon | (~jargon@184.101.188.251) |
| 2022-07-22 03:16:21 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 03:20:03 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-22 03:22:06 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-22 03:23:30 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Quit: WeeChat 3.6) |
| 2022-07-22 03:23:55 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 03:26:17 +0000 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 03:26:30 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-22 03:28:50 +0000 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-22 03:29:22 +0000 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-07-22 03:29:25 +0000 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 03:35:40 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-22 03:36:36 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 03:37:55 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 03:37:59 +0000 | <dibblego> | this was written in 2005 https://github.com/functionaljava/functionaljava/blob/series/5.x/core/src/main/java/fj/Monoid.java |
| 2022-07-22 03:38:08 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 03:38:38 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 03:38:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 03:39:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 03:42:50 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) |
| 2022-07-22 03:43:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 03:45:41 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) (Ping timeout: 255 seconds) |
| 2022-07-22 03:45:41 +0000 | use-value1 | use-value |
| 2022-07-22 03:48:42 +0000 | jao | (~jao@92.233.85.247) (Ping timeout: 264 seconds) |
| 2022-07-22 03:53:52 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 03:57:34 +0000 | AlexZenon_2 | (~alzenon@178.34.160.206) |
| 2022-07-22 03:57:44 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.206) |
| 2022-07-22 03:58:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 03:59:25 +0000 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 268 seconds) |
| 2022-07-22 04:01:16 +0000 | AlexNoo | (~AlexNoo@178.34.160.206) (Ping timeout: 268 seconds) |
| 2022-07-22 04:04:28 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 04:04:59 +0000 | Guest26861 | (~inversed@0545c13e.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-07-22 04:05:26 +0000 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-07-22 04:05:43 +0000 | inversed | (~inversed@0545c13e.skybroadband.com) |
| 2022-07-22 04:05:59 +0000 | nahcetan | (~nate@98.45.169.16) |
| 2022-07-22 04:06:02 +0000 | n8chan | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-07-22 04:08:00 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-22 04:08:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 04:08:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 04:08:40 +0000 | Kaipei | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-07-22 04:22:54 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 04:27:16 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-22 04:33:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 04:33:42 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-07-22 04:36:30 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 04:38:53 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-07-22 04:39:24 +0000 | yin | (~yin@user/zero) |
| 2022-07-22 04:41:57 +0000 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) |
| 2022-07-22 04:42:33 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 04:42:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 04:44:52 +0000 | Kaipii | (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 2022-07-22 04:47:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 04:56:50 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2022-07-22 04:58:37 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 05:01:20 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-22 05:01:28 +0000 | <Inst> | question about unsafePerformIO |
| 2022-07-22 05:01:36 +0000 | <Inst> | i can't get my types to match |
| 2022-07-22 05:01:45 +0000 | <Inst> | i want to trigger an IO action before terminating my program |
| 2022-07-22 05:02:29 +0000 | <Inst> | is this cursed code? |
| 2022-07-22 05:02:30 +0000 | <Inst> | errorMessageBox message = unsafePerformIO $ notifyPopup "Program Aborted" message Error >> error ( unpack message ) |
| 2022-07-22 05:07:37 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-22 05:07:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 05:10:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 05:11:16 +0000 | <jackdk> | Axman6: be aware that my operator mess above performs effects in the reverse order! |
| 2022-07-22 05:12:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 05:12:25 +0000 | <dsal> | Inst: I'd just use bracket. But there's no way to guarantee that'll happen. |
| 2022-07-22 05:12:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 05:13:09 +0000 | <Inst> | notifyPopup is a method in the TinyFileDialogs package that triggers an attempt for the native OS to call a notifyPopup |
| 2022-07-22 05:13:19 +0000 | <Inst> | it works with error (unpack message), without the error message |
| 2022-07-22 05:15:32 +0000 | <jackdk> | @pl \f -> f <$> fa <*> fb <*> fc <*> fd |
| 2022-07-22 05:15:32 +0000 | <lambdabot> | (<$> fa <*> fb <*> fc <*> fd) |
| 2022-07-22 05:15:49 +0000 | <jackdk> | > (<$> fa <*> fb <*> fc <*> fd) _ |
| 2022-07-22 05:15:50 +0000 | <lambdabot> | error: |
| 2022-07-22 05:15:50 +0000 | <lambdabot> | The operator ‘<$>’ [infixl 4] of a section |
| 2022-07-22 05:15:50 +0000 | <lambdabot> | must have lower precedence than that of the operand, |
| 2022-07-22 05:15:58 +0000 | <jackdk> | don't lie to me lambdabot =( |
| 2022-07-22 05:19:07 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 272 seconds) |
| 2022-07-22 05:20:12 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-07-22 05:20:54 +0000 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-07-22 05:21:24 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 05:24:10 +0000 | <Axman6> | jackdk: yeah order also matters. I think it's possible but would likely need a few new operators and careful choice of fixity |
| 2022-07-22 05:24:31 +0000 | <jackdk> | Axman6: fd = (<$> fa) >>> (<*> fb) >>> (<*> fc) $ \A B C -> D emits things in the correct order |
| 2022-07-22 05:24:50 +0000 | <Axman6> | it's also awfully ugly :P |
| 2022-07-22 05:25:12 +0000 | <jackdk> | I would put it in a where: `f <$> fa <*> fb <*> fc where f =` |
| 2022-07-22 05:26:52 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 05:36:23 +0000 | Axman6 | starts making a proposal for BackwardsLambda to allow for (expr <- a b c/) |
| 2022-07-22 05:36:53 +0000 | <Axman6> | or (expr <- \a b c) |
| 2022-07-22 05:37:14 +0000 | <jackdk> | `expr <- a b c/` |
| 2022-07-22 05:37:18 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-07-22 05:37:39 +0000 | <jackdk> | Axman6: would be a better proposal than `|>` and `<|` in `base` |
| 2022-07-22 05:38:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-22 05:38:47 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 05:39:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 05:39:25 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-22 05:39:25 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-22 05:39:27 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-22 05:39:28 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 05:39:30 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 05:39:37 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 05:40:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 05:42:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 05:42:43 +0000 | goober | (~hosk@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-22 05:42:59 +0000 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-22 05:45:07 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-22 05:46:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 05:49:11 +0000 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-22 05:49:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-22 05:49:54 +0000 | michalz | (~michalz@185.246.204.77) |
| 2022-07-22 05:50:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 05:50:30 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 05:52:27 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 05:52:58 +0000 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-22 05:54:40 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 05:54:43 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 05:55:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 05:55:36 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 05:56:42 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-22 05:59:06 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-22 05:59:28 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-22 06:01:01 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-22 06:01:02 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 06:01:17 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 06:01:48 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-22 06:02:05 +0000 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-22 06:04:32 +0000 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) (Ping timeout: 272 seconds) |
| 2022-07-22 06:10:09 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds) |
| 2022-07-22 06:10:29 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 06:12:51 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 06:12:57 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-22 06:14:11 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 06:15:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 06:17:33 +0000 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) |
| 2022-07-22 06:22:29 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 06:23:29 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 06:29:29 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-07-22 06:30:53 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 06:31:29 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 06:35:53 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 06:35:53 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 06:35:54 +0000 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 06:36:35 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 06:36:37 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 06:36:44 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 06:38:08 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-22 06:39:36 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 06:40:21 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 06:41:13 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 06:41:41 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 06:41:45 +0000 | arahael | (~arahael@60-240-61-30.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2022-07-22 06:44:30 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 06:44:52 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 06:46:13 +0000 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 06:47:03 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 06:47:32 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 06:47:35 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586149514830106996485.dip0.t-ipconnect.de) |
| 2022-07-22 06:47:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-22 06:51:13 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-07-22 06:51:31 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 06:51:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-22 06:52:42 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 06:52:59 +0000 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 06:54:30 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 06:57:39 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 06:59:52 +0000 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-07-22 07:00:05 +0000 | kuribas | (~user@ptr-17d51ep5h41xra5kboz.18120a2.ip6.access.telenet.be) |
| 2022-07-22 07:02:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 07:02:04 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 07:02:25 +0000 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 07:02:29 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 07:02:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 07:02:48 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 07:02:57 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 07:07:27 +0000 | nschoe | (~quassel@2a04:cec0:11fa:4b58:6d81:e4b9:1806:c463) |
| 2022-07-22 07:07:53 +0000 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-22 07:08:08 +0000 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-22 07:09:22 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 07:12:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 07:16:09 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 07:17:18 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) (Remote host closed the connection) |
| 2022-07-22 07:17:36 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) |
| 2022-07-22 07:17:38 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-22 07:18:22 +0000 | benin0 | (~benin@183.82.24.116) |
| 2022-07-22 07:18:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 07:19:11 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 07:19:12 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 07:19:27 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 07:19:31 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 07:19:55 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 07:20:00 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-07-22 07:20:05 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 07:20:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 07:21:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 07:21:14 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-22 07:21:41 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 07:22:26 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-22 07:22:57 +0000 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-22 07:23:21 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 07:24:05 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-22 07:26:34 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 07:27:06 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds) |
| 2022-07-22 07:27:19 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 07:29:14 +0000 | MajorBiscuit | (~MajorBisc@c-001-026-008.client.tudelft.eduvpn.nl) |
| 2022-07-22 07:30:15 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-07-22 07:31:54 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2022-07-22 07:33:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 07:34:38 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-22 07:38:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 07:42:18 +0000 | Kaipii | Kaiepi |
| 2022-07-22 07:47:29 +0000 | chele | (~chele@user/chele) |
| 2022-07-22 07:48:41 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 07:51:18 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 07:51:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 07:56:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 07:58:02 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 07:58:04 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 07:58:27 +0000 | ccntrq | (~Thunderbi@2a01:c23:886f:f000:3032:1f82:2b4c:fe61) |
| 2022-07-22 07:59:10 +0000 | toluene | (~toluene@user/toulene) (Ping timeout: 272 seconds) |
| 2022-07-22 07:59:20 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 08:01:09 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds) |
| 2022-07-22 08:01:17 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-07-22 08:02:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-07-22 08:02:40 +0000 | toluene | (~toluene@user/toulene) |
| 2022-07-22 08:05:01 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-22 08:05:28 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-07-22 08:07:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-22 08:11:08 +0000 | nschoe_ | (~quassel@2a01:e0a:8e:a190:d200:656c:18b2:247b) |
| 2022-07-22 08:11:23 +0000 | nschoe | (~quassel@2a04:cec0:11fa:4b58:6d81:e4b9:1806:c463) (Ping timeout: 272 seconds) |
| 2022-07-22 08:17:09 +0000 | fserucas | (~fserucas@48.64.114.89.rev.vodafone.pt) |
| 2022-07-22 08:17:51 +0000 | fserucas_ | (~fserucas@48.64.114.89.rev.vodafone.pt) |
| 2022-07-22 08:19:19 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 08:21:39 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-22 08:25:22 +0000 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-22 08:26:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 08:26:25 +0000 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 08:28:02 +0000 | AlexZenon_2 | AlexZenon |
| 2022-07-22 08:28:27 +0000 | AlexNoo_ | AlexNoo |
| 2022-07-22 08:30:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 08:31:39 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-22 08:35:15 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 08:35:36 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 08:40:52 +0000 | ccntrq | (~Thunderbi@2a01:c23:886f:f000:3032:1f82:2b4c:fe61) (Quit: ccntrq) |
| 2022-07-22 08:41:13 +0000 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 08:41:25 +0000 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 08:41:45 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 08:43:04 +0000 | dcoutts__ | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) |
| 2022-07-22 08:44:02 +0000 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2022-07-22 08:46:10 +0000 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-22 08:47:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 08:50:40 +0000 | noteness | (~noteness@user/noteness) |
| 2022-07-22 08:54:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 08:56:32 +0000 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-07-22 08:59:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 08:59:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 08:59:58 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-07-22 09:00:17 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-22 09:00:26 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 09:01:35 +0000 | TMA | (tma@twin.jikos.cz) |
| 2022-07-22 09:01:36 +0000 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-07-22 09:03:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 09:04:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-22 09:05:39 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 09:06:25 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:08:59 +0000 | dcoutts__ | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 09:11:53 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-22 09:12:18 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-07-22 09:14:09 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-22 09:15:05 +0000 | renzhi | (~xp@2607:fa49:6500:b100::c32e) (Ping timeout: 244 seconds) |
| 2022-07-22 09:17:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 09:19:43 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2022-07-22 09:23:11 +0000 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-07-22 09:23:53 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-07-22 09:24:25 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:27:08 +0000 | renzhi | (~xp@2607:fa49:6500:b100::4a8c) |
| 2022-07-22 09:31:16 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 09:31:42 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 09:35:22 +0000 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 09:35:39 +0000 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-22 09:36:27 +0000 | mmhat | (~mmh@p200300f1c7055944ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-22 09:36:49 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 09:39:14 +0000 | nschoe_ | (~quassel@2a01:e0a:8e:a190:d200:656c:18b2:247b) (Ping timeout: 272 seconds) |
| 2022-07-22 09:41:57 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 244 seconds) |
| 2022-07-22 09:43:20 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 09:45:15 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 09:45:35 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 09:46:31 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 09:47:22 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:51:58 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-07-22 09:56:13 +0000 | <kuribas> | Is there a code generation tool that can use types to generate code, the way idris does? |
| 2022-07-22 09:57:29 +0000 | <kuribas> | for example generating the continuation monad implementation: https://www.youtube.com/watch?v=brjFqXkUQv0 |
| 2022-07-22 09:57:47 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 09:59:40 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-22 09:59:51 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
| 2022-07-22 10:00:33 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
| 2022-07-22 10:00:33 +0000 | lys | (sid194105@user/lys) |
| 2022-07-22 10:01:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 10:02:12 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-22 10:03:31 +0000 | <[exa]> | kuribas: probably depends on what kind of code you want to generate |
| 2022-07-22 10:03:40 +0000 | toluene7 | (~toluene@user/toulene) |
| 2022-07-22 10:03:41 +0000 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 10:03:42 +0000 | toluene7 | toluene |
| 2022-07-22 10:04:14 +0000 | <[exa]> | for haskell there's been djinn and derivatives, but afaik nothing really general in the direction of idris or agda |
| 2022-07-22 10:04:31 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 10:04:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 10:06:08 +0000 | <kuribas> | can djinn take existing local functions into consideration? |
| 2022-07-22 10:06:45 +0000 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 10:06:55 +0000 | <merijn> | kuribas: Sounds like you want to read pigworker's thesis :p |
| 2022-07-22 10:07:02 +0000 | <merijn> | On Epigram/Epigram2 |
| 2022-07-22 10:07:17 +0000 | <__monty__> | I think Coq has a Haskell backend? That's kinda generating Haskell from types : > |
| 2022-07-22 10:07:24 +0000 | <merijn> | although I think a HTT crisis of faith has halted his work on that |
| 2022-07-22 10:07:34 +0000 | <kuribas> | merijn: well, preferably something working, not a thesis :) |
| 2022-07-22 10:07:48 +0000 | <merijn> | kuribas: Epigram has an implementation |
| 2022-07-22 10:08:02 +0000 | <kuribas> | neat |
| 2022-07-22 10:08:12 +0000 | <kuribas> | But my program is in haskell, not epigram :( |
| 2022-07-22 10:08:13 +0000 | <merijn> | unmaintained, etc. afaik |
| 2022-07-22 10:08:15 +0000 | <merijn> | but it exists :p |
| 2022-07-22 10:08:20 +0000 | <[exa]> | wow |
| 2022-07-22 10:08:28 +0000 | <kuribas> | merijn: what crisis? |
| 2022-07-22 10:08:54 +0000 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) (Ping timeout: 276 seconds) |
| 2022-07-22 10:09:06 +0000 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-07-22 10:09:13 +0000 | <merijn> | kuribas: I dunno, I just know he stopped working on Epigram2 and "HTT induced crisis of faith" is what I absorbed via cultural osmosis as the reason :p |
| 2022-07-22 10:10:45 +0000 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
| 2022-07-22 10:15:40 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 10:16:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 10:18:44 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 10:20:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 10:20:24 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 10:20:48 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 10:21:10 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-22 10:21:36 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 10:22:47 +0000 | vglfr | (~vglfr@88.155.36.38) (Read error: Connection reset by peer) |
| 2022-07-22 10:23:59 +0000 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 10:24:58 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 10:25:30 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-22 10:27:10 +0000 | <kuribas> | I wonder if haskell at typelevel is more of an untyped logic language than a static functional language. |
| 2022-07-22 10:27:51 +0000 | dschrempf | (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) |
| 2022-07-22 10:28:32 +0000 | vglfr | (~vglfr@88.155.36.38) (Ping timeout: 268 seconds) |
| 2022-07-22 10:28:58 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 10:29:41 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-22 10:30:21 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-07-22 10:31:52 +0000 | Guest385 | (~Guest3@2001:4ca0:0:f232:999f:c020:d563:36a) |
| 2022-07-22 10:32:26 +0000 | <[exa]> | kuribas: yes, quite literally |
| 2022-07-22 10:32:32 +0000 | <Guest385> | @undo fs <*> xs = [f x | f <- fs, x <- xs] |
| 2022-07-22 10:32:32 +0000 | <lambdabot> | fs <*> xs = concatMap (\ f -> concatMap (\ x -> [f x]) xs) fs |
| 2022-07-22 10:32:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 10:37:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 10:39:10 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-07-22 10:46:25 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-07-22 10:47:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-22 10:50:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 10:50:49 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 10:51:55 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 10:52:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 10:53:03 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 10:53:26 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 10:53:41 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 10:54:10 +0000 | dcoutts | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) |
| 2022-07-22 10:54:27 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 10:54:27 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 10:55:41 +0000 | Guest24 | (~Guest24@pa49-183-23-170.pa.vic.optusnet.com.au) |
| 2022-07-22 10:57:10 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-22 10:57:50 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 2022-07-22 10:59:51 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 11:01:09 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 11:02:32 +0000 | lortabac | (~lortabac@37.101.76.86) (Ping timeout: 244 seconds) |
| 2022-07-22 11:03:41 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 11:03:48 +0000 | dschrempf | (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-22 11:05:13 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 11:15:28 +0000 | Guest24 | (~Guest24@pa49-183-23-170.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2022-07-22 11:15:52 +0000 | <__monty__> | kuribas: Hence the term type prolog that sometimes pops up. |
| 2022-07-22 11:17:40 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 11:17:40 +0000 | jespada | (~jespada@190.7.36.46) |
| 2022-07-22 11:19:52 +0000 | jespada | (~jespada@190.7.36.46) (Read error: Connection reset by peer) |
| 2022-07-22 11:20:27 +0000 | jespada | (~jespada@190.7.36.46) |
| 2022-07-22 11:22:18 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-22 11:23:42 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-22 11:23:55 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-07-22 11:23:57 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-22 11:24:22 +0000 | <jackdk> | kuribas: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2022-07-22 11:25:12 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 11:25:51 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 11:26:20 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 11:30:12 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 11:31:06 +0000 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 276 seconds) |
| 2022-07-22 11:31:22 +0000 | shachaf | (~shachaf@user/shachaf) |
| 2022-07-22 11:32:16 +0000 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 11:33:25 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 11:36:42 +0000 | vglfr | (~vglfr@88.155.36.38) (Ping timeout: 264 seconds) |
| 2022-07-22 11:37:50 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-07-22 11:39:54 +0000 | <kuribas> | You smile kindly. “Haskell is a dynamically-typed, interpreted language.” |
| 2022-07-22 11:39:59 +0000 | <kuribas> | that's great |
| 2022-07-22 11:40:19 +0000 | <kuribas> | this article actually makes sense now, in contrast to when I first read it years ago. |
| 2022-07-22 11:45:50 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-22 11:46:48 +0000 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 11:47:05 +0000 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-22 11:48:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 11:50:38 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 11:52:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 11:53:41 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-22 11:54:20 +0000 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-22 11:54:24 +0000 | winny | (~weechat@user/winny) |
| 2022-07-22 11:57:23 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 11:57:43 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 11:59:58 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-22 12:04:16 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 12:04:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 12:05:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 12:07:10 +0000 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 12:09:07 +0000 | Guest385 | (~Guest3@2001:4ca0:0:f232:999f:c020:d563:36a) (Quit: Client closed) |
| 2022-07-22 12:09:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 12:09:58 +0000 | renzhi | (~xp@2607:fa49:6500:b100::4a8c) (Ping timeout: 272 seconds) |
| 2022-07-22 12:12:09 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-07-22 12:12:41 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-07-22 12:16:59 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-07-22 12:18:56 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 12:25:03 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 12:34:02 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 12:37:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-22 12:38:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 12:40:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 12:40:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 12:41:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 12:41:36 +0000 | pwmosquito[m] | (~pwmosquit@2001:470:69fc:105::15db) |
| 2022-07-22 12:45:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-07-22 12:46:46 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 12:46:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 12:48:18 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds) |
| 2022-07-22 12:52:13 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 12:55:26 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 12:56:01 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 12:58:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586149514830106996485.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-07-22 12:59:15 +0000 | acidjnk_new | (~acidjnk@p200300d6e7058614a5c11c7303b4dd2f.dip0.t-ipconnect.de) |
| 2022-07-22 13:00:06 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 264 seconds) |
| 2022-07-22 13:00:40 +0000 | asarch | (~asarch@2806:10ae:7:e3c6:a20:7d9:9fc2:ff3c) |
| 2022-07-22 13:03:07 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-07-22 13:04:35 +0000 | lortabac | (~lortabac@37.101.76.86) (Ping timeout: 255 seconds) |
| 2022-07-22 13:08:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 13:09:26 +0000 | asarch | (~asarch@2806:10ae:7:e3c6:a20:7d9:9fc2:ff3c) (Quit: Leaving) |
| 2022-07-22 13:09:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 13:10:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 13:10:58 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 13:12:21 +0000 | <tomsmeding> | Heh, from two "Previously:" links deep: "Pretend you are a Haskell programmer, as your grandmother was, before her continuation passed." |
| 2022-07-22 13:13:18 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-22 13:13:49 +0000 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-22 13:15:51 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 13:23:26 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2022-07-22 13:23:31 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-07-22 13:25:14 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-22 13:25:56 +0000 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 13:26:07 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 13:28:44 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:8972:da1e:68e0:c6f0) |
| 2022-07-22 13:28:45 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2022-07-22 13:31:04 +0000 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-07-22 13:31:51 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) (Ping timeout: 244 seconds) |
| 2022-07-22 13:31:52 +0000 | use-value1 | use-value |
| 2022-07-22 13:32:42 +0000 | raym | (~raym@user/raym) |
| 2022-07-22 13:35:52 +0000 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2022-07-22 13:36:00 +0000 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2022-07-22 13:38:28 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 13:42:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-22 13:46:32 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 13:54:19 +0000 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-07-22 13:57:23 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-22 14:00:10 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-07-22 14:00:21 +0000 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 272 seconds) |
| 2022-07-22 14:00:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e7058614a5c11c7303b4dd2f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-22 14:01:31 +0000 | coot | (~coot@213.134.190.95) (Read error: Connection reset by peer) |
| 2022-07-22 14:01:40 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 14:14:35 +0000 | janus | (janus@anubis.0x90.dk) () |
| 2022-07-22 14:18:16 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-22 14:19:44 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 14:20:23 +0000 | <exarkun> | It seems to me that I used to be able to put a `-- ^ ...` comment for haddock below a line like `PartOfSignature ->` but now `cabal build` gives me a parse error for this. |
| 2022-07-22 14:20:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 14:20:56 +0000 | <merijn> | exarkun: It needs to be before the -> I think |
| 2022-07-22 14:21:34 +0000 | <exarkun> | So I should use `-> PartOfSignature` style instead? Though I think a blog post on the internet told me this is the wrong style. |
| 2022-07-22 14:21:59 +0000 | <geekosaur[m]> | I think that's been acknowledged as a bug to be fixed in 9.4? |
| 2022-07-22 14:22:23 +0000 | <geekosaur[m]> | Check ghc issues |
| 2022-07-22 14:23:30 +0000 | <merijn> | exarkun: There's a blog post for literally all styles calling it wrong |
| 2022-07-22 14:23:46 +0000 | <exarkun> | merijn: But surely the one I stumbled across is the right one and all the rest are wrong |
| 2022-07-22 14:24:06 +0000 | <exarkun> | If not, how do I integrate this fact with the certain knowledge that I am the center of the universe |
| 2022-07-22 14:24:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 2022-07-22 14:25:01 +0000 | <exarkun> | geekosaur[m]: Is it maybe a regression, then? I know this source built at some time in the past because I still have the executable sitting next to it. |
| 2022-07-22 14:25:16 +0000 | <exarkun> | (I am looking for a bug report now) |
| 2022-07-22 14:25:40 +0000 | <geekosaur[m]> | That's my understanding |
| 2022-07-22 14:30:03 +0000 | <exarkun> | failed to find a bug report, but at least there were only about 10 such comments in this codebase so I just reformatted them all |
| 2022-07-22 14:33:20 +0000 | malte | (~malte@mal.tc) (Ping timeout: 244 seconds) |
| 2022-07-22 14:34:02 +0000 | slac57466 | (~slack1256@191.126.99.209) |
| 2022-07-22 14:35:50 +0000 | slack1256 | (~slack1256@186.11.20.31) (Ping timeout: 240 seconds) |
| 2022-07-22 14:36:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 14:40:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 14:46:28 +0000 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-07-22 14:46:47 +0000 | acidjnk_new | (~acidjnk@p200300d6e7058614e0e7496330b33c17.dip0.t-ipconnect.de) |
| 2022-07-22 14:48:52 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 14:49:47 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 14:52:01 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-07-22 14:52:41 +0000 | benin0 | (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-22 14:54:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 14:58:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 14:59:52 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) (Ping timeout: 268 seconds) |
| 2022-07-22 15:00:13 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-22 15:01:39 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 15:01:46 +0000 | jumper149 | (~jumper149@p4fc2c324.dip0.t-ipconnect.de) |
| 2022-07-22 15:05:52 +0000 | <segfaultfizzbuzz> | somebody in OT wanted this here instead i think: when we say that the haskell gc is throughput-optimized, how much lower would the throughput be (and what would the latency impact be) if it was latency-optimized? |
| 2022-07-22 15:06:24 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-22 15:07:50 +0000 | <merijn> | Hard to say |
| 2022-07-22 15:08:57 +0000 | <Rembane> | Seven! :D |
| 2022-07-22 15:09:05 +0000 | <segfaultfizzbuzz> | i mean qualitatively here, are we talking about factors of 2 in either case or like 100x/1000x |
| 2022-07-22 15:09:17 +0000 | <merijn> | Depends on the program too |
| 2022-07-22 15:09:43 +0000 | <merijn> | There's certainly programs where I could see "multiple orders of magnitude" slowdown |
| 2022-07-22 15:10:11 +0000 | <exarkun> | You can turn the knob as far as you want in either direction can't you? |
| 2022-07-22 15:10:26 +0000 | <exarkun> | The most throughput-optimized gc would never collect anything |
| 2022-07-22 15:10:35 +0000 | <merijn> | exarkun: Fair enough ;) |
| 2022-07-22 15:10:39 +0000 | <exarkun> | And the most latency-optimized gc would search desparately for something to collect constantly |
| 2022-07-22 15:11:57 +0000 | <kuribas> | tomsmeding: yay, my initial hkd-records library is ready :) https://hackage.haskell.org/package/hkd-records-0.0.1 |
| 2022-07-22 15:11:58 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 15:12:27 +0000 | <segfaultfizzbuzz> | and i suppose i would like to ask about something else, which is that linear resource management in rust is a smashing success i think (?), |
| 2022-07-22 15:12:41 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 15:12:44 +0000 | <merijn> | segfaultfizzbuzz: Define smashing success |
| 2022-07-22 15:13:04 +0000 | <segfaultfizzbuzz> | and although i understand that haskell is getting linear types i don't see that this is something being embraced as a first-class citizen in haskell |
| 2022-07-22 15:13:09 +0000 | <merijn> | segfaultfizzbuzz: It's nice for certain things where you cannot afford a GC, sure. But it *is* more of a hassle to program than with a GC |
| 2022-07-22 15:13:58 +0000 | <Rembane> | kuribas: You have the best description of a package! :D |
| 2022-07-22 15:14:00 +0000 | <geekosaur> | there's a lot of people fighting the borrow checker… |
| 2022-07-22 15:14:03 +0000 | <segfaultfizzbuzz> | it seems like for core library functions linear resource management is rather preferable for example |
| 2022-07-22 15:14:06 +0000 | <kuribas> | Rembane: thx :) |
| 2022-07-22 15:14:11 +0000 | <merijn> | segfaultfizzbuzz: Why? |
| 2022-07-22 15:14:24 +0000 | <geekosaur> | also "smashing success" is in rust's niche, which is the same as C |
| 2022-07-22 15:14:40 +0000 | <geekosaur> | and C has ~nothing so it takes little to be a success there |
| 2022-07-22 15:14:40 +0000 | <merijn> | segfaultfizzbuzz: Lots of programs function perfectly fine with GC pauses |
| 2022-07-22 15:14:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 15:14:47 +0000 | <tomsmeding> | kuribas: cool! Missing docs ;) |
| 2022-07-22 15:14:56 +0000 | <segfaultfizzbuzz> | "smashing success" means that rust is used to produce a range of substantial applications |
| 2022-07-22 15:15:09 +0000 | <yin> | has Rust been losing its charm? |
| 2022-07-22 15:15:11 +0000 | <kuribas> | tomsmeding: here's an example: https://github.com/kuribas/hkd-records/blob/main/src/Data/HKD/Records.hs#L134 |
| 2022-07-22 15:15:34 +0000 | <segfaultfizzbuzz> | also i just realized that linear types might be a useful clue for GC...? |
| 2022-07-22 15:15:59 +0000 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-22 15:16:16 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 15:16:20 +0000 | <tomsmeding> | kuribas: I've just been reading https://aphyr.com/posts/354-unifying-the-technical-interview so I have to come down to earth again a bit for this code :D |
| 2022-07-22 15:16:40 +0000 | <merijn> | yin: Rust is great. If you cannot afford a GC |
| 2022-07-22 15:16:55 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 15:17:04 +0000 | <merijn> | yin: I almost can afford a GC, so see fairly little reason to use Rust over Haskell, given that borrow checker is non-zero extra hassle |
| 2022-07-22 15:17:05 +0000 | <kuribas> | tomsmeding: implementing it was a chore, but I hope using it is easy. |
| 2022-07-22 15:17:42 +0000 | <tomsmeding> | kuribas: (incidentally, I recommend that post, despite the length) |
| 2022-07-22 15:18:05 +0000 | <kuribas> | tomsmeding: I've been reading all of them, though admittedly not in much depth :) |
| 2022-07-22 15:18:10 +0000 | <yin> | is the borrow checker a problem if we adopt a functional style? |
| 2022-07-22 15:18:12 +0000 | <segfaultfizzbuzz> | merijn: have you empirically encountered "borrow checker hassle"? |
| 2022-07-22 15:18:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 15:18:33 +0000 | <tomsmeding> | kuribas: I also can't follow the prolog-in-lisp-in-prolog code :p |
| 2022-07-22 15:18:34 +0000 | <segfaultfizzbuzz> | i wrote a bunch of rust code and ended up needing only one lifetime annotation |
| 2022-07-22 15:18:53 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 15:18:56 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 15:19:00 +0000 | <segfaultfizzbuzz> | and that was multithreaded nondeterministically async code which involved distributing work to the CPU and GPU |
| 2022-07-22 15:19:11 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 15:19:26 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 15:20:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 15:20:50 +0000 | <kuribas> | merijn: yeah, I just cannot find a usecase where I need to give up on garbage collection. |
| 2022-07-22 15:20:59 +0000 | <kuribas> | do people use rust for arduino? |
| 2022-07-22 15:22:18 +0000 | <tomsmeding> | kuribas: this is pretty cool! Never worked with HKD before so it's a bit of a mind bend, but looks pretty usable after being familiar with the idea :) |
| 2022-07-22 15:22:19 +0000 | <geekosaur[m]> | If they do someone will write a Haskell DSL for it |
| 2022-07-22 15:22:41 +0000 | <segfaultfizzbuzz> | kuribas: you can use rust as a C substitute including in many embedded applications but i don't know about the arduino board in particular. |
| 2022-07-22 15:23:25 +0000 | <kuribas> | tomsmeding: my goal was to have clojure style generic (meta) operations on records. |
| 2022-07-22 15:23:41 +0000 | <kuribas> | tomsmeding: but without the need to throw away all types. |
| 2022-07-22 15:24:32 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-22 15:26:53 +0000 | <kuribas> | tomsmeding: it's also way easier than dealing with Generics. |
| 2022-07-22 15:27:12 +0000 | <tomsmeding> | oh that is quite clear -- though less general (heh) |
| 2022-07-22 15:27:41 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 255 seconds) |
| 2022-07-22 15:27:49 +0000 | <kuribas> | True, but general enough when you have HKD records (I hope). |
| 2022-07-22 15:27:50 +0000 | <tomsmeding> | You might be able to pitch it as a special case of Generics for metaprogramming on records in the readme / package description |
| 2022-07-22 15:28:04 +0000 | <tomsmeding> | s/records/HKD records/ |
| 2022-07-22 15:28:51 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 15:29:37 +0000 | <kuribas> | I mean, meta programming is the main reason to use HKD records. |
| 2022-07-22 15:30:25 +0000 | <kuribas> | Since if your program isn't "meta", you can just as well use combinators. |
| 2022-07-22 15:30:50 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 15:31:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 15:31:19 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 15:31:56 +0000 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-07-22 15:33:28 +0000 | raym | (~raym@user/raym) |
| 2022-07-22 15:34:53 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-07-22 15:36:08 +0000 | <kuribas> | But I am reluctant to get rid of my catchy slogan. |
| 2022-07-22 15:36:15 +0000 | jumper149 | (~jumper149@p4fc2c324.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-07-22 15:37:21 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-07-22 15:38:03 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 15:38:04 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2022-07-22 15:38:13 +0000 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-22 15:39:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 15:39:38 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-22 15:40:08 +0000 | hackpert | (~hackpert@2405:201:6007:d07d:cc6:4d43:a052:1506) |
| 2022-07-22 15:41:11 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2022-07-22 15:42:34 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-22 15:44:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 15:48:18 +0000 | jese | (~nikola@178.220.246.232) |
| 2022-07-22 15:50:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 15:51:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 15:54:03 +0000 | <jese> | in one of my modules i use CPP defines defined by a custom Setup.hs, and it all works well, but when i try to load that module in ghci, ghci complains "Found hole: <that define>". what can i do to fix this? |
| 2022-07-22 15:55:53 +0000 | <merijn> | eh, not commit crimes of moral turpitude like "relying on CPP defines from Setup.hs"? >.> |
| 2022-07-22 15:56:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 15:58:35 +0000 | hackpert | (~hackpert@2405:201:6007:d07d:cc6:4d43:a052:1506) (Ping timeout: 244 seconds) |
| 2022-07-22 15:59:37 +0000 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 16:00:22 +0000 | <jese> | that's done by another package, and i need it: https://github.com/haskell-hvr/hgettext/blob/master/src/Distribution/Simple/I18N/GetText.hs#L132 |
| 2022-07-22 16:01:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-07-22 16:01:55 +0000 | <merijn> | jese: What's the setup.hs in question? |
| 2022-07-22 16:01:58 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-07-22 16:04:11 +0000 | <jese> | merijn: https://wiki.haskell.org/Internationalization_of_Haskell_programs_using_gettext#Prepare_program_fo… |
| 2022-07-22 16:04:15 +0000 | <jese> | ^the one from here |
| 2022-07-22 16:04:41 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 268 seconds) |
| 2022-07-22 16:04:57 +0000 | <jese> | near the bottom |
| 2022-07-22 16:05:54 +0000 | <merijn> | The last content change of that was from 2013, so I'd check if this is actually still the right way |
| 2022-07-22 16:05:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 16:06:08 +0000 | <exarkun> | Gettext `_` is such an old idiom, much older than 2013 |
| 2022-07-22 16:06:18 +0000 | <exarkun> | Of course, it was wrong way back then too |
| 2022-07-22 16:06:27 +0000 | <exarkun> | but gettext folks don't seem to mind that it's wrong :) |
| 2022-07-22 16:06:59 +0000 | slac57466 | slack1256 |
| 2022-07-22 16:07:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 16:07:56 +0000 | <slack1256> | Are quasiQuotes spliced implicitly by ghc when it make sense? |
| 2022-07-22 16:08:21 +0000 | <merijn> | slack1256: ? |
| 2022-07-22 16:09:15 +0000 | <slack1256> | I better put sometime on pastebin. Give me a sec. |
| 2022-07-22 16:09:54 +0000 | <jese> | merijn: it works just fine so far, the only problem is that ghci can't load modules that have __MESSAGE_CATALOG_*__ CPPs |
| 2022-07-22 16:10:37 +0000 | <geekosaur> | does it work if you explicitly use -XCPP on the command line? |
| 2022-07-22 16:11:33 +0000 | <geekosaur> | (handling {-# LANGUAGE CPP #-} is a bit of a hack because it has to redo the compile pipeline and start over) |
| 2022-07-22 16:11:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 16:11:44 +0000 | <slack1256> | merijn: https://pastebin.com/YmwLHWU5 |
| 2022-07-22 16:12:16 +0000 | <slack1256> | That [sql| ... |] expression shouldn't it have (Q Exp) type? |
| 2022-07-22 16:13:02 +0000 | <merijn> | slack1256: No, the return value of 'sql' has type Q Exp |
| 2022-07-22 16:13:20 +0000 | <geekosaur> | I'm pretty sure that is spliced in place |
| 2022-07-22 16:13:23 +0000 | <merijn> | slack1256: The quasi quoter splices the Exp in |
| 2022-07-22 16:13:33 +0000 | <geekosaur> | if that's not what you want then you need to work with TH directly |
| 2022-07-22 16:13:42 +0000 | <jese> | geekosaur: no |
| 2022-07-22 16:14:18 +0000 | <slack1256> | Mmm so [sql| <blah>|] is roughtly equivalent to $( sql <blah> ) ? |
| 2022-07-22 16:14:53 +0000 | <geekosaur> | aside from not requiring you to write te innards as an AST, yes |
| 2022-07-22 16:15:44 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:6571:75c6:ec4b:b840) |
| 2022-07-22 16:18:05 +0000 | <slack1256> | That is why I was confused! I feel the wiki does not explain it right. |
| 2022-07-22 16:18:05 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8972:da1e:68e0:c6f0) (Ping timeout: 260 seconds) |
| 2022-07-22 16:18:05 +0000 | use-value1 | use-value |
| 2022-07-22 16:18:14 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-22 16:18:21 +0000 | <slack1256> | Thanks geekosaur, merijn. |
| 2022-07-22 16:20:32 +0000 | malte | (~malte@mal.tc) |
| 2022-07-22 16:21:58 +0000 | jese | (~nikola@178.220.246.232) (Quit: leaving) |
| 2022-07-22 16:22:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 16:23:07 +0000 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 268 seconds) |
| 2022-07-22 16:23:22 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-22 16:25:15 +0000 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 16:26:09 +0000 | yin_ | (~yin@user/zero) |
| 2022-07-22 16:30:42 +0000 | MajorBiscuit | (~MajorBisc@c-001-026-008.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2022-07-22 16:31:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e7058614e0e7496330b33c17.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-22 16:32:36 +0000 | MajorBiscuit | (~MajorBisc@86.88.79.148) |
| 2022-07-22 16:36:45 +0000 | slac81512 | (~slack1256@186.11.19.31) |
| 2022-07-22 16:38:54 +0000 | slack1256 | (~slack1256@191.126.99.209) (Ping timeout: 244 seconds) |
| 2022-07-22 16:42:20 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-22 16:45:42 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 264 seconds) |
| 2022-07-22 16:47:13 +0000 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-22 16:49:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 16:49:21 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 16:49:22 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-22 16:50:24 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 16:50:26 +0000 | jespada | (~jespada@190.7.36.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-07-22 16:50:26 +0000 | liz | (~liz@host86-187-168-117.range86-187.btcentralplus.com) |
| 2022-07-22 16:50:47 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 16:51:10 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-07-22 16:52:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 16:52:47 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-22 16:53:16 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 16:54:47 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 17:00:12 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-22 17:00:43 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 17:00:44 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-22 17:06:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 17:08:35 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 17:08:56 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 17:10:16 +0000 | ph88^ | (~ph88@2a02:8109:9e00:71d0::347a) |
| 2022-07-22 17:11:10 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2022-07-22 17:11:36 +0000 | <tomsmeding> | kuribas: seems docs are not building; https://hackage.haskell.org/package/hkd-records-0.0.1/reports/ |
| 2022-07-22 17:12:02 +0000 | <tomsmeding> | Manual upload instructions all the way at the bottom here https://hackage.haskell.org/upload |
| 2022-07-22 17:12:32 +0000 | <kuribas> | tomsmeding: it takes some time? |
| 2022-07-22 17:12:40 +0000 | <tomsmeding> | Apparently |
| 2022-07-22 17:12:53 +0000 | <tomsmeding> | Not sure what one should expect :) |
| 2022-07-22 17:13:14 +0000 | noteness | (~noteness@user/noteness) |
| 2022-07-22 17:13:53 +0000 | <kuribas> | a few hours is normal |
| 2022-07-22 17:13:53 +0000 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 255 seconds) |
| 2022-07-22 17:15:39 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 17:16:04 +0000 | noteness | (~noteness@user/noteness) |
| 2022-07-22 17:18:09 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-22 17:18:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 17:22:56 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 17:23:47 +0000 | MajorBiscuit | (~MajorBisc@86.88.79.148) (Ping timeout: 255 seconds) |
| 2022-07-22 17:24:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 17:28:44 +0000 | kor1_ | (~quassel@user/kor1) |
| 2022-07-22 17:33:31 +0000 | kor1_ | kor1 |
| 2022-07-22 17:34:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 17:37:16 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-22 17:38:15 +0000 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-07-22 17:40:58 +0000 | kuribas | (~user@ptr-17d51ep5h41xra5kboz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-07-22 17:44:19 +0000 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 17:44:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 17:53:06 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 17:53:07 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 17:55:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 17:55:08 +0000 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-22 17:55:32 +0000 | talismanick | Guest2916 |
| 2022-07-22 17:55:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 17:57:15 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-07-22 17:57:17 +0000 | kor1 | (~quassel@user/kor1) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-22 18:04:34 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 18:05:11 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 18:05:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 18:05:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 18:08:01 +0000 | noteness | (~noteness@user/noteness) |
| 2022-07-22 18:08:15 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-22 18:08:35 +0000 | <yin_> | where do we put our modules in a cabal project? |
| 2022-07-22 18:08:55 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 260 seconds) |
| 2022-07-22 18:09:05 +0000 | <yin_> | stack gives us an app and src folders |
| 2022-07-22 18:09:16 +0000 | econo | (uid147250@user/econo) |
| 2022-07-22 18:09:29 +0000 | <yin_> | but i can't seem to remember where modules go in a cabal project |
| 2022-07-22 18:10:24 +0000 | <geekosaur> | where you choose (hs-source-dirs: ...) defaulting to the same directory as the cabal file |
| 2022-07-22 18:10:31 +0000 | fserucas_ | (~fserucas@48.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-22 18:10:36 +0000 | fserucas | (~fserucas@48.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-22 18:10:59 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-22 18:11:09 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 18:11:38 +0000 | <geekosaur> | if you have a library and one or more executables then it makes the most sense to put the library in one directory and each executable in its own sibling directory |
| 2022-07-22 18:12:30 +0000 | <yin_> | oh, my cabal file has `hs-source-dirs: app` |
| 2022-07-22 18:13:00 +0000 | <yin_> | so i guess that's the default |
| 2022-07-22 18:13:14 +0000 | <yin_> | ? |
| 2022-07-22 18:13:39 +0000 | <geekosaur> | cabal init will typically give you some defaults, yes |
| 2022-07-22 18:13:44 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 255 seconds) |
| 2022-07-22 18:14:25 +0000 | <yin_> | got it |
| 2022-07-22 18:15:58 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-07-22 18:16:55 +0000 | yin | (~yin@user/zero) |
| 2022-07-22 18:26:54 +0000 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 2022-07-22 18:33:18 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-22 18:34:25 +0000 | yin | zzz |
| 2022-07-22 18:34:31 +0000 | yin_ | yin |
| 2022-07-22 18:36:07 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 18:37:26 +0000 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) |
| 2022-07-22 18:39:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 18:40:09 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 18:42:00 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-22 18:48:23 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 18:49:06 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-07-22 18:54:21 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-22 18:57:20 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-07-22 18:59:30 +0000 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 264 seconds) |
| 2022-07-22 18:59:58 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-07-22 19:00:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 19:00:05 +0000 | hackpert | (~hackpert@static-198-44-136-59.cust.tzulo.com) |
| 2022-07-22 19:05:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 19:06:10 +0000 | ulvarref` | (~user@188.124.56.153) (Ping timeout: 240 seconds) |
| 2022-07-22 19:09:47 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 19:09:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 19:10:20 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 19:10:28 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) |
| 2022-07-22 19:11:49 +0000 | liz | (~liz@host86-187-168-117.range86-187.btcentralplus.com) (Quit: Lost terminal) |
| 2022-07-22 19:13:06 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 19:14:02 +0000 | hackpert | (~hackpert@static-198-44-136-59.cust.tzulo.com) (Quit: WeeChat 3.6) |
| 2022-07-22 19:14:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 19:15:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 19:18:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 19:18:57 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 19:19:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 19:20:48 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 19:20:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 19:25:53 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-22 19:33:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 19:33:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-07-22 19:36:10 +0000 | fef | (~thedawn@user/thedawn) (Quit: Killer) |
| 2022-07-22 19:37:22 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-22 19:39:13 +0000 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) |
| 2022-07-22 19:41:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 19:45:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 19:46:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e705861455e50c10bef1f4d4.dip0.t-ipconnect.de) |
| 2022-07-22 19:46:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 19:47:39 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-07-22 19:50:57 +0000 | <hellwolf> | is Lens using profunctor definition compatible with Lens defined in the lens/micro-lens/etc. library |
| 2022-07-22 19:50:58 +0000 | <hellwolf> | ? |
| 2022-07-22 19:51:40 +0000 | <hellwolf> | profunctor version looks like `Lens s t a b = Strong p => p a b -> p s t` (Maybe I messed up with some detail, don't mind) |
| 2022-07-22 19:51:56 +0000 | <hellwolf> | and Lens in the lens/micro-lens library looks quite different |
| 2022-07-22 19:52:01 +0000 | <hellwolf> | !hoogle bot? |
| 2022-07-22 19:53:07 +0000 | <geekosaur> | they should be compatible, yes |
| 2022-07-22 19:53:27 +0000 | <geekosaur> | lens uses a bunch of type wrappers/aliases |
| 2022-07-22 19:53:30 +0000 | <hellwolf> | hmm, but how, they look so different |
| 2022-07-22 19:53:47 +0000 | <hellwolf> | I probably should just myself, I was just wondering |
| 2022-07-22 19:54:13 +0000 | <hellwolf> | type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t |
| 2022-07-22 19:54:21 +0000 | <hellwolf> | this is from lens/micro-lens library |
| 2022-07-22 19:54:26 +0000 | slac81512 | slack1256 |
| 2022-07-22 19:55:45 +0000 | <slack1256> | Data.Set.insert says in its documentation "Insert an element in a set. If the set already contains an element equal to the given value, it is replaced with the new value.". Why would that be useful? Why not just not insert? |
| 2022-07-22 19:56:16 +0000 | <darkling> | Because then it wouldn't be a set? |
| 2022-07-22 19:56:30 +0000 | <nosewings> | slack1256: because sets can't/shouldn't contain the same element twice |
| 2022-07-22 19:56:33 +0000 | <darkling> | No two elements of a set can be equal, by definition. |
| 2022-07-22 19:56:58 +0000 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-07-22 19:57:07 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 19:57:19 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-07-22 19:57:28 +0000 | <slack1256> | Yeah that is true. But they are equal elements. If you leave the set as-is materially it would be the same as if you did this redundant insert. |
| 2022-07-22 19:58:06 +0000 | <Rembane> | Maybe it's a leaky abstraction? That is, it is easier to implement this way than not inserting the element. |
| 2022-07-22 19:58:07 +0000 | <geekosaur> | this all hinges on the definition of (=😃 for the type |
| 2022-07-22 19:58:13 +0000 | <geekosaur> | oy |
| 2022-07-22 19:58:15 +0000 | <geekosaur> | == |
| 2022-07-22 19:58:42 +0000 | kenran | (~kenran@200116b82bdbb500e5610b20c2ce8255.dip.versatel-1u1.de) |
| 2022-07-22 20:00:12 +0000 | <slack1256> | Mmm there are some non-stable pointer comparasions on the definition. |
| 2022-07-22 20:00:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 20:01:04 +0000 | <dolio> | Both versions could be useful, really. |
| 2022-07-22 20:01:25 +0000 | <dolio> | One shares the set. One lets you replace the contents of the set by something better but still equal. |
| 2022-07-22 20:02:46 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-22 20:03:10 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-22 20:03:12 +0000 | <slack1256> | dolio: I am not seeing how the contents are being replaced "by something better" :-/ . It is just the same, right? |
| 2022-07-22 20:03:32 +0000 | <darkling> | It all depends, as geekosaur said, on the definition of == |
| 2022-07-22 20:04:04 +0000 | <dolio> | Maybe the new one is memory backed by a compact region. |
| 2022-07-22 20:04:18 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 20:04:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 20:04:24 +0000 | <dolio> | Or hash consed. |
| 2022-07-22 20:10:03 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-07-22 20:10:30 +0000 | <slack1256> | I am starting to understand |
| 2022-07-22 20:12:05 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-07-22 20:12:38 +0000 | <dolio> | Oh, or it's a freshly allocated bytestring with just enough memory, instead of an offset and length designating 20 characters out of 100MB or pinned memory. |
| 2022-07-22 20:13:06 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-07-22 20:14:19 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 20:15:13 +0000 | <slack1256> | That kind of pointer trickery is what I was thinking about. |
| 2022-07-22 20:16:26 +0000 | <Rembane> | Is the Eq instance comparing pointers instead of content? |
| 2022-07-22 20:16:43 +0000 | <slack1256> | The `insert` definition does. |
| 2022-07-22 20:17:18 +0000 | <Rembane> | Cool! And not at all in line with my intuition for what it does. |
| 2022-07-22 20:21:09 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 20:22:18 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-07-22 20:22:21 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 20:26:56 +0000 | mncheckm | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 20:26:58 +0000 | mncheck-m | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 20:27:12 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-22 20:27:13 +0000 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-07-22 20:32:25 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-22 20:32:32 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 20:39:02 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:b08e:6dc9:1a36:636d) |
| 2022-07-22 20:41:50 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:6571:75c6:ec4b:b840) (Ping timeout: 240 seconds) |
| 2022-07-22 20:41:50 +0000 | use-value1 | use-value |
| 2022-07-22 20:42:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 20:42:48 +0000 | kenran | (~kenran@200116b82bdbb500e5610b20c2ce8255.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-07-22 20:42:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 20:46:06 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-22 20:46:25 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.5) |
| 2022-07-22 20:46:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 20:48:44 +0000 | mncheck-m | (~mncheck@193.224.205.254) |
| 2022-07-22 20:49:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 20:49:17 +0000 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 20:49:23 +0000 | mncheckm | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 20:49:47 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-22 20:53:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 20:54:40 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 20:54:50 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-22 20:55:42 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 20:57:55 +0000 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Remote host closed the connection) |
| 2022-07-22 21:00:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 21:04:12 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-22 21:05:19 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-07-22 21:06:08 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 21:07:13 +0000 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 272 seconds) |
| 2022-07-22 21:07:51 +0000 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2022-07-22 21:08:25 +0000 | zzz | (~yin@user/zero) |
| 2022-07-22 21:08:36 +0000 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-07-22 21:15:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-22 21:18:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 21:27:47 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-22 21:29:30 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 2022-07-22 21:32:33 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-22 21:33:59 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 21:34:15 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 21:37:42 +0000 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2022-07-22 21:43:02 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 21:43:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 21:43:45 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-22 21:45:56 +0000 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 21:46:13 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:582e:8b1d:fe57:faee) |
| 2022-07-22 21:46:34 +0000 | toluene | (~toluene@user/toulene) |
| 2022-07-22 21:48:18 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:b08e:6dc9:1a36:636d) (Ping timeout: 276 seconds) |
| 2022-07-22 21:48:18 +0000 | use-value1 | use-value |
| 2022-07-22 21:53:01 +0000 | michalz | (~michalz@185.246.204.77) (Remote host closed the connection) |
| 2022-07-22 21:54:46 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 21:56:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 21:58:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 22:02:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 22:04:18 +0000 | acidjnk_new | (~acidjnk@p200300d6e705861455e50c10bef1f4d4.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-07-22 22:08:16 +0000 | thatcher | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-22 22:08:55 +0000 | leah_ | (lp0@heathens.club) |
| 2022-07-22 22:11:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 22:13:43 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-22 22:15:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 22:16:16 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-07-22 22:17:02 +0000 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) (Quit: Leaving) |
| 2022-07-22 22:18:39 +0000 | jargon | (~jargon@184.101.188.251) |
| 2022-07-22 22:19:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 22:20:25 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-07-22 22:20:25 +0000 | mncheck-m | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-07-22 22:21:49 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-22 22:22:20 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) |
| 2022-07-22 22:23:09 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-22 22:23:51 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-22 22:24:03 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-22 22:25:46 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2022-07-22 22:26:04 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-07-22 22:26:36 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 22:28:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 22:30:07 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 22:40:09 +0000 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-22 22:40:46 +0000 | <dude_> | hi everyone, my first time here |
| 2022-07-22 22:41:09 +0000 | <geekosaur> | hello |
| 2022-07-22 22:41:36 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) (Ping timeout: 276 seconds) |
| 2022-07-22 22:43:47 +0000 | <hpc> | perhaps it's your last time not here :P |
| 2022-07-22 22:44:16 +0000 | <dude_> | let's see, i'm a beginner |
| 2022-07-22 22:45:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 22:46:20 +0000 | Guest2916 | (~talismani@2601:200:c100:3850::dd64) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-07-22 22:48:17 +0000 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving) |
| 2022-07-22 22:50:16 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 272 seconds) |
| 2022-07-22 22:52:11 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 22:53:42 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 23:02:47 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-22 23:03:59 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-07-22 23:07:07 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) |
| 2022-07-22 23:08:53 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-07-22 23:09:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 23:09:50 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-22 23:11:05 +0000 | califax | (~califax@user/califx) |
| 2022-07-22 23:12:40 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 23:16:59 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 23:20:14 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 23:21:05 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 23:21:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 23:22:06 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 23:22:18 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 23:27:06 +0000 | bilegeek | (~bilegeek@2600:1008:b021:fa10:a7a7:bc63:5a2:d855) |
| 2022-07-22 23:27:45 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-22 23:31:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 23:35:23 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-22 23:41:07 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-22 23:41:07 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-22 23:41:07 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-22 23:44:06 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-22 23:44:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-07-22 23:45:21 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-07-22 23:46:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 23:49:54 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-22 23:50:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 23:53:21 +0000 | ph88^ | (~ph88@2a02:8109:9e00:71d0::347a) (Quit: Leaving) |
| 2022-07-22 23:55:05 +0000 | pavonia | (~user@user/siracusa) |
| 2022-07-22 23:58:35 +0000 | Furor | Colere |