2022-09-09 00:01:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 00:01:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
2022-09-09 00:01:53 +0200 | _xor | (~xor@74.215.182.83) (Quit: bbiab) |
2022-09-09 00:04:12 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2022-09-09 00:11:33 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
2022-09-09 00:13:32 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-09 00:14:38 +0200 | mastarija | (~mastarija@95.168.107.13) (Quit: WeeChat 3.5) |
2022-09-09 00:17:35 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
2022-09-09 00:20:55 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-09-09 00:24:19 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-09 00:24:38 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2022-09-09 00:29:50 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
2022-09-09 00:30:41 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-46.dsl.bell.ca) |
2022-09-09 00:30:53 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-09 00:37:08 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-46.dsl.bell.ca) (Ping timeout: 244 seconds) |
2022-09-09 00:41:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 00:48:25 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-09 00:48:25 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
2022-09-09 00:48:25 +0200 | jinsun__ | jinsun |
2022-09-09 00:57:07 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-153.dsl.bell.ca) |
2022-09-09 00:57:18 +0200 | Successus | (~Successus@user/Successus) () |
2022-09-09 01:00:29 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-37.dsl.bell.ca) |
2022-09-09 01:01:36 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-153.dsl.bell.ca) (Ping timeout: 260 seconds) |
2022-09-09 01:02:57 +0200 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) |
2022-09-09 01:04:00 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
2022-09-09 01:05:08 +0200 | arahael | (~arahael@203.217.43.212) |
2022-09-09 01:05:40 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
2022-09-09 01:10:34 +0200 | <darkling> | ... of which it is a strict subset (IIRC) |
2022-09-09 01:13:04 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 01:15:28 +0200 | <geekosaur> | the codepoints are, but the conversion is not |
2022-09-09 01:15:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-09-09 01:17:52 +0200 | <geekosaur> | https://mincong.io/2019/04/07/understanding-iso-8859-1-and-utf-8/#character-mapping for example |
2022-09-09 01:19:01 +0200 | <darkling> | Yeah, but strict ASCII is <127, so equivalent to Unicode and to 8859-1, in that range. |
2022-09-09 01:22:11 +0200 | <geekosaur> | yes, but the whole reason I raised it is that many people use "ASCII" to include the range < 256 |
2022-09-09 01:22:24 +0200 | <darkling> | Bad and Wrong. :) |
2022-09-09 01:22:24 +0200 | <geekosaur> | incorrectly, but you do need to watch out for that |
2022-09-09 01:22:33 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2022-09-09 01:22:44 +0200 | <geekosaur> | assuming they're pedantic will get you corrupted data in that case |
2022-09-09 01:24:39 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 244 seconds) |
2022-09-09 01:25:20 +0200 | Midjak | (~Midjak@82.66.147.146) |
2022-09-09 01:26:31 +0200 | <darkling> | A few weeks ago, our team retrospective included the gem "darkling can read raw Unicode". Apparently this is a rare skill. |
2022-09-09 01:26:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 01:26:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 01:28:29 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Quit: WeeChat 3.5) |
2022-09-09 01:28:54 +0200 | <darkling> | I just thought it was a requirement. |
2022-09-09 01:29:31 +0200 | ddellacosta | (~ddellacos@static-198-44-136-38.cust.tzulo.com) |
2022-09-09 01:31:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2022-09-09 01:31:59 +0200 | <monochrom> | Next week, "darkling can actually write programs". >:) |
2022-09-09 01:32:35 +0200 | <darkling> | Oh, I wouldn't go *that* far. |
2022-09-09 01:33:30 +0200 | <darkling> | Although I had the "what's 2's complement?" moment two decades ago. |
2022-09-09 01:35:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 01:35:45 +0200 | <darkling> | (Someone else's question, not mine) |
2022-09-09 01:36:00 +0200 | jargon | (~jargon@184.101.185.66) |
2022-09-09 01:37:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 01:39:08 +0200 | <hpc> | heh, it's a good feeling having moments like that "can read raw unicode" thing |
2022-09-09 01:39:23 +0200 | <hpc> | once i was explaining email to someone and just started casually writing out an smtp transaction over telnet |
2022-09-09 01:39:41 +0200 | <hpc> | i go "and there you go" and the look on his face was amazing :D |
2022-09-09 01:39:45 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
2022-09-09 01:40:10 +0200 | <darkling> | I'm starting to realise that I need to lean into the greybeard feeling these days. |
2022-09-09 01:40:19 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-09 01:40:45 +0200 | <hpc> | definitely |
2022-09-09 01:40:51 +0200 | <geekosaur> | 🙂 |
2022-09-09 01:40:59 +0200 | <darkling> | It's npt even grey yet1 |
2022-09-09 01:41:03 +0200 | <hpc> | also make sure you learn a little bit of everything, and at the most fundamental level you can manage |
2022-09-09 01:41:06 +0200 | <darkling> | It's not even grey yet! |
2022-09-09 01:41:27 +0200 | <hpc> | i mainly do sysadmin, but had a bit of work that needed a bunch of async code |
2022-09-09 01:41:32 +0200 | <geekosaur> | mine starts to gray when I'm stressed, then regains its color whne I recover |
2022-09-09 01:41:36 +0200 | <darkling> | If you know the most fundamental levels, you can learn a little bit of everything. :) |
2022-09-09 01:41:40 +0200 | <geekosaur> | I figure that means it won't be long |
2022-09-09 01:41:41 +0200 | <hpc> | so i toss it over to a dev to make sure it's working right, he asks "i thought you were a sysadmin" |
2022-09-09 01:41:48 +0200 | <hpc> | i say "ppppf, async is a monad, anyone can do it" |
2022-09-09 01:42:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 01:42:14 +0200 | <hpc> | (this was in javascript) |
2022-09-09 01:42:17 +0200 | <darkling> | "You can't do that, it's not a regular language!" |
2022-09-09 01:42:36 +0200 | <darkling> | "Wait, what do you mean by 'regular language'?" |
2022-09-09 01:42:54 +0200 | <geekosaur> | *eyeroll |
2022-09-09 01:42:55 +0200 | <darkling> | Hold my beer... |
2022-09-09 01:43:02 +0200 | <hpc> | then i got the argument order for join wrong in python, but i don't think that one was my fault |
2022-09-09 01:43:15 +0200 | <darkling> | join in python is... odd? |
2022-09-09 01:43:19 +0200 | <geekosaur> | python is wrong 🙂 |
2022-09-09 01:43:29 +0200 | <hpc> | ",".join(["word", "word", "word"]) |
2022-09-09 01:43:40 +0200 | <darkling> | *bits* of python are wrong. |
2022-09-09 01:43:58 +0200 | <hpc> | bytes of python are wrong |
2022-09-09 01:44:30 +0200 | <darkling> | I came over to the FP side when I realised that I'd written multiple Python programmes without classes, and that the functional way was the True Path. :) |
2022-09-09 01:44:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 01:44:48 +0200 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) (Ping timeout: 244 seconds) |
2022-09-09 01:45:05 +0200 | <hpc> | i like to tell people i learned haskell after realizing i was too stupid for python |
2022-09-09 01:45:13 +0200 | <hpc> | the only other language that's ever made as much sense for me is perl |
2022-09-09 01:45:20 +0200 | <darkling> | I came through Erlang on the way. |
2022-09-09 01:45:28 +0200 | <hpc> | ah, that's a nice detour |
2022-09-09 01:46:16 +0200 | <monochrom> | Dijkstra said that the reason you use algebra and let the symbols do the work is because your intuition is too stupid. |
2022-09-09 01:46:35 +0200 | <jackdk> | hpc: I'm not smart enough to use anything but Haskell either |
2022-09-09 01:48:04 +0200 | <darkling> | I had a pure maths lecturer who sometimes came down to: "OK, so we can't use the definitions... let's try to think a bit..." |
2022-09-09 01:48:17 +0200 | <darkling> | I'm starting to realise, 30 years later, what he meant. |
2022-09-09 01:48:21 +0200 | <darkling> | Bright lad. :) |
2022-09-09 01:48:39 +0200 | <monochrom> | I believe a bit of that myself. I use statically typed FP because I am too stupid to use untyped OOP, unlike Alan Kay. |
2022-09-09 01:48:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 01:49:24 +0200 | <monochrom> | Everything Alan Kay says about the benefits of his way requires a programmer as smart as him, otherwise it wouldn't work. |
2022-09-09 01:51:00 +0200 | <darkling> | hpc: At the time, I was doing some things that looked like distributed systems, so Erlang was a good choice. Haskell and Lisp were the other options, but I've never found a Lisp tutorial I liked, and Haskell didn't fit with the CSP/Actor/multiprocess stuff going on in my life at the time. |
2022-09-09 01:51:53 +0200 | <darkling> | I still need to spend a couple of years on Haskell to work out where I am, but it resonates. :) |
2022-09-09 01:52:00 +0200 | <hpc> | yeah, i have found the best way to write lisp is like you're just writing haskell instead |
2022-09-09 01:52:59 +0200 | <darkling> | (In other news, I had a slightly embarrasssing moment in the rum bar this evening, where I mis-heard "Haskell" as "Pascal") |
2022-09-09 01:53:19 +0200 | <hpc> | i noticed after a few years of haskell that i got really good at noticing the patterns of things in other languages |
2022-09-09 01:53:29 +0200 | <hpc> | like that async is a monad joke, but for real |
2022-09-09 01:53:35 +0200 | <darkling> | ROFL |
2022-09-09 01:53:45 +0200 | <darkling> | async is appalling. |
2022-09-09 01:54:04 +0200 | <hpc> | it's fine |
2022-09-09 01:54:32 +0200 | <hpc> | you just have to understand that it's baked into $language, and they don't have a generic facility for monads so they have to pick and choose the best ones for syntax |
2022-09-09 01:54:42 +0200 | <darkling> | But yes, even with my minimal Haskell, I can kind of see where the theory is trying to unify things. |
2022-09-09 01:54:48 +0200 | <hpc> | like rust's ? syntax |
2022-09-09 01:55:53 +0200 | <darkling> | My approach so far is to write things as I see them from JS/Python/Erlang and then generalise to the algebras that are made explicit in Haskell. |
2022-09-09 01:56:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 01:57:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7fec:5b1f:15d9:87be) |
2022-09-09 01:57:58 +0200 | <darkling> | (Where I can see them) |
2022-09-09 01:58:27 +0200 | <jackdk> | I remain fascinated by Erlang, but have not had reason to dig into it. Alas. |
2022-09-09 01:58:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-09-09 01:58:37 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-09 01:58:51 +0200 | <darkling> | The CSP/Actor thing is quite attractive. |
2022-09-09 01:59:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 01:59:21 +0200 | <darkling> | I'm glad I found it before Haskell. |
2022-09-09 01:59:52 +0200 | <darkling> | As I see it, there's a profound thread of pragmatism running through Erlang, |
2022-09-09 02:00:06 +0200 | <jackdk> | The original Armstrong thesis is a goldmine |
2022-09-09 02:00:21 +0200 | <darkling> | compared to the elegant theoretical viewpoint of Haskell. |
2022-09-09 02:00:56 +0200 | <darkling> | Both are valuable, but (personally) if I'd hit Haskell first, I'd have lost the pragmatism. |
2022-09-09 02:01:03 +0200 | <hpc> | darkling: have you ever tried perl? |
2022-09-09 02:01:37 +0200 | <darkling> | I was a maintainer of a 140kloc MMORPG written in perl, about 15 years ago. :)/ |
2022-09-09 02:01:46 +0200 | <hpc> | nice |
2022-09-09 02:02:07 +0200 | <hpc> | every language should pick a thing to do as well as perl does strings |
2022-09-09 02:02:30 +0200 | <darkling> | My Haskell goal is to write the successor to that. :) |
2022-09-09 02:04:36 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-09-09 02:04:47 +0200 | <darkling> | Aaah, /feurque/, I need to check out of this hotel in 10 hours. Ta-ta, one and all. |
2022-09-09 02:04:56 +0200 | notzmv | (~zmv@user/notzmv) |
2022-09-09 02:05:25 +0200 | <jackdk> | darkling: Awesome on many levels. However, I just went "15 years ago? So, like, a MUD?" and now I'm going to sulk about how old I am. |
2022-09-09 02:05:40 +0200 | <geekosaur> | heh |
2022-09-09 02:05:59 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
2022-09-09 02:06:24 +0200 | <hpc> | jackdk: !! i did the same thing |
2022-09-09 02:06:30 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds) |
2022-09-09 02:06:55 +0200 | <hpc> | 15 years ago, wow was already old |
2022-09-09 02:06:57 +0200 | <darkling> | jackdk: Web-based. It's still occasionally up. |
2022-09-09 02:07:41 +0200 | <jackdk> | I remember not seeing my friends for months when WoW first came out, because they all got on and I didn't. |
2022-09-09 02:07:42 +0200 | <darkling> | ... although not right now, apparently. I should talk to Andy more often. |
2022-09-09 02:07:54 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-09-09 02:08:03 +0200 | beteigeuze | (~Thunderbi@89.187.168.238) (Ping timeout: 244 seconds) |
2022-09-09 02:09:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-09-09 02:12:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 02:13:20 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-09 02:15:25 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 02:24:59 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
2022-09-09 02:28:19 +0200 | cowboy8625 | (~cowboy@64.68.179.149) (Quit: WeeChat 3.5) |
2022-09-09 02:29:06 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-09 02:45:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-09 02:48:30 +0200 | luffy | (~chenqisu1@183.217.201.192) |
2022-09-09 02:50:23 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-09 02:56:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-09 02:59:06 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-09 03:01:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Client Quit) |
2022-09-09 03:03:06 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-09-09 03:03:08 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-09 03:04:50 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2022-09-09 03:07:52 +0200 | zaquest | (~notzaques@5.130.79.72) |
2022-09-09 03:08:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7fec:5b1f:15d9:87be) (Ping timeout: 260 seconds) |
2022-09-09 03:08:32 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
2022-09-09 03:08:42 +0200 | tom | (~chenqisu1@183.217.201.192) |
2022-09-09 03:10:06 +0200 | tom | Guest4641 |
2022-09-09 03:11:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-09-09 03:11:18 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds) |
2022-09-09 03:17:12 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-09-09 03:18:06 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-09-09 03:18:43 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-09 03:20:39 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
2022-09-09 03:29:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-09-09 03:29:42 +0200 | megaTherion_ | (~therion@unix.io) |
2022-09-09 03:30:12 +0200 | fr33domlover[m] | (~fr33domlo@2001:470:69fc:105::1:3bb6) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 248 seconds) |
2022-09-09 03:30:12 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | TravisAthougies[ | (~tathougie@2001:470:69fc:105::2:6fbd) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | aviladev[m] | (~aviladevm@2001:470:69fc:105::1:cbc7) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | siraben | (~siraben@user/siraben) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | crazazy[m] | (~crazazyma@2001:470:69fc:105::2:6bd9) (Ping timeout: 248 seconds) |
2022-09-09 03:30:43 +0200 | megaTherion | (~therion@unix.io) (Ping timeout: 248 seconds) |
2022-09-09 03:31:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
2022-09-09 03:33:03 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 03:33:13 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (WeeChat 3.5) |
2022-09-09 03:33:18 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
2022-09-09 03:35:30 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 268 seconds) |
2022-09-09 03:35:31 +0200 | monadplus[m]1 | (~arnauabel@2001:470:69fc:105::2:6085) (Ping timeout: 268 seconds) |
2022-09-09 03:35:32 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (Ping timeout: 268 seconds) |
2022-09-09 03:35:32 +0200 | Artem[m]12 | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 268 seconds) |
2022-09-09 03:35:32 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (Ping timeout: 268 seconds) |
2022-09-09 03:36:07 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 268 seconds) |
2022-09-09 03:38:38 +0200 | megaTherion_ | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 03:39:42 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 264 seconds) |
2022-09-09 03:39:42 +0200 | monadplus[m] | (~monadplus@2001:470:69fc:105::2:5fa2) (Ping timeout: 264 seconds) |
2022-09-09 03:40:34 +0200 | megaTherion | (~therion@unix.io) |
2022-09-09 03:41:34 +0200 | sm1 | (~sm@plaintextaccounting/sm) |
2022-09-09 03:43:53 +0200 | razetime | (~quassel@117.254.34.220) |
2022-09-09 03:44:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 03:50:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2022-09-09 03:51:01 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
2022-09-09 03:51:24 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
2022-09-09 03:51:30 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
2022-09-09 03:51:37 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-37.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 03:51:53 +0200 | sander | (~sander@user/sander) |
2022-09-09 03:51:56 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-37.dsl.bell.ca) |
2022-09-09 03:52:00 +0200 | bgamari | (~bgamari@64.223.132.120) (Ping timeout: 268 seconds) |
2022-09-09 03:52:02 +0200 | <Clinton[m]> | is there a `readEither` function for `Text`, that dispatches like `Read` based on target class? I know I can go though `String` but breaking something into a linked list of characters first seems rather round about way of doing things. |
2022-09-09 03:52:04 +0200 | Teacup_ | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
2022-09-09 03:52:20 +0200 | <Clinton[m]> | s/round/roundabout/, s/about// |
2022-09-09 03:52:21 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
2022-09-09 03:53:10 +0200 | Me-me | (~me-me@v.working.name) |
2022-09-09 03:53:10 +0200 | Me-me | (~me-me@v.working.name) (Changing host) |
2022-09-09 03:53:10 +0200 | Me-me | (~me-me@user/me-me) |
2022-09-09 03:53:11 +0200 | cross_ | (~cross@spitfire.i.gajendra.net) (Ping timeout: 252 seconds) |
2022-09-09 03:53:15 +0200 | Teacup | (~teacup@user/teacup) |
2022-09-09 03:54:23 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
2022-09-09 03:55:19 +0200 | OpenSource | (~kernel@user/OpenSource) |
2022-09-09 03:55:48 +0200 | bgamari | (~bgamari@64.223.132.120) |
2022-09-09 03:55:54 +0200 | UNIX | (~kernel@user/OpenSource) (Ping timeout: 264 seconds) |
2022-09-09 03:57:36 +0200 | nij- | (~jin@2600:1700:5ac0:8520:31cf:b7a1:e61b:d7d7) |
2022-09-09 03:58:21 +0200 | <nij-> | In FP, theoretically, we only care about compositions of functions. Something like |
2022-09-09 03:58:28 +0200 | <nij-> | f5(f4(f3(f2(f1(f0(x)))))) |
2022-09-09 03:58:41 +0200 | <nij-> | However, what if each fi takes a LONG time to compute? |
2022-09-09 03:58:56 +0200 | <nij-> | Even if it's a pure function, I cannot help but saving its result somewhere and then proceed. |
2022-09-09 04:01:14 +0200 | <pavonia> | Are you talking about saving results to disk and continue evaluation at a later time? |
2022-09-09 04:01:59 +0200 | <nij-> | Or to memory with a name (e.g. variable or memoized function) |
2022-09-09 04:02:43 +0200 | fr33domlover[m] | (~fr33domlo@2001:470:69fc:105::1:3bb6) |
2022-09-09 04:03:35 +0200 | <drlkf> | Clinton[m]: the Read typeclass is purely based on String so i doubt you can avoid going through this type |
2022-09-09 04:05:05 +0200 | <pavonia> | nij-: What problems do you see with splitting long expression into smaller pieces using variables? It doesn't introduce side effects or so |
2022-09-09 04:05:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-09 04:06:12 +0200 | <nij-> | It doesn't count as side effects if I store the value in a variable that is later callable by some other functions? |
2022-09-09 04:06:59 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 04:07:38 +0200 | root4 | (~root@ec2-107-22-56-196.compute-1.amazonaws.com) |
2022-09-09 04:07:51 +0200 | <pavonia> | No |
2022-09-09 04:08:39 +0200 | <pavonia> | The point is, function will not be able to alter the value of that variable |
2022-09-09 04:10:44 +0200 | root4 | hippoid |
2022-09-09 04:14:12 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
2022-09-09 04:14:15 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2022-09-09 04:16:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-09 04:17:06 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) |
2022-09-09 04:18:12 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2022-09-09 04:20:08 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-09 04:20:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 04:21:16 +0200 | <qrpnxz> | do you guys know of any situation where it's ever advantagous to implement `mapM` directly? Any example instance? |
2022-09-09 04:21:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 04:27:02 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-09-09 04:30:39 +0200 | nij- | (~jin@2600:1700:5ac0:8520:31cf:b7a1:e61b:d7d7) (Ping timeout: 244 seconds) |
2022-09-09 04:37:33 +0200 | td_ | (~td@muedsl-82-207-238-024.citykom.de) (Ping timeout: 252 seconds) |
2022-09-09 04:39:31 +0200 | td_ | (~td@94.134.91.37) |
2022-09-09 04:47:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: leaving) |
2022-09-09 04:48:44 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 244 seconds) |
2022-09-09 04:48:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-09-09 04:48:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 04:50:35 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-09 04:50:49 +0200 | khumba | (~khumba@user/khumba) |
2022-09-09 04:51:28 +0200 | notzmv | (~zmv@user/notzmv) |
2022-09-09 04:53:42 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2022-09-09 04:59:25 +0200 | johnjaye | (~pi@173.209.64.74) |
2022-09-09 04:59:53 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2022-09-09 05:01:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-09 05:01:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 05:01:37 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
2022-09-09 05:02:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 05:02:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 05:05:32 +0200 | TravisAthougies[ | (~tathougie@2001:470:69fc:105::2:6fbd) |
2022-09-09 05:11:21 +0200 | <dolio> | qrpnxz: It's sometimes possible to use less stack in mapM. However, it's questionable how much that matters. |
2022-09-09 05:12:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 05:12:19 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
2022-09-09 05:13:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 05:13:17 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2022-09-09 05:13:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 05:13:47 +0200 | aviladev[m] | (~aviladevm@2001:470:69fc:105::1:cbc7) |
2022-09-09 05:13:48 +0200 | johnjaye | (~pi@173.209.64.74) |
2022-09-09 05:18:59 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 248 seconds) |
2022-09-09 05:19:03 +0200 | <pareto-optimal-d> | Why does my conduit only return one item in the list? `runConduit $ sequenceSources [ yieldMany [ Left ()], yieldMany [ Right "a", Right "b" ]] .| concat .| (awaitForever $ \x -> case x of Left () -> liftIO (putStrLn "hi"); Right _ -> yield x) .| printC` |
2022-09-09 05:19:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 05:20:05 +0200 | johnjaye | (~pi@173.209.64.74) |
2022-09-09 05:20:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-09 05:21:17 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 05:23:09 +0200 | crazazy[m] | (~crazazyma@2001:470:69fc:105::2:6bd9) |
2022-09-09 05:25:53 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
2022-09-09 05:26:25 +0200 | johnjaye | (~pi@173.209.64.74) |
2022-09-09 05:27:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
2022-09-09 05:28:01 +0200 | jargon | (~jargon@184.101.185.66) (Ping timeout: 244 seconds) |
2022-09-09 05:29:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 05:30:20 +0200 | jargon | (~jargon@184.101.66.251) |
2022-09-09 05:30:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 05:31:05 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 05:31:23 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2022-09-09 05:31:25 +0200 | <pareto-optimal-d> | <pareto-optimal-d> "Why does my conduit only..." <- context: https://github.com/domdere/cassava-conduit/issues/30 |
2022-09-09 05:31:34 +0200 | phma_ | (~phma@host-67-44-209-14.hnremote.net) |
2022-09-09 05:32:03 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
2022-09-09 05:32:49 +0200 | johnjaye | (~pi@173.209.64.74) |
2022-09-09 05:34:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 05:34:58 +0200 | matthewm_ | (~matthewmo@173.170.253.91) |
2022-09-09 05:34:58 +0200 | phma | (~phma@2001:5b0:212a:e868:2573:b9fa:6d3a:88fa) (Ping timeout: 240 seconds) |
2022-09-09 05:36:57 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
2022-09-09 05:37:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
2022-09-09 05:40:36 +0200 | phma_ | phma |
2022-09-09 05:41:57 +0200 | ddellacosta | (~ddellacos@static-198-44-136-38.cust.tzulo.com) (Ping timeout: 244 seconds) |
2022-09-09 05:46:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2022-09-09 05:48:02 +0200 | matthewm_ | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 05:48:13 +0200 | <johnjaye> | what is a "top-level declaration" in haskell |
2022-09-09 05:48:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-09-09 05:48:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
2022-09-09 05:49:57 +0200 | <monochrom> | Like when your declaration is not nested inside an outer one. |
2022-09-09 05:50:43 +0200 | <johnjaye> | ok. i was writing hello world and i noticed if i did 'main putStrLn "hello world"' i got that error |
2022-09-09 05:51:02 +0200 | <johnjaye> | so it seems to be a general error |
2022-09-09 05:51:28 +0200 | <johnjaye> | i.e. expected import, module header, or top-level declaration |
2022-09-09 05:52:20 +0200 | <dolio> | If you typed in exactly what you quoted, it's missing an = |
2022-09-09 05:52:43 +0200 | <johnjaye> | right. i'm more trying to figure out what the error messages mean. since i read they are very specific in haskell |
2022-09-09 05:53:03 +0200 | <johnjaye> | is every haskell program expected to be imports followed by declarations? |
2022-09-09 05:53:19 +0200 | <monochrom> | For hello world there needs no import. |
2022-09-09 05:53:39 +0200 | <johnjaye> | ok. but the main = ... part is a declaration, right |
2022-09-09 05:53:45 +0200 | <monochrom> | Yes. |
2022-09-09 05:53:54 +0200 | <johnjaye> | are all haskell programs declarations |
2022-09-09 05:54:38 +0200 | <monochrom> | Not sure where we're going with this, but sure. |
2022-09-09 05:56:13 +0200 | <johnjaye> | ok. |
2022-09-09 05:56:46 +0200 | <johnjaye> | nowhere lol. i'm deleting characters from hello world and seeing what the error messages are |
2022-09-09 05:56:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 05:57:08 +0200 | <johnjaye> | right now when i mispell putStrLn it reports this as a wrong variable, not a wrong function. interesting |
2022-09-09 05:58:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-09 05:59:06 +0200 | <johnjaye> | the white space handling is also pretty amazing |
2022-09-09 05:59:21 +0200 | <johnjaye> | i can write putStrLn"hello world" and ghc accepts that just fine |
2022-09-09 05:59:55 +0200 | <dolio> | The Haskell Report is even more amazing, unless it's been fixed. |
2022-09-09 06:01:10 +0200 | <dolio> | There are certain examples where it's specified to technically split up a word. |
2022-09-09 06:02:00 +0200 | <johnjaye> | is that the official language spec from 98 |
2022-09-09 06:02:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 06:02:34 +0200 | <dolio> | Something like `let impor x y = x + y ; t = 5 in import 4` evaluates to 9. |
2022-09-09 06:03:00 +0200 | <dolio> | Yeah. |
2022-09-09 06:03:18 +0200 | <johnjaye> | meaning import gets recognized? @_@ |
2022-09-09 06:03:52 +0200 | <dolio> | import is a reserved word, so that would be illegal, and it's possible to read the report as saying that it should instead tokenize as `impor t 4`. |
2022-09-09 06:04:10 +0200 | <dolio> | GHC doesn't implement that, though, because it's ridiculous. |
2022-09-09 06:04:17 +0200 | <johnjaye> | i see |
2022-09-09 06:04:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-09 06:04:44 +0200 | <johnjaye> | i guess i can't take this thought experiment much farther |
2022-09-09 06:04:59 +0200 | <johnjaye> | because if i random *add* characters instead of deleting them i would get the same types of error |
2022-09-09 06:05:18 +0200 | <johnjaye> | e.g. complaining there's no main if instead it's amain or bmain |
2022-09-09 06:06:47 +0200 | <dolio> | It's possible to tell the compiler to look for another name. |
2022-09-09 06:07:03 +0200 | <johnjaye> | oh ok |
2022-09-09 06:07:22 +0200 | <johnjaye> | i guess in general though when i think of typical syntax errors you'd make in a program, usually it's omitting a character |
2022-09-09 06:07:25 +0200 | <johnjaye> | like a missing " or ; |
2022-09-09 06:07:39 +0200 | <johnjaye> | or like mispelling a name |
2022-09-09 06:08:51 +0200 | <johnjaye> | well at least i got to see a few types of errors |
2022-09-09 06:09:08 +0200 | <johnjaye> | whenever i learn a new language i always try to make simple syntax errors just to get a rough idea of the compiler-speak |
2022-09-09 06:09:37 +0200 | siraben | (~siraben@user/siraben) |
2022-09-09 06:09:38 +0200 | <johnjaye> | e.g. omitting the last " gives an error about a lexical error in a string/character literal |
2022-09-09 06:10:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
2022-09-09 06:17:10 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-09 06:17:10 +0200 | jinsun | Guest8038 |
2022-09-09 06:17:10 +0200 | jinsun__ | jinsun |
2022-09-09 06:17:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 06:20:03 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-09 06:20:03 +0200 | jinsun | Guest2313 |
2022-09-09 06:20:03 +0200 | jinsun__ | jinsun |
2022-09-09 06:20:12 +0200 | Guest8038 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
2022-09-09 06:20:28 +0200 | jargon | (~jargon@184.101.66.251) (Remote host closed the connection) |
2022-09-09 06:20:51 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 248 seconds) |
2022-09-09 06:21:18 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
2022-09-09 06:23:18 +0200 | Guest2313 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
2022-09-09 06:26:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 06:30:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 06:31:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 06:31:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 06:32:40 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
2022-09-09 06:33:01 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
2022-09-09 06:43:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-09-09 06:43:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 06:43:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-09 06:43:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 06:44:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 06:45:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 06:45:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 06:59:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 07:01:27 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
2022-09-09 07:13:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-09 07:14:13 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 07:15:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-09-09 07:15:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-09 07:16:11 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 07:18:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 07:22:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 07:22:43 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
2022-09-09 07:22:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 07:24:08 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
2022-09-09 07:24:49 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-09 07:29:38 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
2022-09-09 07:37:43 +0200 | OpenSource | UNIX |
2022-09-09 07:42:21 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-09 07:44:55 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds) |
2022-09-09 07:45:47 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2022-09-09 07:49:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 07:54:49 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 07:54:50 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-09 08:02:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-09-09 08:04:27 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-09 08:04:31 +0200 | <dminuoso> | pareto-optimal-d: Check the documentation on https://hackage.haskell.org/package/conduit-1.3.4.2/docs/Data-Conduit.html#v:sequenceSources |
2022-09-09 08:05:15 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-09-09 08:05:48 +0200 | <dminuoso> | pareto-optimal-d: You might have meant sequence_ rather. |
2022-09-09 08:07:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-09 08:08:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 08:10:21 +0200 | Guest4641 | (~chenqisu1@183.217.201.192) (Ping timeout: 260 seconds) |
2022-09-09 08:13:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 08:28:05 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
2022-09-09 08:28:23 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
2022-09-09 08:30:27 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
2022-09-09 08:34:34 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-09-09 08:35:00 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2022-09-09 08:37:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 08:37:37 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
2022-09-09 08:40:30 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-09 08:41:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 08:44:41 +0200 | <dminuoso> | I want to write a very tight loop with an unboxed counter. `f :: Int# -> Int#`, what's the right way to test whether the argument has reached a given size? |
2022-09-09 08:46:44 +0200 | <dminuoso> | Something like `f x | x <# l = ...` does not work because <# produces an Int# rather than a Bool |
2022-09-09 08:47:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-09 08:48:06 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-09-09 08:48:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 08:48:59 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
2022-09-09 08:49:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 08:50:09 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-09 08:54:13 +0200 | <dolio> | You can do `f x | 1# <- x <# l = ...` |
2022-09-09 08:55:51 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
2022-09-09 08:55:56 +0200 | <dolio> | Writing things like this is not really necessary, though. |
2022-09-09 08:57:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 08:59:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:440d:4ed2:71b:8541) |
2022-09-09 08:59:27 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2022-09-09 09:05:45 +0200 | akegalj | (~akegalj@cpe-94-253-207-1.zg2.cable.xnet.hr) |
2022-09-09 09:06:27 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-09-09 09:12:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 09:12:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 09:13:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 09:16:23 +0200 | Guest47 | (~Guest47@2001:8f8:1b27:41d8:1db1:cc01:833a:325c) |
2022-09-09 09:19:17 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
2022-09-09 09:20:32 +0200 | Guest47 | (~Guest47@2001:8f8:1b27:41d8:1db1:cc01:833a:325c) (Quit: Client closed) |
2022-09-09 09:20:39 +0200 | ccntrq | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) |
2022-09-09 09:22:50 +0200 | twb | (~twb@203.7.155.73) |
2022-09-09 09:23:24 +0200 | ccntrq1 | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) |
2022-09-09 09:23:44 +0200 | <twb> | This might be too OT, but... I'm trying to find where in the _login HTML is in https://github.com/jgm/gitit |
2022-09-09 09:24:02 +0200 | <twb> | I want to change <input type=password> to <input type=hidden value=fake-password1234> |
2022-09-09 09:24:27 +0200 | <dminuoso> | dolio: Ah I think I figured out the official GHC way: tagToEnum# (and specialized ifTrue#) |
2022-09-09 09:24:42 +0200 | <dminuoso> | so something like `f x | ifTrue# (x <# l) = ...` |
2022-09-09 09:25:01 +0200 | ccntrq | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Ping timeout: 252 seconds) |
2022-09-09 09:25:01 +0200 | ccntrq1 | ccntrq |
2022-09-09 09:26:02 +0200 | billykv | (~billy@86.99.96.142) |
2022-09-09 09:26:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 09:27:11 +0200 | <twb> | I think it's this bit? https://github.com/jgm/gitit/blob/e27bd3ff684d8e864f2b04d22bbfc1810ec74967/src/Network/Gitit/Authe… |
2022-09-09 09:27:44 +0200 | billykv | (~billy@86.99.96.142) (Quit: leaving) |
2022-09-09 09:28:12 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-09-09 09:28:30 +0200 | <[exa]> | twb: looks like it, yes |
2022-09-09 09:29:18 +0200 | <twb> | Thanks |
2022-09-09 09:29:33 +0200 | billy_ | (~billy@86.99.96.142) |
2022-09-09 09:29:35 +0200 | <twb> | Most of the rest is done via templates, but this one... apparently needs the .hs to be recompiled :/ |
2022-09-09 09:29:47 +0200 | <[exa]> | like, the easiest way is to change it a bit and check in a browser if it changed the right part :D |
2022-09-09 09:29:50 +0200 | billy_ | (~billy@86.99.96.142) (Client Quit) |
2022-09-09 09:30:26 +0200 | <twb> | Yeah I didn't feel like sitting through a full ghc :-) |
2022-09-09 09:30:30 +0200 | <[exa]> | login code might be a bit too critical to be offloaded to templates (and borked by users) |
2022-09-09 09:30:43 +0200 | <twb> | [exa]: indeed - I suspect exactly that |
2022-09-09 09:30:45 +0200 | <[exa]> | shouldn't be that long imo |
2022-09-09 09:30:48 +0200 | frost | (~frost@user/frost) |
2022-09-09 09:31:24 +0200 | <twb> | well gitit sits on top of pandoc which has to download all these "kate" syntax highlighting templates which -- last time -- took like 1GB of space |
2022-09-09 09:31:34 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-09 09:31:46 +0200 | <[exa]> | ah pandoc, yes, okay. |
2022-09-09 09:31:49 +0200 | <twb> | I haven't done haskell since the Standard Platform was invented so maybe it is different no w:-) |
2022-09-09 09:32:02 +0200 | billy_ | (~billy@86.99.96.142) |
2022-09-09 09:32:04 +0200 | billy_ | (~billy@86.99.96.142) (Client Quit) |
2022-09-09 09:32:08 +0200 | <twb> | I think you can opt-out of kate with cabal use flags |
2022-09-09 09:32:15 +0200 | <twb> | Aaaanyway |
2022-09-09 09:32:16 +0200 | son0p | (~ff@181.136.122.143) |
2022-09-09 09:32:17 +0200 | <[exa]> | I thought they invested into making pandoc a bit more sane, yes |
2022-09-09 09:34:50 +0200 | billykv | (~billykv@86.99.96.142) |
2022-09-09 09:35:19 +0200 | billykv | (~billykv@86.99.96.142) (Client Quit) |
2022-09-09 09:36:58 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 240 seconds) |
2022-09-09 09:41:02 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-09-09 09:42:29 +0200 | nahcetan | (~nate@98.45.169.16) |
2022-09-09 09:44:49 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-09 09:45:09 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 09:45:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 09:47:17 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-09-09 09:49:19 +0200 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) |
2022-09-09 09:52:30 +0200 | jinsun | Guest1874 |
2022-09-09 09:52:31 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-09-09 09:52:31 +0200 | Guest1874 | (~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services))) |
2022-09-09 09:52:31 +0200 | jinsun__ | jinsun |
2022-09-09 09:56:15 +0200 | nschoe | (~quassel@178.251.84.79) |
2022-09-09 09:58:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 10:02:25 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
2022-09-09 10:04:06 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-09 10:04:20 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2022-09-09 10:04:50 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-09-09 10:06:58 +0200 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) (Quit: Leaving) |
2022-09-09 10:08:24 +0200 | fserucas|EoD | (~fserucas|@89.214.127.144) |
2022-09-09 10:15:47 +0200 | MoC | (~moc@user/moc) |
2022-09-09 10:16:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 10:17:31 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:6307:f534:81e2:947) |
2022-09-09 10:21:14 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2022-09-09 10:21:39 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2022-09-09 10:24:37 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 10:25:06 +0200 | coot | (~coot@213.134.176.158) |
2022-09-09 10:26:45 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-09 10:29:15 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Remote host closed the connection) |
2022-09-09 10:29:22 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-09 10:29:39 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 10:36:45 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-09 10:36:53 +0200 | nilradic_ | (~nilradica@user/naso) |
2022-09-09 10:37:55 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
2022-09-09 10:38:51 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
2022-09-09 10:39:13 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
2022-09-09 10:44:50 +0200 | <dminuoso> | Mmm, unboxed gives me more headache that this might really be worth it. |
2022-09-09 10:45:05 +0200 | <dminuoso> | Is there a way to specify Word8# literals? |
2022-09-09 10:45:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 10:45:28 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-09 10:45:41 +0200 | akegalj | (~akegalj@cpe-94-253-207-1.zg2.cable.xnet.hr) (Ping timeout: 252 seconds) |
2022-09-09 10:47:05 +0200 | __monty__ | (~toonn@user/toonn) |
2022-09-09 10:49:09 +0200 | chele | (~chele@user/chele) |
2022-09-09 10:49:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 10:52:23 +0200 | luffy | (~chenqisu1@183.217.201.192) |
2022-09-09 10:58:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-09 10:59:17 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
2022-09-09 11:00:17 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Quit: You have been kicked for being idle) |
2022-09-09 11:01:14 +0200 | nilradic_ | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-09 11:01:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 11:02:36 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-09 11:03:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 11:03:25 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
2022-09-09 11:05:14 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
2022-09-09 11:05:19 +0200 | FragByte | (~christian@user/fragbyte) |
2022-09-09 11:07:08 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
2022-09-09 11:07:31 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
2022-09-09 11:07:37 +0200 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
2022-09-09 11:08:07 +0200 | Philonous | (~Philonous@user/philonous) |
2022-09-09 11:11:14 +0200 | akegalj | (~akegalj@93-139-146-68.adsl.net.t-com.hr) |
2022-09-09 11:18:54 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-09 11:19:48 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 11:20:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 11:22:26 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
2022-09-09 11:23:19 +0200 | <AndreasK> | I don't think so. |
2022-09-09 11:24:47 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-09-09 11:26:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 11:30:11 +0200 | akegalj | (~akegalj@93-139-146-68.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
2022-09-09 11:30:12 +0200 | smol-hors | (sid524992@smol/hors) |
2022-09-09 11:30:19 +0200 | akegalj_ | (~akegalj@93-139-146-68.adsl.net.t-com.hr) |
2022-09-09 11:31:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-09 11:38:21 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2022-09-09 11:39:37 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-09 11:39:56 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-09-09 11:41:11 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-09 11:45:56 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
2022-09-09 11:50:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 11:51:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 11:52:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-09 11:54:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
2022-09-09 11:56:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-09 11:57:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 11:59:57 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
2022-09-09 12:01:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2022-09-09 12:02:43 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
2022-09-09 12:03:54 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-09 12:04:15 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
2022-09-09 12:05:52 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-09 12:06:02 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-09 12:08:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 12:19:06 +0200 | monadplus[m]1 | (~arnauabel@2001:470:69fc:105::2:6085) |
2022-09-09 12:21:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 12:22:02 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 12:24:47 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-09 12:29:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 12:29:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-09 12:31:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 12:31:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 12:32:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 12:34:43 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-09-09 12:36:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2022-09-09 12:39:10 +0200 | thyriaen | (~thyriaen@2a02:8109:8340:686c:9288:a09f:e70d:853f) |
2022-09-09 12:39:20 +0200 | kaptch | (~user@212.58.121.169) (Read error: Connection reset by peer) |
2022-09-09 12:40:16 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Remote host closed the connection) |
2022-09-09 12:41:57 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-09-09 12:46:15 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2022-09-09 12:52:14 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-09 12:53:54 +0200 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
2022-09-09 12:53:54 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Write error: Connection reset by peer) |
2022-09-09 12:54:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 12:56:33 +0200 | <nshepperd2> | dminuoso: wasn't edwardk doing stuff with this |
2022-09-09 12:56:41 +0200 | <nshepperd2> | like https://github.com/ekmett/unboxed |
2022-09-09 12:58:39 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 258 seconds) |
2022-09-09 13:00:22 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
2022-09-09 13:02:23 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 13:07:08 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-09 13:12:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 13:16:41 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-09 13:17:45 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 13:18:37 +0200 | <dminuoso> | Interesting, I did not realize Num was polykinded |
2022-09-09 13:18:41 +0200 | <dminuoso> | % :k Num |
2022-09-09 13:18:41 +0200 | <yahb2> | Num :: * -> Constraint |
2022-09-09 13:18:47 +0200 | <dminuoso> | Mmm, looks mono-kinded to me |
2022-09-09 13:19:29 +0200 | <twb> | [exa]: FYI here is how I did it: https://github.com/trentbuck/gitit-bootstrap-theme/blob/debian/v0.1.0/debian/patches/cyber-disable… |
2022-09-09 13:19:42 +0200 | <twb> | It is Good EnoughTM for government work |
2022-09-09 13:19:49 +0200 | <dminuoso> | nshepperd2: but yeah interesting to look at thanks. Im not *that* desperate to warrant this package though. |
2022-09-09 13:25:20 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Remote host closed the connection) |
2022-09-09 13:25:42 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 13:25:55 +0200 | twb | (~twb@203.7.155.73) (Ping timeout: 244 seconds) |
2022-09-09 13:27:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 13:29:25 +0200 | lyle | (~lyle@104.246.145.85) |
2022-09-09 13:32:04 +0200 | <tomsmeding> | dminuoso: https://github.com/ekmett/unboxed/blob/main/internal/Unboxed/Internal/Class.hs#L147 |
2022-09-09 13:32:13 +0200 | <tomsmeding> | he redefined Num |
2022-09-09 13:32:31 +0200 | <dminuoso> | Ah okay that makes sense now |
2022-09-09 13:33:09 +0200 | <tomsmeding> | see also the juicy kind specialisation of the class directly below |
2022-09-09 13:33:15 +0200 | <dminuoso> | tomsmeding: By the way, my unboxed experience is growing: https://paste.tomsmeding.com/KCDL07fq |
2022-09-09 13:33:25 +0200 | <tomsmeding> | not enough # |
2022-09-09 13:33:33 +0200 | <dminuoso> | There *was* a lot more before. |
2022-09-09 13:35:03 +0200 | <dminuoso> | Im not entirely sure whether the construction of the Builder via nested function application is such a smart thing |
2022-09-09 13:35:08 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-09 13:35:27 +0200 | <tomsmeding> | dminuoso: you have this to live up to https://github.com/tmcdonell/lockfree-array-queue/blob/master/src/Data/Concurrent/Queue/Array/FAA.hs |
2022-09-09 13:36:00 +0200 | <dminuoso> | reallyUnsafePtrEquality# |
2022-09-09 13:36:06 +0200 | <dminuoso> | Neat name |
2022-09-09 13:37:24 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 13:37:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 13:38:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 13:41:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 13:41:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-09 13:42:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-09 13:42:50 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2022-09-09 13:44:09 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
2022-09-09 13:45:27 +0200 | <int-e> | well, it is unsafe. really. |
2022-09-09 13:45:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 13:46:04 +0200 | <tomsmeding> | I figured |
2022-09-09 13:46:17 +0200 | <int-e> | mostlyHarmlessPtrEquality, but that reference may be lost on younger people :P |
2022-09-09 13:46:41 +0200 | <tomsmeding> | as in, earthly pointer equality? |
2022-09-09 13:47:01 +0200 | <tomsmeding> | I actually have that book |
2022-09-09 13:47:07 +0200 | notzmv | (~zmv@user/notzmv) |
2022-09-09 13:47:11 +0200 | <int-e> | That's a bit too far. |
2022-09-09 13:47:15 +0200 | <int-e> | But yes. |
2022-09-09 13:48:07 +0200 | <tomsmeding> | the novel, that is, not the encyclopedia |
2022-09-09 13:48:27 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-09-09 13:48:40 +0200 | <int-e> | There's an encyclopedia? Hmm. I guess there was, but I never was interested. |
2022-09-09 13:49:11 +0200 | <tomsmeding> | I mean that the phrase in question was from the encyclopedia galactica, or what was it called, right? |
2022-09-09 13:49:37 +0200 | <int-e> | Yes. |
2022-09-09 13:49:39 +0200 | <dminuoso> | tomsmeding: The book? I have the 5-part trilogy as a leather-bound volume with gold edge. |
2022-09-09 13:49:43 +0200 | <int-e> | But I didn't follow :) |
2022-09-09 13:50:00 +0200 | <tomsmeding> | 5-part trilogy? |
2022-09-09 13:50:12 +0200 | <dminuoso> | Yes. A trilogy in five parts. |
2022-09-09 13:50:19 +0200 | <tomsmeding> | sounds fishy |
2022-09-09 13:51:05 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-09-09 13:51:05 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-09 13:51:20 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-09-09 13:53:19 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2022-09-09 13:55:23 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-09-09 13:55:35 +0200 | akegalj_ | (~akegalj@93-139-146-68.adsl.net.t-com.hr) (Quit: leaving) |
2022-09-09 13:55:40 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-09-09 13:57:27 +0200 | <dminuoso> | I wonder, why doesnt StateT use unboxed tuples? |
2022-09-09 13:58:10 +0200 | <Hecate> | dminuoso: I sent an email to Ross about the space leaks of State |
2022-09-09 13:58:15 +0200 | <Hecate> | never got an answer |
2022-09-09 13:58:43 +0200 | <Franciman> | are the space leak due to laziness misusage? |
2022-09-09 13:58:53 +0200 | <Franciman> | or because of some logic bug? |
2022-09-09 14:00:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-09 14:02:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 14:04:12 +0200 | <Hecate> | Franciman: laziness mis-use IIRC |
2022-09-09 14:04:32 +0200 | <Hecate> | Franciman: https://github.com/haskell-effectful/effectful/blob/master/transformers.md#controlmonadtranswriter… |
2022-09-09 14:04:35 +0200 | <Franciman> | thanks |
2022-09-09 14:04:39 +0200 | <Franciman> | yes that happens quite a lot |
2022-09-09 14:04:51 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 248 seconds) |
2022-09-09 14:05:07 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 268 seconds) |
2022-09-09 14:08:39 +0200 | <AndreasK> | dminuoso: GHCi used to not support unboxed tuples for example. So probably compability concerns with ghci and other compilers |
2022-09-09 14:08:56 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-09 14:10:51 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
2022-09-09 14:11:08 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Client Quit) |
2022-09-09 14:14:27 +0200 | Midjak | (~Midjak@82.66.147.146) |
2022-09-09 14:15:25 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
2022-09-09 14:17:20 +0200 | twb | (~twb@159-196-230-25.9fc4e6.mel.nbn.aussiebb.net) |
2022-09-09 14:17:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 14:19:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-09-09 14:20:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) |
2022-09-09 14:21:31 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-09 14:22:33 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
2022-09-09 14:23:50 +0200 | Successus | (~Successus@user/Successus) |
2022-09-09 14:25:38 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-09 14:26:41 +0200 | <dminuoso> | Ah I think I see a technical problem. `class Monad m` wouldn't allow for it as long as PolyKinds is disabled on that module. |
2022-09-09 14:26:41 +0200 | nschoe | (~quassel@178.251.84.79) |
2022-09-09 14:26:56 +0200 | <dminuoso> | Otherwise you couldn't write `instance Monad (StateT# m s)` |
2022-09-09 14:27:06 +0200 | <dminuoso> | I guess an unboxed non-transformer version could exist |
2022-09-09 14:27:45 +0200 | ShalokShalom | (~ShalokSha@mobiledyn-62-240-134-78.mrsn.at) |
2022-09-09 14:35:13 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
2022-09-09 14:35:39 +0200 | Pickchea | (~private@user/pickchea) |
2022-09-09 14:44:06 +0200 | ShalokShalom | (~ShalokSha@mobiledyn-62-240-134-78.mrsn.at) (Quit: Client closed) |
2022-09-09 14:47:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 14:49:26 +0200 | riverside | (~guyst@213.205.241.185) |
2022-09-09 14:49:44 +0200 | <riverside> | hi, i have quite a difficult function, im not sure how to define |
2022-09-09 14:49:55 +0200 | <riverside> | i have a type lengthed list i want to spllit over an arbitrary tuple |
2022-09-09 14:50:26 +0200 | <riverside> | i have implementations of take and chunksOf at type level |
2022-09-09 14:50:40 +0200 | <riverside> | but im not sure how to perform the recursion for the arbitrary tuple |
2022-09-09 14:51:15 +0200 | <riverside> | ill put together the code i have, hang on |
2022-09-09 14:51:47 +0200 | ccntrq | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) (Quit: ccntrq) |
2022-09-09 14:52:12 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-09-09 14:52:27 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2022-09-09 14:52:30 +0200 | <riverside> | fwiw the reason for it is because if i combine two functions that require list params |
2022-09-09 14:52:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2022-09-09 14:52:51 +0200 | <riverside> | then i need to be able to a tuple to patten match on |
2022-09-09 14:53:22 +0200 | <riverside> | so if i want all composite nets to take their params from a list, then i should first be able to tuple it |
2022-09-09 14:53:42 +0200 | <riverside> | the good thing is that type inference should allow the destination type to completely specify the computation |
2022-09-09 14:53:55 +0200 | <riverside> | the lengths in all the tuple positions |
2022-09-09 14:54:01 +0200 | twb | (~twb@159-196-230-25.9fc4e6.mel.nbn.aussiebb.net) (Killed buffer) |
2022-09-09 14:54:19 +0200 | <riverside> | im not sure if i should use a tree instead |
2022-09-09 14:54:36 +0200 | <riverside> | probably save having to write different instances for 3 tuples for example |
2022-09-09 14:54:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 14:54:59 +0200 | <riverside> | or at least i should provide the insteances for pairs |
2022-09-09 14:55:22 +0200 | <riverside> | sorry, i think i answered my own question by understanding the difficulty i was having conceptually was that there are many tuples |
2022-09-09 14:56:25 +0200 | <riverside> | basically, because of type lengthing, i can match on a lengthed list as if it were a tuple, knowing exactly how many elements it has |
2022-09-09 14:56:42 +0200 | merijn | dr_merijn |
2022-09-09 14:57:06 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
2022-09-09 14:57:39 +0200 | <riverside> | youd think that would be a kind of standard function |
2022-09-09 14:58:01 +0200 | <riverside> | its the inverse of tree catenation |
2022-09-09 14:58:27 +0200 | <riverside> | it exists with the lengthed list while it does not for the regular list |
2022-09-09 14:59:04 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
2022-09-09 14:59:51 +0200 | <riverside> | now im stuck because basically i need to unfold a tree, something a lack of type lengthing has never enabled |
2022-09-09 15:00:11 +0200 | <riverside> | i know i could traverse over it easily enough, and use the elngths encountered |
2022-09-09 15:00:35 +0200 | <riverside> | maybe better to do that at value level than to grapple with the full beast |
2022-09-09 15:01:29 +0200 | <riverside> | so i can generate a tree... er, or i need to fold from the right |
2022-09-09 15:02:21 +0200 | <riverside> | do i have to initialize a null tree and then map elements into it? i cant figure out how to unfold it |
2022-09-09 15:03:20 +0200 | <riverside> | i guess however i would end up implementing the "make a tree full of null leafs" would have the esesence of the recursion |
2022-09-09 15:03:35 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 244 seconds) |
2022-09-09 15:04:05 +0200 | <riverside> | kind of annoyed at having to use the traversable instance of type lengthed tree though |
2022-09-09 15:04:17 +0200 | <riverside> | means having to actually use the proper default machinery |
2022-09-09 15:05:08 +0200 | <riverside> | SO, asside from just rambling, i could ask at that point about making a library |
2022-09-09 15:05:14 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-09 15:05:20 +0200 | <riverside> | since is shows me at least that it would need both value and type level |
2022-09-09 15:05:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-09 15:06:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-09 15:06:23 +0200 | <riverside> | a few years back a couple of us tried various abstractions to express it |
2022-09-09 15:07:17 +0200 | <riverside> | recently, since i started working with length typing more, i realised fold and unfold are a special case of scanner |
2022-09-09 15:07:31 +0200 | <riverside> | with null outputs or null inputs respectively |
2022-09-09 15:07:55 +0200 | <riverside> | this unifies 3 lower order derived functions |
2022-09-09 15:08:25 +0200 | <riverside> | modulo handling some null lists |
2022-09-09 15:08:26 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 15:09:12 +0200 | <riverside> | particularly, having fold and unfold be basically the same except with different null list placements |
2022-09-09 15:09:23 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-09-09 15:09:23 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-09-09 15:09:57 +0200 | vglfr | (~vglfr@91.240.50.185) |
2022-09-09 15:10:05 +0200 | <riverside> | i guess then even map, which is slightly different by having a null basecase |
2022-09-09 15:10:22 +0200 | <riverside> | but yeah, having scanners as this central object |
2022-09-09 15:10:30 +0200 | <riverside> | that then sections into fold unfold and map |
2022-09-09 15:10:57 +0200 | <riverside> | so im mentioning because it really simplifies a previous attempt at an implementation/expression of the seti formalism |
2022-09-09 15:11:14 +0200 | <riverside> | since it used code duplication (the part we were having difficulty abstracting away) |
2022-09-09 15:12:49 +0200 | <riverside> | basically, its not apparent until you start working with lengthed lists where the empty list can represent null, distinguishable at type level (unlike list) |
2022-09-09 15:13:18 +0200 | <riverside> | that shows all these inputs *are* of the same datatype |
2022-09-09 15:13:52 +0200 | <riverside> | that nul inputs for sectioning scanners into maps folds and unfolds can simply be handled as lists, when they are type lengthed |
2022-09-09 15:14:26 +0200 | <riverside> | then, you *can* follow the same design pattern at value level, since the zero vectors are no more difficult to produce or match on |
2022-09-09 15:14:33 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-09 15:14:43 +0200 | <riverside> | only, then we cant say at type level that one of the input lists *has* to be empty the whole time |
2022-09-09 15:15:29 +0200 | <riverside> | essentially making map fold and unfold simply basecases! matching on the empty list.. well not actually basecase since they are never reached under recursion |
2022-09-09 15:16:17 +0200 | vglfr | (~vglfr@91.240.50.185) (Ping timeout: 252 seconds) |
2022-09-09 15:16:18 +0200 | <riverside> | and you cant specify the null output of fold by patten matching (empty) lists on inputs |
2022-09-09 15:16:24 +0200 | <riverside> | as* |
2022-09-09 15:17:15 +0200 | <riverside> | if we follow the lengthed list approach, the result at value level is something id have never have thought of |
2022-09-09 15:17:49 +0200 | <riverside> | and it solves a "cannonical formalism" debate which was, i dont think ever really "raging" in the haskell community |
2022-09-09 15:17:57 +0200 | <riverside> | but certainly took a lot of my time |
2022-09-09 15:18:03 +0200 | razetime | (~quassel@117.254.34.220) (Ping timeout: 244 seconds) |
2022-09-09 15:18:44 +0200 | <riverside> | a result valuble enough so i guess i dont actually have to finish my code, and can just go back to sleep and continue being poor forever! |
2022-09-09 15:18:57 +0200 | razetime | (~quassel@117.193.3.234) |
2022-09-09 15:21:19 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 15:21:20 +0200 | <riverside> | also! very nicely, it also gives us a strange form of argument length polymorphicity, but then you have to start using typed and not just lengthed lists -*if* you want argument type hetrogenity |
2022-09-09 15:22:34 +0200 | <riverside> | however, in my application, everything encountered is a list of doubles, as the "argument length polymorphic" functions are nets |
2022-09-09 15:23:21 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-09-09 15:23:25 +0200 | <riverside> | not requiering type hetroginaity and allowing for simple lengthd lists to be used |
2022-09-09 15:23:35 +0200 | <riverside> | i guess thats lucky |
2022-09-09 15:24:14 +0200 | <riverside> | but the point is the proper "concequential formalism" actually results from a consideration of the hetrogenus version |
2022-09-09 15:24:33 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
2022-09-09 15:24:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2022-09-09 15:24:57 +0200 | <riverside> | ie, map fold and unfold as sections of scanner by input argument number |
2022-09-09 15:25:35 +0200 | <riverside> | and it wouldnt have been obvious you would need any number of arguments, since the types are scary! |
2022-09-09 15:25:51 +0200 | <riverside> | so i guess i had to come at this from ML |
2022-09-09 15:26:11 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-09 15:26:13 +0200 | <riverside> | makes me wonder if anything im *actually* doing is *actually worth doing*... damn rabithole |
2022-09-09 15:26:39 +0200 | <riverside> | (worth it for me at least ...) |
2022-09-09 15:26:59 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds) |
2022-09-09 15:27:28 +0200 | <riverside> | can someone else at least write it up for me |
2022-09-09 15:28:31 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
2022-09-09 15:31:46 +0200 | <riverside> | having a dialect of haskell where you dont use whitespace to seperate arguments, but are forced to supply them in lists would shortcut this "rediscovery" process |
2022-09-09 15:32:11 +0200 | <riverside> | which is a weird but perhaps awesome motivation for a language feature |
2022-09-09 15:32:14 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-09 15:32:14 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-09 15:32:28 +0200 | <riverside> | that it unifies map fold unfold and scanner |
2022-09-09 15:33:18 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 15:33:20 +0200 | <riverside> | also then probably forching the language to properly contend with the representation of type polymorphic lists as a language aspect |
2022-09-09 15:33:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
2022-09-09 15:34:36 +0200 | <riverside> | and as its an "other than that, keep everything else the same" kind of thing, its not a bad language! just parses differently to haskell |
2022-09-09 15:34:43 +0200 | <riverside> | very easy to compile to haskell |
2022-09-09 15:35:41 +0200 | <riverside> | thought it could also work the other way round |
2022-09-09 15:35:59 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-09 15:36:00 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
2022-09-09 15:36:02 +0200 | <riverside> | weird cross expression of compilers at a duality on ommiting whitespace! |
2022-09-09 15:36:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 15:36:35 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2022-09-09 15:36:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-09-09 15:36:53 +0200 | <riverside> | probably users wouldnt like the "all your arguments have to go in one list!" style, but if it makes this central connction more succincly expressible then it might work as an intermediate language in compilation |
2022-09-09 15:37:02 +0200 | <riverside> | thought for that pupose its pretty terrible |
2022-09-09 15:37:28 +0200 | <riverside> | unless all the rest of it used these kind of core higher order functions enough to make it worth it |
2022-09-09 15:38:48 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 15:39:01 +0200 | <riverside> | basically then the comment is "if your making a core language, consider argument bunching, since it unifies streaming, and provides a set of higher order functions useful from within the rest of the (possibly not turing complete) intermediate language" |
2022-09-09 15:39:45 +0200 | <riverside> | "do you enjoy what you do?" |
2022-09-09 15:40:46 +0200 | <riverside> | which part of lisp didnt you understand! we need lisps god damnit!! |
2022-09-09 15:41:49 +0200 | <riverside> | tldr "can we have argument lists please" |
2022-09-09 15:42:22 +0200 | <riverside> | they say "no, youd have spent the whole time trying to map over them" |
2022-09-09 15:42:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 15:43:08 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2022-09-09 15:43:10 +0200 | <riverside> | and then they say something quite strange about needing pointers into them, and this causing speech defects |
2022-09-09 15:43:10 +0200 | ChanServ | +o geekosaur |
2022-09-09 15:43:15 +0200 | <riverside> | bye! |
2022-09-09 15:43:17 +0200 | <geekosaur> | that's enough |
2022-09-09 15:43:28 +0200 | fhn | (~fhn@p200300ef971835a3e1b13651e3e353a6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-09-09 15:45:21 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 260 seconds) |
2022-09-09 15:46:19 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
2022-09-09 15:46:32 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
2022-09-09 15:47:08 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-09 15:48:00 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
2022-09-09 15:48:21 +0200 | <riverside> | is it possible to write uncurryN using type annotated lists? |
2022-09-09 15:48:44 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
2022-09-09 15:49:20 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 15:50:11 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
2022-09-09 15:51:39 +0200 | <riverside> | id call it STAMA "haskell uncurried" |
2022-09-09 15:51:50 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-09 15:52:36 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-09 15:54:08 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 268 seconds) |
2022-09-09 15:57:16 +0200 | [-n3W7-] | (~q_q@user/-d0t-/x-7915216) |
2022-09-09 15:57:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 15:57:27 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
2022-09-09 15:57:43 +0200 | <[-n3W7-]> | ohai! Is there a manual somewhere on how to manually implement a Lens? I can't find anything useful from the first glance :( |
2022-09-09 15:58:05 +0200 | <dminuoso> | [-n3W7-]: You can use `lens` for starters |
2022-09-09 15:58:10 +0200 | <dminuoso> | https://hackage.haskell.org/package/lens-5.2/docs/Control-Lens-Combinators.html#v:lens |
2022-09-09 15:58:21 +0200 | Me-me | (~me-me@v.working.name) |
2022-09-09 15:59:05 +0200 | <[-n3W7-]> | oh.. wow. This feels embarassing a bit :D |
2022-09-09 15:59:08 +0200 | <[-n3W7-]> | Thank you! |
2022-09-09 16:03:55 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 16:04:32 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-09-09 16:04:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 16:04:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 16:04:55 +0200 | geekosaur | -o geekosaur |
2022-09-09 16:09:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:440d:4ed2:71b:8541) (Quit: WeeChat 2.8) |
2022-09-09 16:10:31 +0200 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
2022-09-09 16:11:04 +0200 | benin07 | (~benin@183.82.179.76) |
2022-09-09 16:11:46 +0200 | benin0 | (~benin@183.82.29.130) (Ping timeout: 244 seconds) |
2022-09-09 16:11:47 +0200 | benin07 | benin0 |
2022-09-09 16:12:21 +0200 | tcard | (~tcard@p2153203-ipngn15801hodogaya.kanagawa.ocn.ne.jp) |
2022-09-09 16:18:06 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2022-09-09 16:19:46 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-09-09 16:21:02 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-09-09 16:25:02 +0200 | mikoto-chan | (~mikoto-ch@2001:999:481:b15:fbe5:45f8:3d08:9a04) |
2022-09-09 16:25:07 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-09-09 16:25:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-09-09 16:27:48 +0200 | MoC | (~moc@user/moc) |
2022-09-09 16:27:58 +0200 | MoC | (~moc@user/moc) (Client Quit) |
2022-09-09 16:29:25 +0200 | tcard | (~tcard@p2153203-ipngn15801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 268 seconds) |
2022-09-09 16:30:30 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
2022-09-09 16:30:59 +0200 | Furor | (~colere@about/linux/staff/sauvin) (Ping timeout: 248 seconds) |
2022-09-09 16:32:15 +0200 | mikoto-chan | (~mikoto-ch@2001:999:481:b15:fbe5:45f8:3d08:9a04) (Read error: Connection reset by peer) |
2022-09-09 16:34:12 +0200 | tcard | (~tcard@p1094022-ipngn10701hodogaya.kanagawa.ocn.ne.jp) |
2022-09-09 16:35:32 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
2022-09-09 16:36:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 16:36:28 +0200 | tcard | (~tcard@p1094022-ipngn10701hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
2022-09-09 16:36:41 +0200 | tcard | (~tcard@p1094022-ipngn10701hodogaya.kanagawa.ocn.ne.jp) |
2022-09-09 16:36:47 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
2022-09-09 16:37:16 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-09-09 16:38:01 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
2022-09-09 16:40:35 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 248 seconds) |
2022-09-09 16:41:13 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2022-09-09 16:41:37 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
2022-09-09 16:41:51 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-09 16:42:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 16:44:02 +0200 | Lemniscate | (~colere@about/linux/staff/sauvin) |
2022-09-09 16:46:44 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-09 16:48:03 +0200 | Furor | (~colere@about/linux/staff/sauvin) (Ping timeout: 248 seconds) |
2022-09-09 16:48:56 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a50e9c025a809ee6133.dip0.t-ipconnect.de) |
2022-09-09 16:48:56 +0200 | acidjnk | (~acidjnk@p200300d6e7137a50e9c025a809ee6133.dip0.t-ipconnect.de) |
2022-09-09 16:49:53 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
2022-09-09 16:52:23 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
2022-09-09 16:53:46 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Client Quit) |
2022-09-09 17:01:41 +0200 | MoC | (~moc@user/moc) |
2022-09-09 17:03:01 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
2022-09-09 17:05:17 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-09 17:06:16 +0200 | Lemniscate | (~colere@about/linux/staff/sauvin) (Ping timeout: 268 seconds) |
2022-09-09 17:07:32 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
2022-09-09 17:12:46 +0200 | <c_wraith> | You can also just write one by hand. It's almost completely formulaic when you follow the types |
2022-09-09 17:16:35 +0200 | <[-n3W7-]> | c_wraith: `lens` worked just fine, thank you. I prefer abstaining from using lens altogether. This time I'm just fixing some broken code. |
2022-09-09 17:17:28 +0200 | <c_wraith> | so you don't use traverse or mapM either? |
2022-09-09 17:17:55 +0200 | <c_wraith> | .... ok, that was a little on the snarky side. But lens is the same idea as those functions. |
2022-09-09 17:18:34 +0200 | <[-n3W7-]> | c_wraith: lens the idea is. My problem is with lens the library. |
2022-09-09 17:19:05 +0200 | <geekosaur> | o.O |
2022-09-09 17:19:25 +0200 | <[-n3W7-]> | it feels like an entirely different language at times and not Haskell. Overall, to me it seems like a child of a solution in search of a problem and an overly complex attempt to plug the language deficiencies (kinda like Boost for C++) |
2022-09-09 17:20:06 +0200 | <geekosaur> | I think most of us feel the opposite: it's a more Haskelly way to fix things like records than e.g. RecordDotSyntax |
2022-09-09 17:20:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 17:20:50 +0200 | <[-n3W7-]> | Basically, I subscribe to ro-che's opinion about lens |
2022-09-09 17:20:51 +0200 | <[-n3W7-]> | https://ro-che.info/articles/2014-04-24-lens-unidiomatic |
2022-09-09 17:21:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 17:22:07 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 17:22:14 +0200 | <[-n3W7-]> | and since you mentioned RecordDotSyntax, my favorite thing about newcomers learning haskell is their first question often being "How come this advanced language still doesn't have normal records?" |
2022-09-09 17:22:25 +0200 | <[-n3W7-]> | And then I tell them about lens, and they often never come back |
2022-09-09 17:22:28 +0200 | <Rembane> | Historical reasons! :D |
2022-09-09 17:22:34 +0200 | <Rembane> | Hm... how is optics vs lens in this regard? |
2022-09-09 17:22:55 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
2022-09-09 17:23:11 +0200 | <[-n3W7-]> | I personally don't care, since my small mind panics when it sees more than two type parameters in a type. |
2022-09-09 17:23:59 +0200 | <[-n3W7-]> | that's why I prefer RecordDotSyntax and everything that comes with it. |
2022-09-09 17:24:21 +0200 | <[-n3W7-]> | If I wanted to implement anything and everything either myself or via some library, I'd use Common Lisp. |
2022-09-09 17:24:46 +0200 | <c_wraith> | oh hey. "backwards composition". I haven't heard that argument in ages. |
2022-09-09 17:25:12 +0200 | <c_wraith> | lenses don't compose backwards. Their type *explicitly* says that they transform a small modifier into a bigger modifier. |
2022-09-09 17:25:31 +0200 | <c_wraith> | they compose the same direction as everything else |
2022-09-09 17:26:03 +0200 | <c_wraith> | which makes sense, given that they use the same composition operator as everything else. |
2022-09-09 17:26:32 +0200 | <[-n3W7-]> | that's literally the least significant part of that argument :) |
2022-09-09 17:26:49 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-09 17:26:54 +0200 | <[-n3W7-]> | Not being able to even remotely tell what the code does by looking at types is much more important |
2022-09-09 17:26:58 +0200 | <EvanR> | lens was discovered not invented. You can tell |
2022-09-09 17:27:15 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 17:27:49 +0200 | <[-n3W7-]> | You can also tell that no other language has anything even remotely similar to lens. Probably because none is needed. |
2022-09-09 17:27:57 +0200 | <Rembane> | dr_merijn: Good evening! Have you been levelling up lately? |
2022-09-09 17:28:12 +0200 | <[-n3W7-]> | except maybe Perl and their weird OOP-in-a-library implementation. |
2022-09-09 17:28:42 +0200 | <c_wraith> | [-n3W7-]: but... why does that claim the type of "below" is unreadable? it's... trivial... |
2022-09-09 17:28:54 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 17:28:58 +0200 | <EvanR> | like you can hate lens if I can hate group theory |
2022-09-09 17:29:07 +0200 | <EvanR> | it kind of makes no sense argue with math |
2022-09-09 17:29:42 +0200 | <EvanR> | you can only take it or leave xD |
2022-09-09 17:29:42 +0200 | <[-n3W7-]> | c_wraith: more like abstract nonsense to me, honestly |
2022-09-09 17:29:48 +0200 | <EvanR> | it |
2022-09-09 17:29:52 +0200 | <c_wraith> | Like, there *are* unreadable types in lens |
2022-09-09 17:29:54 +0200 | <c_wraith> | :t confusing |
2022-09-09 17:29:55 +0200 | <lambdabot> | Applicative f => LensLike (Data.Functor.Day.Curried.Curried (Data.Functor.Yoneda.Yoneda f) (Data.Functor.Yoneda.Yoneda f)) s t a b -> LensLike f s t a b |
2022-09-09 17:30:08 +0200 | <c_wraith> | What's that mean? heck if I know! |
2022-09-09 17:30:18 +0200 | <c_wraith> | but below? That one's obvious. |
2022-09-09 17:30:25 +0200 | <[-n3W7-]> | :t below |
2022-09-09 17:30:26 +0200 | <lambdabot> | (Traversable f1, Choice p, Applicative f2) => APrism' s a -> p (f1 a) (f2 (f1 a)) -> p (f1 s) (f2 (f1 s)) |
2022-09-09 17:30:30 +0200 | <[-n3W7-]> | ugh.. right |
2022-09-09 17:30:32 +0200 | <EvanR> | what's funny is that lens comes with a bunch of OOP-like subtyping features |
2022-09-09 17:30:47 +0200 | <EvanR> | which are great... but why I don't use OOP |
2022-09-09 17:30:49 +0200 | razetime | (~quassel@117.193.3.234) (Ping timeout: 244 seconds) |
2022-09-09 17:31:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 17:31:16 +0200 | <EvanR> | but I've come to accept OOP just like accepting actual math |
2022-09-09 17:31:38 +0200 | <c_wraith> | well. lens has subtyping, but it doesn't have anything as bizarre as OOP's subclassing. |
2022-09-09 17:31:50 +0200 | <EvanR> | no it actually makes way more sense |
2022-09-09 17:32:34 +0200 | <EvanR> | after seeing lens in action you can go back to industrial OOP and identify things that could be better |
2022-09-09 17:32:43 +0200 | <EvanR> | after seeing lens (and many other haskell things) |
2022-09-09 17:32:47 +0200 | <[-n3W7-]> | my favorite feature of lens is that they often give the second longest type errors. First place here belongs to servant, of course. |
2022-09-09 17:32:47 +0200 | <Rembane> | +1 |
2022-09-09 17:32:56 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-09 17:33:08 +0200 | <Rembane> | Argh, wrong timing on my part. I'm missing so much from Haskell when I code in other languages. |
2022-09-09 17:33:20 +0200 | <[-n3W7-]> | Rembane: same. But definitely not lens. |
2022-09-09 17:33:39 +0200 | <[-n3W7-]> | I actually miss normal records in Haskell after writing code in other languages. |
2022-09-09 17:34:01 +0200 | <EvanR> | other people want haskell in their language. Hence the current proposal on elixir to add <- syntax... to basically do a State |
2022-09-09 17:34:07 +0200 | <EvanR> | of all things |
2022-09-09 17:34:22 +0200 | <EvanR> | so that something like mapAccumL is easier for noobs |
2022-09-09 17:34:27 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-37.dsl.bell.ca) (Ping timeout: 244 seconds) |
2022-09-09 17:34:38 +0200 | <EvanR> | so it's a very backwards thing to want from haskell |
2022-09-09 17:35:26 +0200 | <kaol> | > join (,) 1 |
2022-09-09 17:35:28 +0200 | <lambdabot> | (1,1) |
2022-09-09 17:35:36 +0200 | <kaol> | I think this is enough Haskell for me today. |
2022-09-09 17:35:44 +0200 | <[-n3W7-]> | :D |
2022-09-09 17:35:55 +0200 | <EvanR> | definitely a lot going on there |
2022-09-09 17:36:03 +0200 | <EvanR> | "one haskell a day calendar" |
2022-09-09 17:36:10 +0200 | <Rembane> | [-n3W7-]: I think Haskell records work quite well |
2022-09-09 17:36:19 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
2022-09-09 17:36:33 +0200 | <[-n3W7-]> | Rembane: like the fact that you couldn't have two fields with the same name in the same module until recently? |
2022-09-09 17:36:42 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-230.dsl.bell.ca) |
2022-09-09 17:36:45 +0200 | <[-n3W7-]> | wouldn't exactly call this "well" |
2022-09-09 17:37:08 +0200 | <Rembane> | [-n3W7-]: YMMV |
2022-09-09 17:37:08 +0200 | <EvanR> | among the reasons being it would auto produce accessor functions |
2022-09-09 17:37:18 +0200 | razetime | (~quassel@117.254.34.220) |
2022-09-09 17:37:18 +0200 | <EvanR> | fields = accessors is an issue |
2022-09-09 17:37:21 +0200 | zebrag | (~chris@user/zebrag) |
2022-09-09 17:37:24 +0200 | <[-n3W7-]> | I know the reasons. This doesn't make them good. |
2022-09-09 17:37:55 +0200 | <[-n3W7-]> | Honestly, this part of Haskell is just bad language design that managed to survive for 30 years. |
2022-09-09 17:38:24 +0200 | <EvanR> | there was a time when haskell could rapid change things and break everyone's code |
2022-09-09 17:38:48 +0200 | <EvanR> | it's time to move to the next 700 languages and use what we learned xD |
2022-09-09 17:38:57 +0200 | <EvanR> | hopefully |
2022-09-09 17:39:13 +0200 | <[-n3W7-]> | or maybe make Haskell 2.0 (or whatever the number is) and just break it once for good |
2022-09-09 17:39:32 +0200 | <[-n3W7-]> | although, python has taught us why this probably is even worse idea |
2022-09-09 17:39:35 +0200 | <EvanR> | that's just asking for punishment |
2022-09-09 17:39:46 +0200 | <EvanR> | like how C++ is "C done right" |
2022-09-09 17:40:04 +0200 | <EvanR> | no it's better to just do a paradigm shift |
2022-09-09 17:40:17 +0200 | <kaol> | I want a language where every record is a profunctor. |
2022-09-09 17:40:20 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
2022-09-09 17:40:22 +0200 | <[-n3W7-]> | c++ isn't c done right. It's a different language. |
2022-09-09 17:40:52 +0200 | <dolio> | The problem with the above comparison is that what is interesting about lens isn't record accessors. |
2022-09-09 17:40:56 +0200 | <EvanR> | we now know that with hindsight and 3.5 decades of additions |
2022-09-09 17:40:57 +0200 | <[-n3W7-]> | it doesn't even fix anything from c whatsoever. Just adds a bunch of stuff. |
2022-09-09 17:41:20 +0200 | <EvanR> | if haskell 2.0 is a different language in a good way, why call it that |
2022-09-09 17:41:33 +0200 | <dolio> | It's composable traversals and such, which are way more widely useful than record accessors. |
2022-09-09 17:41:46 +0200 | <[-n3W7-]> | EvanR: i never said it should be a different language altogether. Just fix what's broken and move on. |
2022-09-09 17:41:59 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
2022-09-09 17:42:13 +0200 | <geekosaur> | stealing syntax is not fixing what's broken |
2022-09-09 17:42:33 +0200 | <[-n3W7-]> | i digress |
2022-09-09 17:42:37 +0200 | <EvanR> | that's a ridiculously huge project for these goals lol |
2022-09-09 17:43:01 +0200 | <geekosaur> | . already has several meanings including an entirely valid meaning for the one RecordDotSyntax stole |
2022-09-09 17:44:37 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-188.dsl.bell.ca) |
2022-09-09 17:44:48 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1) (Remote host closed the connection) |
2022-09-09 17:45:09 +0200 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
2022-09-09 17:45:31 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-230.dsl.bell.ca) (Ping timeout: 252 seconds) |
2022-09-09 17:45:53 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
2022-09-09 17:46:54 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 17:50:43 +0200 | econo | (uid147250@user/econo) |
2022-09-09 17:51:21 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-188.dsl.bell.ca) (Ping timeout: 260 seconds) |
2022-09-09 17:57:20 +0200 | nschoe | (~quassel@178.251.84.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-09-09 17:59:52 +0200 | BusConscious | (~martin@ip5f5acc36.dynamic.kabel-deutschland.de) |
2022-09-09 17:59:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-09 18:00:05 +0200 | <BusConscious> | can you concat a Data.Set of Data.Sets ? |
2022-09-09 18:00:09 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Quit: You have been kicked for being idle) |
2022-09-09 18:02:36 +0200 | <geekosaur> | not as such. you could fold a union across it though, I think |
2022-09-09 18:02:54 +0200 | <BusConscious> | ah makes sense |
2022-09-09 18:03:17 +0200 | <BusConscious> | thank you |
2022-09-09 18:11:00 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2022-09-09 18:11:05 +0200 | xstill_ | (xstill@fimu/xstill) |
2022-09-09 18:13:11 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
2022-09-09 18:16:13 +0200 | guyst_ | (~guyst@213.205.241.185) |
2022-09-09 18:18:53 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-09 18:19:39 +0200 | riverside | (~guyst@213.205.241.185) (Ping timeout: 268 seconds) |
2022-09-09 18:21:24 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-09 18:24:33 +0200 | fserucas|EoD | (~fserucas|@89.214.127.144) (Quit: Leaving) |
2022-09-09 18:25:00 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-122.dsl.bell.ca) |
2022-09-09 18:27:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-09-09 18:32:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-09-09 18:32:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-09 18:37:08 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2022-09-09 18:38:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 18:39:38 +0200 | sagax | (~sagax_nb@user/sagax) |
2022-09-09 18:39:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 18:44:08 +0200 | hippoid | (~root@ec2-107-22-56-196.compute-1.amazonaws.com) (Quit: WeeChat 3.5) |
2022-09-09 18:44:26 +0200 | rockymarine | (~rocky@user/rockymarine) |
2022-09-09 18:47:31 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Quit: Leaving) |
2022-09-09 18:51:21 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-09 18:57:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 18:57:55 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 18:59:01 +0200 | Null_A_ | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
2022-09-09 18:59:46 +0200 | coot | (~coot@213.134.176.158) |
2022-09-09 19:02:28 +0200 | weeezes[m] | (~weeezesma@2001:470:69fc:105::1:da65) |
2022-09-09 19:02:48 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
2022-09-09 19:03:06 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-09-09 19:05:18 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-09-09 19:08:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 19:09:17 +0200 | <EvanR> | :t unions |
2022-09-09 19:09:18 +0200 | <lambdabot> | error: |
2022-09-09 19:09:18 +0200 | <lambdabot> | • Variable not in scope: unions |
2022-09-09 19:09:18 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2022-09-09 19:11:37 +0200 | <geekosaur> | :t Set.unions |
2022-09-09 19:11:39 +0200 | <lambdabot> | error: |
2022-09-09 19:11:39 +0200 | <lambdabot> | Not in scope: ‘Set.unions’ |
2022-09-09 19:11:39 +0200 | <lambdabot> | Perhaps you meant one of these: |
2022-09-09 19:11:41 +0200 | <geekosaur> | bah |
2022-09-09 19:11:47 +0200 | <geekosaur> | :t Data.Set.unions |
2022-09-09 19:11:48 +0200 | <lambdabot> | (Foldable f, Ord a) => f (S.Set a) -> S.Set a |
2022-09-09 19:12:01 +0200 | <[exa]> | colaterally I find there's no package that would contain onions |
2022-09-09 19:12:52 +0200 | <EvanR> | onions :: Chef -> Tears |
2022-09-09 19:12:53 +0200 | <[exa]> | we've got lenses and plates and zooms and whatnot but y no onions, so layerish :( |
2022-09-09 19:13:11 +0200 | <geekosaur> | or a garden to go with the aviary |
2022-09-09 19:20:07 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-09-09 19:20:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 19:21:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 19:21:11 +0200 | [-n3W7-] | (~q_q@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
2022-09-09 19:21:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 19:24:33 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 268 seconds) |
2022-09-09 19:24:33 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2022-09-09 19:24:50 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-09 19:25:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 19:25:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 19:29:05 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-09 19:31:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 19:32:26 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 19:35:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-09 19:35:59 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
2022-09-09 19:36:16 +0200 | losfair[m] | (~losfairma@2001:470:69fc:105::2:7ca3) |
2022-09-09 19:36:42 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-09 19:39:15 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 248 seconds) |
2022-09-09 19:39:23 +0200 | <monochrom> | We have garden-variety monads, implying that we do have a garden in the first place. -XImpllicitGarden |
2022-09-09 19:39:46 +0200 | <AndreasK> | If you dive deep enough you can find some https://hackage-search.serokell.io/?q=%5Csonion%5Cs |
2022-09-09 19:40:01 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
2022-09-09 19:40:45 +0200 | <monochrom> | Is that a typo for union? Or even a pun on union? |
2022-09-09 19:43:07 +0200 | <monochrom> | Speaking of AVL trees, I like lenses for being first-class references, i.e., recall that in AVL trees (or all balanced BSTs) you write one copy of code for left rotation and another copy for right rotation. That begs for parameterization, and the solution is to parameterize by first-class references such as lenses. |
2022-09-09 19:44:09 +0200 | <[exa]> | AndreasK: oh lovable |
2022-09-09 19:44:26 +0200 | raym | (~raym@user/raym) |
2022-09-09 19:46:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 19:50:39 +0200 | thyriaen | (~thyriaen@2a02:8109:8340:686c:9288:a09f:e70d:853f) (Quit: Leaving) |
2022-09-09 19:53:19 +0200 | simendsjo | (~user@84.211.91.241) |
2022-09-09 19:56:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 19:57:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 20:00:33 +0200 | razetime | (~quassel@117.254.34.220) (Remote host closed the connection) |
2022-09-09 20:00:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
2022-09-09 20:03:23 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-09 20:06:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 20:09:03 +0200 | <BusConscious> | :w |
2022-09-09 20:09:08 +0200 | <BusConscious> | sorry |
2022-09-09 20:09:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 20:10:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 20:21:40 +0200 | <carbolymer> | BusConscious: still stranded in vim? |
2022-09-09 20:22:27 +0200 | <BusConscious> | yes |
2022-09-09 20:23:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 20:24:23 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:af11:6897:cb69:6e51) |
2022-09-09 20:27:41 +0200 | <__monty__> | Quick un-asked-for Vim tip. Use `:up` or `:update` instead of `:w(rite)`. It avoids doing disk I/O if the file hasn't changed. Also, use `ZZ` instead of `:wq`, it basically does `:update` `:quit`. |
2022-09-09 20:28:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-09 20:30:34 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-09 20:33:05 +0200 | <c_wraith> | and if you remember when Epic was still Epic Megagames, use ZZT |
2022-09-09 20:36:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 20:38:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 20:39:00 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:af11:6897:cb69:6e51) (Ping timeout: 252 seconds) |
2022-09-09 20:39:17 +0200 | <BusConscious> | Can I Set.filter with an IO action? |
2022-09-09 20:39:41 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
2022-09-09 20:40:00 +0200 | <BusConscious> | (a -> Bool) is expected, but I have FilePath -> IO Bool |
2022-09-09 20:40:16 +0200 | khumba | (~khumba@user/khumba) () |
2022-09-09 20:40:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
2022-09-09 20:40:57 +0200 | <c_wraith> | Looks like not without going via an intermediate list |
2022-09-09 20:41:56 +0200 | <BusConscious> | So does it work for lists at least? |
2022-09-09 20:42:06 +0200 | <c_wraith> | oh, not true |
2022-09-09 20:42:17 +0200 | <c_wraith> | If you want something mind-bending... Set.alterF |
2022-09-09 20:42:43 +0200 | <c_wraith> | Oh, that doesn't map. nevermind |
2022-09-09 20:43:12 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2022-09-09 20:43:26 +0200 | <BusConscious> | I have a set of FilePaths and I want to filter for only those that are directories |
2022-09-09 20:44:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2022-09-09 20:44:08 +0200 | <BusConscious> | isDir = (not <$>) . doesFileExist isDir is of type FilePath -> IO Bool |
2022-09-09 20:44:18 +0200 | <BusConscious> | not -> Bool which is kind of the issue here |
2022-09-09 20:44:28 +0200 | Lord_of_Life_ | Lord_of_Life |
2022-09-09 20:44:35 +0200 | <monochrom> | There is possibly filterM somewhere in base, possibly Control.Monad |
2022-09-09 20:45:06 +0200 | <BusConscious> | ah |
2022-09-09 20:45:11 +0200 | <c_wraith> | I don't see anything better than this |
2022-09-09 20:45:12 +0200 | <c_wraith> | :t \f s -> S.fromList <$> filterM f (S.toList s) |
2022-09-09 20:45:13 +0200 | <lambdabot> | (Ord a, Applicative f) => (a -> f Bool) -> S.Set a -> f (S.Set a) |
2022-09-09 20:45:31 +0200 | <BusConscious> | but this does sound exactly like what I asked for |
2022-09-09 20:45:34 +0200 | <BusConscious> | time to try out |
2022-09-09 20:45:46 +0200 | benin0 | (~benin@183.82.179.76) (Quit: The Lounge - https://thelounge.chat) |
2022-09-09 20:45:48 +0200 | <c_wraith> | though I suppose there's a good chance you might need need to make it back into a set |
2022-09-09 20:46:32 +0200 | <monochrom> | You can use fromAscList in this case. |
2022-09-09 20:46:46 +0200 | <c_wraith> | also, (not <$>) is fmap not, if you want to remove some parens from the composition |
2022-09-09 20:47:07 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.129) |
2022-09-09 20:47:21 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.129) (Client Quit) |
2022-09-09 20:50:34 +0200 | <monochrom> | Perhaps there is something in the lens library haha |
2022-09-09 20:50:55 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:b617:1eb0:9002:596f) |
2022-09-09 20:51:26 +0200 | <BusConscious> | problem solved: I don't actually need sets |
2022-09-09 20:52:09 +0200 | <c_wraith> | Nothing in lens - it doesn't have tools for filtering in general |
2022-09-09 20:53:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 20:54:01 +0200 | <c_wraith> | oddly, nothing in Witherable either. It's all about filtering, but skips Set in favor of Traversable types |
2022-09-09 20:59:53 +0200 | <BusConscious> | [IO a] -> IO [a] what was that again? I forgot |
2022-09-09 20:59:59 +0200 | <c_wraith> | sequence |
2022-09-09 21:00:19 +0200 | <c_wraith> | but you can probably avoid it with an early use of mapM or traverse instead of map |
2022-09-09 21:02:36 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 268 seconds) |
2022-09-09 21:02:57 +0200 | <BusConscious> | I have to keep these _M variants in mind |
2022-09-09 21:06:34 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 21:06:49 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
2022-09-09 21:06:53 +0200 | <tomsmeding> | (mapM == traverse) |
2022-09-09 21:07:06 +0200 | jespada_ | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
2022-09-09 21:07:49 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:b617:1eb0:9002:596f) (Remote host closed the connection) |
2022-09-09 21:08:08 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bcb0:1d71:c49:8e54) |
2022-09-09 21:08:59 +0200 | <c_wraith> | is there any library out there that integrates property testing with the Distribution.TestSuite stuff in Cabal? |
2022-09-09 21:09:16 +0200 | <c_wraith> | (any of the property checking libraries would be fine) |
2022-09-09 21:10:26 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
2022-09-09 21:11:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 21:11:50 +0200 | <c_wraith> | Oh. Hah. There's a super-minimal option called cabal-test-quickcheck. It would certainly work.. |
2022-09-09 21:12:08 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-09-09 21:12:19 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-09-09 21:12:58 +0200 | <c_wraith> | Though it hasn't been touched in a long time, and doesn't officially build against current Cabal |
2022-09-09 21:13:04 +0200 | eikke | (~NicolasT@user/NicolasT) |
2022-09-09 21:13:08 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bcb0:1d71:c49:8e54) (Remote host closed the connection) |
2022-09-09 21:13:26 +0200 | <lyle> | I'm getting the dreaded "There are files missing" when I try to build with cabal. What should I do? Here's a minimal project that reproduces the problem: https://paste.tomsmeding.com/96kCW5Tz |
2022-09-09 21:13:45 +0200 | <eikke> | Is there a way to force GHC to use UTF-8 on default file handles, on a system where locale files are not present, and without making code modifications? |
2022-09-09 21:13:54 +0200 | <lyle> | I'm trying to make the switch from stack to cabal. |
2022-09-09 21:14:49 +0200 | <c_wraith> | lyle: what version of cabal-install (that is, the cabal executable) |
2022-09-09 21:15:38 +0200 | jespada_ | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
2022-09-09 21:16:07 +0200 | <c_wraith> | lyle: though... it might be worth noting the library it's reporting problems with claims to be deprecated anyway |
2022-09-09 21:16:10 +0200 | <lyle> | cabal-install version 3.6.2.0. I installed it via ghcup. |
2022-09-09 21:16:17 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
2022-09-09 21:16:59 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-09 21:17:01 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-09 21:20:46 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 260 seconds) |
2022-09-09 21:23:38 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 21:27:07 +0200 | justache | justJingo |
2022-09-09 21:27:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-09 21:28:27 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-09 21:28:47 +0200 | <geekosaur> | eikke, you can still set the environment variables and they will be used by ghc the RTS has its own Unicode support tables which are regularly updated, rather than using locale files) |
2022-09-09 21:28:54 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-09 21:29:04 +0200 | <geekosaur> | *(the RTS |
2022-09-09 21:30:18 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
2022-09-09 21:30:22 +0200 | <Noinia> | hmm, I guess it isn't possible to define bidirectional type synonyms as part of a typeclass..... Maybe that was a too strange thing to hope for. Is there an obvious reason why that should not be possible? |
2022-09-09 21:30:49 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-09 21:31:04 +0200 | <Noinia> | (or any pattern synonym for that matter) |
2022-09-09 21:32:19 +0200 | califax | (~califax@user/califx) |
2022-09-09 21:33:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:edd:a862:45c5:dfa2) |
2022-09-09 21:33:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-09 21:35:26 +0200 | <geekosaur> | typeclasses are open, whereas bidirectionality requires that the "universe" of types on both sides be closed |
2022-09-09 21:35:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 21:36:21 +0200 | <geekosaur> | and I'm not sure what ypu mean by the reference to pattern synonyms, but there's nowhere meaningful to put one in a typeclass instance's witness record |
2022-09-09 21:36:28 +0200 | pavonia | (~user@user/siracusa) |
2022-09-09 21:36:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 21:37:54 +0200 | mastarija | (~mastarija@46.188.135.255) |
2022-09-09 21:39:43 +0200 | <mastarija> | Why is GHC bugging me about this `m` being the `IO`? |
2022-09-09 21:39:51 +0200 | <mastarija> | genCode :: MonadIO m => m Natural |
2022-09-09 21:39:57 +0200 | <mastarija> | genCode = fmap fromIntegral $ getStdRandom $ randomR (0, 9999 :: Int) |
2022-09-09 21:40:22 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-09 21:40:38 +0200 | <dolio> | Most functions aren't overloaded to MonadIO. |
2022-09-09 21:40:54 +0200 | <mastarija> | I see nothing that would specialize `m` to `IO` |
2022-09-09 21:41:03 +0200 | <geekosaur> | :t getStdRandom |
2022-09-09 21:41:04 +0200 | <lambdabot> | MonadIO m => (StdGen -> (a, StdGen)) -> m a |
2022-09-09 21:41:15 +0200 | <geekosaur> | :t randomR |
2022-09-09 21:41:16 +0200 | <lambdabot> | (Random a, RandomGen g) => (a, a) -> g -> (a, g) |
2022-09-09 21:41:23 +0200 | <eikke> | geekosaur: that's not what I'm seeing sadly enough :( I set LC_CTYPE/LC_ALL/LANG, and the localeEncodingName is/remains ANSI_X3.4-1968. Reading GHC sources, that seems kinda expected. |
2022-09-09 21:41:24 +0200 | <mastarija> | Right, that shouldn't interfere |
2022-09-09 21:41:44 +0200 | <lyle> | Figured it out--I had had .cabal/config set up to use shared libaries from some earlier attempt to switch to cabal that I forgot about. I deleted ~/.cabal and started over with the default config. |
2022-09-09 21:42:26 +0200 | <dolio> | Wow, guess I haven't used the random package in a while. |
2022-09-09 21:42:44 +0200 | <mastarija> | Hm.. maybe I'm on an old version... |
2022-09-09 21:43:00 +0200 | <mastarija> | How do I check my packages again, is it ghc-packages or something |
2022-09-09 21:43:02 +0200 | <dolio> | Yeah, in 1.1 it's IO. |
2022-09-09 21:43:18 +0200 | <geekosaur> | ghc-pkg list, but it won't show stuff you installed with cabal or stack |
2022-09-09 21:43:26 +0200 | <mastarija> | I'm in nix shell |
2022-09-09 21:43:28 +0200 | <dolio> | 1.2 is 2 years old, though. |
2022-09-09 21:43:29 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-09 21:43:31 +0200 | <mastarija> | it should show |
2022-09-09 21:43:40 +0200 | <Noinia> | geekosaur: I was trying to do something like this: https://paste.tomsmeding.com/o7mCW7kU |
2022-09-09 21:43:51 +0200 | <Noinia> | I would think that could potentially make sense no? |
2022-09-09 21:44:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-09 21:44:48 +0200 | califax | (~califax@user/califx) |
2022-09-09 21:44:54 +0200 | <geekosaur> | that would definitely require compiler changes. I guess you could file a proposal |
2022-09-09 21:45:18 +0200 | <[Leary]> | You might want ... was it data families? data instances? |
2022-09-09 21:45:22 +0200 | <geekosaur> | but currently I think a pattern has to apply to a concrete type, not a typeclass instance |
2022-09-09 21:45:45 +0200 | <mastarija> | Yeah.. I have random-1.1 package |
2022-09-09 21:45:53 +0200 | <mastarija> | lift it is |
2022-09-09 21:46:09 +0200 | <Noinia> | yes I realized tat; and it does seem like a somewat niche thing to ask for |
2022-09-09 21:47:12 +0200 | <Noinia> | maybe I sould first figure out if what I currently have (i.e. the pattern synonym outside the class) produces reasonable core anyway, or that there is actual performance to be gained |
2022-09-09 21:47:22 +0200 | <[Leary]> | Noinia: The other possibility is to just write the pattern synonym outside the class, with the implementation for one direction in the class. |
2022-09-09 21:48:18 +0200 | <eikke> | geekosaur: from what I see, RTS init calls setlocale(LC_CTYPE, ""), then the locales used are set to the one retrieved by c_localeEncoding, which calls either libcharset or glibc, i.e., nl_langinfo, which needs the database or falls back to ANSI_X3.4-1968 |
2022-09-09 21:48:33 +0200 | <geekosaur> | oh. sigh |
2022-09-09 21:48:41 +0200 | <geekosaur> | then I think you're stuck |
2022-09-09 21:49:49 +0200 | <Noinia> | [Leary]: hmm, yes I guess I'll try and play with that a bit more as well. |
2022-09-09 21:50:10 +0200 | <geekosaur> | unless you can LD_PRELOAD a dummy setlocale and such |
2022-09-09 21:51:32 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-09-09 21:51:36 +0200 | <eikke> | geekosaur: hackish, but yeah. May give that a try. |
2022-09-09 21:51:48 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:aa67:189e:803f:f691) |
2022-09-09 21:51:54 +0200 | <monochrom> | Is there a way to externally point glibc to locale files that you prepare? :) |
2022-09-09 21:51:57 +0200 | notzmv | (~zmv@user/notzmv) |
2022-09-09 21:52:12 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:aa67:189e:803f:f691) (Remote host closed the connection) |
2022-09-09 21:52:31 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:3c89:8aff:3f35:6f72) |
2022-09-09 21:52:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:edd:a862:45c5:dfa2) (Ping timeout: 268 seconds) |
2022-09-09 21:54:26 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2022-09-09 21:54:41 +0200 | <geekosaur> | looks like LOCPATH might be a thingt |
2022-09-09 21:55:23 +0200 | <geekosaur> | see `man 1 locale`; `setlocale(3)` doesn't document it |
2022-09-09 21:56:19 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 248 seconds) |
2022-09-09 21:56:47 +0200 | <geekosaur> | mmm, guess they missed it 😞 |
2022-09-09 21:57:29 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-09 21:58:21 +0200 | Guest15 | (~Guest15@93.171.102.207) |
2022-09-09 21:58:35 +0200 | <monochrom> | Oh, man 7 locale has LOCPATH :) |
2022-09-09 21:59:32 +0200 | <monochrom> | But yeah if it has "used by newlocale(3) and setlocale(3)" then seriously newlocale(3) and setlocale(3) should also bring it up. |
2022-09-09 21:59:49 +0200 | Guest15 | (~Guest15@93.171.102.207) (Client Quit) |
2022-09-09 22:00:44 +0200 | Guest15 | (~Guest15@93.171.102.207) |
2022-09-09 22:01:14 +0200 | Guest15 | (~Guest15@93.171.102.207) (Client Quit) |
2022-09-09 22:01:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-09 22:02:14 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:3c89:8aff:3f35:6f72) (Ping timeout: 252 seconds) |
2022-09-09 22:06:07 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2022-09-09 22:10:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-09 22:14:28 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:5494:e3d2:2735:2b8) |
2022-09-09 22:21:23 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
2022-09-09 22:24:07 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-09 22:24:41 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
2022-09-09 22:28:15 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:5494:e3d2:2735:2b8) (Remote host closed the connection) |
2022-09-09 22:28:34 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:2f4f:792b:bf05:77f) |
2022-09-09 22:30:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-09 22:35:57 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
2022-09-09 22:37:37 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:2f4f:792b:bf05:77f) (Remote host closed the connection) |
2022-09-09 22:38:17 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-09 22:38:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 22:40:26 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
2022-09-09 22:43:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-09 22:44:36 +0200 | eikke | (~NicolasT@user/NicolasT) |
2022-09-09 22:46:56 +0200 | <eikke> | monochrom: yes, but that won't solve my issue where I simply don't have locale files available in the env :) doesn't really matter where |
2022-09-09 22:48:07 +0200 | <geekosaur> | but there are tools to make locale files and you could conceivably make the necessary ones for Unicode as one way around it |
2022-09-09 22:48:26 +0200 | <geekosaur> | less hacky than LD_PRELOAD |
2022-09-09 22:48:52 +0200 | <geekosaur> | (or not even make them, just copy the UTF8 ones you need from somewhere) |
2022-09-09 22:51:22 +0200 | jargon | (~jargon@184.101.66.251) |
2022-09-09 22:52:09 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:f7e4:9ffc:6901:bb21) |
2022-09-09 22:55:13 +0200 | coot | (~coot@213.134.176.158) |
2022-09-09 22:57:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-09 22:59:10 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-09-09 22:59:51 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
2022-09-09 22:59:54 +0200 | potash | (~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 23:00:59 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 23:04:22 +0200 | [-n3W7-] | (~q_q@user/-d0t-/x-7915216) |
2022-09-09 23:05:18 +0200 | <eikke> | geekosaur: yeah including the file technically works. Not sure it's the right approach given the build system I'll need to adapt somehow. Will figure it out. |
2022-09-09 23:07:55 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:f7e4:9ffc:6901:bb21) (Remote host closed the connection) |
2022-09-09 23:08:50 +0200 | einfair_ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Read error: Connection reset by peer) |
2022-09-09 23:09:06 +0200 | einfair_ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
2022-09-09 23:09:17 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-09 23:10:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-09-09 23:11:13 +0200 | Null_A_ | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Remote host closed the connection) |
2022-09-09 23:11:29 +0200 | dr_merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-09 23:11:49 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
2022-09-09 23:12:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-09 23:16:37 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
2022-09-09 23:29:33 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-09 23:31:17 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 252 seconds) |
2022-09-09 23:31:40 +0200 | zebrag | (~chris@user/zebrag) |
2022-09-09 23:32:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a50e9c025a809ee6133.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-09 23:32:01 +0200 | acidjnk | (~acidjnk@p200300d6e7137a50e9c025a809ee6133.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-09 23:33:55 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
2022-09-09 23:40:28 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 268 seconds) |
2022-09-09 23:42:37 +0200 | eikke | (~NicolasT@user/NicolasT) |
2022-09-09 23:46:48 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:2d55:4911:941f:3cf7) |
2022-09-09 23:47:31 +0200 | Midjak | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
2022-09-09 23:47:51 +0200 | finsternis | (~X@23.226.237.192) |
2022-09-09 23:50:04 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
2022-09-09 23:53:08 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-09 23:55:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-09 23:57:17 +0200 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-09-09 23:57:41 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
2022-09-09 23:58:06 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-09 23:59:45 +0200 | Successus | (~Successus@user/Successus) () |