IRCBrowse

2022/05/10

2022-05-10 00:00:12 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-10 00:03:43 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-05-10 00:04:00 +0200Feuermagier(~Feuermagi@user/feuermagier)
2022-05-10 00:05:16 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net)
2022-05-10 00:05:57 +0200pierrot(~pi@user/pierrot) (Ping timeout: 256 seconds)
2022-05-10 00:06:12 +0200pierrot(~pi@user/pierrot)
2022-05-10 00:07:08 +0200jmd_(~jmdaemon@user/jmdaemon)
2022-05-10 00:07:50 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2022-05-10 00:07:59 +0200chomwitt(~chomwitt@2a02:587:dc19:d600:d488:150b:e66b:f592) (Ping timeout: 240 seconds)
2022-05-10 00:10:04 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 00:10:04 +0200foul_owl(~kerry@23.82.193.87)
2022-05-10 00:11:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-10 00:12:52 +0200xff0x(~xff0x@om126033119107.35.openmobile.ne.jp)
2022-05-10 00:13:57 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-10 00:14:22 +0200alp_(~alp@user/alp) (Ping timeout: 250 seconds)
2022-05-10 00:15:25 +0200nate1(~nate@98.45.169.16)
2022-05-10 00:15:39 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-10 00:17:13 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 00:18:23 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-10 00:19:13 +0200 <unit73e> I was trying to make a command line argument processing and it turns out cmdargs has a complicated readme talking about pure and unpure but not how do you parse... I managed to figure it out but oof
2022-05-10 00:19:48 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-05-10 00:20:43 +0200 <unit73e> I was not impressed by the documentation but the implementation seems fine
2022-05-10 00:20:57 +0200 <geekosaur> maybe optparse-applicative will suit you better? (disclaimer: I've tried neither, I know both are popular)
2022-05-10 00:22:59 +0200 <unit73e> geekosaur, it does seem a lot more normal, thanks
2022-05-10 00:24:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2022-05-10 00:25:34 +0200 <hpc> optparse-applicative is awesome
2022-05-10 00:26:38 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!)
2022-05-10 00:33:53 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 00:34:37 +0200king_gs(~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Quit: king_gs)
2022-05-10 00:37:26 +0200acidjnk(~acidjnk@p200300d0c7068b566ddd60c7ad103c7d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-05-10 00:38:21 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-10 00:41:44 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-05-10 00:44:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 00:44:20 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-10 00:44:21 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-05-10 00:44:40 +0200motherfsck(~motherfsc@user/motherfsck)
2022-05-10 00:44:42 +0200jmcarthur(~jmcarthur@45.15.176.229)
2022-05-10 00:48:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-05-10 00:48:54 +0200averell(~averell@user/averell)
2022-05-10 01:09:29 +0200spider(~spider@vps-951ce37a.vps.ovh.ca)
2022-05-10 01:09:36 +0200spiderspider_
2022-05-10 01:14:16 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5)
2022-05-10 01:14:27 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-10 01:14:40 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-05-10 01:15:27 +0200dut(~dut@user/dut)
2022-05-10 01:20:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 01:20:51 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds)
2022-05-10 01:22:03 +0200mmhat(~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5)
2022-05-10 01:22:10 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-10 01:22:28 +0200jmd_(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2022-05-10 01:22:47 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 01:26:22 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-10 01:27:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 01:32:48 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 01:32:52 +0200 <jackdk> dashkal: You're not doing status codes, are you? They're already in http-types
2022-05-10 01:36:09 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 256 seconds)
2022-05-10 01:36:45 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-05-10 01:41:16 +0200jmcarthur_(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-10 01:42:24 +0200unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection)
2022-05-10 01:43:26 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-05-10 01:48:20 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds)
2022-05-10 01:48:42 +0200slack5451(~slack1256@186.11.84.150) (Remote host closed the connection)
2022-05-10 01:48:56 +0200slack1256(~slack1256@186.11.84.150)
2022-05-10 01:52:23 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-10 01:55:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 02:03:18 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-10 02:03:18 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-10 02:03:18 +0200wroathe(~wroathe@user/wroathe)
2022-05-10 02:03:47 +0200stackdroid18(~stackdroi@user/stackdroid) (Quit: Lost terminal)
2022-05-10 02:06:05 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 02:08:40 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-10 02:13:02 +0200rburkholder(~blurb@96.45.2.121) (Remote host closed the connection)
2022-05-10 02:13:20 +0200rburkholder(~blurb@96.45.2.121)
2022-05-10 02:15:15 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-05-10 02:20:54 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 250 seconds)
2022-05-10 02:21:55 +0200 <sm> I found cmdargs docs better than o-a's
2022-05-10 02:27:01 +0200stackdroid18(14094@user/stackdroid)
2022-05-10 02:27:20 +0200stackdroid18(14094@user/stackdroid) (Client Quit)
2022-05-10 02:30:46 +0200stackdroid18(14094@user/stackdroid)
2022-05-10 02:33:33 +0200 <Axman6> I've been using Haskell for well over a decade and can't for the life of me figure out how the first cmdargs example could possibly work, but evidently it does
2022-05-10 02:37:40 +0200 <sm> at https://github.com/ndmitchell/cmdargs#readme ? Uh.. same :)
2022-05-10 02:38:43 +0200 <Axman6> https://hackage.haskell.org/package/cmdargs-0.10.21/docs/src/System.Console.CmdArgs.Annotate.html#…
2022-05-10 02:38:54 +0200 <Axman6> it'sd all unsafePerformIO nonsense
2022-05-10 02:40:41 +0200 <sm> that's the easy ui, provided along with two others which are more pure.. very reasonable
2022-05-10 02:40:45 +0200 <Axman6> this is like the most horrific hack I've ever seen written in HAskell - I'm sticking to optparse-applicative thanks!
2022-05-10 02:41:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 02:41:25 +0200 <sm> this has been a knee-jerk reaction to cmdargs since it was introduced.. I'm surprised at you Axman :)
2022-05-10 02:41:34 +0200 <Axman6> I dream of the day where one day, my code is audited, and no unsafePerformIOs are found anywhere
2022-05-10 02:41:39 +0200 <sm> sorry, afk a few
2022-05-10 02:41:57 +0200 <Axman6> this is like worse than edwardk's promises package
2022-05-10 02:42:05 +0200 <Axman6> which is amazing, but horrifying
2022-05-10 02:42:21 +0200 <Axman6> or edwardk's discrimination package
2022-05-10 02:42:42 +0200 <Axman6> or edwardk's structs package
2022-05-10 02:42:45 +0200 <Axman6> hmmmm...
2022-05-10 02:42:47 +0200 <dashkal> jackdk: Nope. In-context status codes. "What kind of dependency is this?" and similar.
2022-05-10 02:43:00 +0200frost(~frost@user/frost)
2022-05-10 02:45:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 02:47:15 +0200jmcarthur_(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-10 02:48:11 +0200 <geekosaur> now I'm wondering where this "maker" is and if the question the other day about getting output from make would have benefitted from it
2022-05-10 02:50:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-05-10 02:55:29 +0200jmcarthur(~jmcarthur@45.15.176.229) (Ping timeout: 256 seconds)
2022-05-10 02:56:08 +0200jmcarthur(~jmcarthur@45.15.176.229)
2022-05-10 02:57:42 +0200noteness(~noteness@user/noteness)
2022-05-10 02:59:17 +0200 <noteness> Hi. I'm learning haskell. Why does this give an error? "min min min 9 10 11 12" ?
2022-05-10 03:00:00 +0200jmcarthur_(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-10 03:00:01 +0200 <noteness> I thought it was because it interpreted from left to right so i tried "min 9 min 10 min 11 12" but it also gave error
2022-05-10 03:00:41 +0200 <hpc> it's doing ((((((min min) min) 9) 10) 11) 12)
2022-05-10 03:00:59 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2022-05-10 03:02:04 +0200 <hpc> the googleable word for this behavior is currying
2022-05-10 03:02:24 +0200 <hpc> it has some neat properties even if it looks really weird, but in any event you want min (min (min 9 10) 11) 12
2022-05-10 03:02:27 +0200 <hpc> or something like that
2022-05-10 03:03:10 +0200 <noteness> oo. i'll google currying
2022-05-10 03:03:22 +0200 <noteness> yeah. brackets and inflix worked.
2022-05-10 03:03:29 +0200 <Axman6> function application associates to the left, and binds more strongly than any operators, so as hpc says, you end up with ((((((min min) min) 9) 10) 11) 12) which doesn't make much sense
2022-05-10 03:04:01 +0200 <Axman6> f x y z is always (((f x) y) z)
2022-05-10 03:04:37 +0200 <hpc> a nice quick way to understand currying is, if you've ever used operator sections
2022-05-10 03:04:42 +0200 <hpc> like (+ 5) or whatever
2022-05-10 03:05:00 +0200 <hpc> currying is exactly that, the secret to sections is everything does it
2022-05-10 03:05:11 +0200 <hpc> > map (+5) [1,2,3]
2022-05-10 03:05:13 +0200 <lambdabot> [6,7,8]
2022-05-10 03:05:14 +0200 <Axman6> when teaching Haskell (with dibblego, back in the day), we used to hammer into people this fact: all functions take exactly one argument, and it's surprising how many of these questions are answered by remembering that
2022-05-10 03:05:18 +0200 <hpc> > map (subtract 10) [100, 200, 300]
2022-05-10 03:05:20 +0200 <lambdabot> [90,190,290]
2022-05-10 03:06:26 +0200 <hpc> subtract = flip (-)
2022-05-10 03:06:50 +0200pavonia(~user@user/siracusa)
2022-05-10 03:07:01 +0200 <noteness> Yo that's neat
2022-05-10 03:07:48 +0200 <hpc> yeah, it never gets old
2022-05-10 03:12:47 +0200 <Axman6> noteness: quick pop quiz: how many argument does (+) :: Num a => a -> a -> a? take?
2022-05-10 03:15:16 +0200 <hpc> Axman6: that question is even more fun with id :: a -> a
2022-05-10 03:16:01 +0200 <noteness> Axman6, 1? Returns a functions which also takes 1 arg and then that returns a number? (but idk what that syntax means.)
2022-05-10 03:16:18 +0200 <Axman6> correct!
2022-05-10 03:16:38 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-05-10 03:17:01 +0200 <noteness> Currying is cool.
2022-05-10 03:17:40 +0200 <noteness> I'm at http://learnyouahaskell.com/starting-out this is a good resource to learn haskell, right?
2022-05-10 03:17:58 +0200 <hpc> that was a type signature
2022-05-10 03:18:54 +0200 <hpc> not everyone likes it, though mostly because it doesn't make you do exercises
2022-05-10 03:18:59 +0200 <hpc> it just kind of talks about everything
2022-05-10 03:19:18 +0200 <hpc> if you have a project to apply it to that's less of a problem
2022-05-10 03:19:34 +0200 <hpc> it's how i learned initially
2022-05-10 03:19:38 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 03:20:51 +0200 <noteness> do you have any recommendations with exercises?
2022-05-10 03:22:03 +0200 <noteness> <hpc> if you have a project to apply it to that's less of a problem | that's how i learned python! but i can't think of any project to do in haskell rn.
2022-05-10 03:22:05 +0200 <hpc> whatever is able to hold your interest
2022-05-10 03:23:58 +0200 <noteness> I meant like, any other alternative resources which also makes me do exercises/quizzes? (kinda like what Axman6 asks)
2022-05-10 03:24:12 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-05-10 03:24:47 +0200 <hpc> ah, i always link to https://www.haskell.org/documentation/ as my big list of resources
2022-05-10 03:25:59 +0200 <noteness> ooo
2022-05-10 03:28:28 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-10 03:32:22 +0200xff0x(~xff0x@om126033119107.35.openmobile.ne.jp) (Read error: Connection reset by peer)
2022-05-10 03:34:04 +0200 <Axman6> https://github.com/system-f/fp-course is the one that dibblego (and others) wrote, and we used to teach quite regularly - it's full of exercises, but it's not as easy to do without having instruction in person
2022-05-10 03:36:39 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-05-10 03:37:37 +0200xff0x(~xff0x@om126033119107.35.openmobile.ne.jp)
2022-05-10 03:38:50 +0200waleee(~waleee@h-155-4-221-82.NA.cust.bahnhof.se)
2022-05-10 03:42:15 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 276 seconds)
2022-05-10 03:50:30 +0200 <monochrom> My http://www.vex.net/~trebla/haskell/learn-sources.html is a shorter list, but it's items I know enough to comment on.
2022-05-10 03:53:53 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net)
2022-05-10 03:57:58 +0200andrey__(~andrey@p508d55ad.dip0.t-ipconnect.de)
2022-05-10 03:58:25 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-05-10 04:00:48 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-05-10 04:01:03 +0200andrey_(~andrey@p200300dbcf097700316169ecbe32078f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-05-10 04:04:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 04:04:37 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 04:06:56 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-05-10 04:10:56 +0200slack1256(~slack1256@186.11.84.150) (Remote host closed the connection)
2022-05-10 04:14:10 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 04:16:17 +0200stackdroid18(14094@user/stackdroid) (Quit: Lost terminal)
2022-05-10 04:16:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 04:20:13 +0200tommd(~tommd@97-120-26-41.ptld.qwest.net)
2022-05-10 04:28:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 04:29:56 +0200darkstardevx(~darkstard@50.53.212.60)
2022-05-10 04:34:10 +0200waleee(~waleee@h-155-4-221-82.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2022-05-10 04:41:27 +0200stefan-_(~cri@42dots.de) (Ping timeout: 256 seconds)
2022-05-10 04:44:31 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-05-10 04:45:13 +0200stefan-_(~cri@42dots.de)
2022-05-10 04:45:41 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-05-10 04:45:43 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-10 04:49:42 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-05-10 04:49:42 +0200 <dmj`> noteness: typeclassopedia
2022-05-10 04:50:00 +0200Feuermagier(~Feuermagi@user/feuermagier)
2022-05-10 04:50:30 +0200jmcarthur(~jmcarthur@45.15.176.229) (Ping timeout: 276 seconds)
2022-05-10 04:51:05 +0200td_(~td@94.134.91.132) (Ping timeout: 256 seconds)
2022-05-10 04:52:35 +0200td_(~td@muedsl-82-207-238-066.citykom.de)
2022-05-10 04:54:05 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 04:54:06 +0200jmcarthur_(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-10 04:55:58 +0200 <Axman6> anyone know how to get ghcid to run your testsuite once your code compiles?
2022-05-10 04:56:29 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-10 04:57:18 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 04:57:27 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 05:00:53 +0200 <Axman6> looks like https://stackoverflow.com/a/63428301
2022-05-10 05:01:39 +0200razetime(~quassel@117.254.34.206)
2022-05-10 05:01:59 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 05:09:05 +0200ahbear(~khairul@60.52.188.238)
2022-05-10 05:09:37 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 05:10:04 +0200ahbear(~khairul@60.52.188.238) (Client Quit)
2022-05-10 05:14:48 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 05:16:12 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-05-10 05:19:23 +0200vicfred(~vicfred@user/vicfred)
2022-05-10 05:21:10 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 05:27:00 +0200inversed(~inversed@176.248.27.211) (Ping timeout: 240 seconds)
2022-05-10 05:27:27 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-05-10 05:28:37 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 05:29:49 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-05-10 05:31:17 +0200x_kuru_(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-05-10 05:33:19 +0200kimjetwav(~user@2607:fea8:2362:b400:c51a:4d23:ff59:2b8) (Read error: Connection reset by peer)
2022-05-10 05:34:45 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-05-10 05:35:21 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-05-10 05:39:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 05:41:00 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 05:43:45 +0200Batzy(~quassel@user/batzy) (Ping timeout: 252 seconds)
2022-05-10 05:43:48 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d)
2022-05-10 05:44:42 +0200inversed(~inversed@176.248.27.211)
2022-05-10 05:45:19 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 246 seconds)
2022-05-10 05:48:49 +0200tommd(~tommd@97-120-26-41.ptld.qwest.net) (Ping timeout: 246 seconds)
2022-05-10 05:50:04 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 05:51:28 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com)
2022-05-10 05:52:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 05:55:32 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-05-10 05:58:11 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 05:58:33 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-10 05:59:30 +0200razetime(~quassel@117.254.34.206) (Ping timeout: 240 seconds)
2022-05-10 05:59:49 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 06:00:30 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 06:00:39 +0200razetime(~quassel@117.254.34.98)
2022-05-10 06:00:45 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 06:05:19 +0200xff0x(~xff0x@om126033119107.35.openmobile.ne.jp) (Read error: Connection reset by peer)
2022-05-10 06:05:19 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-10 06:06:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 06:08:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 06:08:40 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 06:11:31 +0200benin(~benin@183.82.25.56)
2022-05-10 06:13:18 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 06:13:28 +0200Guest|44(~Guest|44@d75-159-24-225.abhsia.telus.net)
2022-05-10 06:17:17 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-10 06:17:50 +0200 <Guest|44> I am trying to teach myself Haskell and have installed toolchain from GHCup, however I don't have the .hs extension to save code functions with my text editor. I tried uninstalling and reinstalling with the same result. How can I install the Haskell language-server?
2022-05-10 06:18:15 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds)
2022-05-10 06:19:58 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-10 06:22:34 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 06:22:43 +0200odnes(~odnes@5-203-206-163.pat.nym.cosmote.net)
2022-05-10 06:23:47 +0200 <cjay> Guest|44: if you use vscode, install the haskell extension from the built in extension store
2022-05-10 06:24:01 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-05-10 06:25:27 +0200 <cjay> any editor can save .hs files though. syntax hilighting and language server support vary.
2022-05-10 06:25:57 +0200 <Guest|44> okay, thanks.
2022-05-10 06:26:58 +0200Guest|44(~Guest|44@d75-159-24-225.abhsia.telus.net) (Quit: Connection closed)
2022-05-10 06:27:51 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 06:30:04 +0200 <sm> > there's no way these very frequent reddit and chat requests for learning materials can capture all the existing resources. There are too many, and folks who know where they are get burned out reposting them. There have been many attempts to gather them, haskell.org/documentation being the most obvious, but none of them have fully succeeded. We could really do with some more systematic, scalable (crowd-sourced, lightweight) approach.
2022-05-10 06:30:06 +0200 <lambdabot> <hint>:1:142: error: parse error on input ‘,’
2022-05-10 06:30:24 +0200 <sm> any thoughts ? go away bot, the humans are talking
2022-05-10 06:31:10 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-10 06:31:10 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-10 06:31:10 +0200wroathe(~wroathe@user/wroathe)
2022-05-10 06:33:02 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 06:37:48 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-05-10 06:38:13 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-10 06:38:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 06:40:07 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 06:44:28 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 246 seconds)
2022-05-10 06:45:40 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds)
2022-05-10 06:46:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-10 06:48:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 06:48:46 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 06:49:26 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-10 06:50:42 +0200xff0x(~xff0x@om126254243174.33.openmobile.ne.jp)
2022-05-10 06:53:54 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 06:55:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 06:57:30 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-05-10 06:58:17 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 06:58:25 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56)
2022-05-10 06:58:36 +0200marquis_andras(~marquis_a@110-175-153-86.static.tpgi.com.au) (Ping timeout: 240 seconds)
2022-05-10 06:59:01 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 07:00:04 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 07:03:28 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-10 07:03:43 +0200bahamas(~lucian@84.232.141.55)
2022-05-10 07:04:49 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 256 seconds)
2022-05-10 07:07:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 07:08:27 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 07:09:46 +0200asivitz(uid178348@id-178348.tinside.irccloud.com)
2022-05-10 07:12:05 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection)
2022-05-10 07:12:35 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com)
2022-05-10 07:12:44 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 07:17:24 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds)
2022-05-10 07:20:35 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 252 seconds)
2022-05-10 07:24:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 07:28:01 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 07:29:28 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 07:30:35 +0200 <asivitz> any chance someone here is smart about macos framework stuff? bindings-glfw has `#include <Kernel/IOKit/hidsystem/IOHIDUsageTables.h>`, which I believe is looking into the Kernel framework. but the cabal file lists IOKit as a framework, but not Kernel
2022-05-10 07:30:44 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 07:30:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-05-10 07:31:20 +0200 <asivitz> but it compiles fine via cabal-install or stack. but not nix! is nix wrong? or is bindings-glfw wrong?
2022-05-10 07:32:07 +0200 <asivitz> (reference link: https://github.com/bsl/bindings-GLFW/blob/master/bindings-GLFW.cabal#L189)
2022-05-10 07:36:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 07:38:09 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 07:39:55 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d)
2022-05-10 07:40:29 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 07:41:19 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 07:43:13 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 07:43:40 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 07:43:44 +0200coot(~coot@213.134.190.95)
2022-05-10 07:45:48 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 07:45:50 +0200xff0x(~xff0x@om126254243174.33.openmobile.ne.jp) (Ping timeout: 240 seconds)
2022-05-10 07:48:08 +0200xff0x(~xff0x@om126254243174.33.openmobile.ne.jp)
2022-05-10 07:52:12 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 07:57:06 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 07:59:46 +0200zaquest(~notzaques@5.130.79.72)
2022-05-10 08:01:53 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 08:01:55 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 260 seconds)
2022-05-10 08:05:03 +0200acidjnk(~acidjnk@p200300d0c7068b32d947962d5a8ebd7e.dip0.t-ipconnect.de)
2022-05-10 08:11:43 +0200pottsy(~pottsy@129.227.183.244)
2022-05-10 08:12:57 +0200pottsy(~pottsy@129.227.183.244) (Client Quit)
2022-05-10 08:13:04 +0200cdman(~dcm@user/dmc/x-4369397)
2022-05-10 08:13:14 +0200pottsy(~pottsy@129.227.183.244)
2022-05-10 08:13:17 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 08:14:45 +0200cdman(~dcm@user/dmc/x-4369397) ()
2022-05-10 08:15:14 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-05-10 08:15:48 +0200xff0x(~xff0x@om126254243174.33.openmobile.ne.jp) (Ping timeout: 240 seconds)
2022-05-10 08:16:38 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-05-10 08:18:24 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds)
2022-05-10 08:24:30 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 08:25:18 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 08:26:48 +0200frost(~frost@user/frost) (Quit: Ping timeout (120 seconds))
2022-05-10 08:27:25 +0200odnes_(~odnes@5-203-206-163.pat.nym.cosmote.net)
2022-05-10 08:27:45 +0200odnes(~odnes@5-203-206-163.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-05-10 08:28:03 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-05-10 08:28:39 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 08:32:42 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-05-10 08:33:27 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 276 seconds)
2022-05-10 08:34:17 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 08:34:26 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 250 seconds)
2022-05-10 08:34:56 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 08:35:57 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-05-10 08:37:58 +0200odnes_(~odnes@5-203-206-163.pat.nym.cosmote.net) (Quit: Leaving)
2022-05-10 08:38:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 08:40:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-10 08:40:30 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-10 08:41:07 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 08:43:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-10 08:43:08 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 08:44:30 +0200benin(~benin@183.82.25.56) (Ping timeout: 276 seconds)
2022-05-10 08:46:33 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2022-05-10 08:46:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 08:47:46 +0200chele(~chele@user/chele)
2022-05-10 08:47:51 +0200echoreply(~echoreply@45.32.163.16)
2022-05-10 08:49:45 +0200benin(~benin@2401:4900:2320:2ff3:d441:eb9b:66e3:f141)
2022-05-10 08:49:50 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 08:50:00 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 08:51:53 +0200jonathanx(~jonathan@dyn-5-sc.cdg.chalmers.se)
2022-05-10 08:55:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 08:55:20 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 08:55:46 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-10 08:58:53 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 08:59:30 +0200mmhat(~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315)
2022-05-10 09:00:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 09:01:55 +0200jonathanx_(~jonathan@c-5eea35a9-74736162.cust.telenor.se)
2022-05-10 09:02:50 +0200jonathanx(~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 240 seconds)
2022-05-10 09:05:39 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 09:07:04 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 09:10:08 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net)
2022-05-10 09:10:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 09:10:42 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 09:12:10 +0200cfricke(~cfricke@user/cfricke)
2022-05-10 09:14:59 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds)
2022-05-10 09:15:26 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:16:30 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 09:16:54 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 09:17:24 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-05-10 09:19:48 +0200galio(~textual@c-174-63-73-241.hsd1.vt.comcast.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-10 09:19:56 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-05-10 09:21:11 +0200bahamas(~lucian@86.120.77.115)
2022-05-10 09:21:27 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:25:30 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 09:25:53 +0200alp_(~alp@user/alp)
2022-05-10 09:27:13 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:28:08 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 09:31:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2bb6:68f9:5f28:94b)
2022-05-10 09:31:24 +0200jinsun(~jinsun@user/jinsun)
2022-05-10 09:31:35 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-10 09:32:10 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 09:33:52 +0200kspalaiologos(~kspalaiol@user/kspalaiologos)
2022-05-10 09:34:07 +0200kuribas(~user@ptr-17d51emdvfb7f7okr89.18120a2.ip6.access.telenet.be)
2022-05-10 09:37:17 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-10 09:37:32 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-05-10 09:38:08 +0200benin3(~benin@183.82.179.155)
2022-05-10 09:38:50 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:39:48 +0200benin(~benin@2401:4900:2320:2ff3:d441:eb9b:66e3:f141) (Ping timeout: 240 seconds)
2022-05-10 09:39:48 +0200benin3benin
2022-05-10 09:41:12 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-10 09:43:00 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 09:43:24 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-05-10 09:43:44 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 09:45:08 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:45:53 +0200mikoto-c1(~mikoto-ch@213.177.151.239)
2022-05-10 09:46:36 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-10 09:46:38 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 09:47:11 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:47:24 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-05-10 09:47:25 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 09:48:18 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:48:29 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 09:49:01 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:49:30 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-10 09:49:44 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 09:50:16 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 09:50:41 +0200frost(~frost@user/frost)
2022-05-10 09:53:58 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-10 09:54:32 +0200kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2022-05-10 09:54:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 09:55:25 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 09:56:20 +0200pottsy(~pottsy@129.227.183.244) (Quit: Leaving)
2022-05-10 09:57:02 +0200akegalj(~akegalj@93-138-102-116.adsl.net.t-com.hr)
2022-05-10 09:58:34 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d)
2022-05-10 09:58:35 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2022-05-10 10:04:10 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 10:05:22 +0200jonathanx_(~jonathan@c-5eea35a9-74736162.cust.telenor.se) (Ping timeout: 246 seconds)
2022-05-10 10:06:43 +0200razetime(~quassel@117.254.34.98) (Ping timeout: 256 seconds)
2022-05-10 10:07:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 10:12:08 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 10:12:16 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 10:16:04 +0200jludwig(~justin@li657-110.members.linode.com)
2022-05-10 10:16:36 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 248 seconds)
2022-05-10 10:20:40 +0200marquis_andras(~marquis_a@110-175-153-86.static.tpgi.com.au)
2022-05-10 10:22:34 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2)
2022-05-10 10:26:42 +0200 <bahamas> what's an idiomatic way of handling a list that can't be empty? for example a list returned by Text.split
2022-05-10 10:26:56 +0200 <Axman6> @hoogle NonEmpty
2022-05-10 10:26:57 +0200 <lambdabot> module Data.List.NonEmpty
2022-05-10 10:26:57 +0200 <lambdabot> Data.List.NonEmpty data NonEmpty a
2022-05-10 10:26:57 +0200 <lambdabot> GHC.Base data NonEmpty a
2022-05-10 10:27:23 +0200 <bahamas> Axman6: you mean I should convert it to NonEmpty?
2022-05-10 10:27:37 +0200 <Axman6> if you can, you should return NonEmpty a if you know it can't be empty. group should be :: Eq a => [a] -> [NonEmpty a]
2022-05-10 10:28:04 +0200 <Axman6> it really depends on what you're trying to do though
2022-05-10 10:28:21 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 10:28:31 +0200 <bahamas> Axman6: I just want to handle a list returned by Text.split
2022-05-10 10:29:00 +0200 <Axman6> what do you mean by "handle"
2022-05-10 10:29:04 +0200 <bahamas> Axman6: think to covert a string from snake case to camel case
2022-05-10 10:29:34 +0200 <Axman6> like, you can just do case Text.split str of (x:xs) -> ...; _ -> error "the impossible happened"
2022-05-10 10:29:52 +0200 <bahamas> I see
2022-05-10 10:33:05 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 252 seconds)
2022-05-10 10:33:41 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-10 10:35:39 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds)
2022-05-10 10:37:39 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-10 10:40:04 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-10 10:43:18 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 10:43:46 +0200jonathanx_(~jonathan@94.234.53.169)
2022-05-10 10:45:41 +0200jonathanx__(~jonathan@dyn-5-sc.cdg.chalmers.se)
2022-05-10 10:47:29 +0200odnes(~odnes@5-203-138-220.pat.nym.cosmote.net)
2022-05-10 10:47:35 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection)
2022-05-10 10:48:39 +0200jonathanx_(~jonathan@94.234.53.169) (Ping timeout: 256 seconds)
2022-05-10 10:49:57 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-10 10:50:49 +0200rembo10(~rembo10@main.remulis.com)
2022-05-10 10:51:08 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-05-10 10:57:18 +0200razetime(~quassel@117.254.34.98)
2022-05-10 10:58:32 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it)
2022-05-10 10:58:47 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 10:58:49 +0200akegalj(~akegalj@93-138-102-116.adsl.net.t-com.hr) (Quit: leaving)
2022-05-10 11:04:00 +0200ccntrq(~Thunderbi@dynamic-077-003-128-028.77.3.pool.telefonica.de)
2022-05-10 11:05:39 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-05-10 11:06:58 +0200ccntrq1(~Thunderbi@dynamic-077-001-189-113.77.1.pool.telefonica.de)
2022-05-10 11:08:50 +0200ccntrq(~Thunderbi@dynamic-077-003-128-028.77.3.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-05-10 11:09:26 +0200ccntrq(~Thunderbi@dynamic-077-006-007-013.77.6.pool.telefonica.de)
2022-05-10 11:11:18 +0200bahamas(~lucian@86.120.77.115) (Ping timeout: 250 seconds)
2022-05-10 11:11:35 +0200ccntrq1(~Thunderbi@dynamic-077-001-189-113.77.1.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-05-10 11:12:10 +0200ccntrq1(~Thunderbi@dynamic-077-001-051-119.77.1.pool.telefonica.de)
2022-05-10 11:12:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 11:13:40 +0200ccntrq(~Thunderbi@dynamic-077-006-007-013.77.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-05-10 11:13:40 +0200ccntrq1ccntrq
2022-05-10 11:14:36 +0200w1gz(~do@159.89.11.133) (Quit: WeeChat 3.3)
2022-05-10 11:14:59 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 11:15:18 +0200mcglk(~mcglk@131.191.49.120) (Ping timeout: 276 seconds)
2022-05-10 11:17:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-05-10 11:17:58 +0200jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-10 11:22:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 11:22:39 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-05-10 11:23:41 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 11:24:02 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-10 11:24:28 +0200razetime(~quassel@117.254.34.98) (Ping timeout: 246 seconds)
2022-05-10 11:24:59 +0200razetime(~quassel@117.254.34.133)
2022-05-10 11:25:08 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 11:26:36 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 11:26:59 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-10 11:27:24 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 11:29:43 +0200ccntrq1(~Thunderbi@2a01:c23:8d4d:e00:398d:60f7:2030:7ba4)
2022-05-10 11:31:23 +0200ccntrq(~Thunderbi@dynamic-077-001-051-119.77.1.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-05-10 11:31:24 +0200ccntrq1ccntrq
2022-05-10 11:31:36 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-05-10 11:31:37 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 248 seconds)
2022-05-10 11:31:50 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 11:31:58 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds)
2022-05-10 11:32:49 +0200jespada(~jespada@146.70.119.10)
2022-05-10 11:33:09 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 11:39:05 +0200frost(~frost@user/frost)
2022-05-10 11:43:07 +0200__monty__(~toonn@user/toonn)
2022-05-10 11:43:20 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 11:47:05 +0200ccntrq(~Thunderbi@2a01:c23:8d4d:e00:398d:60f7:2030:7ba4) (Ping timeout: 248 seconds)
2022-05-10 11:47:16 +0200ccntrq1(~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0)
2022-05-10 11:47:25 +0200mbuf(~Shakthi@182.77.101.218)
2022-05-10 11:47:34 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-05-10 11:47:36 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-05-10 11:47:37 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-05-10 11:47:43 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 260 seconds)
2022-05-10 11:48:00 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-05-10 11:48:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-05-10 11:48:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-10 11:49:34 +0200ccntrq1ccntrq
2022-05-10 11:53:49 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-10 11:55:08 +0200MasseR46(~MasseR@51.15.143.128) (Quit: The Lounge - https://thelounge.chat)
2022-05-10 11:56:30 +0200ubert1(~Thunderbi@2a02:8109:9880:303c:d9d9:7602:9dc7:8ac6)
2022-05-10 11:57:38 +0200ccntrq(~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) (Remote host closed the connection)
2022-05-10 11:57:56 +0200ccntrq(~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0)
2022-05-10 11:58:26 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 12:00:39 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds)
2022-05-10 12:00:41 +0200jonathanx_(~jonathan@dyn-5-sc.cdg.chalmers.se)
2022-05-10 12:01:06 +0200jonathanx__(~jonathan@dyn-5-sc.cdg.chalmers.se) (Read error: Connection reset by peer)
2022-05-10 12:01:50 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2022-05-10 12:02:44 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 12:02:44 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 252 seconds)
2022-05-10 12:03:50 +0200jespada(~jespada@146.70.119.10) (Ping timeout: 240 seconds)
2022-05-10 12:05:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-05-10 12:06:17 +0200jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net)
2022-05-10 12:09:30 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds)
2022-05-10 12:11:50 +0200mcglk(~mcglk@131.191.49.120)
2022-05-10 12:11:51 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2022-05-10 12:12:54 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 12:14:08 +0200ccntrq1(~Thunderbi@dynamic-077-000-134-112.77.0.pool.telefonica.de)
2022-05-10 12:15:39 +0200ccntrq(~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) (Ping timeout: 240 seconds)
2022-05-10 12:15:39 +0200ccntrq1ccntrq
2022-05-10 12:17:26 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-10 12:17:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-10 12:17:27 +0200wroathe(~wroathe@user/wroathe)
2022-05-10 12:23:38 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 12:23:59 +0200ccntrq1(~Thunderbi@2a01:c23:89af:e800:829c:948b:5308:87a0)
2022-05-10 12:24:51 +0200ccntrq(~Thunderbi@dynamic-077-000-134-112.77.0.pool.telefonica.de) (Ping timeout: 276 seconds)
2022-05-10 12:24:51 +0200ccntrq1ccntrq
2022-05-10 12:25:15 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 12:25:34 +0200ubert1(~Thunderbi@2a02:8109:9880:303c:d9d9:7602:9dc7:8ac6) (Remote host closed the connection)
2022-05-10 12:25:40 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 248 seconds)
2022-05-10 12:27:41 +0200ccntrq1(~Thunderbi@2a01:c22:91cf:ed00:7b58:9e32:239c:6bea)
2022-05-10 12:28:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-05-10 12:29:18 +0200ccntrq(~Thunderbi@2a01:c23:89af:e800:829c:948b:5308:87a0) (Ping timeout: 250 seconds)
2022-05-10 12:29:18 +0200ccntrq1ccntrq
2022-05-10 12:29:41 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-10 12:31:42 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 12:32:18 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 12:33:50 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds)
2022-05-10 12:36:30 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-10 12:36:48 +0200ccntrq1(~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7)
2022-05-10 12:38:19 +0200ccntrq(~Thunderbi@2a01:c22:91cf:ed00:7b58:9e32:239c:6bea) (Ping timeout: 240 seconds)
2022-05-10 12:38:19 +0200ccntrq1ccntrq
2022-05-10 12:38:54 +0200odnes(~odnes@5-203-138-220.pat.nym.cosmote.net) (Remote host closed the connection)
2022-05-10 12:45:21 +0200jmcarthur(~jmcarthur@45.15.176.228)
2022-05-10 12:48:16 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-05-10 12:51:34 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-10 12:51:42 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-05-10 12:53:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-05-10 12:55:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-10 13:00:40 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com)
2022-05-10 13:14:18 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-05-10 13:14:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 13:15:34 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-10 13:19:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds)
2022-05-10 13:20:17 +0200ccntrq(~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) (Ping timeout: 252 seconds)
2022-05-10 13:20:27 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-10 13:21:14 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-10 13:22:48 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-10 13:26:48 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 13:27:26 +0200jmcarthur(~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds)
2022-05-10 13:30:57 +0200 <dragestil> what's the fastest sqlite client library?
2022-05-10 13:32:21 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d4d3:3586:6b4e:856e)
2022-05-10 13:34:36 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 13:35:20 +0200 <jonathanx_> Is there an easy way to go from auto-derived Aeson ToJSON instances to manually written ones? Technically, it should be possible to generate them, but I don't know of a way to do it.
2022-05-10 13:36:03 +0200 <geekosaur> -ddump-deriv should give you the generated code for derived instances
2022-05-10 13:36:12 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-10 13:36:27 +0200 <jonathanx_> cool :D
2022-05-10 13:36:41 +0200 <tomsmeding> jonathanx_: are those auto-derived instances using Generics or using TemplateHaskell?
2022-05-10 13:36:49 +0200 <jonathanx_> I'll google that flag to try to figure out where to put them
2022-05-10 13:36:50 +0200 <jonathanx_> Generics
2022-05-10 13:37:05 +0200 <jonathanx_> *where to put it
2022-05-10 13:37:06 +0200 <geekosaur> oh, that'll suck more
2022-05-10 13:37:15 +0200 <tomsmeding> then the expanded code (with -ddump-deriv) will just delegate the actual functionality to the generics infrastructure
2022-05-10 13:37:18 +0200 <tomsmeding> i.e. you'll learn little
2022-05-10 13:37:24 +0200 <geekosaur> yeh
2022-05-10 13:37:24 +0200 <jonathanx_> oh
2022-05-10 13:37:34 +0200 <jonathanx_> that's a shame
2022-05-10 13:37:51 +0200 <geekosaur> and there will be no easy way to migrate because Generics doesn't do things anything like a manually written instance would
2022-05-10 13:37:59 +0200 <tomsmeding> ^
2022-05-10 13:38:33 +0200 <jonathanx_> I'm carily confident that it's possible to write a mnaual instance that matches the generic output
2022-05-10 13:38:51 +0200 <geekosaur> oh, it's certainly possible. you just won't get any help doing it
2022-05-10 13:38:58 +0200 <tomsmeding> in fact, the derived instance will be _empty_, I think, because it just delegates to the DefaultSignatures version
2022-05-10 13:39:10 +0200 <jonathanx_> aw
2022-05-10 13:40:21 +0200 <jonathanx_> does the TH version differ from the generic one? If the end result is identical then I could migrate to TH and then dump the derived instance
2022-05-10 13:40:30 +0200jonathanx_(~jonathan@dyn-5-sc.cdg.chalmers.se) (Quit: Leaving)
2022-05-10 13:40:39 +0200ccntrq(~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7)
2022-05-10 13:40:45 +0200 <geekosaur> TH is a lot more like a manual instance
2022-05-10 13:40:45 +0200 <tdammers> dragestil: are you sure the SQLite connectivity API is going to be your performance bottleneck? Because that'd be unusual.
2022-05-10 13:40:47 +0200 <geekosaur> sigh
2022-05-10 13:41:13 +0200 <tomsmeding> @tell jonathanx_ behaviour should be the same, and indeed the TH-generated instance _does_ migrate to a manual instance (use -ddump-splices instead)
2022-05-10 13:41:13 +0200 <lambdabot> Consider it noted.
2022-05-10 13:41:19 +0200 <geekosaur> I was thinking sqlite itself would be more of a bottleneck than the API
2022-05-10 13:41:55 +0200 <dragestil> tdammers: good point, I don't know. I'm more thinking along the lines of things like https://github.com/hdbc/hdbc-sqlite3/issues/10
2022-05-10 13:42:14 +0200 <dragestil> s/thinking/wondering/
2022-05-10 13:42:28 +0200jonathanx(~jonathan@dyn-5-sc.cdg.chalmers.se)
2022-05-10 13:43:11 +0200 <tdammers> right, yeah - but then again, unlike a client/server database, SQLite runs in the host's own process space, so this kind of "optimization" might not actually buy you all that much in the end
2022-05-10 13:43:14 +0200 <tdammers> not sure though
2022-05-10 13:43:31 +0200 <dragestil> ok
2022-05-10 13:43:39 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-10 13:44:35 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection)
2022-05-10 13:44:39 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 13:44:44 +0200 <geekosaur> jonathanx, TH will be a lot more like a manual instance, and if you use -ddump-splices you can again retrieve the code it's writing for you
2022-05-10 13:44:59 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com)
2022-05-10 13:45:05 +0200 <geekosaur> (and it will probably be faster than the Generics instance, to boot)
2022-05-10 13:46:04 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-10 13:46:38 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 13:49:25 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-10 13:53:20 +0200ccntrq1(~Thunderbi@2a01:c23:95c5:d000:fb5:17d9:6e61:51df)
2022-05-10 13:53:29 +0200ccntrq(~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) (Ping timeout: 248 seconds)
2022-05-10 13:53:29 +0200ccntrq1ccntrq
2022-05-10 13:57:10 +0200acidjnk(~acidjnk@p200300d0c7068b32d947962d5a8ebd7e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-05-10 13:57:57 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-10 14:00:24 +0200simeon(~pi@dslb-088-078-150-105.088.078.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2022-05-10 14:02:02 +0200simeon(~pi@dslb-088-076-113-053.088.076.pools.vodafone-ip.de)
2022-05-10 14:02:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-05-10 14:04:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 14:04:12 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-05-10 14:05:14 +0200coot(~coot@213.134.190.95)
2022-05-10 14:06:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-05-10 14:09:27 +0200ccntrq(~Thunderbi@2a01:c23:95c5:d000:fb5:17d9:6e61:51df) (Ping timeout: 240 seconds)
2022-05-10 14:09:27 +0200 <dminuoso> I want to generate structs like this: https://gist.github.com/dminuoso/fdb358d4930096e6d9171a11d5bfcc7e
2022-05-10 14:09:29 +0200ccntrq1(~Thunderbi@2a01:c23:9554:5500:ec23:74af:5c6d:510b)
2022-05-10 14:09:41 +0200 <dminuoso> These are obviously not legal haskell constructors or field names.
2022-05-10 14:09:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-10 14:10:05 +0200 <dminuoso> I could rename them, but in the problem domain, people will more than likely want to refer to them by "Alc-Acct-OC-I-Inprof-Octets-Id"
2022-05-10 14:10:09 +0200 <dminuoso> How do I get around this dilemma?
2022-05-10 14:10:35 +0200 <tomsmeding> s/-/_/g ?
2022-05-10 14:11:17 +0200 <dminuoso> Mmm
2022-05-10 14:11:44 +0200ccntrq1ccntrq
2022-05-10 14:12:45 +0200 <maerwald[m]> Is there a way to auto-generate quasi-quoters? 😅 Anything of the form `foo :: String -> Maybe a`
2022-05-10 14:14:07 +0200jpds2jpsa
2022-05-10 14:14:14 +0200jpsajpds
2022-05-10 14:14:14 +0200 <dminuoso> tomsmeding: So far Ive been toying with renaming, yes.
2022-05-10 14:15:37 +0200 <dminuoso> Im just not very happy about it.
2022-05-10 14:16:03 +0200 <dminuoso> OverloadedLabels is what Im exploring righ tnow
2022-05-10 14:19:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-05-10 14:23:02 +0200fef(~thedawn@user/thedawn)
2022-05-10 14:23:21 +0200ccntrq(~Thunderbi@2a01:c23:9554:5500:ec23:74af:5c6d:510b) (Ping timeout: 248 seconds)
2022-05-10 14:25:32 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:e252:509c:65b7:d5bb)
2022-05-10 14:29:34 +0200fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-05-10 14:33:18 +0200 <merijn> maerwald[m]: In general? No
2022-05-10 14:33:28 +0200 <merijn> maerwald[m]: For some specific type convenient for you? Yes
2022-05-10 14:33:41 +0200 <merijn> maerwald[m]: What are you trying to do?
2022-05-10 14:34:00 +0200 <maerwald[m]> merijn: being lazy
2022-05-10 14:34:14 +0200 <maerwald[m]> I want TH to write TH for me xD
2022-05-10 14:34:32 +0200 <merijn> maerwald[m]: I mean, do you happen to be trying type-safe, partial, compile time conversion from String to some type?
2022-05-10 14:34:53 +0200 <maerwald[m]> It's a parser
2022-05-10 14:34:56 +0200 <merijn> Because, in that case, I already wrote the annoying boilerplate for you
2022-05-10 14:35:18 +0200 <merijn> You can maybe generalise it to you specific usecase
2022-05-10 14:35:29 +0200 <maerwald[m]> https://hackage.haskell.org/package/postgresql-syntax-0.4.1/docs/PostgresqlSyntax-Parsing.html
2022-05-10 14:35:40 +0200 <merijn> https://github.com/merijn/validated-literals
2022-05-10 14:35:56 +0200 <maerwald[m]> And since there are like 20 subparsers, it feels annoying
2022-05-10 14:36:55 +0200 <merijn> maerwald[m]: You could consider making a Validate instance for all of those types or, alternatively, just rip off the code in that package
2022-05-10 14:37:06 +0200 <merijn> It's like 144 lines, most of them docs anyway :p
2022-05-10 14:38:47 +0200 <merijn> maerwald[m]: Hell, with the fromLiteralWithError you can even propagate the parse error as compile time error :p
2022-05-10 14:40:02 +0200 <maerwald[m]> Right, so I could write a TH thing that writes the Validate instance for all the types
2022-05-10 14:41:38 +0200 <maerwald[m]> Or via generic
2022-05-10 14:41:47 +0200 <merijn> maerwald[m]: The Validate part doesn't require writing TH at all
2022-05-10 14:42:03 +0200 <merijn> maerwald[m]: You can simply instantiate Validate class with a function "String -> Maybe a"
2022-05-10 14:42:25 +0200fef(~thedawn@user/thedawn)
2022-05-10 14:42:34 +0200 <maerwald[m]> Then I still need a quasiquoter
2022-05-10 14:42:51 +0200 <merijn> maerwald[m]: liftResults is the only function requiring TH to implement, but it has a default instance using Lift and Lift is derivable in modern GHC
2022-05-10 14:44:19 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-05-10 14:44:19 +0200 <merijn> ah, wait, I guess you want the quasiquoter instead of String literal for queries...
2022-05-10 14:44:48 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-10 14:45:01 +0200 <merijn> maerwald[m]: I mean, if you have a function "String -> Q Exp" then constructing a quasiquoter is fairly trivial
2022-05-10 14:45:38 +0200 <merijn> Although adding convenient quasiquoter support to that package would be a good idea...
2022-05-10 14:48:21 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular)
2022-05-10 14:49:15 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-05-10 14:49:58 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection)
2022-05-10 14:50:29 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-05-10 15:01:19 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-05-10 15:15:22 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:e252:509c:65b7:d5bb) (Remote host closed the connection)
2022-05-10 15:15:41 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:97b0:c40e:b388:2843)
2022-05-10 15:17:06 +0200odnes(~odnes@2a02:587:e901:3110::aaf)
2022-05-10 15:19:01 +0200jonathanx_(~jonathan@dyn-5-sc.cdg.chalmers.se)
2022-05-10 15:25:14 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-10 15:26:22 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection)
2022-05-10 15:26:22 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-05-10 15:26:22 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection)
2022-05-10 15:26:22 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer)
2022-05-10 15:26:22 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2022-05-10 15:26:22 +0200sm2n(ae95cb1267@user/sm2n) (Remote host closed the connection)
2022-05-10 15:26:22 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection)
2022-05-10 15:26:22 +0200dawdler(035b60b5aa@user/dawdler) (Remote host closed the connection)
2022-05-10 15:26:22 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection)
2022-05-10 15:26:22 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection)
2022-05-10 15:26:22 +0200filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2022-05-10 15:26:22 +0200jleightcap(7bc4014b62@user/jleightcap) (Remote host closed the connection)
2022-05-10 15:26:22 +0200jkoshy(99b9359beb@user/jkoshy) (Remote host closed the connection)
2022-05-10 15:26:22 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2022-05-10 15:26:22 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2022-05-10 15:26:22 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2022-05-10 15:26:22 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection)
2022-05-10 15:26:22 +0200jakzale(6291399afa@user/jakzale) (Remote host closed the connection)
2022-05-10 15:26:26 +0200raghavgururajan(ea769b8000@user/raghavgururajan) (Remote host closed the connection)
2022-05-10 15:27:16 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-05-10 15:27:16 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-05-10 15:27:16 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-05-10 15:27:17 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-05-10 15:27:20 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-05-10 15:27:27 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a)
2022-05-10 15:27:28 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-05-10 15:27:28 +0200jkoshy(99b9359beb@user/jkoshy)
2022-05-10 15:27:28 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-05-10 15:27:29 +0200raghavgururajan(ea769b8000@user/raghavgururajan)
2022-05-10 15:27:34 +0200jakzale(6291399afa@user/jakzale)
2022-05-10 15:27:36 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-05-10 15:27:36 +0200dawdler(035b60b5aa@user/dawdler)
2022-05-10 15:27:39 +0200sm2n(ae95cb1267@user/sm2n)
2022-05-10 15:27:39 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-05-10 15:27:39 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-05-10 15:27:40 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0)
2022-05-10 15:27:42 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-05-10 15:27:46 +0200jleightcap(7bc4014b62@user/jleightcap)
2022-05-10 15:27:47 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-05-10 15:27:51 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-05-10 15:28:35 +0200 <lortabac> what's the simplest way to do (Maybe a, b) -> Maybe (a, b)
2022-05-10 15:29:01 +0200 <Hecate> oh dear
2022-05-10 15:29:16 +0200 <merijn> 'strong' used to be in some library, but not anymore, I think
2022-05-10 15:29:57 +0200 <merijn> Simplest is probably lambda?
2022-05-10 15:30:10 +0200 <Hecate> lortabac: simple pattern-matching
2022-05-10 15:30:11 +0200 <merijn> :t \(a, b) -> fmap (,b) a
2022-05-10 15:30:12 +0200 <lambdabot> Functor f => (f t1, t2) -> f (t1, t2)
2022-05-10 15:31:38 +0200 <geekosaur> sequence would do it if they were swapped
2022-05-10 15:31:44 +0200 <lortabac> merijn: thanks, with TupleSections it's not too bad
2022-05-10 15:32:11 +0200 <lortabac> geekosaur: actually maybe I can swap them
2022-05-10 15:32:18 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-10 15:32:29 +0200 <geekosaur> > sequence ("a", Just 5)
2022-05-10 15:32:31 +0200 <lambdabot> Just ("a",5)
2022-05-10 15:33:19 +0200 <tomsmeding> not too sure whether that's the most readable though :p
2022-05-10 15:33:34 +0200 <lortabac> I need something like Biapplicative
2022-05-10 15:33:38 +0200 <lortabac> does it exist? :D
2022-05-10 15:33:59 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 15:34:22 +0200Simon12(~Simon@2001:4ca0:0:f237:f4e9:b9f2:ea66:2d8f)
2022-05-10 15:34:24 +0200 <Simon12> Hey guys
2022-05-10 15:34:32 +0200 <Simon12> Today I come to visit with an logial question
2022-05-10 15:34:51 +0200 <lortabac> apparently sequenceBia is a thing
2022-05-10 15:35:02 +0200jonathanx_(~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 252 seconds)
2022-05-10 15:35:13 +0200jonathanx(~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 260 seconds)
2022-05-10 15:35:13 +0200 <Simon12> How can I display the Boolean function h(a,b,c) = (a * b) + c only with the NOR operator?
2022-05-10 15:35:29 +0200 <lortabac> it's in the bifunctors package, but it's probably overkill for my simple use case
2022-05-10 15:37:21 +0200 <merijn> lortabac: It does
2022-05-10 15:37:27 +0200 <merijn> lortabac: I think it's even in base now?
2022-05-10 15:37:47 +0200 <geekosaur> @index sequenceBia
2022-05-10 15:37:47 +0200 <lambdabot> bzzt
2022-05-10 15:38:04 +0200 <merijn> ah, it's just Bifunctor that's in base
2022-05-10 15:38:30 +0200 <geekosaur> yeh
2022-05-10 15:39:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-10 15:39:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-10 15:39:56 +0200wroathe(~wroathe@user/wroathe)
2022-05-10 15:40:34 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:97b0:c40e:b388:2843) (Remote host closed the connection)
2022-05-10 15:42:02 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:b1e:7b90:a106:30b6)
2022-05-10 15:42:16 +0200 <maerwald> merijn: how do I go from `Splice Q b` to `Q Exp`
2022-05-10 15:42:19 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-05-10 15:42:29 +0200 <merijn> maerwald: That's a no-op
2022-05-10 15:42:36 +0200 <merijn> maerwald: It's a compat newtype
2022-05-10 15:42:51 +0200 <merijn> For the change in GHC 9.2 (or 9.0?) where the type of splices changes
2022-05-10 15:43:04 +0200 <maerwald> I don't understand, the types don't align
2022-05-10 15:43:13 +0200 <merijn> maerwald: See th-compat
2022-05-10 15:43:59 +0200 <merijn> maerwald: "Splice Q b" is just "Q (TExp b)" in old GHCs
2022-05-10 15:44:10 +0200 <merijn> https://hackage.haskell.org/package/th-compat-0.1.3/docs/Language-Haskell-TH-Syntax-Compat.html#t:…
2022-05-10 15:44:58 +0200 <maerwald> merijn: https://paste.tomsmeding.com/QGO9IAMZ
2022-05-10 15:45:08 +0200ccntrq1(~Thunderbi@dynamic-095-112-244-199.95.112.pool.telefonica.de)
2022-05-10 15:46:35 +0200ccntrq(~Thunderbi@2a02:3100:74fa:d500:b1e:7b90:a106:30b6) (Ping timeout: 252 seconds)
2022-05-10 15:46:36 +0200ccntrq1ccntrq
2022-05-10 15:46:39 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-05-10 15:47:00 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174)
2022-05-10 15:47:01 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-10 15:47:06 +0200 <merijn> maerwald: Oh, right, yeah. Because I produce typed TH, you "untype" it via unType
2022-05-10 15:47:09 +0200 <merijn> maerwald: https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH.html#v:unType
2022-05-10 15:47:38 +0200 <maerwald> merijn: https://paste.tomsmeding.com/lskkpeCU ;)
2022-05-10 15:47:45 +0200 <maerwald> TH sucks
2022-05-10 15:48:11 +0200 <merijn> maerwald: No, you just didn't read the error ;)
2022-05-10 15:48:17 +0200 <tomsmeding> <$>
2022-05-10 15:48:22 +0200 <merijn> You have "Q (TExp a)", you need "Q Exp"
2022-05-10 15:48:26 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-05-10 15:48:27 +0200 <merijn> So you want "fmap unType"
2022-05-10 15:48:30 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-05-10 15:48:49 +0200xaotuk(~sasha@net238-32-245-109.mbb.telenor.rs)
2022-05-10 15:49:10 +0200 <merijn> but I assumed you'd be able to infer that from the error and my link :p
2022-05-10 15:49:56 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 250 seconds)
2022-05-10 15:50:33 +0200 <tomsmeding> that moment when hoogling for TypeRep -> Type gives you only 'unsafeCoerce'
2022-05-10 15:50:59 +0200 <merijn> tomsmeding: RIP your sanity
2022-05-10 15:51:02 +0200 <tomsmeding> does such functionality exist somewhere?
2022-05-10 15:51:50 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-05-10 15:51:50 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-05-10 15:51:50 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-05-10 15:51:50 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-05-10 15:52:15 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-10 15:52:29 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 15:52:39 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-10 15:52:54 +0200fef(~thedawn@user/thedawn)
2022-05-10 15:53:17 +0200 <tomsmeding> ah https://hackage.haskell.org/package/th-utilities-0.2.4.3/docs/TH-Utilities.html#v:typeRepToType apparently
2022-05-10 15:57:01 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-10 15:58:05 +0200arjun(~arjun@user/arjun)
2022-05-10 16:01:01 +0200ccntrq1(~Thunderbi@2a01:c23:9034:a600:c21b:dfb2:bfd7:ec9c)
2022-05-10 16:01:46 +0200 <maerwald> merijn: https://github.com/merijn/validated-literals/pull/7
2022-05-10 16:03:05 +0200 <maerwald> that actually allows me to easily create quasi quoters from `readEither`
2022-05-10 16:03:05 +0200ccntrq(~Thunderbi@dynamic-095-112-244-199.95.112.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-05-10 16:03:06 +0200ccntrq1ccntrq
2022-05-10 16:04:11 +0200son0p(~ff@181.136.122.143) (Ping timeout: 252 seconds)
2022-05-10 16:06:08 +0200 <tomsmeding> uh oh, ghc panic saying "InScope {wild_00 $dQuote_aaQY $dTypeable_aaRc $dTypeable_sdCX}"
2022-05-10 16:06:09 +0200 <merijn> I actually wanted to bug #ghc and check if there's typed QuasiQuoters yet (I think there should be?)
2022-05-10 16:06:25 +0200 <tomsmeding> merijn: sanity decreases over time indeed
2022-05-10 16:06:46 +0200 <maerwald> I blame long covid instead of my life-style
2022-05-10 16:09:04 +0200 <merijn> maerwald: That's not quite how I'd see the quasi quoter, additionally it brings the complication that I'm not sure how you'd use a quasiquoter with arguments to get the quasiquoter
2022-05-10 16:09:13 +0200 <maerwald> merijn: what?
2022-05-10 16:09:43 +0200 <merijn> maerwald: Do you end up having to write "[quasiQuoter a b|...|]" to use that or what?
2022-05-10 16:09:52 +0200 <merijn> That doesn't work, does it?
2022-05-10 16:09:55 +0200 <maerwald> no, you create a top-level binding
2022-05-10 16:10:19 +0200 <maerwald> s = quasiQuoter (Proxy :: Proxy String) (Proxy :: Proxy Int)
2022-05-10 16:10:48 +0200 <maerwald> then: [s|123|]
2022-05-10 16:11:05 +0200 <merijn> maerwald: Except you then can't use it in the same module
2022-05-10 16:11:14 +0200 <maerwald> *shrug*
2022-05-10 16:11:16 +0200 <merijn> maerwald: because quasi quoters can't be defined in the module they're used, afaik?
2022-05-10 16:11:19 +0200 <merijn> Anyway
2022-05-10 16:11:27 +0200 <merijn> I'll have a think about it tomorrow
2022-05-10 16:12:13 +0200xaotuk(~sasha@net238-32-245-109.mbb.telenor.rs) (Ping timeout: 256 seconds)
2022-05-10 16:16:57 +0200Simon12(~Simon@2001:4ca0:0:f237:f4e9:b9f2:ea66:2d8f) (Quit: Client closed)
2022-05-10 16:17:10 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 16:17:20 +0200searemind(~searemind@122.161.49.238)
2022-05-10 16:17:33 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-10 16:19:46 +0200searemind(~searemind@122.161.49.238) (Client Quit)
2022-05-10 16:20:26 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-10 16:21:59 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net)
2022-05-10 16:22:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds)
2022-05-10 16:23:24 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds)
2022-05-10 16:23:48 +0200 <tomsmeding> can I rely on '[] to produce the list _type_ and not the empty list _constructor_?
2022-05-10 16:24:12 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-05-10 16:24:22 +0200 <lortabac> tomsmeding: I think you have to remove the quote if you want the list type
2022-05-10 16:24:36 +0200 <tomsmeding> lortabac: oh sorry, I meant in templatehaskell
2022-05-10 16:24:41 +0200 <tomsmeding> like, ' being a name quote
2022-05-10 16:24:48 +0200 <tomsmeding> Name quote, to be precise
2022-05-10 16:25:36 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 16:25:46 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-05-10 16:26:31 +0200yauhsien(~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-10 16:27:36 +0200 <lortabac> tomsmeding: sorry, I read that question out of context
2022-05-10 16:27:42 +0200 <tomsmeding> (why does Type have a ListT constructor if actual list types are represented with ConT '[])
2022-05-10 16:28:36 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds)
2022-05-10 16:28:37 +0200searemind^(~searemind@122.161.49.238)
2022-05-10 16:28:50 +0200searemind^(~searemind@122.161.49.238) (Client Quit)
2022-05-10 16:29:11 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-10 16:29:16 +0200searemind^(~searemind@122.161.49.238)
2022-05-10 16:29:18 +0200bahamas(~lucian@84.232.141.55)
2022-05-10 16:30:34 +0200searemind^(~searemind@122.161.49.238) (Client Quit)
2022-05-10 16:31:11 +0200searemind^(~searemind@122.161.49.238)
2022-05-10 16:32:20 +0200searemind^(~searemind@122.161.49.238) (Client Quit)
2022-05-10 16:33:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-10 16:34:54 +0200searemind(~u0_a2090@122.161.49.238)
2022-05-10 16:35:22 +0200searemind(~u0_a2090@122.161.49.238) (Client Quit)
2022-05-10 16:46:36 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-05-10 16:46:50 +0200searemind(~u0_a2090@122.161.49.238)
2022-05-10 16:48:00 +0200alp_(~alp@user/alp) (Ping timeout: 250 seconds)
2022-05-10 16:49:19 +0200searemind(~u0_a2090@122.161.49.238) ()
2022-05-10 16:53:41 +0200alp_(~alp@user/alp)
2022-05-10 16:56:51 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-05-10 16:57:29 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-05-10 16:59:03 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-10 17:01:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-10 17:08:10 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 240 seconds)
2022-05-10 17:09:14 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-05-10 17:09:17 +0200xkuru(~xkuru@user/xkuru)
2022-05-10 17:10:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-05-10 17:13:46 +0200zebrag(~chris@user/zebrag)
2022-05-10 17:15:20 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-10 17:16:26 +0200kuribas(~user@ptr-17d51emdvfb7f7okr89.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-05-10 17:16:31 +0200ccntrq(~Thunderbi@2a01:c23:9034:a600:c21b:dfb2:bfd7:ec9c) (Ping timeout: 260 seconds)
2022-05-10 17:20:59 +0200ccntrq(~Thunderbi@2a01:c23:9119:1600:4034:6c3d:626c:d3f8)
2022-05-10 17:23:50 +0200ccntrq1(~Thunderbi@2a01:c23:8973:2800:be2:49b2:569e:306a)
2022-05-10 17:24:06 +0200 <kritzefitz> tomsmeding: If I reify '[] it says DataConI instead of TyConI.
2022-05-10 17:24:20 +0200 <tomsmeding> kritzefitz: indeed I found out that it picks the wrong one :p
2022-05-10 17:24:49 +0200 <tomsmeding> now I wonder how I get the Name for the list type constructor without buiding a Name myself using (ModName "GHC.Types") etc
2022-05-10 17:25:00 +0200ccntrq(~Thunderbi@2a01:c23:9119:1600:4034:6c3d:626c:d3f8) (Ping timeout: 240 seconds)
2022-05-10 17:25:05 +0200 <kritzefitz> ''[] seems to work for me.
2022-05-10 17:25:12 +0200 <tomsmeding> oooooooooh
2022-05-10 17:25:45 +0200tomsmedingslaps head
2022-05-10 17:26:33 +0200ccntrq(~Thunderbi@2a01:c23:9018:e400:84c7:29ed:dc5d:3836)
2022-05-10 17:26:42 +0200 <geekosaur> that's what I just found in the TH docs, yeh
2022-05-10 17:26:54 +0200 <geekosaur> thought I remembered that syntax
2022-05-10 17:27:48 +0200ccntrq1(~Thunderbi@2a01:c23:8973:2800:be2:49b2:569e:306a) (Ping timeout: 240 seconds)
2022-05-10 17:29:26 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-05-10 17:30:07 +0200 <kritzefitz> It's kinda unfortunate that ''Name returns a data constructor if Name is not a type instead of throwing an error. I guess the reason for that has something to with DataKinds?
2022-05-10 17:30:34 +0200 <geekosaur> probably
2022-05-10 17:31:23 +0200 <tomsmeding> hm, ''Just doesn't seem to work for me
2022-05-10 17:31:44 +0200 <tomsmeding> (DataKinds _is_ on)
2022-05-10 17:32:16 +0200 <kritzefitz> Huh, indeed. I noticed that '(:) works and thought it works for all data constructors. (Data Kinds is _off_)
2022-05-10 17:32:16 +0200dsrt^(~dsrt@173-160-94-253-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-05-10 17:32:34 +0200 <kritzefitz> err, ''(:) works.
2022-05-10 17:32:50 +0200 <tomsmeding> interesting
2022-05-10 17:32:58 +0200 <tomsmeding> maybe (:) is too hard-wired in GHC?
2022-05-10 17:34:05 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-10 17:40:35 +0200ccntrq(~Thunderbi@2a01:c23:9018:e400:84c7:29ed:dc5d:3836) (Ping timeout: 260 seconds)
2022-05-10 17:42:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 17:43:00 +0200ente(~daemon@inferno.barfooze.de)
2022-05-10 17:44:03 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-10 17:44:05 +0200 <albet70> python generator/yield, ES6 Promise, Java 7 Future, kotlin coroutine, scheme callcc shift/reset, and haskell ContT, are they all same or similar?
2022-05-10 17:44:18 +0200mbuf(~Shakthi@182.77.101.218) (Quit: Leaving)
2022-05-10 17:44:40 +0200ccntrq(~Thunderbi@2a01:c22:889b:ad00:a2f4:2f25:7f3d:714e)
2022-05-10 17:45:12 +0200 <c_wraith> albet70: there are two distinct ideas in there - coroutines and continuations.
2022-05-10 17:46:02 +0200 <albet70> "🟢 c_wraith :albet70: there are two distinct ideas in there - coroutines and continuations.", continuation can implement coroutine
2022-05-10 17:46:05 +0200 <c_wraith> you can implement coroutines with continuations, but they aren't the same
2022-05-10 17:46:22 +0200 <c_wraith> continuations can implement any control flow pattern
2022-05-10 17:46:27 +0200 <c_wraith> coroutines cannot
2022-05-10 17:49:14 +0200ccntrq(~Thunderbi@2a01:c22:889b:ad00:a2f4:2f25:7f3d:714e) (Ping timeout: 252 seconds)
2022-05-10 17:49:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2bb6:68f9:5f28:94b) (Quit: WeeChat 2.8)
2022-05-10 17:49:24 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds)
2022-05-10 17:49:29 +0200ccntrq(~Thunderbi@2a01:c22:890d:1f00:4060:9fab:d2c7:2887)
2022-05-10 17:52:08 +0200 <albet70> does ContT's callCC depends on lazy evaluations strategy?
2022-05-10 17:52:34 +0200fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-05-10 17:54:06 +0200 <albet70> I hope there's a common skill, if I can comprehend the concept then I can use lambda to implement then in different languages, that would be wonderful
2022-05-10 17:55:36 +0200fef(~thedawn@user/thedawn)
2022-05-10 17:57:00 +0200 <albet70> I use Data.List's function to solve python list issues in work, it's very good, but python doesn't have Data.List so I have to "copy" them to python
2022-05-10 17:59:08 +0200jinsun(~jinsun@user/jinsun)
2022-05-10 18:00:00 +0200merijn(~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl)
2022-05-10 18:01:39 +0200odnes(~odnes@2a02:587:e901:3110::aaf) (Ping timeout: 240 seconds)
2022-05-10 18:06:01 +0200odnes(~odnes@2a02:587:e901:3110::aaf)
2022-05-10 18:10:32 +0200coot(~coot@213.134.190.95)
2022-05-10 18:12:25 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-10 18:17:48 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-05-10 18:18:11 +0200 <dolio> No, callCC doesn't depend on lazy evaluation.
2022-05-10 18:18:16 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-10 18:18:33 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-10 18:19:22 +0200econo(uid147250@user/econo)
2022-05-10 18:21:49 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-05-10 18:22:25 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 18:23:51 +0200odnes(~odnes@2a02:587:e901:3110::aaf) (Quit: Leaving)
2022-05-10 18:24:34 +0200razetime(~quassel@117.254.34.133) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-05-10 18:26:40 +0200bahamas(~lucian@84.232.141.55)
2022-05-10 18:26:55 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 18:27:38 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-10 18:28:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 18:29:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 18:32:03 +0200img(~img@user/img)
2022-05-10 18:33:47 +0200ccntrq(~Thunderbi@2a01:c22:890d:1f00:4060:9fab:d2c7:2887) (Ping timeout: 252 seconds)
2022-05-10 18:33:52 +0200ccntrq1(~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e)
2022-05-10 18:36:10 +0200ccntrq1ccntrq
2022-05-10 18:44:45 +0200stackdroid18(14094@user/stackdroid)
2022-05-10 18:49:53 +0200EvanR(~EvanR@user/evanr)
2022-05-10 18:51:24 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-05-10 19:03:32 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-10 19:03:57 +0200merijn(~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-05-10 19:04:33 +0200img(~img@user/img)
2022-05-10 19:04:51 +0200img(~img@user/img) (Client Quit)
2022-05-10 19:06:16 +0200img(~img@user/img)
2022-05-10 19:08:28 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-05-10 19:09:23 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-10 19:09:45 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 248 seconds)
2022-05-10 19:10:34 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 19:11:48 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-05-10 19:11:59 +0200searemind(~searemind@122.161.49.238)
2022-05-10 19:13:25 +0200searemind(~searemind@122.161.49.238) (Client Quit)
2022-05-10 19:14:48 +0200coot(~coot@213.134.190.95)
2022-05-10 19:17:07 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-10 19:21:16 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-05-10 19:22:45 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer)
2022-05-10 19:23:13 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 19:23:49 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-10 19:24:37 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-05-10 19:25:45 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-05-10 19:26:21 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 19:26:42 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds)
2022-05-10 19:31:25 +0200Yumemi_(~Yumemi@chamoin.net)
2022-05-10 19:32:19 +0200myme(~myme@2a01:799:d5a:cd00:8120:ecfa:c999:5176) (Ping timeout: 260 seconds)
2022-05-10 19:32:58 +0200myme(~myme@2a01:799:d5a:cd00:c044:db87:472c:8a95)
2022-05-10 19:33:32 +0200alp_(~alp@user/alp)
2022-05-10 19:33:32 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-05-10 19:34:21 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-10 19:39:30 +0200christiansen(~davidc@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-10 19:40:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 19:41:05 +0200arjun(~arjun@user/arjun) (Remote host closed the connection)
2022-05-10 19:43:51 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-10 19:43:52 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-10 19:43:52 +0200wroathe(~wroathe@user/wroathe)
2022-05-10 19:46:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 19:48:15 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-10 19:48:17 +0200ccntrq(~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) (Remote host closed the connection)
2022-05-10 19:48:17 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-10 19:48:35 +0200ccntrq(~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e)
2022-05-10 19:50:20 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-10 19:59:58 +0200mikoto-c1(~mikoto-ch@213.177.151.239) (Quit: mikoto-c1)
2022-05-10 20:00:11 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-10 20:03:38 +0200kenran(~kenran@200116b82bed0c0009c327eee040f706.dip.versatel-1u1.de)
2022-05-10 20:04:34 +0200kenran(~kenran@200116b82bed0c0009c327eee040f706.dip.versatel-1u1.de) (Client Quit)
2022-05-10 20:06:11 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-05-10 20:11:09 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 20:14:58 +0200ChanServ+o dolio
2022-05-10 20:20:32 +0200acidjnk(~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de)
2022-05-10 20:23:14 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-10 20:24:10 +0200bahamas(~lucian@84.232.141.55)
2022-05-10 20:27:49 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular)
2022-05-10 20:28:29 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-05-10 20:29:29 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection)
2022-05-10 20:29:55 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-05-10 20:30:03 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-05-10 20:31:00 +0200ccntrq(~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) (Remote host closed the connection)
2022-05-10 20:32:21 +0200cigsender(~cigsender@cpe5c7d7db831c8-cm5c7d7db831c6.cpe.net.cable.rogers.com) (Quit: Lost terminal)
2022-05-10 20:38:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-05-10 20:39:38 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-10 20:47:40 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3)
2022-05-10 20:50:28 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-10 20:51:21 +0200 <dminuoso> Staring at https://hackage.haskell.org/package/attoparsec-0.14.4/docs/src/Data.Attoparsec.ByteString.Char8.ht… - where does the Integral constraint come from? Im trying to understand how one can write code that produces a polymorphic Integral thing
2022-05-10 20:52:00 +0200 <geekosaur> fromIntegral?
2022-05-10 20:52:14 +0200 <dminuoso> Yeah but that produces something Num polymorphic
2022-05-10 20:52:14 +0200 <geekosaur> where step … = … fromIntegral …
2022-05-10 20:52:52 +0200 <geekosaur> that's why they constrain it
2022-05-10 20:53:21 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2022-05-10 20:53:24 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2022-05-10 20:53:33 +0200 <dminuoso> Ohhh darn, I didnt realize that Integral was a subclass of Num
2022-05-10 20:53:36 +0200 <geekosaur> the parser is designed to parse digit strings, so the result must be at least some Integral
2022-05-10 20:53:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:1079:7342:5035:76b9)
2022-05-10 20:53:48 +0200 <dminuoso> Kept looking at its superclasses and thinking "this has only Real and Enum, whats the link to Num"
2022-05-10 20:54:07 +0200 <dminuoso> geekosaur: Honestly given the behavior, it might as well keep the Num constraint.
2022-05-10 20:54:26 +0200 <dminuoso> Currently weighing in on an issue on attoparsec
2022-05-10 20:57:13 +0200 <dminuoso> geekosaur: Thanks, the missing link was just that Num is a superclass of Integral. :)
2022-05-10 20:59:25 +0200 <geekosaur> Num via Real
2022-05-10 21:01:46 +0200oats(~thomas@user/oats) (Quit: until later, my friends)
2022-05-10 21:05:01 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net)
2022-05-10 21:11:11 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Remote host closed the connection)
2022-05-10 21:11:11 +0200oats(~thomas@user/oats)
2022-05-10 21:11:35 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-10 21:13:01 +0200oats(~thomas@user/oats) (Client Quit)
2022-05-10 21:14:03 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-05-10 21:14:47 +0200oats(~thomas@user/oats)
2022-05-10 21:16:12 +0200oats(~thomas@user/oats) (Client Quit)
2022-05-10 21:16:32 +0200oats(~thomas@user/oats)
2022-05-10 21:16:54 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-10 21:21:59 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-05-10 21:29:15 +0200 <EvanR> :t digitToInt
2022-05-10 21:29:17 +0200 <lambdabot> Char -> Int
2022-05-10 21:29:50 +0200 <EvanR> naively, you only need Num to accumulate digits in some base into a number?
2022-05-10 21:30:14 +0200 <EvanR> oof, the conversion from Int to number
2022-05-10 21:30:15 +0200 <geekosaur> it's attoparsec over a ByteString so they're already Word8
2022-05-10 21:33:24 +0200 <geekosaur> and it provides a bunch of SPECIALIZE for various Integral types, so this is also optimization
2022-05-10 21:34:19 +0200 <dminuoso> https://github.com/haskell/attoparsec/issues/211
2022-05-10 21:34:30 +0200alp_(~alp@user/alp) (Ping timeout: 260 seconds)
2022-05-10 21:34:43 +0200Kaipei(~Kaiepi@156.34.47.253)
2022-05-10 21:34:52 +0200fef(~thedawn@user/thedawn) (Quit: Killer)
2022-05-10 21:35:38 +0200 <EvanR> agreed
2022-05-10 21:36:09 +0200 <EvanR> some kind of bounds check is necessary during the parse for security, might as well be the real bounds check
2022-05-10 21:37:29 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds)
2022-05-10 21:41:56 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 248 seconds)
2022-05-10 21:45:11 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-10 21:45:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 21:45:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 21:47:33 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-05-10 21:50:05 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-10 21:54:01 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-10 22:00:44 +0200ubert1(~Thunderbi@p200300ecdf1588baa343c6de390eaaec.dip0.t-ipconnect.de)
2022-05-10 22:02:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:1079:7342:5035:76b9) (Quit: WeeChat 2.8)
2022-05-10 22:08:13 +0200ubert1(~Thunderbi@p200300ecdf1588baa343c6de390eaaec.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-05-10 22:10:03 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-10 22:18:18 +0200jrm(~jrm@156.34.173.250) (Ping timeout: 260 seconds)
2022-05-10 22:18:55 +0200 <dminuoso> Can forkIOWithUnmask itself ever fail?
2022-05-10 22:19:24 +0200 <dminuoso> Ah I think I just want `async`
2022-05-10 22:25:33 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-10 22:34:02 +0200gff(~gff@168.103.132.194)
2022-05-10 22:34:43 +0200Kaipei(~Kaiepi@156.34.47.253) (Ping timeout: 256 seconds)
2022-05-10 22:38:25 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-10 22:40:19 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d4d3:3586:6b4e:856e) (Ping timeout: 240 seconds)
2022-05-10 22:42:11 +0200 <monochrom> :)
2022-05-10 22:43:03 +0200 <monochrom> "Due to COVID-19, forkIOWithoutMask is temporarily an alias of forkIOWithMask until further notice." >:)
2022-05-10 22:44:29 +0200 <EvanR> uninterruptible interruptible unmasking unless
2022-05-10 22:45:15 +0200 <EvanR> janitor trips over power cord during an uninterruptible mask
2022-05-10 22:46:25 +0200 <dminuoso> EvanR: Yeah about that, will uninterruptibleMask increase power consumption to weld the power cord into the PSU to cover that case?
2022-05-10 22:46:38 +0200 <dminuoso> Seems like the logical thing to do
2022-05-10 22:46:43 +0200 <monochrom> haha
2022-05-10 22:46:48 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-10 22:47:13 +0200 <monochrom> What if there is no PSU? Will it order one from Amazon? :)
2022-05-10 22:47:49 +0200 <EvanR> ghc should ask halloween michael meyers how he implements uninterruptible sequels
2022-05-10 22:48:28 +0200 <monochrom> "Hi my haskell program is blocking for no reason" <5 hours later> "OK strace says it's waiting for an Amazon delivery. Amazing!"
2022-05-10 22:49:16 +0200dsrt^(~dsrt@50-73-82-13-static.hfc.comcastbusiness.net)
2022-05-10 22:49:21 +0200 <tomsmeding> monochrom: for certain values of "amazing"
2022-05-10 22:49:38 +0200 <monochrom> "Except that I prefer Alibaba. Is there a config variable for that?"
2022-05-10 22:50:20 +0200 <dminuoso> There's an LD_PRELOAD for that.
2022-05-10 22:50:25 +0200 <monochrom> heh
2022-05-10 22:51:22 +0200geekosaur[m][m](~geekosaur@2001:470:69fc:105::2:cb7)
2022-05-10 22:51:26 +0200 <EvanR> if the computer is blown up with auto destruct ordinance, but during an uninterruptible mask, it disturbingly reforms like a vampire movie
2022-05-10 22:52:16 +0200 <monochrom> VampireT
2022-05-10 22:52:52 +0200 <EvanR> is the 2nd law of thermo uninterruptible, use that somehow
2022-05-10 22:54:46 +0200misterfish(~misterfis@ip214-130-173-82.adsl2.static.versatel.nl)
2022-05-10 22:55:10 +0200 <dminuoso> If only we had an IOT, then we could use TardisT to send uninterruptibleMask back into the past.
2022-05-10 22:55:21 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 276 seconds)
2022-05-10 22:55:29 +0200 <dminuoso> Someone really ought to do some work on IOT. Maybe some poor PhD student?
2022-05-10 22:55:45 +0200tomsmeding. o O ( not me )
2022-05-10 22:56:44 +0200 <dminuoso> But seriously, writing threads in Haskell is not fun.
2022-05-10 22:57:13 +0200 <dminuoso> Trying to get this code right so no async exception can rip it apart.. *sigh*
2022-05-10 22:57:57 +0200 <monochrom> I think IOT would be full of unsafePerformIO or worse.
2022-05-10 22:58:08 +0200 <dminuoso> It would be full of unsafeUndoIO as well.
2022-05-10 22:58:21 +0200 <monochrom> Haha
2022-05-10 22:59:23 +0200 <monochrom> async those has already chosen its masking policy and doesn't expose that choice to high level use, no?
2022-05-10 22:59:56 +0200 <monochrom> i.e., the API doesn't let you customize
2022-05-10 23:01:15 +0200 <dminuoso> Right
2022-05-10 23:04:10 +0200zebrag(~chris@user/zebrag) (Ping timeout: 240 seconds)
2022-05-10 23:04:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-05-10 23:04:48 +0200michalz(~michalz@185.246.204.125) (Remote host closed the connection)
2022-05-10 23:05:20 +0200zebrag(~chris@user/zebrag)
2022-05-10 23:08:00 +0200ski(~ski@remote12.chalmers.se) (Quit: Lost terminal)
2022-05-10 23:08:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-10 23:18:40 +0200benin(~benin@183.82.179.155) (Quit: The Lounge - https://thelounge.chat)
2022-05-10 23:20:50 +0200alp_(~alp@user/alp)
2022-05-10 23:21:45 +0200christiansen(~davidc@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2022-05-10 23:23:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-10 23:24:38 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-10 23:25:36 +0200jrm(~jrm@156.34.173.250)
2022-05-10 23:31:25 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-10 23:45:26 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-10 23:49:48 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-05-10 23:52:54 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)