2024-10-06 00:02:01 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-06 00:02:32 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 00:05:06 +0200 | gvg_ | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
2024-10-06 00:10:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 00:14:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 00:19:41 +0200 | fmira | (~user@user/fmira) (Quit: fmira) |
2024-10-06 00:25:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 00:26:46 +0200 | <Inst> | interesting, tbh, i thought tuple arguments were unidiomatic in haskell |
2024-10-06 00:27:24 +0200 | <Inst> | but it turns out that if you're doing recursion over a function that produces a tuple, it's actually pretty ideal |
2024-10-06 00:28:28 +0200 | <Inst> | are there any existing dynamic vector libraries built over vector? |
2024-10-06 00:29:16 +0200 | <Inst> | https://hackage.haskell.org/package/dynamic-mvector-0.1.0.5 |
2024-10-06 00:29:26 +0200 | <Inst> | andras kovacs hasn't updated that recently |
2024-10-06 00:29:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 00:32:44 +0200 | son0p | (~ff@186.121.110.81) son0p |
2024-10-06 00:34:56 +0200 | EvanR_ | (~EvanR@user/evanr) EvanR |
2024-10-06 00:34:56 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2024-10-06 00:40:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 00:41:09 +0200 | spew | (~spew@2806:2a0:1522:8662::edd7) spew |
2024-10-06 00:41:52 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
2024-10-06 00:42:23 +0200 | <andrewboltachev> | Hello. Does anyone have modern example for https://www.tweag.io/blog/2019-05-09-inline-js/ ? many things have changed, e.g. withJSSession -> withSession etc |
2024-10-06 00:43:20 +0200 | EvanR_ | EvanR |
2024-10-06 00:45:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 00:48:43 +0200 | supercode | (~supercode@user/supercode) supercode |
2024-10-06 00:48:59 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-06 00:56:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 00:58:01 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2024-10-06 00:58:59 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-06 01:00:22 +0200 | fmira | (~user@user/fmira) (Client Quit) |
2024-10-06 01:00:35 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-06 01:01:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 01:01:59 +0200 | gvg | (~dcd@user/gvg) gvg |
2024-10-06 01:07:29 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 255 seconds) |
2024-10-06 01:08:41 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-10-06 01:09:17 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2024-10-06 01:11:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 01:13:26 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
2024-10-06 01:16:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 01:27:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 01:29:24 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-10-06 01:30:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-10-06 01:30:38 +0200 | malte | (~malte@mal.tc) malte |
2024-10-06 01:31:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-06 01:38:25 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-06 01:42:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 01:44:29 +0200 | Me-me | (~me-me@kc.randomserver.name) (Changing host) |
2024-10-06 01:44:29 +0200 | Me-me | (~me-me@user/me-me) Me-me |
2024-10-06 01:47:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 01:48:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-06 01:52:59 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 01:57:33 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb25cc2baddb8e5dbc54.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-10-06 01:57:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 02:00:28 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-10-06 02:02:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 02:02:47 +0200 | malte | (~malte@mal.tc) malte |
2024-10-06 02:03:18 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:313e:6d49:466c:22b1) (Ping timeout: 245 seconds) |
2024-10-06 02:04:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-06 02:11:04 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.60)) |
2024-10-06 02:13:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 02:17:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
2024-10-06 02:17:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-06 02:24:55 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2024-10-06 02:28:24 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Ping timeout: 246 seconds) |
2024-10-06 02:28:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 02:32:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-06 02:33:32 +0200 | califax | (~califax@user/califx) califx |
2024-10-06 02:33:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 02:38:33 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-06 02:39:04 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 02:44:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 02:48:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 02:54:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 02:59:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 03:03:50 +0200 | user_ | (~user@user/fmira) fmira |
2024-10-06 03:06:36 +0200 | fmira | (~user@user/fmira) (Ping timeout: 260 seconds) |
2024-10-06 03:10:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 03:14:13 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-06 03:14:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 03:25:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 03:29:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-10-06 03:30:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 03:41:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 03:41:19 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
2024-10-06 03:45:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-06 03:49:34 +0200 | <L29Ah> | https://www.wired.com/story/neo-nazis-flee-telegram-encrypted-app-simplex/ haskell went to the masses |
2024-10-06 03:55:20 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 03:56:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 03:57:56 +0200 | <EvanR> | but does it use blockchain |
2024-10-06 03:58:01 +0200 | <EvanR> | otherwise, literally unusable |
2024-10-06 03:59:21 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 04:00:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-06 04:00:54 +0200 | califax | (~califax@user/califx) califx |
2024-10-06 04:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 04:02:13 +0200 | <haskellbridge> | <sm> kind of sorry I recommended simplex the other day, now |
2024-10-06 04:03:34 +0200 | <dmj`> | so this is why we avoid success at all costs |
2024-10-06 04:03:57 +0200 | <haskellbridge> | <sm> hopefully that person will use it for good |
2024-10-06 04:04:07 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-10-06 04:05:10 +0200 | <haskellbridge> | <sm> these failures to avoid success seem to be getting more frequent >:/ |
2024-10-06 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-10-06 04:06:43 +0200 | <haskellbridge> | <sm> now of course this can also be propaganda against untappable chat tech |
2024-10-06 04:07:36 +0200 | <haskellbridge> | <sm> * an untappable chat app |
2024-10-06 04:08:08 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 04:10:45 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 265 seconds) |
2024-10-06 04:10:56 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2024-10-06 04:11:33 +0200 | <EvanR> | I find it hard to believe it absolutely hides your identity |
2024-10-06 04:12:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 04:13:37 +0200 | <haskellbridge> | <sm> considering it's so secure, wired seems to know a lot about what people are doing on SimpleX |
2024-10-06 04:14:19 +0200 | <haskellbridge> | <sm> anyway. moving on |
2024-10-06 04:16:48 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 276 seconds) |
2024-10-06 04:18:10 +0200 | td_ | (~td@i5387093A.versanet.de) |
2024-10-06 04:19:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 04:19:55 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
2024-10-06 04:32:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 04:35:10 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-06 04:37:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-06 04:42:34 +0200 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2024-10-06 04:43:44 +0200 | Cale | (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) (Read error: Connection reset by peer) |
2024-10-06 04:44:18 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
2024-10-06 04:49:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 04:50:51 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-06 04:53:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 05:06:08 +0200 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving) |
2024-10-06 05:06:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 05:10:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 05:17:35 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-06 05:22:12 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
2024-10-06 05:22:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 05:23:04 +0200 | forell | (~forell@user/forell) forell |
2024-10-06 05:27:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 05:28:36 +0200 | spew | (~spew@2806:2a0:1522:8662::edd7) (Quit: spew) |
2024-10-06 05:36:37 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 05:36:38 +0200 | <user_> | EvanR: the protocol is pretty sane but currently theres an issue that most people just use the main simplex servers for message delivery so they can still analyze where messages go and of course even in decentralized situations there can be collusion |
2024-10-06 05:36:46 +0200 | <user_> | wait why am i user_ |
2024-10-06 05:36:50 +0200 | <user_> | brb.... |
2024-10-06 05:37:03 +0200 | user_ | (~user@user/fmira) (Quit: user_) |
2024-10-06 05:37:04 +0200 | <EvanR> | user_ error |
2024-10-06 05:37:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-06 05:37:24 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-06 05:39:22 +0200 | <fmira> | okay thats better, so theres still the risk of message delivery not being safe from analysis but the e2ee itself is pretty solid iirc, i think they even used dependent types to prove that the cryptography is solid iirc |
2024-10-06 05:39:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 05:40:39 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 05:42:22 +0200 | <EvanR> | o_O |
2024-10-06 05:43:15 +0200 | <EvanR> | sounds cool |
2024-10-06 05:43:24 +0200 | <EvanR> | xcept for the nazis |
2024-10-06 05:44:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 05:44:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-10-06 05:45:13 +0200 | <Inst> | how does simplex plan to make money? |
2024-10-06 05:45:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-06 05:55:21 +0200 | <fmira> | Inst: good question honestly, theyre vc funded |
2024-10-06 05:55:32 +0200 | <fmira> | im guessing they'll at some point enshittify the whole thing |
2024-10-06 05:56:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 05:59:11 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-06 06:04:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 06:06:13 +0200 | <Axman6> | There's no easy way to ignore shadowing warnings for one function right? I've got a do block where I want to reuse a name multiple times as the value gets 'updated' (a ghetto state monad really) |
2024-10-06 06:08:17 +0200 | <JuanDaugherty> | racist |
2024-10-06 06:13:35 +0200 | <ghoulguy> | Axman6: not that I know of |
2024-10-06 06:13:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-06 06:15:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 06:20:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 06:26:30 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 06:33:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 06:38:06 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-06 06:38:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 06:40:22 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-06 06:42:04 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 06:43:49 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 06:46:01 +0200 | falafel | (~falafel@198.101.119.52) falafel |
2024-10-06 06:46:33 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
2024-10-06 06:47:32 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
2024-10-06 06:47:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2024-10-06 06:47:32 +0200 | finn_elija | FinnElija |
2024-10-06 06:49:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 06:52:44 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 06:52:53 +0200 | falafel | (~falafel@198.101.119.52) (Ping timeout: 244 seconds) |
2024-10-06 06:53:28 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 06:53:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 07:00:34 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 260 seconds) |
2024-10-06 07:03:42 +0200 | <Axman6> | GHC needs #pragma push and #pragma pop |
2024-10-06 07:04:58 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
2024-10-06 07:05:22 +0200 | <geekosaur> | supposedly there's work to make warnings more fine-grained, but I don't know the status |
2024-10-06 07:06:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:11:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-06 07:18:18 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-06 07:23:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:25:03 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
2024-10-06 07:25:46 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-06 07:28:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 07:30:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-06 07:32:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-06 07:32:35 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 07:37:48 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-06 07:38:55 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-10-06 07:39:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-06 07:40:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:41:03 +0200 | wanted | (~wanted@2.219.56.221) |
2024-10-06 07:45:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 07:45:27 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 07:51:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 07:52:59 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-06 07:56:04 +0200 | rosco | (~rosco@183.171.107.70) rosco |
2024-10-06 07:56:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:57:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-06 07:57:19 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-06 08:05:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 08:07:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:858f:f870:90c:1b39) (Ping timeout: 246 seconds) |
2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
2024-10-06 08:10:21 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
2024-10-06 08:13:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:943:dffd:9430:e374) |
2024-10-06 08:18:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:22:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 08:28:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 08:36:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:39:41 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
2024-10-06 08:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 08:48:37 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:49:35 +0200 | Square | (~Square@user/square) (Client Quit) |
2024-10-06 08:50:42 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:54:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:55:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good intro for domain-theoretic semantic of recursive types? |
2024-10-06 08:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-06 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-06 09:00:02 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-10-06 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-06 09:03:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-10-06 09:09:40 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-06 09:12:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:12:33 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-10-06 09:14:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-06 09:16:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 09:19:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2024-10-06 09:22:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-06 09:24:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-06 09:25:38 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) |
2024-10-06 09:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:32:23 +0200 | <Inst> | axman6: why can't you just stuff ' or numbers at the end? |
2024-10-06 09:32:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 09:33:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-10-06 09:33:34 +0200 | <Axman6> | because that makes it much harder to see that the code is correct, there could be an error anywhere and adding something in the middle means updating everything afterwards |
2024-10-06 09:36:05 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-10-06 09:38:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) (Ping timeout: 264 seconds) |
2024-10-06 09:38:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-10-06 09:40:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Client Quit) |
2024-10-06 09:42:41 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-06 09:43:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) acidjnk |
2024-10-06 09:44:09 +0200 | rosco | (~rosco@183.171.107.70) (Quit: Lost terminal) |
2024-10-06 09:45:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-06 09:45:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:45:28 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
2024-10-06 09:49:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 09:58:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-10-06 10:02:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:03:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-06 10:05:45 +0200 | <jackdk> | it would be neat if you didn't get shadowing warnings for bindings consumed by a linear arrow |
2024-10-06 10:06:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 10:13:22 +0200 | artu | (~artu@2601:600:8181:9b00::14) artu |
2024-10-06 10:18:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-06 10:19:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:24:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 10:24:43 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
2024-10-06 10:25:08 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection) |
2024-10-06 10:28:42 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-06 10:29:09 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
2024-10-06 10:29:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-06 10:35:31 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-10-06 10:37:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:39:20 +0200 | <artu> | I tried to evaluate `count :: Int` in GHCi but got an error "Variable not in scope count :: Int". I want to try out haskell's full features on the REPL without creating a file or project. Any advice on that how can I achieve this interactively? |
2024-10-06 10:39:49 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9628aff41673680d4c.dip0.t-ipconnect.de) acidjnk |
2024-10-06 10:41:33 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-06 10:41:49 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-10-06 10:41:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 10:43:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-06 10:44:06 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 10:44:46 +0200 | <haskellbridge> | <Jade> did you define "count"? if not, you can't print it :P |
2024-10-06 10:46:19 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-10-06 10:47:16 +0200 | <artu> | doesn't this `count :: Int` claim/declare `count` as type `Int`? I'll define after the declaration. Apperantly I'm a noob here :) |
2024-10-06 10:48:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
2024-10-06 10:50:19 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-06 10:50:51 +0200 | artu | (~artu@2601:600:8181:9b00::14) (Quit: WeeChat 4.4.2) |
2024-10-06 10:50:52 +0200 | Digit | (~user@user/digit) Digit |
2024-10-06 10:51:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-06 10:54:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:55:55 +0200 | fmira | (~user@user/fmira) (Quit: fmira) |
2024-10-06 10:59:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 10:59:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-06 11:01:26 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) |
2024-10-06 11:05:03 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
2024-10-06 11:07:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:12:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-06 11:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 11:16:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-06 11:25:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:27:21 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) (Ping timeout: 252 seconds) |
2024-10-06 11:27:26 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-06 11:29:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 11:31:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-10-06 11:32:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> what guarantees that the least fixed point of a type-functor will produce finite data types? |
2024-10-06 11:35:00 +0200 | <ncf> | nothing |
2024-10-06 11:35:19 +0200 | <Lears> | thirdofmay: In Haskell, nothing. In System F, strong normalisation and program finiteness. |
2024-10-06 11:35:37 +0200 | <ncf> | the least fixed point of Const ℕ is infinite |
2024-10-06 11:36:06 +0200 | <ncf> | or 1 + — i guess |
2024-10-06 11:36:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see |
2024-10-06 11:36:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty for answers |
2024-10-06 11:37:54 +0200 | rosco | (~rosco@183.171.72.164) rosco |
2024-10-06 11:38:23 +0200 | <Lears> | To be clear, "finite" here is ambiguous. If you mean data types of finite cardinality then the answer is still nothing in e.g. System F. I took you to mean data types with values of finite size. |
2024-10-06 11:39:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> yeah, I meant values of finite size |
2024-10-06 11:40:07 +0200 | <haskellbridge> | <thirdofmay18081814goya> data types with values of finite size |
2024-10-06 11:40:22 +0200 | <ncf> | define size? |
2024-10-06 11:41:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:46:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 11:53:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:6ee5:dea:457b:d9d9) |
2024-10-06 11:57:05 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-10-06 11:58:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:59:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:943:dffd:9430:e374) (Ping timeout: 245 seconds) |
2024-10-06 11:59:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-10-06 12:00:35 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
2024-10-06 12:01:38 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-06 12:03:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 12:11:01 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
2024-10-06 12:13:11 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:6ee5:dea:457b:d9d9) (Ping timeout: 252 seconds) |
2024-10-06 12:14:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-10-06 12:16:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 12:21:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 12:23:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cd:7fb:f9ec:b14e) |
2024-10-06 12:23:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-06 12:24:13 +0200 | <tomsmeding> | @tell artu you need :{ and :} to write multi-line definitions in ghci |
2024-10-06 12:24:13 +0200 | <lambdabot> | Consider it noted. |
2024-10-06 12:25:34 +0200 | son0p | (~ff@186.121.110.81) (Remote host closed the connection) |
2024-10-06 12:28:17 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-06 12:29:55 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e481:13d5:7eb4:8f9d) |
2024-10-06 12:33:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 12:34:03 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2024-10-06 12:37:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 12:38:35 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-06 12:38:54 +0200 | <lxsameer> | hey folks, do you know any channel or forum dedicated to category theory and/or type theory? |
2024-10-06 12:40:54 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e481:13d5:7eb4:8f9d) (Ping timeout: 246 seconds) |
2024-10-06 12:43:08 +0200 | <Hecate> | nope sorry |
2024-10-06 12:48:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 12:48:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-10-06 12:50:30 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-06 12:50:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-06 12:53:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 13:03:26 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-10-06 13:04:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 13:09:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-06 13:09:18 +0200 | rosco | (~rosco@183.171.72.164) (Ping timeout: 252 seconds) |
2024-10-06 13:18:07 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:7d60:3680:b7b6:7b2d) |
2024-10-06 13:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 13:26:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 13:29:13 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
2024-10-06 13:38:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 13:40:32 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:7d60:3680:b7b6:7b2d) (Ping timeout: 272 seconds) |
2024-10-06 13:41:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-06 13:43:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 13:47:03 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-06 13:47:34 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-06 13:56:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 13:58:54 +0200 | <tomsmeding> | lxsameer: there is ##dependent here but I'm not sure how appropriate it is |
2024-10-06 13:59:14 +0200 | <tomsmeding> | there is also #agda |
2024-10-06 14:00:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 14:01:54 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-10-06 14:06:24 +0200 | <ncf> | and #categorytheory, to mention only IRC channels |
2024-10-06 14:09:26 +0200 | <haskellbridge> | <eldritchcookie> is there a method to visibly quantify a class method? |
2024-10-06 14:09:41 +0200 | <haskellbridge> | <eldritchcookie> like bitSize :: forall b -> Natural |
2024-10-06 14:10:38 +0200 | <haskellbridge> | <eldritchcookie> this doesn't work due to the forall b -> introducing a new b and not visibly quantifiying the one already in scope |
2024-10-06 14:13:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:14:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cd:7fb:f9ec:b14e) (Ping timeout: 245 seconds) |
2024-10-06 14:15:47 +0200 | <int-e> | Not sure I understand, do you want https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html ? |
2024-10-06 14:16:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:16eb:2432:285b:7ea6) |
2024-10-06 14:16:36 +0200 | <int-e> | the full type of bitSize is forall a. Bits a => a -> Int |
2024-10-06 14:17:12 +0200 | <int-e> | and it's deprecated :P |
2024-10-06 14:17:23 +0200 | <tomsmeding> | ScopedTypeVariables is DEPRECATED? |
2024-10-06 14:17:37 +0200 | <haskellbridge> | <eldritchcookie> no i am making my own prelude/ standard library so my FiniteBits class has bitSize |
2024-10-06 14:17:55 +0200 | <tomsmeding> | Proxy? |
2024-10-06 14:18:02 +0200 | <tomsmeding> | that's the traditional method |
2024-10-06 14:18:02 +0200 | <int-e> | tomsmeding: no, bitSize is |
2024-10-06 14:18:04 +0200 | <int-e> | sorry |
2024-10-06 14:18:06 +0200 | <tomsmeding> | ah I see |
2024-10-06 14:18:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-06 14:18:10 +0200 | <tomsmeding> | phew :p |
2024-10-06 14:18:12 +0200 | <int-e> | > bitSize (0 :: Integer) |
2024-10-06 14:18:13 +0200 | <lambdabot> | *Exception: Data.Bits.bitSize(Integer) |
2024-10-06 14:18:14 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-06 14:18:31 +0200 | <tomsmeding> | > finiteBitSize (0 :: Integer) |
2024-10-06 14:18:33 +0200 | <lambdabot> | error: |
2024-10-06 14:18:33 +0200 | <lambdabot> | • No instance for (FiniteBits Integer) |
2024-10-06 14:18:33 +0200 | <lambdabot> | arising from a use of ‘finiteBitSize’ |
2024-10-06 14:18:38 +0200 | <tomsmeding> | right, that was the replacement |
2024-10-06 14:19:09 +0200 | <tomsmeding> | to what extent is visible forall already a thing in released GHCs? |
2024-10-06 14:19:41 +0200 | <tomsmeding> | :set -XRequiredTypeArguments |
2024-10-06 14:19:43 +0200 | <tomsmeding> | % :set -XRequiredTypeArguments |
2024-10-06 14:19:43 +0200 | <yahb2> | <no output> |
2024-10-06 14:19:51 +0200 | <tomsmeding> | % f :: forall a -> a -> a ; f t x = x |
2024-10-06 14:19:51 +0200 | <yahb2> | <no output> |
2024-10-06 14:19:54 +0200 | <tomsmeding> | % :t f Int |
2024-10-06 14:19:54 +0200 | <yahb2> | f Int :: Int -> Int |
2024-10-06 14:19:56 +0200 | <tomsmeding> | % :t f Bool |
2024-10-06 14:19:57 +0200 | <yahb2> | f Bool :: Bool -> Bool |
2024-10-06 14:20:02 +0200 | <tomsmeding> | eldritchcookie ^ |
2024-10-06 14:20:18 +0200 | <tomsmeding> | ghc >= 9.10 though |
2024-10-06 14:20:53 +0200 | <haskellbridge> | <eldritchcookie> yes but naively trying this on a class method doesn't work |
2024-10-06 14:21:10 +0200 | <tomsmeding> | I see |
2024-10-06 14:21:20 +0200 | <tomsmeding> | hm, lemme try |
2024-10-06 14:21:27 +0200 | <haskellbridge> | <eldritchcookie> src/Qon/Bits.hs:25:3: error: [GHC-39999] |
2024-10-06 14:21:27 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/PkaCnRCyIJXsiIbMXlrywuss/bOMDyOoAcr8 (22 lines) |
2024-10-06 14:22:13 +0200 | <int-e> | heh, heisenbridge? |
2024-10-06 14:23:12 +0200 | <tomsmeding> | eldritchcookie: https://play.haskell.org/saved/6TcPRARS |
2024-10-06 14:23:27 +0200 | <tomsmeding> | admittedly it's a bit of a hack |
2024-10-06 14:24:18 +0200 | <int-e> | oh *that* was the question |
2024-10-06 14:27:38 +0200 | <haskellbridge> | <eldritchcookie> yes its a hack but hopefully it is forward compatible what we wil do |
2024-10-06 14:29:36 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-06 14:29:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2024-10-06 14:29:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:30:51 +0200 | <tomsmeding> | I mean, something that doesn't require 9.10 is -XAllowAmbiguousTypes and require a type application |
2024-10-06 14:31:07 +0200 | <tomsmeding> | but with the downside that an unsuspecting user who forgets the type application will get ambiguous types |
2024-10-06 14:35:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-06 14:38:50 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-06 14:45:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:47:10 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9437:9b0:9ccc:15a4) |
2024-10-06 14:47:42 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-06 14:47:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
2024-10-06 14:48:15 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |