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 |
2024-10-06 14:50:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 14:56:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:58:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> ncf: types i'm interested in are well-founded ones |
2024-10-06 15:13:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-06 15:14:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 15:15:28 +0200 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya you might want to look at well-founded trees, AKA W types |
2024-10-06 15:16:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: yeah those are what i'm thinking about |
2024-10-06 15:16:24 +0200 | <haskellbridge> | <Bowuigi> They are mostly present in dependent stuff so I don't know how useful they are in a practical sense |
2024-10-06 15:16:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-06 15:16:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 15:17:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> e.g. what sort of constraints do we need on the domain to guarantee a functor provides a w-type |
2024-10-06 15:18:42 +0200 | <haskellbridge> | <Bowuigi> Termination and a size |
2024-10-06 15:19:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-06 15:19:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 15:20:14 +0200 | <haskellbridge> | <Bowuigi> You can also get sized types using Nat recursion over the type level, but unless you use singletons you can't iterate on that type |
2024-10-06 15:20:44 +0200 | <ncf> | W-types are initial algebras for polynomial endofunctors |
2024-10-06 15:21:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> ncf: is this true over Cpo? |
2024-10-06 15:23:44 +0200 | <ncf> | it is how they're defined. whether what you get is a "well-founded" object or not probably depends on the category and what you mean by that |
2024-10-06 15:23:51 +0200 | <ncf> | you should probably read the references at https://ncatlab.org/nlab/show/W-type#CategoricalSemanticsOfWTypesReferences |
2024-10-06 15:24:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 15:25:36 +0200 | Achylles | (~Achylles@45.182.57.66) Achylles |
2024-10-06 15:26:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> i don't think they are w-types if they are not well-founded |
2024-10-06 15:26:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> will check the references ty |
2024-10-06 15:35:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 15:36:07 +0200 | Guest6817 | (~Guest6817@103.182.161.2) |
2024-10-06 15:36:11 +0200 | <Guest6817> | This has probably been asked a thousand times and I'm sorry for asking it again, but is Haskell still relevant to be used in today's time considering some of the competition right now? I code mostly for fun and would like to know if Haskell still holds its ground with a decent ecosystem to go with it, like how's the library support compared some |
2024-10-06 15:36:12 +0200 | <Guest6817> | other languages at the moment? |
2024-10-06 15:36:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> literally the best production lang |
2024-10-06 15:36:36 +0200 | <haskellbridge> | <thirdofmay18081814goya> no competition |
2024-10-06 15:36:54 +0200 | <haskellbridge> | <thirdofmay18081814goya> competitors are dependently-typed langs |
2024-10-06 15:38:34 +0200 | <Guest6817> | So considering one spends enough time learning it, the major shift in paradigm to a function style won't hamper me as compared to a more traditional language like C or Rust? |
2024-10-06 15:39:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> you need to ask a single question to yourself: do you want to be able to reason about your programs |
2024-10-06 15:39:24 +0200 | <haskellbridge> | <thirdofmay18081814goya> do you want to understand what it is you work with |
2024-10-06 15:39:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> are you tired of not knowing why you fix bugs, why you make programs that work and you can't tell why |
2024-10-06 15:39:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> constantly living in a state of alienation from the very thing you spent hours working on |
2024-10-06 15:40:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 15:40:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> gaze at the masses of programmers, typing away. one asks: how can they be so close to this thing that they call their life's work, yet at the same time be so far from it? |
2024-10-06 15:40:42 +0200 | <Guest6817> | 'Alienation' is actually a great term to describe how I feel looking at some of the past codes I've written |
2024-10-06 15:40:58 +0200 | <Lears> | Guest6817: Learning a new language (Haskell) as opposed to another dialect of a language you already know (C, Rust, etc) will be a lot harder. It will also be much more fun and rewarding. |
2024-10-06 15:43:11 +0200 | <Guest6817> | The only concern I had till now is whether any part of the Haskell (the immutability, everything as functions, the arcane things called 'monads' or whatever they're called) will hinder me in working on a problem where a imperative language wouldn't? |
2024-10-06 15:43:31 +0200 | <yushyin> | rust has some influences from haskell and other funcprog languages, so you might even recognize some parts of that while learning haskell |
2024-10-06 15:44:59 +0200 | <haskellbridge> | <thirdofmay18081814goya> haskell will fix your marriage |
2024-10-06 15:45:53 +0200 | <identity> | Guest6817: haskell-specific parts will only hinder you while you are unfamiliar with them |
2024-10-06 15:46:18 +0200 | <identity> | any tool will hinder you if you don't know which way to hold it |
2024-10-06 15:46:58 +0200 | <Guest6817> | So all in all, other than the scary learning cliff that Haskell has, nothing should bother me if I actually learn it well |
2024-10-06 15:48:45 +0200 | <Guest6817> | How's the Haskell external library support? Good enough for (most) random things I wanna do with Haskell? |
2024-10-06 15:50:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-06 15:50:47 +0200 | <lxsameer> | tomsmeding: cheers |
2024-10-06 15:50:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 15:54:19 +0200 | <yushyin> | Guest6817: maybe a bit outdated overview, but might give you an overall impression https://github.com/Gabriella439/post-rfc/blob/main/sotu.md |
2024-10-06 15:55:18 +0200 | Digitteknohippie | Digit |
2024-10-06 15:55:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 15:59:03 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-06 16:01:06 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-06 16:04:27 +0200 | <geekosaur> | practically? it certainly is used, although it's no JS in terms of popularity |
2024-10-06 16:05:15 +0200 | <geekosaur> | but popularity and even direct usage don't tell the whole story. secretly, haskell's conquests are from within: more and more languages are sprouting things taken from it |
2024-10-06 16:06:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 16:09:57 +0200 | <tomsmeding> | Guest6817: the paradigm shift is the thing that will _help_ you -- as in, learning to program in this different paradigm will make you a better programmer even in other languages |
2024-10-06 16:10:06 +0200 | <tomsmeding> | just for having more ways of looking at a problem |
2024-10-06 16:10:50 +0200 | <tomsmeding> | for programming in haskell specifically, apart from enjoyment: haskell is better at some tasks, Rust is better at others, C++ even has some tasks it's better at (if only for library suppor) |
2024-10-06 16:10:54 +0200 | <tomsmeding> | *-t |
2024-10-06 16:11:01 +0200 | <tomsmeding> | depends on the application |
2024-10-06 16:11:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |