| 2024-08-22 00:00:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-22 00:02:56 +0200 | <int-e> | It seems like a good rule of thumb? It's less of a "can't be done" and more of a "here be dragons". |
| 2024-08-22 00:03:52 +0200 | <int-e> | What I'm trying to say is that if you're looking for falsehoods on the internet you can easily find more egregious examples :) |
| 2024-08-22 00:06:34 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-08-22 00:07:01 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-08-22 00:07:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 00:08:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-22 00:10:37 +0200 | <monochrom> | The Earth is flat. What's beyond the edges? Dragons. >:) |
| 2024-08-22 00:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 00:12:51 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-08-22 00:13:22 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-08-22 00:13:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-22 00:13:39 +0200 | <int-e> | also the Rimfall |
| 2024-08-22 00:13:47 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-08-22 00:14:11 +0200 | <EvanR> | destroys all your equipment and items when you go over it |
| 2024-08-22 00:14:15 +0200 | <EvanR> | no corpserun |
| 2024-08-22 00:14:18 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-08-22 00:14:42 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-08-22 00:22:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 00:25:02 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en) |
| 2024-08-22 00:25:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-22 00:26:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-22 00:27:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 00:37:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 00:41:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 00:44:20 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) |
| 2024-08-22 00:48:03 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-08-22 00:48:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-22 00:49:34 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-08-22 00:52:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 00:54:49 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) (Ping timeout: 256 seconds) |
| 2024-08-22 00:55:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2024-08-22 00:57:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 01:08:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 01:08:24 +0200 | aljazmc_ | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2024-08-22 01:12:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 01:15:42 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) |
| 2024-08-22 01:18:47 +0200 | son0p | (~ff@186.115.79.175) (Ping timeout: 252 seconds) |
| 2024-08-22 01:21:26 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-08-22 01:23:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 01:26:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 01:28:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 01:29:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-22 01:31:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-22 01:35:28 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-08-22 01:38:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 01:40:09 +0200 | spew | (~spew@2806:2a0:1522:8662::d568) |
| 2024-08-22 01:42:59 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) (Ping timeout: 256 seconds) |
| 2024-08-22 01:43:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 01:44:08 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-22 01:50:49 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb926c6e91e0ab7688d2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-08-22 01:54:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 01:59:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-22 02:00:57 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2024-08-22 02:04:27 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-22 02:10:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 02:10:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-08-22 02:14:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 02:14:50 +0200 | spew | (~spew@2806:2a0:1522:8662::d568) (Remote host closed the connection) |
| 2024-08-22 02:18:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-08-22 02:24:30 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 246 seconds) |
| 2024-08-22 02:25:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 02:26:27 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-22 02:27:09 +0200 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2024-08-22 02:29:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 02:40:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 02:45:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 02:59:42 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) |
| 2024-08-22 02:59:42 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) (Changing host) |
| 2024-08-22 02:59:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 03:00:34 +0200 | esnos | (~user@176.106.34.161) (Ping timeout: 244 seconds) |
| 2024-08-22 03:01:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 03:02:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-22 03:05:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 03:07:34 +0200 | tinwood | (~tinwood@canonical/tinwood) (Read error: Connection reset by peer) |
| 2024-08-22 03:10:30 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-08-22 03:10:30 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-08-22 03:10:30 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-08-22 03:11:22 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-22 03:11:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 03:16:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 03:18:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-08-22 03:20:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-22 03:21:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 03:25:32 +0200 | naxx | (~brandt@177.191-pool-nas4-sc.sccoast.net) (Quit: WeeChat 4.4.1) |
| 2024-08-22 03:32:05 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-22 03:32:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 03:37:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 03:42:46 +0200 | <haskellbridge> | <thirdofmay18081814goya> how do I recurse in this fashion? |
| 2024-08-22 03:42:46 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/CmOqWlcLzUZizmURmnYiHGeE (4 lines) |
| 2024-08-22 03:43:45 +0200 | <Axman6> | > iterate (f i) a |
| 2024-08-22 03:43:47 +0200 | <lambdabot> | [a,f i a,f i (f i a),f i (f i (f i a)),f i (f i (f i (f i a))),f i (f i (f i... |
| 2024-08-22 03:43:57 +0200 | <Axman6> | hmm, not quite |
| 2024-08-22 03:44:31 +0200 | <Axman6> | > scanl f i (repeat a) |
| 2024-08-22 03:44:33 +0200 | <lambdabot> | [i,f i a,f (f i a) a,f (f (f i a) a) a,f (f (f (f i a) a) a) a,f (f (f (f (f... |
| 2024-08-22 03:45:09 +0200 | <geekosaur> | > scanl (*) i (repeat a) |
| 2024-08-22 03:45:10 +0200 | <lambdabot> | [i,i * a,i * a * a,i * a * a * a,i * a * a * a * a,i * a * a * a * a * a,i *... |
| 2024-08-22 03:47:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> thanks!! |
| 2024-08-22 03:47:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 03:52:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 03:56:51 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 03:57:20 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-22 03:57:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> out of curiosity, is there a lower level approach? |
| 2024-08-22 03:58:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 03:59:04 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-08-22 03:59:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> through an explicit call to a recursing function |
| 2024-08-22 04:01:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> * a self-referential function definition |
| 2024-08-22 04:01:23 +0200 | <Axman6> | I;m not sure what you mean |
| 2024-08-22 04:01:41 +0200 | <Axman6> | sure, you could write that trivially |
| 2024-08-22 04:02:07 +0200 | <Axman6> | you could even use fix |
| 2024-08-22 04:02:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> there's my excuse to learn about fix, ty! |
| 2024-08-22 04:03:05 +0200 | <Axman6> | I'm struggling to think how you'd do it with fix, but it's definitely possible |
| 2024-08-22 04:03:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 04:05:14 +0200 | <Axman6> | but they should all compile to exactly the same thing. if the scanl approach makes sense there's no good reason to use anything else |
| 2024-08-22 04:05:41 +0200 | <monochrom> | Just use fix to implement scanl. |
| 2024-08-22 04:06:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-08-22 04:07:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 04:12:56 +0200 | td_ | (~td@2001:9e8:19ef:c000:ffa3:e2b2:2abd:18d) (Ping timeout: 272 seconds) |
| 2024-08-22 04:14:25 +0200 | td_ | (~td@i53870905.versanet.de) |
| 2024-08-22 04:18:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 04:26:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 04:28:43 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-22 04:29:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-08-22 04:34:25 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-08-22 04:34:45 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: )) |
| 2024-08-22 04:35:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 04:36:53 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-22 04:37:11 +0200 | <albet70> | why [] :: [[Int]] is ok? |
| 2024-08-22 04:37:29 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-08-22 04:38:55 +0200 | <monochrom> | Why not? |
| 2024-08-22 04:39:13 +0200 | <monochrom> | [] :: [A] is ok regardless of A. Oh today A = [Int]. |
| 2024-08-22 04:39:43 +0200 | [[[[]]]] | (~Square@user/square) |
| 2024-08-22 04:39:52 +0200 | <albet70> | like Nothing :: Maybe (Maybe a)? |
| 2024-08-22 04:40:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 04:40:37 +0200 | drdo9 | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-08-22 04:42:21 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 276 seconds) |
| 2024-08-22 04:42:21 +0200 | drdo9 | drdo |
| 2024-08-22 04:44:13 +0200 | <albet70> | I see, thanks |
| 2024-08-22 04:47:10 +0200 | [[[[]]]] | Square |
| 2024-08-22 04:47:14 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2024-08-22 04:47:50 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-08-22 04:51:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 04:54:50 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-22 04:55:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 04:58:18 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-22 05:06:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 05:10:50 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-22 05:11:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-22 05:18:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-22 05:19:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 05:19:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-22 05:20:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-08-22 05:21:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 05:22:42 +0200 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2024-08-22 05:27:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 05:32:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-08-22 05:38:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 05:40:47 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-22 05:41:58 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-08-22 05:42:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 05:43:14 +0200 | <jle`> | albet70: you could even have Nothing :: Maybe [a] |
| 2024-08-22 05:43:25 +0200 | <jle`> | the possibilities are endless |
| 2024-08-22 05:43:32 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
| 2024-08-22 05:44:04 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-08-22 05:46:29 +0200 | aforemny | (~aforemny@2001:9e8:6cd8:300:d2fa:27f2:48df:38f7) (Ping timeout: 248 seconds) |
| 2024-08-22 05:46:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfb:6100:1f03:1efe:ee71:8e27) |
| 2024-08-22 05:53:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 05:58:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 06:04:13 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 06:05:07 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) |
| 2024-08-22 06:05:07 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) (Changing host) |
| 2024-08-22 06:05:07 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 06:08:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 06:09:31 +0200 | <Inst> | which does get me to thinking |
| 2024-08-22 06:09:48 +0200 | <Inst> | [] :: [a], does it imply some form of subtyping? |
| 2024-08-22 06:10:05 +0200 | <Inst> | as in, would [] :: [Int] be a subtype of [a]? |
| 2024-08-22 06:13:41 +0200 | <Leary> | Inst: With some care for your quantifiers, we have `forall a. F a` <: `F A`. Also: https://gist.github.com/LSLeary/0d3bf054f73c08910a6da2cfb49a4c28 |
| 2024-08-22 06:13:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 06:16:48 +0200 | <Leary> | With an `exists` quantifier we would also have an upper bound: `F A` <: `exists a. F a` |
| 2024-08-22 06:24:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 06:24:57 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-08-22 06:28:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 06:30:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> wrt. an implementation with "fix", it's not quite "fix (\x -> x ``f`` a)" nor "i ``f`` (fix (\x -> x ``f`` a)" |
| 2024-08-22 06:32:28 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 245 seconds) |
| 2024-08-22 06:32:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 06:35:53 +0200 | <Axman6> | the easiest mechanical translation would be to expand out the definition of scanl and replace all calls to scanl f z with the first argument to the lambda |
| 2024-08-22 06:35:56 +0200 | <Axman6> | @src scanl |
| 2024-08-22 06:35:56 +0200 | <lambdabot> | scanl f q ls = q : case ls of |
| 2024-08-22 06:35:56 +0200 | <lambdabot> | [] -> [] |
| 2024-08-22 06:35:56 +0200 | <lambdabot> | x:xs -> scanl f (f q x) xs |
| 2024-08-22 06:36:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 06:41:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-22 06:45:05 +0200 | shailangsa | (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) |
| 2024-08-22 06:46:30 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-08-22 06:48:21 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-22 06:52:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 06:52:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see |
| 2024-08-22 06:56:58 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Read error: Connection reset by peer) |
| 2024-08-22 06:56:59 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-22 06:56:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-22 07:02:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-08-22 07:03:44 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 07:05:21 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-08-22 07:07:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 07:11:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 07:17:18 +0200 | <Axman6> | > take 5 $ fix (\rec x -> x : rec (x `f` a)) i |
| 2024-08-22 07:17:19 +0200 | <lambdabot> | [i,f i a,f (f i a) a,f (f (f i a) a) a,f (f (f (f i a) a) a) a] |
| 2024-08-22 07:22:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 07:23:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 07:23:45 +0200 | <haskellbridge> | <thirdofmay18081814goya> Axman6: very cool! thanks |
| 2024-08-22 07:27:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 07:29:47 +0200 | forell | (~forell@user/forell) |
| 2024-08-22 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-22 07:30:47 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 244 seconds) |
| 2024-08-22 07:31:23 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-22 07:37:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 07:38:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) |
| 2024-08-22 07:41:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 07:43:49 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:b870:ffa:630b:cc32) (Ping timeout: 248 seconds) |
| 2024-08-22 07:44:53 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:2809:1e29:1db7:65cb) |
| 2024-08-22 07:47:28 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) |
| 2024-08-22 07:53:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 07:57:06 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-22 07:57:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 08:03:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-22 08:07:46 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-08-22 08:08:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 08:10:01 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-22 08:12:24 +0200 | CiaoSen | (~Jura@2a05:5800:2d3:fb00:ca4b:d6ff:fec1:99da) |
| 2024-08-22 08:12:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 08:22:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-22 08:27:59 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-22 08:28:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 08:32:12 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-08-22 08:33:05 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-08-22 08:33:33 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-08-22 08:39:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 08:50:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 08:55:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 08:57:02 +0200 | kuribas | (~user@2a02:1808:2:13d8:2f9b:f5f:e070:ae5e) |
| 2024-08-22 09:00:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-22 09:04:39 +0200 | kuribas | (~user@2a02:1808:2:13d8:2f9b:f5f:e070:ae5e) (Ping timeout: 260 seconds) |
| 2024-08-22 09:06:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 09:10:58 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-22 09:11:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 09:12:02 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb236432b07e57e26028.dip0.t-ipconnect.de) |
| 2024-08-22 09:21:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 09:28:27 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 09:31:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 09:35:00 +0200 | <[exa]> | is there some easiest canonical way to "poke" a ByteString into memory pointed to by a Ptr? |
| 2024-08-22 09:35:01 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-22 09:36:36 +0200 | <jackdk> | https://hackage.haskell.org/package/bytestring-0.11.2.0/docs/Data-ByteString.html#g:25 ? |
| 2024-08-22 09:36:57 +0200 | ubert | (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) |
| 2024-08-22 09:40:22 +0200 | <[exa]> | that copies out the CString, which is a little inconvenient |
| 2024-08-22 09:40:47 +0200 | <[exa]> | at this point I found that I can do `unsafeUseAsCStringLen` and then `copyBytes` but see, there's the `unsafe` keyword there :) |
| 2024-08-22 09:42:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 09:43:17 +0200 | <geekosaur> | sadly, I think you can't do this without using unsafe functions |
| 2024-08-22 09:44:14 +0200 | <jackdk> | At which point you're copying out the bytes, aren't you? |
| 2024-08-22 09:49:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 09:51:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-22 09:51:43 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2024-08-22 09:51:57 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-22 09:55:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 2024-08-22 09:58:16 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) (Quit: Client closed) |
| 2024-08-22 09:58:19 +0200 | <dminuoso> | [exa]: Mind my asking, what is the context? |
| 2024-08-22 09:59:05 +0200 | <dminuoso> | data ByteString = BS {-# UNPACK #-} !(ForeignPtr Word8) {-# UNPACK #-} !Int |
| 2024-08-22 09:59:11 +0200 | <dminuoso> | Is there any chance you could perhaps just use the ForeignPtr itself? |
| 2024-08-22 10:00:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 10:05:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 10:08:17 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 248 seconds) |
| 2024-08-22 10:12:43 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-22 10:13:29 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-22 10:16:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 10:21:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 10:23:39 +0200 | CiaoSen | (~Jura@2a05:5800:2d3:fb00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-08-22 10:24:28 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-22 10:27:33 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2024-08-22 10:29:23 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-08-22 10:29:56 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-22 10:30:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-22 10:32:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 10:35:27 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) |
| 2024-08-22 10:38:12 +0200 | <[exa]> | dminuoso: actually still working on that data structure I was asking about last time... I recall it was you sending me the custom binary writer, right? :] |
| 2024-08-22 10:38:32 +0200 | <dminuoso> | I cant quite recall, I'm sorry. |
| 2024-08-22 10:38:45 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-22 10:38:46 +0200 | <[exa]> | np :] |
| 2024-08-22 10:39:28 +0200 | <[exa]> | I'm writing a huge skiplist where the integer sizes vary, so I have to build it from "behind" to know how much to skip (thus knowing how much to allocate for the skips) |
| 2024-08-22 10:39:53 +0200 | <[exa]> | and sometimes there's a small binary blob in the skiplist, which is in bytestring before serialization |
| 2024-08-22 10:40:03 +0200 | <dminuoso> | Oh you mean with a reverse writer? |
| 2024-08-22 10:40:12 +0200 | <dminuoso> | That sounds like something I would have told you about. |
| 2024-08-22 10:40:13 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-22 10:41:05 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-22 10:41:17 +0200 | <[exa]> | yeah I've got a generic reverse writer, write the whole thing into a dummy one to measure the size, then actually allocate (mmap) a file and write it for the reals |
| 2024-08-22 10:41:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 10:41:57 +0200 | <dminuoso> | Why not just realloc? |
| 2024-08-22 10:42:17 +0200 | <dminuoso> | Oh I see, file. |
| 2024-08-22 10:51:16 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-22 10:52:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 10:56:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 11:07:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 11:11:56 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 11:12:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 11:12:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 11:15:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 11:16:00 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-22 11:23:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-22 11:24:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-22 11:24:12 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Quit: ash3en) |
| 2024-08-22 11:30:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-22 11:34:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 11:38:09 +0200 | Square2 | (~Square4@user/square) |
| 2024-08-22 11:42:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 11:51:57 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-22 11:52:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-22 11:52:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 11:57:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 12:08:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 12:10:06 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-08-22 12:13:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 12:14:30 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-08-22 12:16:57 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-22 12:20:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-22 12:21:01 +0200 | <kuribas> | Anyone going to munihac? |
| 2024-08-22 12:23:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 12:27:49 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-22 12:28:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 12:34:51 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-22 12:34:55 +0200 | scubagear | (scubagear@gateway/vpn/protonvpn/scubagear) (Ping timeout: 252 seconds) |
| 2024-08-22 12:38:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 12:39:28 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-22 12:42:31 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2) |
| 2024-08-22 12:43:17 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) |
| 2024-08-22 12:43:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 12:43:23 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Client Quit) |
| 2024-08-22 12:54:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 12:56:12 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 12:56:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 12:56:53 +0200 | <dminuoso> | I probably will. |
| 2024-08-22 12:58:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-22 13:07:09 +0200 | son0p | (~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) |
| 2024-08-22 13:09:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 13:11:24 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 260 seconds) |
| 2024-08-22 13:11:41 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2024-08-22 13:12:15 +0200 | AlexNoo | (~AlexNoo@178.34.162.175) (Ping timeout: 252 seconds) |
| 2024-08-22 13:12:48 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2024-08-22 13:14:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 13:14:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 13:14:40 +0200 | AlexNoo | (~AlexNoo@178.34.162.175) |
| 2024-08-22 13:14:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 13:16:57 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 13:17:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 13:21:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-22 13:25:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 13:29:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 13:38:28 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-22 13:39:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 13:41:16 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-08-22 13:42:40 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
| 2024-08-22 13:44:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 13:55:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 13:59:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 14:01:02 +0200 | <haskellbridge> | <eldritchcookie> anyone else is really peeved that wherever there are xN functions they aren't consistent cross module? like zip/zipWith goes up to 7, curry has no variants, and liftM goes until 5 |
| 2024-08-22 14:01:54 +0200 | <dminuoso> | eldritchcookie: No they are likely just the result of individual people needing a particular function extended to T and upstreaming those patches. |
| 2024-08-22 14:03:18 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-08-22 14:04:14 +0200 | <haskellbridge> | <eldritchcookie> well thoeretically everyone can need it up to the tuple limit of 64, which seems to be a point that we can all agree may be too much |
| 2024-08-22 14:04:31 +0200 | <dminuoso> | Funny bit, do you know why the tuple limit is at 64? |
| 2024-08-22 14:05:37 +0200 | <haskellbridge> | <eldritchcookie> because someone needed 64 valueas of 8 bits if i am not mistaken |
| 2024-08-22 14:06:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-22 14:08:04 +0200 | <haskellbridge> | <eldritchcookie> if am i remembering correctly someone complained they couldn't you the pack/unpack primop of 64 8 bit integers so they expanded up to that |
| 2024-08-22 14:10:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 14:11:53 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-22 14:12:24 +0200 | <kuribas> | in idris (a, b, c) is equal to (a, (b, c)) |
| 2024-08-22 14:12:29 +0200 | <kuribas> | I like it. |
| 2024-08-22 14:12:58 +0200 | <dminuoso> | eldritchcookie: No the limit used to be higher. But it turns out that for reasons nobody could figure out you would get segfaults if tuples had gotten longer. |
| 2024-08-22 14:13:10 +0200 | <dminuoso> | And someone decided to just stop spending their time on this, limiting them to 64. |
| 2024-08-22 14:13:28 +0200 | <dminuoso> | It's unclear whether the memory issue is still there or not, dont think anyone has tried lifting that restriction. |
| 2024-08-22 14:13:36 +0200 | <dminuoso> | There's still a note about this in one of the GHC files. |
| 2024-08-22 14:14:00 +0200 | <danse-nr3> | looks like a good idea |
| 2024-08-22 14:15:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 14:24:34 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
| 2024-08-22 14:25:09 +0200 | <lortabac> | kuribas: that's also true in GHC for constraint tuples. But I guess at term-level the performance trade-off was not considered acceptable |
| 2024-08-22 14:26:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 14:26:07 +0200 | <dminuoso> | eldrichcookie: 4cf0bb2b9cb6192a212ab74aba3513ba289a47d9 is the last commit I can chase at this point. |
| 2024-08-22 14:26:27 +0200 | <dminuoso> | Some years ago I did a lot more research on this, but I cannot recall many of the details anymore. |
| 2024-08-22 14:30:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 14:31:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: nap) |
| 2024-08-22 14:33:12 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 246 seconds) |
| 2024-08-22 14:40:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 14:45:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 14:56:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 15:01:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 15:05:55 +0200 | esnos | (~user@176.106.34.161) |
| 2024-08-22 15:06:46 +0200 | AlexNoo | (~AlexNoo@178.34.162.175) (Read error: Connection reset by peer) |
| 2024-08-22 15:08:54 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 246 seconds) |
| 2024-08-22 15:10:37 +0200 | AlexNoo | (~AlexNoo@5.139.232.251) |
| 2024-08-22 15:11:19 +0200 | AlexNoo | (~AlexNoo@5.139.232.251) (Read error: Connection reset by peer) |
| 2024-08-22 15:11:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 15:16:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 15:19:59 +0200 | AlexNoo | (~AlexNoo@5.139.232.251) |
| 2024-08-22 15:21:16 +0200 | AlexNoo | (~AlexNoo@5.139.232.251) (Read error: Connection reset by peer) |
| 2024-08-22 15:22:34 +0200 | ash3en | (~Thunderbi@p200300e7b739858fffc20667e52415ac.dip0.t-ipconnect.de) |
| 2024-08-22 15:27:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 15:28:51 +0200 | ash3en | (~Thunderbi@p200300e7b739858fffc20667e52415ac.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-22 15:30:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> in all cases, any statement containing a "fix" of a function with no final outermost application will necessarily overflow, right? such as "fix (\x -> x + 0)" |
| 2024-08-22 15:30:55 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) |
| 2024-08-22 15:32:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 15:32:41 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-22 15:33:46 +0200 | <ncf> | depends on what you mean by "final outermost application" and "overflow" |
| 2024-08-22 15:34:04 +0200 | <ncf> | > fix (\x -> 0 : x) |
| 2024-08-22 15:34:06 +0200 | <lambdabot> | [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0... |
| 2024-08-22 15:35:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> ncf: I mean any function that recurses like: |
| 2024-08-22 15:35:21 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/GaxNZUwXFEhpyeDWiIMmZqQm (7 lines) |
| 2024-08-22 15:35:45 +0200 | <haskellbridge> | <thirdofmay18081814goya> I mean any function that recurses like: |
| 2024-08-22 15:35:45 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/sukGxNokHKqWuIkVwWXXdpMN (7 lines) |
| 2024-08-22 15:36:06 +0200 | <haskellbridge> | <thirdofmay18081814goya> * ``f`` a) ``f`` a) ``f`` |
| 2024-08-22 15:36:11 +0200 | <haskellbridge> | <thirdofmay18081814goya> I mean any function that recurses like: |
| 2024-08-22 15:36:11 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/lPaKvKMdEyvIVRlpaDnkxWmc (7 lines) |
| 2024-08-22 15:41:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 15:45:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> we can make a scan-like version which will not diverge, but as it is it would necessarily diverge right? |
| 2024-08-22 15:46:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-22 15:47:24 +0200 | <mauke> | > fix (\x -> 0 + x) :: Expr |
| 2024-08-22 15:47:26 +0200 | <lambdabot> | 0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0 + (0... |
| 2024-08-22 15:48:46 +0200 | AlexNoo | (~AlexNoo@178.34.151.160) |
| 2024-08-22 15:50:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-08-22 15:51:05 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-08-22 15:52:50 +0200 | <haskellbridge> | <thirdofmay18081814goya> mauke: hm where is "Expr" from? |
| 2024-08-22 15:53:29 +0200 | <EvanR> | final outermost application, maybe you mean head of the expression, or in another language tail position |
| 2024-08-22 15:54:02 +0200 | <EvanR> | what's the only other thing it could be besides application, case of? |
| 2024-08-22 15:55:42 +0200 | <mauke> | https://hackage.haskell.org/package/simple-reflect-0.3.3 |
| 2024-08-22 15:55:46 +0200 | AlexZenon | (~alzenon@178.34.151.160) |
| 2024-08-22 15:56:09 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-22 15:57:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 16:00:09 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: hm right, I'm reading on the definition, I think I mean that the function has no final tail position |
| 2024-08-22 16:00:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> mauke: hm thanks, necessarily these are only printed strings that cannot be used in actual statements right? |
| 2024-08-22 16:00:30 +0200 | <EvanR> | final is a weird word for this at least in haskell |
| 2024-08-22 16:00:47 +0200 | <EvanR> | Expr isn't a string |
| 2024-08-22 16:02:19 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) |
| 2024-08-22 16:02:19 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) (Changing host) |
| 2024-08-22 16:02:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 16:02:43 +0200 | <EvanR> | normal order evaluation evaluates the head of the expression first, not last |
| 2024-08-22 16:02:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 16:03:02 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-22 16:03:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: right, so such a function must overflow right? |
| 2024-08-22 16:03:59 +0200 | <haskellbridge> | <thirdofmay18081814goya> we never get to a statement we can evaluate |
| 2024-08-22 16:04:57 +0200 | <EvanR> | if the next top expression was always application and never a lambda or constructor, it would never terminate |
| 2024-08-22 16:05:06 +0200 | <EvanR> | but it didn't think that was your scenario |
| 2024-08-22 16:05:16 +0200 | <EvanR> | you said there was NO application |
| 2024-08-22 16:05:19 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-22 16:05:44 +0200 | <EvanR> | s/it/I/ |
| 2024-08-22 16:06:39 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Ping timeout: 246 seconds) |
| 2024-08-22 16:06:47 +0200 | <haskellbridge> | <thirdofmay18081814goya> no last such application right |
| 2024-08-22 16:06:52 +0200 | <EvanR> | last? |
| 2024-08-22 16:07:04 +0200 | <EvanR> | last in time? |
| 2024-08-22 16:07:23 +0200 | <EvanR> | in an infinite loop that makes sense, no end |
| 2024-08-22 16:07:52 +0200 | <EvanR> | but you said outermost so it sounded like you were talking about space, and so I think maybe you have some fundamental misconception |
| 2024-08-22 16:07:53 +0200 | wroathe | (~wroathe@166.175.58.124) |
| 2024-08-22 16:07:53 +0200 | wroathe | (~wroathe@166.175.58.124) (Changing host) |
| 2024-08-22 16:07:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 16:07:58 +0200 | <haskellbridge> | <thirdofmay18081814goya> I'm not sure, I think I need to delve a bit deeper on how this all, I'm not sure I can give a strictier meaning to last from my current understanding |
| 2024-08-22 16:08:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> on how this all works* |
| 2024-08-22 16:08:14 +0200 | <haskellbridge> | <thirdofmay18081814goya> to 'last' |
| 2024-08-22 16:08:47 +0200 | <haskellbridge> | <thirdofmay18081814goya> what general topic should clear this up? how an interpreter works? |
| 2024-08-22 16:08:51 +0200 | <EvanR> | in the infinite expression above 0 + (0 + (0 + (..., it's a good example to disentangle all the kinds of concepts |
| 2024-08-22 16:09:12 +0200 | <EvanR> | question, can you evaluate this expression to WHNF |
| 2024-08-22 16:09:22 +0200 | <EvanR> | what about normal form |
| 2024-08-22 16:09:32 +0200 | <EvanR> | what else do you need to know to answer |
| 2024-08-22 16:10:29 +0200 | <EvanR> | now how an interpreter works but how lazy evaluation works |
| 2024-08-22 16:10:51 +0200 | <EvanR> | and how that's different from evaluation in an eager language |
| 2024-08-22 16:11:11 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: will start reading on WHNF, normal form, and lazy evaluation. thanks a lot for the keywords |
| 2024-08-22 16:11:38 +0200 | <EvanR> | weak head normal form |
| 2024-08-22 16:12:17 +0200 | <EvanR> | and haskell doesn't have statements, only expressions |
| 2024-08-22 16:12:33 +0200 | <EvanR> | even do notation desugars to an expression |
| 2024-08-22 16:13:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 16:15:51 +0200 | <haskellbridge> | <mauke> Huh. Are newtypes transparent wrt WHNF? |
| 2024-08-22 16:16:52 +0200 | <dolio> | They're just the underlying thing, if that's what you mean. |
| 2024-08-22 16:18:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 16:19:35 +0200 | <haskellbridge> | <mauke> I mean you can't just say "evaluate until the outermost layer is a lambda or a constructor" |
| 2024-08-22 16:20:54 +0200 | <EvanR> | pretend newtypes don't exist |
| 2024-08-22 16:21:51 +0200 | <EvanR> | > Identity undefined `seq` 'a' |
| 2024-08-22 16:21:53 +0200 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-08-22 16:22:26 +0200 | <EvanR> | > Just undefined `seq` 'a' |
| 2024-08-22 16:22:28 +0200 | <lambdabot> | 'a' |
| 2024-08-22 16:25:13 +0200 | <EvanR> | you can also point out strict fields as another caveat |
| 2024-08-22 16:25:55 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 252 seconds) |
| 2024-08-22 16:29:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 16:29:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-22 16:29:36 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-08-22 16:30:10 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 16:30:22 +0200 | <lortabac> | thirdofmay18081814goya: I'm not sure I understand your question. If you meant "do all 'fix' applications necessarily diverge?" then no |
| 2024-08-22 16:30:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 16:30:31 +0200 | <lortabac> | > fix (_ -> 0) |
| 2024-08-22 16:30:33 +0200 | <lambdabot> | error: |
| 2024-08-22 16:30:33 +0200 | <lambdabot> | Pattern syntax in expression context: _ -> 0 |
| 2024-08-22 16:30:39 +0200 | <lortabac> | > fix (\_ -> 0) |
| 2024-08-22 16:30:41 +0200 | <lambdabot> | 0 |
| 2024-08-22 16:31:07 +0200 | <lortabac> | in order to recurse you need to call the argument of the lambda. If you don't call it recursion doesn't happen |
| 2024-08-22 16:31:23 +0200 | <lortabac> | but maybe I misunderstood your question |
| 2024-08-22 16:32:02 +0200 | <EvanR> | I think the question is based on a complete misunderstanding of what is even being evaluated |
| 2024-08-22 16:33:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 16:35:06 +0200 | nilradical | (~nilradica@user/naso) |
| 2024-08-22 16:35:25 +0200 | <lortabac> | > fix (\f n -> if n == 1 then n else n * f (n - 1)) 10 -- factorial of 10 |
| 2024-08-22 16:35:27 +0200 | <lambdabot> | 3628800 |
| 2024-08-22 16:35:33 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2024-08-22 16:36:11 +0200 | <lortabac> | in order to stop the recursion you just don't use the recursive argument |
| 2024-08-22 16:37:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> EvanR: would you say the revised haskell 98 report is a good source? |
| 2024-08-22 16:37:58 +0200 | <haskellbridge> | <thirdofmay18081814goya> lortabac: thanks for the examples, am a bit confused so I'll do more reading |
| 2024-08-22 16:38:03 +0200 | <EvanR> | that's a good read |
| 2024-08-22 16:38:17 +0200 | <EvanR> | a good source |
| 2024-08-22 16:38:27 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-08-22 16:39:57 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 2024-08-22 16:40:11 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-22 16:42:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 16:50:28 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-22 16:51:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 16:53:56 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-22 16:54:11 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-08-22 17:02:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 17:06:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 17:09:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-22 17:11:13 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-22 17:17:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 17:19:18 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 17:21:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 17:24:50 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-22 17:32:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 17:37:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 17:43:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 17:44:37 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: :) |
| 2024-08-22 17:45:42 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-22 17:47:55 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-22 17:47:59 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) |
| 2024-08-22 17:47:59 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) (Changing host) |
| 2024-08-22 17:47:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 17:48:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 17:48:15 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-22 17:52:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-22 17:52:06 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-08-22 17:53:01 +0200 | ZharMeny` | ZharMeny |
| 2024-08-22 17:57:31 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-08-22 17:57:55 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-22 17:59:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 17:59:25 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-08-22 18:00:48 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) |
| 2024-08-22 18:01:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-22 18:03:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 18:05:30 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-22 18:06:53 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-08-22 18:10:09 +0200 | killy | (~killy@staticline-31-183-183-54.toya.net.pl) |
| 2024-08-22 18:14:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 18:18:17 +0200 | ash3en1 | (~Thunderbi@146.70.124.138) |
| 2024-08-22 18:18:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 18:19:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
| 2024-08-22 18:19:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 18:19:36 +0200 | esnos | (~user@176.106.34.161) (Read error: Connection reset by peer) |
| 2024-08-22 18:19:39 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Ping timeout: 246 seconds) |
| 2024-08-22 18:19:39 +0200 | ash3en1 | ash3en |
| 2024-08-22 18:19:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 18:21:06 +0200 | esnos | (~user@176.106.34.161) |
| 2024-08-22 18:22:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-22 18:24:53 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-08-22 18:25:24 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-08-22 18:30:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 18:31:46 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-22 18:33:13 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-08-22 18:34:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 18:39:08 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
| 2024-08-22 18:39:23 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-22 18:43:33 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 18:44:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 18:44:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-22 18:46:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-81b5-3bba-435f-d5e1.rev.sfr.net) |
| 2024-08-22 18:46:29 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-22 18:49:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 18:53:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-22 18:53:30 +0200 | <haskellbridge> | <mauke> Why not go for the 2010 (current) version? |
| 2024-08-22 18:53:57 +0200 | ubert | (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-08-22 18:59:57 +0200 | killy | (~killy@staticline-31-183-183-54.toya.net.pl) (Quit: leaving) |
| 2024-08-22 19:00:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 19:04:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 19:10:09 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-81b5-3bba-435f-d5e1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-22 19:11:10 +0200 | son0p | (~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) (Quit: Leaving) |
| 2024-08-22 19:11:38 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-08-22 19:12:12 +0200 | <mreh> | looks like hoogle is down |
| 2024-08-22 19:15:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 19:16:44 +0200 | Digitteknohippie | Digit |
| 2024-08-22 19:17:34 +0200 | <davean> | mreh: its restarting. |
| 2024-08-22 19:17:46 +0200 | <davean> | Its restart is like 20+ minutes :( |
| 2024-08-22 19:18:43 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-08-22 19:19:57 +0200 | <mreh> | gotta rebuild that database I guess |
| 2024-08-22 19:20:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-22 19:21:06 +0200 | <davean> | I'm sure someone could give its codebase some love and care. |
| 2024-08-22 19:21:28 +0200 | <davean> | It could use it. |
| 2024-08-22 19:30:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 19:31:41 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) |
| 2024-08-22 19:31:41 +0200 | wroathe | (~wroathe@mobile-166-175-58-124.mycingular.net) (Changing host) |
| 2024-08-22 19:31:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 19:35:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 19:37:55 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-22 19:39:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> mauke: ah had not seen this report was out |
| 2024-08-22 19:39:30 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty |
| 2024-08-22 19:39:31 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-08-22 19:45:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 19:47:05 +0200 | <davean> | mreh: back up |
| 2024-08-22 19:49:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 19:53:51 +0200 | <haskellbridge> | <thirdofmay18081814goya> only with denotational semantics can I prove a haskell function has some property, right? |
| 2024-08-22 19:53:55 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 19:57:21 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-22 19:59:41 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-22 20:01:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 20:05:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-22 20:05:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 20:07:06 +0200 | <EvanR> | not the only way |
| 2024-08-22 20:07:37 +0200 | <EvanR> | but it might boil down the what the property is |
| 2024-08-22 20:07:51 +0200 | <EvanR> | but there are many modes of reasoning out there |
| 2024-08-22 20:08:09 +0200 | <ncf> | you need some kind of semantics to even *state* the property you want to prove |
| 2024-08-22 20:08:58 +0200 | <EvanR> | not necessarily, the property may be written out, and you just have to use rules of syntax to get something that matches the literal statement |
| 2024-08-22 20:09:41 +0200 | <EvanR> | which can be confusing when haskell's semantics are given as something that looks very close to the syntax |
| 2024-08-22 20:10:17 +0200 | <EvanR> | but what is the property! |
| 2024-08-22 20:10:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> divergence of a recursive function |
| 2024-08-22 20:12:39 +0200 | <EvanR> | i.e. f ⊥ = ⊥ ? |
| 2024-08-22 20:12:47 +0200 | <EvanR> | f x = ⊥ |
| 2024-08-22 20:12:52 +0200 | <EvanR> | for any x |
| 2024-08-22 20:13:15 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-22 20:13:54 +0200 | <EvanR> | you know it's semantics because ⊥ is involved |
| 2024-08-22 20:16:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-22 20:28:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 20:28:34 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-22 20:30:14 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-22 20:32:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 20:34:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-22 20:36:04 +0200 | <probie> | Does anyone have much experience getting TH to work when cross-compiling? The docs about how to use an "external interpreter" are a bit vague. |
| 2024-08-22 20:37:29 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-08-22 20:42:45 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-08-22 20:43:19 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-22 20:44:18 +0200 | <geekosaur> | pretty sure no matter what you do, you're in for extreme pain |
| 2024-08-22 20:46:02 +0200 | <probie> | I think it's even worse because the cross compilation target is wasm |
| 2024-08-22 20:46:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-22 20:47:03 +0200 | <geekosaur> | actually I'd expect that to be simpler, the ghc-iserv that is built in the wasm cross-compiler should just work with -fexternal-interpreter |
| 2024-08-22 20:47:32 +0200 | <geekosaur> | a normal cross-compiler would require you to run its ghc-iserv on a machine (or emulator therefor) compatible with the target |
| 2024-08-22 20:51:34 +0200 | <probie> | Maybe I should just try it myself and see what happens (I'm asking on behalf of someone else and haven't actually tried anything) |
| 2024-08-22 21:01:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 21:06:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 21:06:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-08-22 21:09:45 +0200 | son0p | (~ff@2800:e2:f80:ee7::a) |
| 2024-08-22 21:14:33 +0200 | wroathe | (~wroathe@107.122.96.161) |
| 2024-08-22 21:14:33 +0200 | wroathe | (~wroathe@107.122.96.161) (Changing host) |
| 2024-08-22 21:14:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 21:17:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 21:18:21 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-22 21:18:28 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-22 21:22:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-22 21:24:54 +0200 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-22 21:24:56 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-22 21:30:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-22 21:32:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 21:37:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-22 21:47:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 21:49:39 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-08-22 21:52:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 21:56:36 +0200 | <probie> | So unless I'm doing something wrong, it doesn't build a ghc-iserv at all |
| 2024-08-22 22:03:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 22:04:19 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 264 seconds) |
| 2024-08-22 22:07:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 22:13:37 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-22 22:18:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 22:19:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-22 22:22:35 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-22 22:23:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-22 22:24:14 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-22 22:24:14 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-22 22:24:14 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-22 22:26:22 +0200 | starburst | (~starburst@2601:602:480:9390::7ddf) |
| 2024-08-22 22:33:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 22:35:08 +0200 | starburst | (~starburst@2601:602:480:9390::7ddf) (Quit: Client closed) |
| 2024-08-22 22:35:27 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-08-22 22:35:57 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-08-22 22:36:22 +0200 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2024-08-22 22:37:15 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-08-22 22:38:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 22:41:38 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-08-22 22:48:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-22 22:49:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 22:51:20 +0200 | ubert | (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) |
| 2024-08-22 22:53:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 22:53:54 +0200 | <dmj`> | probie: I've ran ghc-iserv on an iPhone, where the build machine sent build requests to the iPhone to compile TH splices over the network. It was not fun. |
| 2024-08-22 22:54:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-22 22:57:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-22 23:00:28 +0200 | AlexZenon | (~alzenon@178.34.151.160) (Ping timeout: 252 seconds) |
| 2024-08-22 23:03:09 +0200 | AlexZenon | (~alzenon@178.34.151.160) |
| 2024-08-22 23:04:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 23:09:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 23:09:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-22 23:10:50 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-08-22 23:10:56 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-22 23:11:17 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.160) |
| 2024-08-22 23:11:26 +0200 | Inst_ | (~Inst@user/Inst) (Max SendQ exceeded) |
| 2024-08-22 23:12:55 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-22 23:14:39 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-22 23:15:09 +0200 | AlexNoo | (~AlexNoo@178.34.151.160) (Ping timeout: 276 seconds) |
| 2024-08-22 23:16:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-22 23:19:42 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-22 23:20:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 23:24:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 23:28:50 +0200 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-08-22 23:30:07 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-08-22 23:31:25 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-22 23:35:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 23:40:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-22 23:51:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-22 23:58:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-22 23:59:25 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.160) (Read error: Connection reset by peer) |
| 2024-08-22 23:59:57 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-949c-6a68-56ec-56cb.rev.sfr.net) |