IRCBrowse

2023/02/13

2023-02-13 00:00:06 +0100lackita(~lackita@73.114.250.252)
2023-02-13 00:00:43 +0100apache2(apache2@anubis.0x90.dk) (Remote host closed the connection)
2023-02-13 00:00:52 +0100apache2(apache2@46.101.137.181)
2023-02-13 00:02:20 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-02-13 00:04:13 +0100paulpaul1076(~textual@2a0a:8f40:2:3:662c:e9e1:97be:2d8b)
2023-02-13 00:04:14 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350)
2023-02-13 00:04:42 +0100paulpaul1076(~textual@2a0a:8f40:2:3:662c:e9e1:97be:2d8b) (Remote host closed the connection)
2023-02-13 00:05:06 +0100SenFache(~sauvin@user/Sauvin) (Remote host closed the connection)
2023-02-13 00:06:02 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-02-13 00:06:11 +0100 <dibblego> is there a function everyPossibleListOfListsPreservingOrder :: [a] -> [[a]] ?
2023-02-13 00:07:41 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-02-13 00:08:16 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-13 00:08:28 +0100adium(adium@user/adium)
2023-02-13 00:08:34 +0100 <[Leary]> > subsequences "abcd"
2023-02-13 00:08:36 +0100 <lambdabot> ["","a","b","ab","c","ac","bc","abc","d","ad","bd","abd","cd","acd","bcd","a...
2023-02-13 00:10:06 +0100SenFache(~sauvin@user/Sauvin)
2023-02-13 00:11:29 +0100 <dibblego> thanks, I may have messed that question up
2023-02-13 00:12:27 +0100 <mauke> > filterM (return [True, False]) "abcd"
2023-02-13 00:12:28 +0100 <lambdabot> ["abcd","abc","abd","ab","acd","ac","ad","a","bcd","bc","bd","b","cd","c","d...
2023-02-13 00:12:47 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-02-13 00:14:56 +0100 <dibblego> f ["a", "b", "c"] == [[['a', 'b', 'c']], [['a', 'b'], ['c']], [['a'], ['b', 'c']]]
2023-02-13 00:15:03 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-13 00:15:29 +0100 <dibblego> f ["a", "b", "c"] == [[["abc"]], [["ab"], ["c"]], [["a"], ["bc"]]]
2023-02-13 00:15:36 +0100 <mauke> that's missing a few
2023-02-13 00:16:05 +0100 <dibblego> yeah, though that's what I am looking for ^^ just didn't word it well
2023-02-13 00:16:35 +0100 <mauke> [("", "abc"), ("a", "bc"), ("ab", "c"), ("abc", "")]
2023-02-13 00:16:50 +0100SenFache(~sauvin@user/Sauvin) (Remote host closed the connection)
2023-02-13 00:16:53 +0100 <dibblego> actually …
2023-02-13 00:17:52 +0100SenFache(~sauvin@user/Sauvin)
2023-02-13 00:18:01 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-13 00:18:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 00:18:27 +0100 <mauke> > (\xs -> map (\n -> splitAt n xs) [0 .. length xs]) "abc"
2023-02-13 00:18:29 +0100 <lambdabot> [("","abc"),("a","bc"),("ab","c"),("abc","")]
2023-02-13 00:20:16 +0100 <dibblego> f ["a", "b", "c", "d"] == [["abcd"], ["abc", "d"], ["ab", "cd"], ["a", "bcd"], ["ab", "c", "d"], ["a", "bc", "d"], ["a", "b", "cd"], ["a", "b", "c", "d"]]
2023-02-13 00:21:11 +0100 <mauke> non-empty subsequences
2023-02-13 00:21:23 +0100adium(adium@user/adium) (Quit: Stable ZNC by #bnc4you)
2023-02-13 00:23:46 +0100SenFache(~sauvin@user/Sauvin) (Remote host closed the connection)
2023-02-13 00:25:04 +0100 <dibblego> looks different to subsequences right?
2023-02-13 00:26:11 +0100SenFache(~sauvin@user/Sauvin)
2023-02-13 00:26:27 +0100 <mauke> yeah
2023-02-13 00:26:35 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-02-13 00:28:10 +0100adium(adium@user/adium)
2023-02-13 00:28:59 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 260 seconds)
2023-02-13 00:29:18 +0100lackita(~lackita@73.114.250.252)
2023-02-13 00:30:07 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2023-02-13 00:30:24 +0100 <[Leary]> > let chunkings :: [a] -> [[[a]]]; chunkings (x:xs@(_:_)) = [onHead (x:), ([x]:)] <*> chunkings xs; chunkings [x] = [[[x]]]; chunkings [] = []; onHead f (x:xs) = f x:xs; onHead _ [] = [] in chunkings "abcd"
2023-02-13 00:30:25 +0100Sinbad(~Sinbad@user/sinbad) (Ping timeout: 252 seconds)
2023-02-13 00:30:26 +0100 <lambdabot> [["abcd"],["abc","d"],["ab","cd"],["ab","c","d"],["a","bcd"],["a","bc","d"],...
2023-02-13 00:30:40 +0100 <[Leary]> I don't know if there's a cleaner way.
2023-02-13 00:31:13 +0100biberu(~biberu@user/biberu)
2023-02-13 00:32:06 +0100 <[Leary]> dibblego: ^
2023-02-13 00:32:27 +0100AlexZenon(~alzenon@178.34.160.79) (Ping timeout: 248 seconds)
2023-02-13 00:32:47 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2023-02-13 00:33:25 +0100Alex_test(~al_test@178.34.160.79) (Ping timeout: 260 seconds)
2023-02-13 00:34:23 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-13 00:34:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2023-02-13 00:34:35 +0100opticblast(~Thunderbi@172.58.84.5)
2023-02-13 00:35:04 +0100 <dibblego> ah nice thank you
2023-02-13 00:36:15 +0100son0p(~ff@190.158.28.118) (Ping timeout: 252 seconds)
2023-02-13 00:38:48 +0100SenFache(~sauvin@user/Sauvin) (Ping timeout: 255 seconds)
2023-02-13 00:39:24 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-02-13 00:39:27 +0100lackita(~lackita@73.114.250.252) (Read error: Connection reset by peer)
2023-02-13 00:39:59 +0100lackita(~lackita@73.114.250.252)
2023-02-13 00:40:17 +0100gurkenglas(~gurkengla@46.114.178.40) (Ping timeout: 252 seconds)
2023-02-13 00:40:21 +0100Alex_test(~al_test@178.34.160.79)
2023-02-13 00:41:10 +0100AlexZenon(~alzenon@178.34.160.79)
2023-02-13 00:46:31 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 252 seconds)
2023-02-13 00:47:09 +0100lackita(~lackita@73.114.250.252)
2023-02-13 00:47:48 +0100Sauvin(~sauvin@user/Sauvin)
2023-02-13 00:49:31 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-02-13 00:49:31 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-02-13 00:49:31 +0100wroathe(~wroathe@user/wroathe)
2023-02-13 00:49:36 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 00:50:19 +0100maximalmuncher(~maximalmu@108.168.13.112)
2023-02-13 00:51:03 +0100lackita(~lackita@73.114.250.252) (Read error: Connection reset by peer)
2023-02-13 00:51:14 +0100lackita(~lackita@2600:1000:b033:adf2:42c8:c73b:9ad5:1286)
2023-02-13 00:51:34 +0100lackita(~lackita@2600:1000:b033:adf2:42c8:c73b:9ad5:1286) (Read error: Connection reset by peer)
2023-02-13 00:51:48 +0100lackita(~lackita@2600:1000:b033:adf2:42c8:c73b:9ad5:1286)
2023-02-13 00:52:07 +0100lackita(~lackita@2600:1000:b033:adf2:42c8:c73b:9ad5:1286) (Read error: Connection reset by peer)
2023-02-13 00:52:19 +0100lackita(~lackita@73.114.250.252)
2023-02-13 00:53:51 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 00:58:02 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-02-13 01:11:05 +0100merijn(~merijn@145.90.225.11)
2023-02-13 01:13:51 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 248 seconds)
2023-02-13 01:14:11 +0100lackita(~lackita@73.114.250.252)
2023-02-13 01:16:37 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-13 01:20:36 +0100 <cheater> any suggestions on a library to store a single haskell value in a file? like a record that contains stuff that's showable and readable. i don't need it to be a database or whatever.
2023-02-13 01:20:47 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 248 seconds)
2023-02-13 01:20:54 +0100 <cheater> a record that contains tuples and lists of strings and ints
2023-02-13 01:21:36 +0100lackita(~lackita@73.114.250.252)
2023-02-13 01:21:42 +0100 <cheater> i thought maybe haskey-mtl but... nah, that's too complex and too involved
2023-02-13 01:22:21 +0100 <sm> just show and writeFile ?
2023-02-13 01:22:27 +0100 <cheater> yeah, i was thinking of that honestly.
2023-02-13 01:28:40 +0100 <sm> pretty-show if you like, I think it's still readable
2023-02-13 01:29:09 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Remote host closed the connection)
2023-02-13 01:32:45 +0100 <cheater> yeah i was just thinking of that sm
2023-02-13 01:33:05 +0100 <cheater> you mean 'read' - able, don't you
2023-02-13 01:33:08 +0100 <cheater> yeah i think it is
2023-02-13 01:36:12 +0100 <cheater> hmm, once you get past the obtuse lack of documentation and weird-ass example code, msgpack-rpc-conduit is unoffensive to use
2023-02-13 01:36:15 +0100 <dsal> cheater: I need a pretty good excuse to not use sqlite
2023-02-13 01:36:33 +0100 <cheater> dsal: i don't want to think about sqlite
2023-02-13 01:36:36 +0100 <cheater> that's my excuse
2023-02-13 01:37:34 +0100 <cheater> of course, msgpack-rpc-conduit can do rpc of IO values, but as the caller it leaves you in the dark about stuff like exceptions happening
2023-02-13 01:37:48 +0100 <cheater> which is less nice
2023-02-13 01:38:02 +0100 <dsal> I don't want to think about whether the file is corrupt from a partial write or how I might recover from something dumb happening.
2023-02-13 01:38:13 +0100acidjnk(~acidjnk@2003:d6:e715:c488:698a:1110:aea1:4b48) (Ping timeout: 252 seconds)
2023-02-13 01:38:58 +0100 <dsal> File IO is kind of hard on the edges. SQLite is one of the most deployed bits of software in the world and does all the file writes. I enjoy not having to think about that. :)
2023-02-13 01:41:10 +0100 <hpc> "hard on the edges" is putting it lightly - https://danluu.com/filesystem-errors/
2023-02-13 01:45:33 +0100merijn(~merijn@145.90.225.11) (Ping timeout: 252 seconds)
2023-02-13 01:46:47 +0100 <cheater> yeah that's a good point dsal
2023-02-13 01:46:49 +0100 <cheater> but also
2023-02-13 01:46:52 +0100 <cheater> this is for junk code
2023-02-13 01:47:28 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 248 seconds)
2023-02-13 01:47:43 +0100lackita(~lackita@73.114.250.252)
2023-02-13 01:48:17 +0100 <dsal> I live off of junk code.
2023-02-13 01:50:22 +0100wroathe(~wroathe@user/wroathe) (Quit: Reconnecting)
2023-02-13 01:50:35 +0100wroathe(~wroathe@207.153.38.140)
2023-02-13 01:50:35 +0100wroathe(~wroathe@207.153.38.140) (Changing host)
2023-02-13 01:50:35 +0100wroathe(~wroathe@user/wroathe)
2023-02-13 01:50:46 +0100 <geekosaur> thing is, if people really believed that, they wouldn't only use sqlite, they'd use zfs
2023-02-13 01:53:35 +0100 <cheater> and backup
2023-02-13 01:55:19 +0100 <EvanR> sqlite is great. For storing a single haskell value that can be restored it's overkill
2023-02-13 01:56:08 +0100 <EvanR> also `read' would be wrong here because the file could easily contain nonsense. Use reads and pattern match on the results
2023-02-13 01:58:03 +0100 <EvanR> to overwrite the file be sure to write to a temp file first, then issue a filesystem move which is atomic (I think)
2023-02-13 01:58:13 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-02-13 01:58:30 +0100 <geekosaur> only on a single local filesystem
2023-02-13 01:59:33 +0100 <dsal> Yeah, I'm using sqlite on zfs. :)
2023-02-13 02:00:06 +0100 <Clinton[m]> If I've got a function:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/b0a7b9764fbfa0e6ab5b6652a09bc68e6c8d…>)
2023-02-13 02:00:12 +0100johnw(~johnw@2600:1700:cf00:db0:9d96:30a:a02f:6e8d) (Quit: ZNC - http://znc.in)
2023-02-13 02:01:34 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-02-13 02:02:16 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-13 02:02:57 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-13 02:03:59 +0100califax(~califax@user/califx)
2023-02-13 02:04:36 +0100 <Clinton[m]> If I've got a function:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/1d928c530c98ce3ccef743af98c146ecf8a7…>)
2023-02-13 02:10:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-02-13 02:12:01 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-13 02:16:55 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-13 02:17:13 +0100maximalmuncher(~maximalmu@108.168.13.112) (Quit: Leaving)
2023-02-13 02:17:47 +0100 <EvanR> Clinton[m], isn't that an impredicative type
2023-02-13 02:18:33 +0100mechap(~mechap@user/mechap) (Ping timeout: 252 seconds)
2023-02-13 02:18:36 +0100 <EvanR> you could make a datatype to stand for forall v. c v => m v
2023-02-13 02:18:42 +0100 <EvanR> and then make a list of that
2023-02-13 02:20:44 +0100mechap(~mechap@user/mechap)
2023-02-13 02:21:31 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
2023-02-13 02:23:16 +0100 <monochrom> Can you convert f to f' :: t -> (forall u. c u -> m u)? Because then map f' x has the type you want. Turning on ImpredicativeTypes.
2023-02-13 02:26:06 +0100 <monochrom> The conversion can be as simple as f' x = f x. Although f' = f is a type error due to simple subsumption.
2023-02-13 02:27:47 +0100 <monochrom> Oh haha because of that, you can simply map (\x -> f x) x.
2023-02-13 02:29:36 +0100 <monochrom> This is beautiful. The downside of simple subsumption is that we lose eta equivalence. The upside is that we can pass type checking just by eta expanding. :)
2023-02-13 02:29:38 +0100eggplantade(~Eggplanta@104.55.37.220)
2023-02-13 02:29:49 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-02-13 02:30:03 +0100 <EvanR> map (\x -> f x) xs -- the pain...
2023-02-13 02:30:26 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-13 02:32:25 +0100 <monochrom> Unpopular opinion: Simple subsumption obsoletes hlint.
2023-02-13 02:32:48 +0100 <monochrom> At least its "why not f?" advice.
2023-02-13 02:33:57 +0100eggplantade(~Eggplanta@104.55.37.220) (Ping timeout: 252 seconds)
2023-02-13 02:36:31 +0100xff0x(~xff0x@138.64.81.74) (Ping timeout: 252 seconds)
2023-02-13 02:36:41 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-02-13 02:36:54 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 02:38:52 +0100Ranhir(~Ranhir@157.97.53.139)
2023-02-13 02:42:23 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 02:44:46 +0100son0p(~ff@190.158.28.118)
2023-02-13 02:48:02 +0100razetime(~Thunderbi@117.193.7.116)
2023-02-13 02:51:10 +0100 <EvanR> what does simple subsumption have to do with impredicative types (or am I walking into an "Everything")
2023-02-13 02:55:42 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-13 03:13:55 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2023-02-13 03:14:35 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-13 03:14:53 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350)
2023-02-13 03:18:54 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-13 03:24:19 +0100xff0x(~xff0x@125.103.176.34)
2023-02-13 03:24:33 +0100ddellacosta(~ddellacos@146.70.166.203) (Ping timeout: 252 seconds)
2023-02-13 03:25:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2023-02-13 03:25:19 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds)
2023-02-13 03:26:43 +0100ddellacosta(~ddellacos@146.70.166.139)
2023-02-13 03:26:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-02-13 03:27:05 +0100Unode(~Unode@194.94.44.220) (Ping timeout: 255 seconds)
2023-02-13 03:27:45 +0100Hammdist(~Hammdist@67.169.114.135)
2023-02-13 03:27:59 +0100son0p(~ff@190.158.28.118) (Ping timeout: 255 seconds)
2023-02-13 03:29:11 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-13 03:33:58 +0100Unode(~Unode@fg-ext-220.embl.de)
2023-02-13 03:37:25 +0100yl53[m](~yl53matri@2001:470:69fc:105::85b)
2023-02-13 03:42:19 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl)
2023-02-13 03:43:59 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 03:50:35 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 03:55:31 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2023-02-13 03:56:35 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-13 03:57:52 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-02-13 03:58:46 +0100retrosenator(~retrosena@174.211.101.209)
2023-02-13 04:11:19 +0100 <monochrom> Impredicative typing and type inference didn't mix well until the paper for how to do it with bidirectional type inference, but it needs simple subsumption.
2023-02-13 04:11:23 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-02-13 04:11:23 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-13 04:11:23 +0100finn_elijaFinnElija
2023-02-13 04:12:32 +0100 <monochrom> The "quick look" paper.
2023-02-13 04:14:48 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2023-02-13 04:15:10 +0100emmanuelux_(~emmanuelu@user/emmanuelux)
2023-02-13 04:15:52 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-02-13 04:18:40 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds)
2023-02-13 04:20:05 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-02-13 04:20:21 +0100gentauro(~gentauro@user/gentauro)
2023-02-13 04:23:46 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 04:33:31 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2023-02-13 04:38:00 +0100gpncarl(~gpncarl@210.12.195.6)
2023-02-13 04:46:42 +0100pi1johnjaye
2023-02-13 04:48:59 +0100razetime(~Thunderbi@117.193.7.116) (Ping timeout: 255 seconds)
2023-02-13 04:50:30 +0100MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2023-02-13 04:52:11 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 04:56:35 +0100td_(~td@83.135.9.6) (Ping timeout: 252 seconds)
2023-02-13 04:58:30 +0100td_(~td@83.135.9.23)
2023-02-13 04:58:42 +0100thongpv87(~thongpv87@2402:9d80:3fd:3cf0:4fbb:f51:da03:f653)
2023-02-13 05:00:00 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2023-02-13 05:01:09 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2023-02-13 05:07:07 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 05:11:15 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 05:14:24 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 05:15:17 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-13 05:17:51 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 05:32:44 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-13 05:32:49 +0100razetime(~Thunderbi@117.193.7.116)
2023-02-13 05:34:32 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.7.1)
2023-02-13 05:36:55 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7)
2023-02-13 05:37:10 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2023-02-13 05:37:20 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds)
2023-02-13 05:46:55 +0100thongpv87(~thongpv87@2402:9d80:3fd:3cf0:4fbb:f51:da03:f653) (Ping timeout: 248 seconds)
2023-02-13 05:47:02 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Quit: king_gs)
2023-02-13 05:49:53 +0100mbuf(~Shakthi@49.204.138.212)
2023-02-13 05:55:45 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2023-02-13 05:58:26 +0100retrosenator(~retrosena@174.211.101.209) (Quit: Lost terminal)
2023-02-13 05:58:26 +0100Vajb(~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer)
2023-02-13 05:59:01 +0100Vajb(~Vajb@88.195.165.27)
2023-02-13 06:00:21 +0100dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2023-02-13 06:01:57 +0100dolio(~dolio@130.44.134.54)
2023-02-13 06:04:21 +0100dolio(~dolio@130.44.134.54) (Client Quit)
2023-02-13 06:04:56 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 06:07:47 +0100dolio(~dolio@130.44.134.54)
2023-02-13 06:09:19 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-02-13 06:11:45 +0100Vajb(~Vajb@88.195.165.27) (Read error: Connection reset by peer)
2023-02-13 06:14:15 +0100merijn(~merijn@145.90.225.11)
2023-02-13 06:18:43 +0100merijn(~merijn@145.90.225.11) (Ping timeout: 252 seconds)
2023-02-13 06:19:44 +0100Vajb(~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686)
2023-02-13 06:20:09 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 06:24:50 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 255 seconds)
2023-02-13 06:27:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-02-13 06:32:00 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-13 06:40:03 +0100cole-k(~cole@rrcs-24-43-123-86.west.biz.rr.com)
2023-02-13 06:41:13 +0100 <cole-k> I figure it doesn't exist, but I wanted to know if there was a flag you can pass to runghc to get it to set stdin's buffering to NoBuffering.
2023-02-13 06:47:11 +0100 <dsal> I'd expect your program to be responsible for that.
2023-02-13 06:47:30 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 06:48:05 +0100phma_(phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26)
2023-02-13 06:48:08 +0100phma(~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer)
2023-02-13 06:51:22 +0100 <cole-k> unfortunate, that's what i figured. couldn't find "stdin" or "buffering" or anything related to that in the docs
2023-02-13 06:51:43 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 06:52:00 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-02-13 06:54:37 +0100 <dsal> https://hackage.haskell.org/package/base-4.17.0.0/docs/System-IO.html
2023-02-13 06:55:16 +0100 <cole-k> yeah i'm aware of that. was hoping to configure it from the CLI to save on chars in my entry to the tiny game jam
2023-02-13 06:56:02 +0100 <cole-k> which i will admit is kind of cheating but it's sooooo many characters just to set NoBuffering :(
2023-02-13 06:58:25 +0100shapr(~user@net-5-88-238-17.cust.vodafonedsl.it)
2023-02-13 06:59:09 +0100 <Axman6> cole-k: I thin you could all the command to do that to a .ghci file
2023-02-13 07:00:45 +0100 <Axman6> cole-k: https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html?highlight=ghci#the-ghci-and-ha…
2023-02-13 07:00:52 +0100rlj(~rlj@194-218-34-180.customer.telia.com)
2023-02-13 07:02:35 +0100 <cole-k> Thanks Axman6 for the suggestion, unfortunately I think that reading from an external file is explicitly not allowed in the rules (i was trying to exploit a more gray area loophole)
2023-02-13 07:02:57 +0100 <cole-k> i'm guessing they'd count .ghci toward that
2023-02-13 07:03:02 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-13 07:03:49 +0100califax(~califax@user/califx)
2023-02-13 07:04:56 +0100analoq(~yashi@user/dies) (Ping timeout: 246 seconds)
2023-02-13 07:06:43 +0100analoq(~yashi@user/dies)
2023-02-13 07:07:18 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 07:10:15 +0100cole-k(~cole@rrcs-24-43-123-86.west.biz.rr.com) (Remote host closed the connection)
2023-02-13 07:11:35 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 246 seconds)
2023-02-13 07:20:04 +0100 <EvanR> is modifying the compiler explicitly not allowed in the rules? xD
2023-02-13 07:25:41 +0100thongpv(~thongpv87@123.31.163.143)
2023-02-13 07:34:56 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 07:36:22 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7)
2023-02-13 07:37:57 +0100takuan(~takuan@178.116.218.225)
2023-02-13 07:39:23 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 07:40:07 +0100trev(~trev@user/trev)
2023-02-13 07:41:34 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-13 07:42:45 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Quit: king_gs)
2023-02-13 07:44:54 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-13 07:57:05 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 08:00:45 +0100nattiestnate(~nate@202.138.250.62) (Quit: WeeChat 3.8)
2023-02-13 08:01:13 +0100thongpv(~thongpv87@123.31.163.143) (Remote host closed the connection)
2023-02-13 08:03:43 +0100thongpv(~thongpv87@123.31.163.143)
2023-02-13 08:04:19 +0100opticblast(~Thunderbi@172.58.84.5) (Quit: opticblast)
2023-02-13 08:06:08 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2023-02-13 08:07:37 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2023-02-13 08:09:02 +0100thongpv87(~thongpv87@123.31.163.143)
2023-02-13 08:11:27 +0100thongpv(~thongpv87@123.31.163.143) (Ping timeout: 248 seconds)
2023-02-13 08:11:31 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-02-13 08:11:56 +0100falafel(~falafel@2607:fb91:143f:e47f:3f5:ed1d:a924:9b13) (Ping timeout: 255 seconds)
2023-02-13 08:14:43 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl)
2023-02-13 08:14:55 +0100michalz(~michalz@185.246.204.126)
2023-02-13 08:23:49 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 08:27:17 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c665:fff:9207:b36e)
2023-02-13 08:42:53 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 08:49:16 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-02-13 08:49:40 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-02-13 08:50:39 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
2023-02-13 08:52:45 +0100MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2023-02-13 08:55:02 +0100shriekingnoise(~shrieking@186.137.175.87) (Quit: Quit)
2023-02-13 08:55:21 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-02-13 08:58:02 +0100MQ-17J(~MQ-17J@104.28.248.165)
2023-02-13 08:59:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 09:00:22 +0100thongpv(~thongpv87@123.31.163.143)
2023-02-13 09:01:09 +0100dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2023-02-13 09:01:53 +0100thongpv87(~thongpv87@123.31.163.143) (Ping timeout: 252 seconds)
2023-02-13 09:02:37 +0100razetime(~Thunderbi@117.193.7.116) (Ping timeout: 252 seconds)
2023-02-13 09:02:49 +0100dolio(~dolio@130.44.134.54)
2023-02-13 09:03:07 +0100mncheckm(~mncheck@193.224.205.254)
2023-02-13 09:03:08 +0100rlj(~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 260 seconds)
2023-02-13 09:03:42 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 09:10:12 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl)
2023-02-13 09:18:18 +0100razetime(~Thunderbi@117.193.7.116)
2023-02-13 09:18:25 +0100azure_vermilion(~azure_ver@164.39.138.83) (Ping timeout: 252 seconds)
2023-02-13 09:19:55 +0100andjjj23(~irc@107.170.228.47) (Remote host closed the connection)
2023-02-13 09:25:53 +0100andjjj23(~irc@107.170.228.47)
2023-02-13 09:27:22 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe)
2023-02-13 09:29:20 +0100cfricke(~cfricke@user/cfricke)
2023-02-13 09:32:23 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-02-13 09:32:50 +0100Sinbad(~Sinbad@user/sinbad)
2023-02-13 09:32:57 +0100acidjnk(~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de)
2023-02-13 09:36:09 +0100razetime1(~Thunderbi@117.193.7.116)
2023-02-13 09:37:31 +0100razetime(~Thunderbi@117.193.7.116) (Ping timeout: 248 seconds)
2023-02-13 09:37:31 +0100razetime1razetime
2023-02-13 09:38:40 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-13 09:46:07 +0100danso(~danso@danso.ca) (Quit: ZNC - https://znc.in)
2023-02-13 09:49:02 +0100thongpv87(~thongpv87@2402:9d80:3fd:3cf0:3e46:edf8:8925:b955)
2023-02-13 09:50:34 +0100danso(~danso@2600:3c04::f03c:91ff:fe05:6954)
2023-02-13 09:51:43 +0100thongpv(~thongpv87@123.31.163.143) (Ping timeout: 248 seconds)
2023-02-13 09:55:25 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32)
2023-02-13 09:56:19 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-13 09:58:51 +0100Guest8(~Guest8@174-21-178-142.tukw.qwest.net)
2023-02-13 10:00:06 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle)
2023-02-13 10:00:10 +0100kenran(~user@user/kenran)
2023-02-13 10:01:13 +0100kenran(~user@user/kenran) (*.net *.split)
2023-02-13 10:01:13 +0100phma_(phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) (*.net *.split)
2023-02-13 10:01:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2023-02-13 10:01:13 +0100notzmv(~zmv@user/notzmv) (*.net *.split)
2023-02-13 10:01:13 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (*.net *.split)
2023-02-13 10:01:13 +0100agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db) (*.net *.split)
2023-02-13 10:01:13 +0100foghorn(~foghorn@user/foghorn) (*.net *.split)
2023-02-13 10:01:13 +0100Guest4659(~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split)
2023-02-13 10:01:13 +0100mjs2600_(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split)
2023-02-13 10:01:13 +0100remexre(~remexre@mail.sift.net) (*.net *.split)
2023-02-13 10:01:13 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (*.net *.split)
2023-02-13 10:01:13 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split)
2023-02-13 10:01:13 +0100maerwald[m](~maerwaldm@user/maerwald) (*.net *.split)
2023-02-13 10:01:13 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split)
2023-02-13 10:01:13 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (*.net *.split)
2023-02-13 10:01:13 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (*.net *.split)
2023-02-13 10:01:13 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (*.net *.split)
2023-02-13 10:01:13 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split)
2023-02-13 10:01:13 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd) (*.net *.split)
2023-02-13 10:01:13 +0100ncf(~n@monade.li) (*.net *.split)
2023-02-13 10:01:14 +0100riatre_(~quassel@2001:310:6000:f::5198:1) (*.net *.split)
2023-02-13 10:01:14 +0100earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split)
2023-02-13 10:01:14 +0100liskin(~liskin@xmonad/liskin) (*.net *.split)
2023-02-13 10:01:14 +0100kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2023-02-13 10:01:14 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2023-02-13 10:01:14 +0100vito(sid1962@user/vito) (*.net *.split)
2023-02-13 10:01:14 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2023-02-13 10:01:14 +0100nrr____(sid20938@id-20938.lymington.irccloud.com) (*.net *.split)
2023-02-13 10:01:14 +0100ProofTechnique(sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
2023-02-13 10:01:14 +0100acertain(sid470584@id-470584.hampstead.irccloud.com) (*.net *.split)
2023-02-13 10:01:14 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
2023-02-13 10:01:14 +0100Moyst(~moyst@user/moyst) (*.net *.split)
2023-02-13 10:01:14 +0100df(~ben@justworks.xyz) (*.net *.split)
2023-02-13 10:01:14 +0100PHO`(~pho@akari.cielonegro.org) (*.net *.split)
2023-02-13 10:01:14 +0100Rembane(~Rembane@li346-36.members.linode.com) (*.net *.split)
2023-02-13 10:01:22 +0100Rembane(~Rembane@li346-36.members.linode.com)
2023-02-13 10:01:23 +0100remexre(~remexre@user/remexre)
2023-02-13 10:01:28 +0100df(~ben@justworks.xyz)
2023-02-13 10:01:30 +0100kenran(~user@user/kenran)
2023-02-13 10:01:30 +0100root(~m-mzmz6l@38.242.236.220)
2023-02-13 10:01:31 +0100mjs2600(~mjs2600@24.91.3.49)
2023-02-13 10:01:32 +0100ProofTechnique(sid79547@2a03:5180:f:3::1:36bb)
2023-02-13 10:01:32 +0100vito(sid1962@user/vito)
2023-02-13 10:01:43 +0100notzmv(~zmv@user/notzmv)
2023-02-13 10:01:43 +0100dsrt^(~dsrt@24.30.76.89)
2023-02-13 10:01:45 +0100earthy(~arthurvl@2a02:a469:f5e2:1:ba27:ebff:fea0:40b0)
2023-02-13 10:01:45 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2023-02-13 10:01:45 +0100liskin(~liskin@xmonad/liskin)
2023-02-13 10:01:47 +0100kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2023-02-13 10:02:02 +0100rootGuest5069
2023-02-13 10:02:05 +0100edmundnoble(sid229620@helmsley.irccloud.com)
2023-02-13 10:02:10 +0100phma_(phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26)
2023-02-13 10:02:10 +0100acertain(sid470584@hampstead.irccloud.com)
2023-02-13 10:02:12 +0100nrr____(sid20938@5.254.36.59)
2023-02-13 10:02:15 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-02-13 10:02:24 +0100PHO`(~pho@akari.cielonegro.org)
2023-02-13 10:02:28 +0100riatre(~quassel@2001:310:6000:f::5198:1)
2023-02-13 10:02:38 +0100NiKaN(sid385034@helmsley.irccloud.com)
2023-02-13 10:02:53 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-02-13 10:02:57 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-02-13 10:03:17 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-02-13 10:03:54 +0100Guest8(~Guest8@174-21-178-142.tukw.qwest.net) (Quit: Client closed)
2023-02-13 10:03:55 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-02-13 10:04:03 +0100ncf(~n@monade.li)
2023-02-13 10:04:04 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 252 seconds)
2023-02-13 10:04:29 +0100phma_phma
2023-02-13 10:04:34 +0100foghorn(~foghorn@user/foghorn)
2023-02-13 10:05:53 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-02-13 10:06:29 +0100Moyst(~moyst@user/moyst)
2023-02-13 10:06:44 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit)
2023-02-13 10:07:25 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-02-13 10:07:26 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-02-13 10:07:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-13 10:08:13 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd)
2023-02-13 10:08:53 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-02-13 10:09:31 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-02-13 10:09:42 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-02-13 10:09:46 +0100chele(~chele@user/chele)
2023-02-13 10:09:51 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-02-13 10:10:04 +0100agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db)
2023-02-13 10:11:19 +0100shapr(~user@net-5-88-238-17.cust.vodafonedsl.it) (Remote host closed the connection)
2023-02-13 10:14:05 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2023-02-13 10:14:17 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-02-13 10:16:13 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-13 10:18:55 +0100nerdypepper(~nerdypepp@user/nerdypepper) (WeeChat 3.8)
2023-02-13 10:19:19 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-13 10:20:53 +0100rlj(~rlj@c-5eea65c2-74736162.cust.telenor.se)
2023-02-13 10:25:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 10:28:23 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 10:29:40 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de)
2023-02-13 10:32:11 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 246 seconds)
2023-02-13 10:32:58 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-02-13 10:36:50 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 10:38:26 +0100maroloccio(~marolocci@90.167.158.133)
2023-02-13 10:40:41 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 10:44:10 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-02-13 10:51:47 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 10:53:56 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-02-13 10:55:38 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-13 10:59:20 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 11:03:43 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-02-13 11:04:23 +0100nschoe(~q@141.101.51.197)
2023-02-13 11:05:57 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-02-13 11:06:19 +0100ft(~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving)
2023-02-13 11:07:11 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de)
2023-02-13 11:09:52 +0100rlj(~rlj@c-5eea65c2-74736162.cust.telenor.se) (Quit: Client closed)
2023-02-13 11:15:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Remote host closed the connection)
2023-02-13 11:16:49 +0100xff0x(~xff0x@125.103.176.34) (Ping timeout: 252 seconds)
2023-02-13 11:18:07 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 248 seconds)
2023-02-13 11:18:18 +0100lackita(~lackita@73.114.250.252)
2023-02-13 11:19:52 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-13 11:20:41 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 11:20:44 +0100shapr(~user@net-5-88-238-17.cust.vodafonedsl.it)
2023-02-13 11:22:18 +0100jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-02-13 11:24:14 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 11:25:28 +0100xerox(~edi@user/edi) (Ping timeout: 252 seconds)
2023-02-13 11:27:14 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-13 11:31:14 +0100xerox(~edi@user/edi)
2023-02-13 11:32:05 +0100__monty__(~toonn@user/toonn)
2023-02-13 11:33:56 +0100rlj(~rlj@c-5eea65c2-74736162.cust.telenor.se)
2023-02-13 11:35:15 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 260 seconds)
2023-02-13 11:35:48 +0100lackita(~lackita@73.114.250.252)
2023-02-13 11:38:14 +0100lackita(~lackita@73.114.250.252) (Read error: Connection reset by peer)
2023-02-13 11:38:25 +0100lackita(~lackita@2600:1000:b04a:d8ea:543f:fb7f:d1cf:2dc5)
2023-02-13 11:38:43 +0100lackita(~lackita@2600:1000:b04a:d8ea:543f:fb7f:d1cf:2dc5) (Read error: Connection reset by peer)
2023-02-13 11:38:55 +0100lackita(~lackita@73.114.250.252)
2023-02-13 11:42:26 +0100lackita(~lackita@73.114.250.252) (Read error: Connection reset by peer)
2023-02-13 11:42:58 +0100lackita(~lackita@73.114.250.252)
2023-02-13 11:47:37 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 11:47:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 11:49:16 +0100 <Inst> i finally learned how to love monads once I understood the fuss about monads as a fuss about monadic eDSLs
2023-02-13 11:49:20 +0100 <Inst> how dumb is this:
2023-02-13 11:49:48 +0100 <Inst> "The relationship between imperative programming and monadic do is as the relationship between euclidean geometry and non-euclidean geometry"
2023-02-13 11:51:45 +0100 <kuribas> More like the relationship between euclidean geometry, and any geometry (including euclidean and non-euclidean)
2023-02-13 11:51:50 +0100gpncarl(~gpncarl@210.12.195.6) (Read error: Connection reset by peer)
2023-02-13 11:52:00 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 11:52:13 +0100gpncarl(~gpncarl@222.249.231.3)
2023-02-13 11:53:47 +0100 <Inst> thanks for correction
2023-02-13 11:54:08 +0100 <kuribas> although monads are for from geometry.
2023-02-13 11:54:16 +0100 <kuribas> it's a generalization of a concept.
2023-02-13 11:54:24 +0100 <kuribas> s/for/far
2023-02-13 11:56:15 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 260 seconds)
2023-02-13 11:56:25 +0100 <kuribas> you first separate bind (<<=) :: (a -> m b) -> m a -> m b from pure apply ($) :: (a -> b) -> a -> b.
2023-02-13 11:56:41 +0100 <kuribas> Then by generalizing bind you get a monad.
2023-02-13 11:56:57 +0100 <kuribas> That is generalizing `IO` to a type variable m.
2023-02-13 11:58:39 +0100 <kuribas> or kleisly arrow vs composition (.) :: (b -> c) -> (a -> b) -> (a -> c), vs (>=>) :: (b -> m c) -> (a -> m b) -> (a -> m c)
2023-02-13 12:00:02 +0100 <kuribas> You can see that a Monad generalizes function application, or function composition.
2023-02-13 12:00:21 +0100 <kuribas> If you use the Identity monad, you get back pure function composition
2023-02-13 12:00:32 +0100 <kuribas> :t (>=>) @ Identity
2023-02-13 12:00:33 +0100 <lambdabot> error:
2023-02-13 12:00:33 +0100 <lambdabot> Pattern syntax in expression context: (>=>)@Identity
2023-02-13 12:00:33 +0100 <lambdabot> Did you mean to enable TypeApplications?
2023-02-13 12:01:27 +0100 <kuribas> Monad doesn't just generalize imperative programming, it generalizes composition.
2023-02-13 12:01:43 +0100 <mauke> :t (>=>)
2023-02-13 12:01:44 +0100 <lambdabot> Monad m => (a -> m b) -> (b -> m c) -> a -> m c
2023-02-13 12:01:58 +0100 <kuribas> right :)
2023-02-13 12:02:03 +0100 <kuribas> :t (.)
2023-02-13 12:02:05 +0100 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2023-02-13 12:02:16 +0100 <kuribas> :t (<=<)
2023-02-13 12:02:17 +0100 <lambdabot> Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2023-02-13 12:02:46 +0100 <mauke> oh yeah, and with Identity, all the m's just disappear
2023-02-13 12:06:11 +0100 <Inst> interesting
2023-02-13 12:07:51 +0100unlucy(sid572875@2a03:5180:f::8:bdcb) ()
2023-02-13 12:08:26 +0100patrl(~patrl@user/patrl)
2023-02-13 12:11:43 +0100xff0x(~xff0x@2405:6580:b080:900:9474:b05a:3851:1ef1)
2023-02-13 12:12:10 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 12:12:26 +0100rlj(~rlj@c-5eea65c2-74736162.cust.telenor.se) (Quit: Client closed)
2023-02-13 12:13:27 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 12:16:00 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350)
2023-02-13 12:17:29 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds)
2023-02-13 12:20:00 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-02-13 12:20:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Ping timeout: 260 seconds)
2023-02-13 12:25:35 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 12:25:59 +0100 <Inst> i can see how monads generalize function application and composition now
2023-02-13 12:26:09 +0100 <Inst> and why Control.Category has kleisi arrows
2023-02-13 12:26:14 +0100biberu\(~biberu@user/biberu)
2023-02-13 12:26:31 +0100 <Inst> well, Control.Arrow
2023-02-13 12:26:38 +0100AlexNoo_(~AlexNoo@178.34.160.79)
2023-02-13 12:27:16 +0100neightchan(~nate@98.45.169.16)
2023-02-13 12:27:54 +0100MironZ5(~MironZ@nat-infra.ehlab.uk)
2023-02-13 12:28:26 +0100npmania1(~Thunderbi@45.8.223.203)
2023-02-13 12:28:44 +0100mniip_(mniip@libera/staff/mniip)
2023-02-13 12:28:52 +0100haskl[error](~haskl@user/haskl)
2023-02-13 12:28:53 +0100haritzondo(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2023-02-13 12:28:59 +0100gabiruh_(~gabiruh@vps19177.publiccloud.com.br)
2023-02-13 12:29:00 +0100davl_(~davl@207.154.228.18)
2023-02-13 12:29:02 +0100tstat_(~tstat@user/tstat)
2023-02-13 12:29:09 +0100Philonous_(~Philonous@user/philonous)
2023-02-13 12:29:20 +0100goober_(~goober@90-231-13-185-no3430.tbcn.telia.com)
2023-02-13 12:29:34 +0100Ekho-(~Ekho@user/ekho)
2023-02-13 12:30:23 +0100turlando_(~turlando@user/turlando)
2023-02-13 12:30:24 +0100freeside_(~mengwong@103.252.202.170)
2023-02-13 12:30:33 +0100guygastineau(~guygastin@137.184.131.156)
2023-02-13 12:30:36 +0100dminuoso_(~dminuoso@user/dminuoso)
2023-02-13 12:30:54 +0100telser_(~quassel@user/telser)
2023-02-13 12:31:02 +0100thaumavorio_(~thaumavor@thaumavor.io)
2023-02-13 12:31:11 +0100hammond__(proscan@gateway02.insomnia247.nl)
2023-02-13 12:31:18 +0100laman2(~laman@rego.ai)
2023-02-13 12:31:24 +0100dfordvm(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2023-02-13 12:31:24 +0100cjay-(cjay@nerdbox.nerd2nerd.org)
2023-02-13 12:31:25 +0100tomku|two(~tomku@user/tomku)
2023-02-13 12:31:40 +0100Cheery_(~cheery@server-239-7.tentacle.cloud)
2023-02-13 12:31:40 +0100kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host)
2023-02-13 12:31:42 +0100aku(~aku@163.172.137.34)
2023-02-13 12:31:50 +0100 <trev> how can i turn `f n e = divMod n $ 10^e` into a composed function, like `f = flip divMod . (^) 10` ? can't seem to get it right
2023-02-13 12:31:51 +0100Logio_(em@kapsi.fi)
2023-02-13 12:31:53 +0100AWizzArd_(~code@gehrels.uberspace.de)
2023-02-13 12:31:54 +0100myme1(~myme@40.51-175-185.customer.lyse.net)
2023-02-13 12:32:10 +0100gh0stbuster(~admin@user/ghostbuster)
2023-02-13 12:32:29 +0100aforemny_(~aforemny@static.248.158.34.188.clients.your-server.de)
2023-02-13 12:32:30 +0100ell6(~ellie@user/ellie)
2023-02-13 12:32:31 +0100noctux1(Zx24REiiwW@user/noctux)
2023-02-13 12:32:36 +0100heath1(~heath@user/heath)
2023-02-13 12:32:40 +0100vgtw_(~vgtw@user/vgtw)
2023-02-13 12:32:52 +0100energizer_(~energizer@user/energizer)
2023-02-13 12:32:55 +0100noteness_(~noteness@user/noteness)
2023-02-13 12:33:07 +0100 <__monty__> trev: You'd need the blackbird operator.
2023-02-13 12:33:20 +0100mcglk_(~mcglk@131.191.49.120)
2023-02-13 12:33:27 +0100 <mauke> @pl f n e = divMod n $ 10^e
2023-02-13 12:33:27 +0100 <lambdabot> f = (. (10 ^)) . divMod
2023-02-13 12:33:54 +0100 <trev> whaaat the...
2023-02-13 12:33:54 +0100 <__monty__> @hoogle Data.Birds
2023-02-13 12:33:54 +0100 <lambdabot> No results found
2023-02-13 12:34:01 +0100 <trev> mauke how does @pl work?
2023-02-13 12:34:04 +0100 <mauke> @pl f e n = divMod n $ 10^e
2023-02-13 12:34:04 +0100 <lambdabot> f = flip divMod . (10 ^)
2023-02-13 12:34:24 +0100user2(~user@162.255.84.96)
2023-02-13 12:34:31 +0100 <mauke> ~magic~
2023-02-13 12:34:31 +0100 <__monty__> @hoogle Data.Aviary.Birds
2023-02-13 12:34:31 +0100 <lambdabot> No results found
2023-02-13 12:34:39 +0100 <trev> ;_;
2023-02-13 12:34:40 +0100 <__monty__> Fine, https://hackage.haskell.org/package/data-aviary
2023-02-13 12:34:50 +0100joeyh_(joeyh@2600:3c03::f03c:91ff:fe73:b0d2)
2023-02-13 12:34:52 +0100 <mauke> I don't actually know how it works
2023-02-13 12:35:06 +0100 <trev> HaskellGPT??
2023-02-13 12:35:07 +0100 <mauke> I assume it systematically eliminates lambdas by rewriting them to certain predefined combinators
2023-02-13 12:35:12 +0100 <trev> yeah prob
2023-02-13 12:35:20 +0100 <trev> thank you for that trick
2023-02-13 12:35:25 +0100 <trev> no birds for me
2023-02-13 12:35:36 +0100 <mauke> I mean, there are entire compilers built on that trick
2023-02-13 12:35:43 +0100 <__monty__> trev: You should also know that once you need flip or any of the birds you've crossed the threshold of when to give up on the point-free style. Hence the name of the @pl command -> Point*Less*.
2023-02-13 12:36:01 +0100 <trev> __monty__ i'm code golfing
2023-02-13 12:36:04 +0100sm[i]_(~user@li229-222.members.linode.com)
2023-02-13 12:36:13 +0100acidjnk(~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-02-13 12:36:17 +0100 <__monty__> Then you'll want to use the blackbird.
2023-02-13 12:36:20 +0100 <trev> ah pointless, yes. thanks
2023-02-13 12:36:28 +0100freeside(~mengwong@103.252.202.170) (*.net *.split)
2023-02-13 12:36:28 +0100biberu(~biberu@user/biberu) (*.net *.split)
2023-02-13 12:36:28 +0100npmania(~Thunderbi@45.8.223.203) (*.net *.split)
2023-02-13 12:36:28 +0100tomku(~tomku@user/tomku) (*.net *.split)
2023-02-13 12:36:28 +0100AlexNoo(~AlexNoo@178.34.160.79) (*.net *.split)
2023-02-13 12:36:28 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2023-02-13 12:36:28 +0100sm[i](~user@plaintextaccounting/sm) (*.net *.split)
2023-02-13 12:36:28 +0100AWizzArd(~code@user/awizzard) (*.net *.split)
2023-02-13 12:36:28 +0100telser(~quassel@user/telser) (*.net *.split)
2023-02-13 12:36:28 +0100MironZ(~MironZ@nat-infra.ehlab.uk) (*.net *.split)
2023-02-13 12:36:28 +0100mcglk(~mcglk@131.191.49.120) (*.net *.split)
2023-02-13 12:36:28 +0100turlando(~turlando@user/turlando) (*.net *.split)
2023-02-13 12:36:28 +0100inversed(~inversed@bcdcac82.skybroadband.com) (*.net *.split)
2023-02-13 12:36:28 +0100haritz(~hrtz@user/haritz) (*.net *.split)
2023-02-13 12:36:28 +0100aku_(~aku@163.172.137.34) (*.net *.split)
2023-02-13 12:36:28 +0100kaol_(~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split)
2023-02-13 12:36:28 +0100witcher(~witcher@wiredspace.de) (*.net *.split)
2023-02-13 12:36:28 +0100cyphase(~cyphase@user/cyphase) (*.net *.split)
2023-02-13 12:36:28 +0100vgtw(~vgtw@user/vgtw) (*.net *.split)
2023-02-13 12:36:28 +0100haskl(~haskl@user/haskl) (*.net *.split)
2023-02-13 12:36:28 +0100esph(~weechat@user/esph) (*.net *.split)
2023-02-13 12:36:28 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split)
2023-02-13 12:36:28 +0100heath(~heath@user/heath) (*.net *.split)
2023-02-13 12:36:28 +0100energizer(~energizer@user/energizer) (*.net *.split)
2023-02-13 12:36:28 +0100tstat(~tstat@user/tstat) (*.net *.split)
2023-02-13 12:36:28 +0100ell(~ellie@user/ellie) (*.net *.split)
2023-02-13 12:36:28 +0100rendar(~Paxman@user/rendar) (*.net *.split)
2023-02-13 12:36:28 +0100q0r(~user@162.255.84.96) (*.net *.split)
2023-02-13 12:36:28 +0100RMSBach(~guygastin@137.184.131.156) (*.net *.split)
2023-02-13 12:36:28 +0100tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2023-02-13 12:36:28 +0100Philonous(~Philonous@user/philonous) (*.net *.split)
2023-02-13 12:36:29 +0100voidzero(~voidzero@user/voidzero) (*.net *.split)
2023-02-13 12:36:35 +0100biberu\biberu
2023-02-13 12:36:35 +0100MironZ5MironZ
2023-02-13 12:36:38 +0100npmania1npmania
2023-02-13 12:36:39 +0100ell6ell
2023-02-13 12:36:39 +0100 <__monty__> A single operator is still shorter than a flip and an operator.
2023-02-13 12:36:42 +0100 <trev> i am restricting myself to Base only
2023-02-13 12:37:03 +0100cyphase(~cyphase@user/cyphase)
2023-02-13 12:37:18 +0100 <trev> it's for https://github.com/haskell-game/tiny-games-hs, if anyone else wants to play and doesn't know about it
2023-02-13 12:37:23 +0100SoF(~skius@user/skius)
2023-02-13 12:37:23 +0100inversed(~inversed@bcdcac82.skybroadband.com)
2023-02-13 12:37:28 +0100 <mauke> __monty__: no, that costs a cabal install and a whole import line
2023-02-13 12:38:10 +0100Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2023-02-13 12:39:00 +0100meejah(~meejah@rutas.meejah.ca)
2023-02-13 12:39:05 +0100acidjnk(~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de)
2023-02-13 12:40:25 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-13 12:40:28 +0100alp(~alp@user/alp)
2023-02-13 12:41:23 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-13 12:41:50 +0100bcoppens(~bartcopp@vpn2.bartcoppens.be)
2023-02-13 12:41:59 +0100voidzero(~voidzero@user/voidzero)
2023-02-13 12:42:00 +0100asm(~alexander@burner.asm89.io)
2023-02-13 12:42:24 +0100rodental(~rodental@38.146.5.222)
2023-02-13 12:42:24 +0100Hafydd(~Hafydd@user/hafydd)
2023-02-13 12:43:11 +0100esph(~weechat@user/esph)
2023-02-13 12:43:21 +0100tomboy64(~tomboy64@user/tomboy64)
2023-02-13 12:43:27 +0100witcher(~witcher@wiredspace.de)
2023-02-13 12:43:59 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-02-13 12:44:07 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2023-02-13 12:44:17 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2023-02-13 12:44:48 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 252 seconds)
2023-02-13 12:45:19 +0100malte(~malte@152.89.107.66) (Remote host closed the connection)
2023-02-13 12:46:25 +0100malte(~malte@mal.tc)
2023-02-13 12:46:38 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-02-13 12:50:58 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-13 12:53:21 +0100Inst_(~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240)
2023-02-13 12:54:39 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-13 12:56:35 +0100Inst(~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 260 seconds)
2023-02-13 12:59:16 +0100Guest67(~Guest67@159.153.150.4) (Quit: Client closed)
2023-02-13 13:01:17 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-02-13 13:02:08 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-13 13:02:58 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de)
2023-02-13 13:05:51 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-02-13 13:09:56 +0100shailangsa_(~shailangs@host165-120-169-78.range165-120.btcentralplus.com)
2023-02-13 13:14:19 +0100MajorBiscuit(~MajorBisc@145.94.131.152)
2023-02-13 13:14:41 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-02-13 13:28:43 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-02-13 13:37:04 +0100chele_(~chele@user/chele)
2023-02-13 13:39:27 +0100chele(~chele@user/chele) (Ping timeout: 252 seconds)
2023-02-13 13:40:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 13:43:01 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2023-02-13 13:44:01 +0100malte(~malte@152.89.107.66)
2023-02-13 13:46:06 +0100chele_(~chele@user/chele) (Read error: Connection reset by peer)
2023-02-13 13:47:27 +0100chele_(~chele@user/chele)
2023-02-13 13:48:25 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-02-13 13:48:25 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-13 13:48:25 +0100finn_elijaFinnElija
2023-02-13 13:50:36 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2023-02-13 13:52:25 +0100aforemny_aforemny
2023-02-13 13:54:30 +0100mmhat(~mmh@p200300f1c7067e4aee086bfffe095315.dip0.t-ipconnect.de)
2023-02-13 13:55:42 +0100mmhat(~mmh@p200300f1c7067e4aee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-02-13 14:03:04 +0100chele__(~chele@user/chele)
2023-02-13 14:04:02 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2023-02-13 14:05:04 +0100freeside_(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-02-13 14:05:47 +0100chele_(~chele@user/chele) (Ping timeout: 248 seconds)
2023-02-13 14:06:10 +0100lyle(~lyle@104.246.145.237)
2023-02-13 14:06:16 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 14:06:58 +0100chele_(~chele@user/chele)
2023-02-13 14:09:43 +0100chele__(~chele@user/chele) (Ping timeout: 260 seconds)
2023-02-13 14:10:51 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 256 seconds)
2023-02-13 14:12:32 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 14:12:51 +0100igghibu(~igghibu@91.193.5.10)
2023-02-13 14:14:39 +0100kaction(~kaction@173.66.188.18) (Ping timeout: 252 seconds)
2023-02-13 14:17:05 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2023-02-13 14:18:35 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2023-02-13 14:18:54 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de)
2023-02-13 14:21:02 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-02-13 14:21:50 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2023-02-13 14:22:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-02-13 14:23:02 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-13 14:23:26 +0100califax(~califax@user/califx)
2023-02-13 14:23:40 +0100igghibu(~igghibu@91.193.5.10) (Quit: igghibu)
2023-02-13 14:26:44 +0100yoneda(~mike@193.206.102.122)
2023-02-13 14:27:55 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-02-13 14:28:04 +0100gurkenglas(~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-02-13 14:29:22 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-13 14:32:46 +0100 <trev> how do you make stack stop trying to download the latest version?
2023-02-13 14:32:54 +0100 <trev> before installing packages
2023-02-13 14:33:36 +0100 <freeside> the latest version of what?
2023-02-13 14:33:41 +0100 <trev> ghc
2023-02-13 14:34:00 +0100 <dminuoso_> it doesnt download the latest version.
2023-02-13 14:34:41 +0100 <dminuoso_> or well, it will fetch the latest corresponding to your resolver.
2023-02-13 14:34:54 +0100 <freeside> if you want it to use a different version that you already have installed, edit your stack.yaml
2023-02-13 14:34:54 +0100 <trev> hmm that must be it
2023-02-13 14:35:13 +0100 <trev> i didn't know i had a stack.yaml (just want to install a package globally)
2023-02-13 14:35:19 +0100 <trev> outside of a project
2023-02-13 14:37:15 +0100 <freeside> https://stackoverflow.com/questions/49504206/recommended-approach-to-use-stack-as-global-package-m…
2023-02-13 14:37:23 +0100 <freeside> you might still have a ~/.stack/global-project/stack.yaml
2023-02-13 14:37:35 +0100 <freeside> maybe edit the resolver line in that
2023-02-13 14:40:10 +0100 <trev> dang
2023-02-13 14:40:15 +0100 <trev> maybe i'll just use cabal
2023-02-13 14:40:20 +0100 <trev> :D
2023-02-13 14:41:11 +0100 <freeside> whatever works!
2023-02-13 14:42:31 +0100 <trev> actually the wiki says it's a bad idea to install a package globally..
2023-02-13 14:42:34 +0100 <freeside> i was doing an npm install the other day and got an error, somehow one of the source files had gotten truncated during the download/unpack and npm just went ahead to try building anyway
2023-02-13 14:45:40 +0100 <freeside> if installing a package globally means some executable ends up in ~/.local/bin/, i don't see the problem with that
2023-02-13 14:46:17 +0100juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 246 seconds)
2023-02-13 14:47:47 +0100juri_(~juri@84-19-175-179.pool.ovpn.com)
2023-02-13 14:51:06 +0100razetime(~Thunderbi@117.193.7.116) (Remote host closed the connection)
2023-02-13 14:54:28 +0100notzmv(~zmv@user/notzmv)
2023-02-13 14:56:09 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 14:58:19 +0100kaction(~kaction@70.21.17.108)
2023-02-13 14:59:38 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2023-02-13 15:01:07 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-13 15:02:55 +0100raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2023-02-13 15:03:32 +0100jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-13 15:03:45 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds)
2023-02-13 15:03:46 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 252 seconds)
2023-02-13 15:03:54 +0100lackita(~lackita@73.114.250.252)
2023-02-13 15:06:19 +0100 <trev> meh tried installed @pl but can't get it to build
2023-02-13 15:08:31 +0100noctux(~noctux@user/noctux) (Remote host closed the connection)
2023-02-13 15:10:48 +0100 <freeside> i am now running cabal install lambdabot
2023-02-13 15:11:26 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-13 15:11:30 +0100noctux(~noctux@user/noctux)
2023-02-13 15:11:47 +0100gmg(~user@user/gehmehgeh)
2023-02-13 15:12:00 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2023-02-13 15:13:29 +0100asm(~alexander@burner.asm89.io) (Changing host)
2023-02-13 15:13:29 +0100asm(~alexander@user/asm)
2023-02-13 15:13:47 +0100 <geekosaur> there are several sticking points as of last time I tried; lots of bitrotted addons 😞
2023-02-13 15:14:02 +0100kaction(~kaction@70.21.17.108) (Quit: leaving)
2023-02-13 15:14:29 +0100 <freeside> i tried running cabal install pointfree and i got a MonadFail error
2023-02-13 15:14:34 +0100 <freeside> that would be the bitrot
2023-02-13 15:14:35 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 264 seconds)
2023-02-13 15:15:03 +0100 <geekosaur> that should be easy enough to fix
2023-02-13 15:15:25 +0100 <freeside> wow, my .cabal directory is larger than the entire internet was in 1990
2023-02-13 15:15:56 +0100 <geekosaur> import Control.Monad.Fail and add a MonadFail instance (docs should be in Control.Monad.Fail)
2023-02-13 15:16:01 +0100 <geekosaur> 🙂
2023-02-13 15:16:37 +0100 <geekosaur> I think I have more memory on my phone than the whole internet back then 🙂
2023-02-13 15:17:07 +0100 <geekosaur> it's been a wild ride
2023-02-13 15:18:50 +0100 <freeside> lambdabot runs for me, and @pl works, despite pointfree not installing
2023-02-13 15:19:18 +0100 <freeside> good bot
2023-02-13 15:19:24 +0100alternateved(~user@staticline-31-183-180-86.toya.net.pl)
2023-02-13 15:19:33 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-13 15:19:50 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-13 15:20:13 +0100thegeekinside(~thegeekin@189.180.83.186)
2023-02-13 15:21:37 +0100 <freeside> now i am running 'hoogle generate'
2023-02-13 15:22:21 +0100 <freeside> i wonder if the haskell foundation interfaces with google summer of code to fix these kinds of bitrot
2023-02-13 15:22:36 +0100 <freeside> or, maybe, we just need one program transformation expert
2023-02-13 15:23:07 +0100 <trev> cabal install pointfree doesn't even attempt to install the latest version it seems
2023-02-13 15:23:15 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-13 15:23:16 +0100 <trev> but i am getting that same error
2023-02-13 15:23:52 +0100 <geekosaur> you will; it's dependent on the ghc version, not the pointfree version
2023-02-13 15:24:32 +0100 <geekosaur> unless the latest pointfree was modified for `fail` being removed from `Monad` a few years ago
2023-02-13 15:25:10 +0100 <freeside> https://hackage.haskell.org/package/pointfree-1.1.1.9/reports/1
2023-02-13 15:25:37 +0100 <int-e> `cabal install --allow-newer=base pointfree` produces an install plan with pointfree-1.1.1.9 at least
2023-02-13 15:25:49 +0100 <int-e> with ghc-9.4 that is
2023-02-13 15:26:54 +0100 <int-e> and it compiles too
2023-02-13 15:27:12 +0100 <trev> nice
2023-02-13 15:27:15 +0100 <int-e> `base` is just too big for the PVP to be useful for it
2023-02-13 15:27:47 +0100 <int-e> (this is in addition to the fact that it's tied to the compiler)
2023-02-13 15:28:04 +0100 <geekosaur> which is why there is work afoot to break it up some more including reducing that compiler footprint
2023-02-13 15:28:23 +0100 <int-e> pointfree has an upper bound base < 4.16; 9.4 ships with 4.17
2023-02-13 15:28:37 +0100 <freeside> ah, without --allow-newer, cabal chooses pointfree 1.0.3. thanks.
2023-02-13 15:28:40 +0100 <int-e> geekosaur: yeah and it may even manifest before the end of the century
2023-02-13 15:28:55 +0100 <geekosaur> yeh 😕
2023-02-13 15:29:48 +0100freesidegoes back to reading 'Modules Matter Most'
2023-02-13 15:29:56 +0100 <int-e> the *idea* is attractive, but anybody who actually does more than break out a few modules that are rarely used will be remembered as the person who broke everything (again)
2023-02-13 15:30:30 +0100 <freeside> you either die a hero or live long enough to become a maintainer
2023-02-13 15:30:50 +0100 <int-e> There's way more Brownie points to earn elsewhere.
2023-02-13 15:31:17 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2023-02-13 15:32:13 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-13 15:40:33 +0100 <freeside> neat! i have finally installed pointfree, lambdabot, and hoogle. i have been meaning to do that for years.
2023-02-13 15:40:50 +0100 <geekosaur> actually I'd suspect even if it existed now, it wouldn't help: `fail` would be known-key because it's used in pattern matches inside `do`
2023-02-13 15:42:30 +0100 <geekosaur> hm, unless they just generate normal code I guess, but then they could do the same for guards and `True`/`False`
2023-02-13 15:43:51 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-13 15:44:09 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-13 15:45:07 +0100son0p(~ff@190.248.133.154)
2023-02-13 15:51:31 +0100burnsidesLlama(~burnsides@119.247.164.140)
2023-02-13 15:51:32 +0100raym(~ray@user/raym)
2023-02-13 15:53:19 +0100ddellacosta(~ddellacos@146.70.166.139) (Ping timeout: 248 seconds)
2023-02-13 15:53:55 +0100foul_owl(~kerry@157.97.134.60) (Read error: Connection reset by peer)
2023-02-13 15:57:20 +0100Cale(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
2023-02-13 15:58:24 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-02-13 16:02:14 +0100ddellacosta(~ddellacos@146.70.165.10)
2023-02-13 16:06:07 +0100chele_(~chele@user/chele) (Remote host closed the connection)
2023-02-13 16:07:21 +0100notzmv(~zmv@user/notzmv)
2023-02-13 16:09:02 +0100chele(~chele@user/chele)
2023-02-13 16:13:01 +0100foul_owl(~kerry@157.97.134.63)
2023-02-13 16:14:33 +0100ddellacosta(~ddellacos@146.70.165.10) (Quit: WeeChat 3.7.1)
2023-02-13 16:15:28 +0100ddellacosta(~ddellacos@146.70.165.10)
2023-02-13 16:16:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 16:17:22 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-13 16:17:34 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-13 16:22:19 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-13 16:26:48 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-02-13 16:36:50 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8)
2023-02-13 16:36:55 +0100razetime(~Thunderbi@117.193.7.116)
2023-02-13 16:40:08 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-13 16:42:24 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-13 16:42:49 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-13 16:44:53 +0100nattiestnate(~nate@202.138.250.17)
2023-02-13 16:50:03 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2023-02-13 16:51:30 +0100mvk(~mvk@2607:fea8:5caa:ac00::fa57)
2023-02-13 16:53:15 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2023-02-13 17:00:04 +0100aaronv(~aaronv@user/aaronv) (Quit: You have been kicked for being idle)
2023-02-13 17:04:49 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-13 17:05:42 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-02-13 17:07:38 +0100patrl(~patrl@user/patrl) (Ping timeout: 246 seconds)
2023-02-13 17:08:35 +0100thongpv87(~thongpv87@2402:9d80:3fd:3cf0:3e46:edf8:8925:b955) (Ping timeout: 260 seconds)
2023-02-13 17:15:27 +0100Hammdist(~Hammdist@67.169.114.135) (Quit: Client closed)
2023-02-13 17:18:45 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-02-13 17:20:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 17:20:24 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f)
2023-02-13 17:24:43 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Ping timeout: 248 seconds)
2023-02-13 17:27:00 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-02-13 17:30:28 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c665:fff:9207:b36e) (Quit: WeeChat 2.8)
2023-02-13 17:33:05 +0100mechap(~mechap@user/mechap)
2023-02-13 17:35:00 +0100sidy(~sidy@user/sidy)
2023-02-13 17:36:21 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-02-13 17:37:17 +0100notzmv(~zmv@user/notzmv)
2023-02-13 17:38:11 +0100razetime(~Thunderbi@117.193.7.116) (Quit: See You Space Cowboy)
2023-02-13 17:41:17 +0100alternateved(~user@staticline-31-183-180-86.toya.net.pl) (Remote host closed the connection)
2023-02-13 17:43:10 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f)
2023-02-13 17:43:56 +0100mbuf(~Shakthi@49.204.138.212) (Quit: Leaving)
2023-02-13 17:44:39 +0100 <anatta> Why does the following fail with "*** Exception: Prelude.read: no parse"
2023-02-13 17:44:43 +0100 <anatta> getCurrentTime >>= print . read . show
2023-02-13 17:44:54 +0100 <anatta> where getCurrentTime :: IO UTCTime
2023-02-13 17:45:50 +0100 <sm> anatta: UTFTime does not have a Read-able Show instance, unfortunately
2023-02-13 17:46:09 +0100 <sm> UTCTime, even
2023-02-13 17:46:32 +0100 <geekosaur> yeh, it's a broken Show instance
2023-02-13 17:47:06 +0100 <sm> use eg https://hackage.haskell.org/package/time-1.12.2/docs/Data-Time-Format.html#v:parseTimeOrError
2023-02-13 17:47:22 +0100 <anatta> hmhm, I see
2023-02-13 17:47:32 +0100 <anatta> (that should be illegal :@ )
2023-02-13 17:48:10 +0100 <sm> you should launch an investigation
2023-02-13 17:48:11 +0100 <sm> name names
2023-02-13 17:49:04 +0100 <anatta> I might have to rewrite some code then - the code I'm using is serializing data to text and then back again in different places
2023-02-13 17:49:56 +0100 <anatta> so it doesn't really help that a different parsing function exists, but thanks - I'll remember it for next time I run into time parsing at least
2023-02-13 17:50:29 +0100 <anatta> but in this case I might not get a time - I just get some "a" in text form
2023-02-13 17:50:31 +0100 <sm> well, you can use it in your custom reader (and formatTIme in your writer)
2023-02-13 17:50:50 +0100 <anatta> hm
2023-02-13 17:51:18 +0100 <anatta> yeah, something like that could probably work
2023-02-13 17:51:28 +0100 <anatta> thanks for the help
2023-02-13 17:51:33 +0100 <sm> or.. convert UTCTIme to a custom well behaved type for writing/reading ?
2023-02-13 17:52:26 +0100 <sm> it's an unfortunate roadbump
2023-02-13 17:54:14 +0100 <Cale> (or maybe use aeson or something)
2023-02-13 17:54:59 +0100 <anatta> aeson might work, if I don't break the code by rewriting it
2023-02-13 17:55:08 +0100 <anatta> it's for web purposes originally anyway
2023-02-13 17:55:12 +0100 <anatta> so aeson would make sense
2023-02-13 17:55:16 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-13 17:55:50 +0100 <anatta> you have code on one end that's storing arbitrary data in text form in a container and sends it to a different place where it's later unpacked
2023-02-13 17:56:17 +0100 <anatta> so any solution wouldn't be able to specifically do things with e.g. UTCTime
2023-02-13 17:56:27 +0100 <anatta> at the moment it's just a (Show a, Read a) constraint
2023-02-13 17:58:33 +0100 <geekosaur> unfortunately, you pretty much have to use something like json/yaml/bson/etc. any more. Show and Read are unreliable
2023-02-13 17:58:45 +0100 <geekosaur> and have horrid error handling on top
2023-02-13 17:59:29 +0100 <anatta> it doesn't surprise me tbh - and it does make a lot of sense to separate presentation from serialization anyway
2023-02-13 17:59:36 +0100 <geekosaur> "no parse" gee. thanks
2023-02-13 18:00:26 +0100 <anatta> just a bit frustrating when I got code that was specifically made to use show/read :p
2023-02-13 18:00:47 +0100 <anatta> but I guess I'll have to roll up my sleeves and fix it
2023-02-13 18:01:53 +0100 <mauke> isn't the issue that print . read . show uses an ambiguous type?
2023-02-13 18:02:18 +0100 <sm> and yet... I have some code that appears to read UTCTIme..
2023-02-13 18:02:56 +0100 <c_wraith> mauke is correct
2023-02-13 18:03:03 +0100 <c_wraith> compile with -Wall
2023-02-13 18:03:10 +0100 <merijn> This is why you enable -Wall and fix type defaulting :p
2023-02-13 18:03:17 +0100 <merijn> It's trying to parse () :p
2023-02-13 18:03:27 +0100 <sm> I was all wrong, sorry. I think mauke is right
2023-02-13 18:03:40 +0100 <merijn> > (read . show) True
2023-02-13 18:03:42 +0100 <lambdabot> *Exception: Prelude.read: no parse
2023-02-13 18:03:45 +0100 <merijn> > (read . show) ()
2023-02-13 18:03:46 +0100 <lambdabot> ()
2023-02-13 18:03:52 +0100 <merijn> > (read . show) True :: Bool
2023-02-13 18:03:54 +0100 <lambdabot> True
2023-02-13 18:04:04 +0100 <anatta> hm
2023-02-13 18:05:01 +0100 <anatta> what if the code is polymorphic?
2023-02-13 18:06:27 +0100 <anatta> can you still force it to read that, polymorphic type?
2023-02-13 18:06:29 +0100 <anatta> somehow
2023-02-13 18:07:03 +0100 <c_wraith> no, because the polymorphism doesn't exist at run time. it needs to know what code to run to parse with
2023-02-13 18:09:09 +0100 <anatta> :(
2023-02-13 18:09:54 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection)
2023-02-13 18:13:59 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 264 seconds)
2023-02-13 18:15:05 +0100son0p(~ff@190.248.133.154) (Ping timeout: 260 seconds)
2023-02-13 18:16:59 +0100phma(phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) (Read error: Connection reset by peer)
2023-02-13 18:17:56 +0100phma(~phma@host-67-44-208-29.hnremote.net)
2023-02-13 18:18:48 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f)
2023-02-13 18:20:51 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-13 18:22:55 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-02-13 18:24:57 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-13 18:29:40 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-02-13 18:30:36 +0100werneta(~werneta@70.142.214.115)
2023-02-13 18:33:39 +0100kurbus(~kurbus@user/kurbus)
2023-02-13 18:35:21 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-02-13 18:36:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection)
2023-02-13 18:39:55 +0100econo(uid147250@user/econo)
2023-02-13 18:40:08 +0100eggplantade(~Eggplanta@104.55.37.220)
2023-02-13 18:41:11 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-13 18:41:24 +0100nschoe(~q@141.101.51.197) (Quit: Switching off)
2023-02-13 18:42:23 +0100kurbus(~kurbus@user/kurbus)
2023-02-13 18:42:36 +0100kurbus(~kurbus@user/kurbus) (Client Quit)
2023-02-13 18:42:41 +0100kurbus13(~kurbus@user/kurbus)
2023-02-13 18:42:54 +0100kurbus13kurbus
2023-02-13 18:46:27 +0100jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2023-02-13 18:46:55 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 265 seconds)
2023-02-13 18:47:42 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-13 18:48:17 +0100notzmv(~zmv@user/notzmv)
2023-02-13 18:49:56 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-02-13 18:50:22 +0100 <AndreasK> You can have `Read a => Foo -> a` but at some point the a will have to become concrete for read to fire
2023-02-13 18:51:51 +0100burnsidesLlama(~burnsides@119.247.164.140) (Remote host closed the connection)
2023-02-13 18:53:35 +0100Xeroine_(~Xeroine@user/xeroine)
2023-02-13 18:55:52 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-02-13 18:56:35 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-02-13 18:59:30 +0100falafel(~falafel@2607:fb91:143f:e47f:f0e6:3edd:a80e:ec1)
2023-02-13 19:00:27 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds)
2023-02-13 19:02:52 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2023-02-13 19:03:30 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-13 19:03:45 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-13 19:03:57 +0100Tuplanolla(~Tuplanoll@91.159.68.152)
2023-02-13 19:04:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2023-02-13 19:04:53 +0100MajorBiscuit(~MajorBisc@145.94.131.152) (Ping timeout: 246 seconds)
2023-02-13 19:12:23 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Max SendQ exceeded)
2023-02-13 19:13:11 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-13 19:13:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 19:14:48 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-13 19:16:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 19:17:20 +0100 <anatta> AndreasK: Apparently I'm just stupid - I had a parsing bug, and thought I had isolated it, so that's what I asked about here
2023-02-13 19:17:22 +0100 <anatta> but in reality
2023-02-13 19:17:54 +0100 <anatta> my problem was that I was passing data in the wrong order, so it (obviously) gave the same error message (no parse), but it had nothing to do with what I was asking about
2023-02-13 19:18:42 +0100 <anatta> solved the problem now by using <> instead of : in a couple of places
2023-02-13 19:18:45 +0100 <anatta> so I think it works
2023-02-13 19:20:44 +0100 <anatta> might be better to put a reverse somewhere and let it cons
2023-02-13 19:20:47 +0100jtza8(~user@165.255.145.244)
2023-02-13 19:20:51 +0100 <anatta> but that's for future me
2023-02-13 19:27:02 +0100kimiamania(~924ba01c@user/kimiamania) (Quit: PegeLinux)
2023-02-13 19:27:58 +0100maroloccio(~marolocci@90.167.158.133) (Quit: WeeChat 3.7.1)
2023-02-13 19:28:19 +0100kimiamania(~65804703@user/kimiamania)
2023-02-13 19:28:59 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 264 seconds)
2023-02-13 19:29:28 +0100lackita(~lackita@73.114.250.252)
2023-02-13 19:30:20 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds)
2023-02-13 19:31:59 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-02-13 19:33:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 19:33:51 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 256 seconds)
2023-02-13 19:33:59 +0100lackita(~lackita@73.114.250.252)
2023-02-13 19:36:11 +0100nattiestnate(~nate@202.138.250.17) (Quit: WeeChat 3.8)
2023-02-13 19:40:39 +0100AlexNoo_AlexNoo
2023-02-13 19:41:57 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-13 19:51:07 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-02-13 19:51:51 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-13 19:52:07 +0100gmg(~user@user/gehmehgeh)
2023-02-13 19:55:24 +0100Xeroine_(~Xeroine@user/xeroine) (Ping timeout: 255 seconds)
2023-02-13 19:59:20 +0100Xeroine_(~Xeroine@user/xeroine)
2023-02-13 20:00:34 +0100jtza8(~user@165.255.145.244) (Remote host closed the connection)
2023-02-13 20:01:33 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 20:03:11 +0100ddellacosta(~ddellacos@146.70.165.10) (Ping timeout: 264 seconds)
2023-02-13 20:04:26 +0100mechap(~mechap@user/mechap) (Ping timeout: 252 seconds)
2023-02-13 20:04:49 +0100ddellacosta(~ddellacos@146.70.165.139)
2023-02-13 20:09:14 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-02-13 20:12:57 +0100Sinbad(~Sinbad@user/sinbad) (Quit: WeeChat 3.8)
2023-02-13 20:13:57 +0100kurbus(~kurbus@user/kurbus)
2023-02-13 20:15:26 +0100MQ-17J(~MQ-17J@104.28.248.165) (Ping timeout: 252 seconds)
2023-02-13 20:16:08 +0100Guest50(~Guest50@121.190.69.115)
2023-02-13 20:16:16 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-13 20:16:50 +0100eggplantade(~Eggplanta@104.55.37.220) (Remote host closed the connection)
2023-02-13 20:17:27 +0100Guest50(~Guest50@121.190.69.115) (Client Quit)
2023-02-13 20:18:03 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 256 seconds)
2023-02-13 20:21:30 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-02-13 20:21:39 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-13 20:22:59 +0100Joao003(~Joao003@2804:840:8309:8700:3096:7857:f0fb:bcf4)
2023-02-13 20:23:22 +0100 <Joao003> hey guys look i made a point free snoc
2023-02-13 20:23:30 +0100 <Joao003> flip (flip (.) reverse . (.) reverse . (:))
2023-02-13 20:23:44 +0100 <Joao003> > (flip (flip (.) reverse . (.) reverse . (:))) [1, 2, 3] 4
2023-02-13 20:23:46 +0100 <lambdabot> [1,2,3,4]
2023-02-13 20:24:17 +0100 <Joao003> lets see if lambdabot confirms with my implementation
2023-02-13 20:24:29 +0100 <int-e> @pl \a b -> a ++ (b : [])
2023-02-13 20:24:29 +0100 <lambdabot> (. return) . (++)
2023-02-13 20:24:40 +0100 <Joao003> my impl is kinda dumb
2023-02-13 20:25:03 +0100 <int-e> @pl \a b -> reverse (b : reverse a)
2023-02-13 20:25:03 +0100 <lambdabot> (reverse .) . flip (:) . reverse
2023-02-13 20:25:19 +0100 <Joao003> @pl flip (\x -> reverse . (x :) . reverse)
2023-02-13 20:25:19 +0100 <lambdabot> flip ((reverse .) . (. reverse) . (:))
2023-02-13 20:25:25 +0100 <EvanR> this plan is great for short lists
2023-02-13 20:25:32 +0100 <EvanR> not great for infinite lists
2023-02-13 20:25:48 +0100 <Joao003> i just reverse then cons then reverse again
2023-02-13 20:26:31 +0100 <Joao003> and i need all of those flips and .s just to make it point-free
2023-02-13 20:26:47 +0100 <EvanR> making it point free is the questionable part
2023-02-13 20:27:05 +0100 <Joao003> im just challenging myself don't ask :D
2023-02-13 20:27:24 +0100 <monochrom> Ugh the irony of using flip twice to help with using reverse twice... >:)
2023-02-13 20:27:31 +0100 <Joao003> lol
2023-02-13 20:27:52 +0100 <Joao003> lets see another function
2023-02-13 20:28:04 +0100 <Joao003> hmm what if it made (>>=) point-free
2023-02-13 20:28:05 +0100 <monochrom> "yo dawg I heard you love reversing twice so we added flipping twice so you could flip while you reverse"
2023-02-13 20:28:17 +0100 <EvanR> (>>=) is point-free
2023-02-13 20:29:18 +0100 <Joao003> @pl \f g x -> f (g x) x
2023-02-13 20:29:18 +0100 <lambdabot> flip flip id . liftM2
2023-02-13 20:29:22 +0100 <Joao003> wth
2023-02-13 20:29:36 +0100 <Joao003> here comes double flip again
2023-02-13 20:29:50 +0100 <EvanR> flip is itself flipped here
2023-02-13 20:29:59 +0100 <monochrom> haha
2023-02-13 20:30:13 +0100 <Joao003> why would you flip flip lol
2023-02-13 20:30:15 +0100 <EvanR> you'd think that would just be id but no
2023-02-13 20:30:54 +0100 <Joao003> because of left associativity thats (flip flip id) . liftM2 right?
2023-02-13 20:31:03 +0100 <monochrom> Also consider uncurry uncurry >:)
2023-02-13 20:31:19 +0100 <xerox> @. djinn type flip flip
2023-02-13 20:31:20 +0100 <lambdabot> f a b c = b c a
2023-02-13 20:31:47 +0100 <Joao003> yo whats flip flip flip then
2023-02-13 20:31:54 +0100 <EvanR> Joao003, function application binds tighter than operators
2023-02-13 20:32:06 +0100 <Joao003> @. djinn type flip flip flip
2023-02-13 20:32:07 +0100 <lambdabot> f a b = a b (\ c d e -> c e d)
2023-02-13 20:32:14 +0100 <Joao003> yo what
2023-02-13 20:32:15 +0100 <xerox> :)))
2023-02-13 20:32:28 +0100 <EvanR> :t flip flip
2023-02-13 20:32:29 +0100 <lambdabot> b -> (a -> b -> c) -> a -> c
2023-02-13 20:32:36 +0100 <Joao003> :t flip flip flip
2023-02-13 20:32:37 +0100 <lambdabot> (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2
2023-02-13 20:32:43 +0100 <Joao003> YOOOOOOOOOOOOOOOOOO
2023-02-13 20:32:55 +0100 <Joao003> THATS A LONG TYPE SIGNATURE
2023-02-13 20:33:00 +0100 <EvanR> flip flip looks slightly more handy
2023-02-13 20:33:00 +0100 <xerox> @. djinn type flip flip flip flip flip flip flip flip flip
2023-02-13 20:33:02 +0100 <lambdabot> f a b = a b (\ c d e -> c e d)
2023-02-13 20:33:05 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 20:33:16 +0100 <Joao003> @. djinn type flip flip flip flip
2023-02-13 20:33:17 +0100 <lambdabot> f a b = a b (\ c d e -> c e d)
2023-02-13 20:33:19 +0100 <xerox> it ends there
2023-02-13 20:33:26 +0100 <EvanR> :t flip flip flip flip
2023-02-13 20:33:27 +0100 <lambdabot> (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2
2023-02-13 20:33:27 +0100 <Joao003> ok it just stops fizzling out there
2023-02-13 20:33:33 +0100 <monochrom> "is that a fixed point?"
2023-02-13 20:33:46 +0100 <EvanR> a flipxed point
2023-02-13 20:33:59 +0100 <Joao003> uncurry curry is an evil move isn't it
2023-02-13 20:34:11 +0100 <Joao003> @. djinn type uncurry curry
2023-02-13 20:34:12 +0100 <lambdabot> f (a, b) c = a (b, c)
2023-02-13 20:34:36 +0100 <monochrom> But I prefer uncurry uncurry
2023-02-13 20:35:50 +0100 <Joao003> let me djinn that
2023-02-13 20:35:58 +0100 <Joao003> @. djinn type uncurry uncurry
2023-02-13 20:35:59 +0100 <lambdabot> f (a, (b, c)) = a b c
2023-02-13 20:36:05 +0100 <Joao003> oh my god no
2023-02-13 20:36:32 +0100 <Joao003> wait uncurry curry uncurry is just id right
2023-02-13 20:36:35 +0100 <monochrom> It's pretty nice.
2023-02-13 20:36:41 +0100 <Joao003> @. djinn type uncurry curry uncurry
2023-02-13 20:36:41 +0100 <monochrom> @type uncurry uncurry
2023-02-13 20:36:42 +0100 <lambdabot> Cannot parse command
2023-02-13 20:36:42 +0100 <lambdabot> Djinn> Cannot parse command
2023-02-13 20:36:43 +0100 <lambdabot> (a -> b -> c, (a, b)) -> c
2023-02-13 20:36:45 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-13 20:37:13 +0100 <monochrom> It applies a curried 2-ary function to a 2-tuple.
2023-02-13 20:37:32 +0100 <monochrom> Not entirely contrived.
2023-02-13 20:37:42 +0100 <Joao003> :t uncurry curry uncurry
2023-02-13 20:37:43 +0100 <lambdabot> error:
2023-02-13 20:37:43 +0100 <lambdabot> • Couldn't match expected type ‘((a1, b) -> c, a1)’
2023-02-13 20:37:43 +0100 <lambdabot> with actual type ‘(a0 -> b0 -> c0) -> (a0, b0) -> c0’
2023-02-13 20:37:46 +0100 <Joao003> wth
2023-02-13 20:37:59 +0100 <Joao003> :t (uncurry curry) uncurry
2023-02-13 20:37:59 +0100 <lambdabot> error:
2023-02-13 20:37:59 +0100 <lambdabot> • Couldn't match expected type ‘((a1, b) -> c, a1)’
2023-02-13 20:37:59 +0100 <lambdabot> with actual type ‘(a0 -> b0 -> c0) -> (a0, b0) -> c0’
2023-02-13 20:38:35 +0100 <monochrom> Yeah this is where intuition doesn't work, "blind" crunching the symbols and the algebra does.
2023-02-13 20:38:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 20:40:15 +0100falafel(~falafel@2607:fb91:143f:e47f:f0e6:3edd:a80e:ec1) (Ping timeout: 248 seconds)
2023-02-13 20:43:16 +0100Ekho-Ekho
2023-02-13 20:44:47 +0100dsrt^(~dsrt@24.30.76.89) (Ping timeout: 252 seconds)
2023-02-13 20:48:24 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-13 20:49:54 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-13 20:50:54 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f)
2023-02-13 20:51:50 +0100ft(~ft@p3e9bc443.dip0.t-ipconnect.de)
2023-02-13 20:53:28 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!)
2023-02-13 20:54:01 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2023-02-13 20:54:33 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-13 20:55:15 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-02-13 20:58:30 +0100 <Joao003> can we pf uncurry
2023-02-13 20:58:47 +0100 <Joao003> @pl \f (a, b) -> f a b
2023-02-13 20:58:47 +0100 <lambdabot> (`ap` snd) . (. fst)
2023-02-13 20:58:54 +0100 <Joao003> i hate you haskell
2023-02-13 21:04:37 +0100ubert1(~Thunderbi@p200300ecdf13019b2eac5c41519fc3af.dip0.t-ipconnect.de) (Quit: ubert1)
2023-02-13 21:05:13 +0100falafel(~falafel@2607:fb91:143f:e47f:7d40:6e46:8a50:1b0f)
2023-02-13 21:06:15 +0100Joao003(~Joao003@2804:840:8309:8700:3096:7857:f0fb:bcf4) (Quit: Leaving)
2023-02-13 21:06:20 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2023-02-13 21:06:29 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-13 21:09:36 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl)
2023-02-13 21:11:51 +0100Guest|10(~Guest|10@cpc98318-croy25-2-0-cust150.19-2.cable.virginm.net)
2023-02-13 21:11:54 +0100bilegeek(~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d)
2023-02-13 21:13:01 +0100pavonia(~user@user/siracusa)
2023-02-13 21:14:48 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2023-02-13 21:16:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 21:19:04 +0100rlj(~rlj@194-218-34-180.customer.telia.com)
2023-02-13 21:24:12 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection)
2023-02-13 21:28:19 +0100 <kronicma1> anyone know what recursion scheme i can use to recurse on two layers at a time?
2023-02-13 21:28:32 +0100 <kronicma1> i'm trying to implement eta-reduction on a lambda calculus ast with a recursion scheme
2023-02-13 21:29:26 +0100 <kronicma1> so essentially I want to look for `Abstraction v x` where `x` is an `Application f v` where `v` isn't free in `f`
2023-02-13 21:29:34 +0100 <kronicma1> but a catamorphism doesn't let you inspect that far
2023-02-13 21:29:38 +0100 <kronicma1> what should I use instead?
2023-02-13 21:34:43 +0100 <monochrom> That is vague but I suppose the algebra you give to a catamorphism can be built from another catamorphism.
2023-02-13 21:34:48 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-02-13 21:37:33 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 255 seconds)
2023-02-13 21:42:57 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-02-13 21:43:16 +0100opticblast(~Thunderbi@172.58.80.43)
2023-02-13 21:44:12 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
2023-02-13 21:46:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 21:50:49 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 21:53:24 +0100lyle(~lyle@104.246.145.237) (Quit: WeeChat 3.8)
2023-02-13 21:54:10 +0100TheCoffeMaker_(~TheCoffeM@200.126.137.246)
2023-02-13 21:54:23 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2023-02-13 21:56:16 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-13 21:56:17 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-13 22:03:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-13 22:05:13 +0100Guest|10(~Guest|10@cpc98318-croy25-2-0-cust150.19-2.cable.virginm.net) (Quit: Connection closed)
2023-02-13 22:05:40 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
2023-02-13 22:07:50 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-13 22:09:59 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-13 22:16:08 +0100azathough(uid589374@user/azathough)
2023-02-13 22:16:37 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-02-13 22:19:27 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-13 22:21:25 +0100PotentialUser-23(~Potential@2600:8800:7b00:2aa0:829e:a723:57f0:e3b8)
2023-02-13 22:24:36 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 22:24:42 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f)
2023-02-13 22:28:02 +0100son0p(~ff@181.136.122.143)
2023-02-13 22:29:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Ping timeout: 260 seconds)
2023-02-13 22:29:25 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
2023-02-13 22:30:58 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-13 22:33:46 +0100motherfsck(~motherfsc@user/motherfsck)
2023-02-13 22:34:33 +0100mechap(~mechap@user/mechap)
2023-02-13 22:41:12 +0100mvk(~mvk@2607:fea8:5caa:ac00::fa57) (Quit: Going elsewhere)
2023-02-13 22:41:57 +0100ddellacosta(~ddellacos@146.70.165.139) (Quit: WeeChat 3.7.1)
2023-02-13 22:48:09 +0100ddellacosta(~ddellacos@143.244.47.81)
2023-02-13 22:51:58 +0100shapr(~user@net-5-88-238-17.cust.vodafonedsl.it) (Ping timeout: 265 seconds)
2023-02-13 22:52:43 +0100nattiestnate(~nate@202.138.250.53)
2023-02-13 22:53:25 +0100takuan(~takuan@178.116.218.225) (Remote host closed the connection)
2023-02-13 22:54:08 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-02-13 22:55:23 +0100gh0stbusterghostbuster
2023-02-13 22:55:55 +0100bilegeek(~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) (Remote host closed the connection)
2023-02-13 22:56:19 +0100bilegeek(~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d)
2023-02-13 22:58:05 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 22:58:05 +0100tjakway(~tjakway@cpe-107-184-74-161.socal.res.rr.com)
2023-02-13 22:58:25 +0100 <tjakway> What's the best way to get ctags nowadays?
2023-02-13 22:58:55 +0100 <tjakway> I used hasktags for a long time but it's rather finicky and hasn't been updated in years
2023-02-13 22:59:56 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-02-13 23:01:57 +0100 <geekosaur> fast-tags, hs-tags, ghc-tags
2023-02-13 23:02:36 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 255 seconds)
2023-02-13 23:03:09 +0100 <tjakway> ghc-tags just came out, no?
2023-02-13 23:03:20 +0100 <tjakway> it's what I'm looking forward to
2023-02-13 23:03:31 +0100 <tjakway> since it's the only contender that actually parses Haskell
2023-02-13 23:03:37 +0100 <geekosaur> it's on hackage
2023-02-13 23:04:46 +0100 <geekosaur> but I'm not biased against solutions that don't actually parse, because tags generators for other languages don't actually parse either
2023-02-13 23:04:55 +0100 <geekosaur> mostly they look for simple regexes
2023-02-13 23:06:10 +0100falafel(~falafel@2607:fb91:143f:e47f:7d40:6e46:8a50:1b0f) (Ping timeout: 260 seconds)
2023-02-13 23:06:53 +0100 <tjakway> of course
2023-02-13 23:07:26 +0100 <tjakway> I'm more curious what difference it'll make
2023-02-13 23:07:56 +0100 <tjakway> since I use universal-ctags for everything and it works quite well
2023-02-13 23:10:51 +0100tjakway(~tjakway@cpe-107-184-74-161.socal.res.rr.com) (Quit: WeeChat 3.5)
2023-02-13 23:11:55 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7)
2023-02-13 23:12:06 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Client Quit)
2023-02-13 23:13:44 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
2023-02-13 23:14:52 +0100 <geekosaur> there will be limits because tags files are limited
2023-02-13 23:15:30 +0100 <geekosaur> the secret reason for everyone using dumb regexes is that tags files use dumb regexes
2023-02-13 23:15:48 +0100 <geekosaur> and emacs TAGS files are even more limited
2023-02-13 23:16:34 +0100freeside(~mengwong@103.252.202.170)
2023-02-13 23:17:41 +0100lackita(~lackita@73.114.250.252) (Ping timeout: 252 seconds)
2023-02-13 23:18:34 +0100lackita(~lackita@73.114.250.252)
2023-02-13 23:20:00 +0100gurkenglas(~gurkengla@46.114.176.170)
2023-02-13 23:22:24 +0100johnjaye(~pi@173.209.64.74) (Ping timeout: 248 seconds)
2023-02-13 23:24:15 +0100johnjaye(~pi@173.209.64.74)
2023-02-13 23:28:18 +0100Tuplanolla(~Tuplanoll@91.159.68.152) (Quit: Leaving.)
2023-02-13 23:36:16 +0100danso(~danso@2600:3c04::f03c:91ff:fe05:6954) (Changing host)
2023-02-13 23:36:16 +0100danso(~danso@user/danso)
2023-02-13 23:37:02 +0100Feuermagier_(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-02-13 23:38:25 +0100bilegeek(~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) (Remote host closed the connection)
2023-02-13 23:39:06 +0100bilegeek(~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d)
2023-02-13 23:40:15 +0100michalz(~michalz@185.246.204.126) (Remote host closed the connection)
2023-02-13 23:45:51 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-13 23:52:23 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
2023-02-13 23:54:02 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds)
2023-02-13 23:54:10 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-02-13 23:54:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-13 23:54:20 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-13 23:55:47 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-02-13 23:56:10 +0100sagax(~sagax_nb@user/sagax)
2023-02-13 23:59:01 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)