IRCBrowse

2021/08/13

2021-08-13 00:01:39 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 00:03:13 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds)
2021-08-13 00:03:58 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-13 00:04:26 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 00:04:51 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 00:05:45 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-13 00:10:09 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 248 seconds)
2021-08-13 00:12:48 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at) (Read error: Connection reset by peer)
2021-08-13 00:13:08 +0200sqrt2(~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net)
2021-08-13 00:15:41 +0200tommd(~tommd@cpe-76-179-204-251.maine.res.rr.com)
2021-08-13 00:15:43 +0200pmk(~user@2a02:587:941a:35d9:8f9c:6cb6:67dc:f5e3) (Remote host closed the connection)
2021-08-13 00:17:13 +0200hexfive(~eric@50.35.83.177)
2021-08-13 00:17:16 +0200hexfive(~eric@50.35.83.177) (Client Quit)
2021-08-13 00:19:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-13 00:20:46 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Ping timeout: 256 seconds)
2021-08-13 00:20:56 +0200zaquest(~notzaques@5.128.210.178)
2021-08-13 00:21:34 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 00:22:08 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 00:25:52 +0200azeem(~azeem@176.200.230.183) (Read error: Connection reset by peer)
2021-08-13 00:25:52 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 00:26:14 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 00:27:13 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-13 00:31:22 +0200acidjnk_new(~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-13 00:32:01 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 248 seconds)
2021-08-13 00:32:32 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-08-13 00:34:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 00:37:06 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-13 00:38:00 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 00:38:57 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-13 00:39:18 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-08-13 00:43:11 +0200chomwitt(~chomwitt@athedsl-32301.home.otenet.gr) (Remote host closed the connection)
2021-08-13 00:45:08 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-13 00:48:45 +0200Guest84(~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) (Quit: Client closed)
2021-08-13 00:50:13 +0200dextaa(~DV@user/dextaa) (Quit: Ping timeout (120 seconds))
2021-08-13 00:50:48 +0200polyphem(~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) (Ping timeout: 256 seconds)
2021-08-13 00:51:27 +0200 <boxscape> Does a RULES pragma like this make sense to improve performance? I'm a little surprised that it accepts the rule without unsafeCoerce, and I wouldn't have expected `test` to still output something sensible if the rule fires
2021-08-13 00:51:28 +0200 <boxscape> https://paste.tomsmeding.com/O7KCORMk
2021-08-13 00:51:50 +0200 <boxscape> (in my actual application I don't actually care whether or not the structure of the witness is correct, which made me think about adding this rule to begin with)
2021-08-13 00:51:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 00:52:01 +0200 <boxscape> also, is there a way to see if the rule actually fires?
2021-08-13 00:52:49 +0200 <dminuoso> boxscape: Is -fenable-rewrite-rules enabled?
2021-08-13 00:52:57 +0200 <boxscape> ooh that would be smart
2021-08-13 00:53:18 +0200 <boxscape> hm enabling it doesn't change things
2021-08-13 00:54:51 +0200Guest35(~Guest35@190.237.13.129)
2021-08-13 00:55:15 +0200 <boxscape> ah, but it doesn't fire. Changing the rhs with `unsafeCoerce 4` also doesn't change the result
2021-08-13 00:55:19 +0200dextaa(~DV@user/dextaa)
2021-08-13 00:55:21 +0200 <boxscape> s/with/to
2021-08-13 00:56:28 +0200 <Guest35> Hello, I'm not getting anything from the haskell vscode extension other than code highlighting. So type errors, auto formatting and others are not working. Any ideas? I'm using stack and ghc 8.10.4
2021-08-13 00:58:38 +0200 <boxscape> (ah, also, -ddump-rule-firings exists, which also doesn't show any firings. Could be I'm still missing something about how to get rules to fire in general)
2021-08-13 00:59:14 +0200 <glguy> Guest35: I don't know about stack, but if you're using HLS there's a Haskell section in the Output tab
2021-08-13 01:00:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 01:00:58 +0200 <dibblego> Guest35: https://i.imgur.com/ilVgn1q.png
2021-08-13 01:01:21 +0200 <Guest35> I don't see any Haskell section there, which I guess the haskell extension is not working for some reason
2021-08-13 01:01:36 +0200 <Guest35> @dibblego yes I'm using that one
2021-08-13 01:01:36 +0200 <lambdabot> Unknown command, try @list
2021-08-13 01:02:22 +0200 <Guest35> too used to discord... haha
2021-08-13 01:05:16 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-13 01:16:06 +0200dextaa(~DV@user/dextaa) (Ping timeout: 268 seconds)
2021-08-13 01:16:51 +0200dextaa(~DV@user/dextaa)
2021-08-13 01:19:26 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 01:23:50 +0200seiryn(~seiryn@2a01cb0409c990003ccf6635f6976a70.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-08-13 01:28:06 +0200derelict(~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-08-13 01:35:32 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-08-13 01:37:41 +0200srk(~sorki@user/srk) (Ping timeout: 268 seconds)
2021-08-13 01:42:05 +0200pavonia(~user@user/siracusa)
2021-08-13 01:46:35 +0200srk(~sorki@user/srk)
2021-08-13 01:54:33 +0200JavierNeira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 252 seconds)
2021-08-13 01:54:34 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 252 seconds)
2021-08-13 01:54:34 +0200Deide(~deide@user/deide) (Ping timeout: 240 seconds)
2021-08-13 01:54:34 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 240 seconds)
2021-08-13 01:54:35 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 240 seconds)
2021-08-13 01:54:35 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 240 seconds)
2021-08-13 01:54:36 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 240 seconds)
2021-08-13 01:54:36 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821) (Ping timeout: 240 seconds)
2021-08-13 01:54:50 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 256 seconds)
2021-08-13 01:54:59 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 240 seconds)
2021-08-13 01:54:59 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 240 seconds)
2021-08-13 01:54:59 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 240 seconds)
2021-08-13 01:54:59 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Ping timeout: 240 seconds)
2021-08-13 01:54:59 +0200maerwald[m](~maerwaldm@user/maerwald) (Ping timeout: 252 seconds)
2021-08-13 01:55:00 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 252 seconds)
2021-08-13 01:55:06 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 252 seconds)
2021-08-13 01:55:06 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 252 seconds)
2021-08-13 01:55:06 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 252 seconds)
2021-08-13 01:55:07 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 252 seconds)
2021-08-13 01:55:08 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Ping timeout: 252 seconds)
2021-08-13 01:55:08 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Ping timeout: 252 seconds)
2021-08-13 01:55:08 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 245 seconds)
2021-08-13 01:55:10 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Ping timeout: 268 seconds)
2021-08-13 01:55:11 +0200siraben(~siraben@user/siraben) (Ping timeout: 268 seconds)
2021-08-13 01:55:11 +0200ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 268 seconds)
2021-08-13 01:55:11 +0200jaror[m](~jaror@2001:470:69fc:105::265) (Ping timeout: 268 seconds)
2021-08-13 01:55:11 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 268 seconds)
2021-08-13 01:55:12 +0200kadoban(~kadoban@user/kadoban) (Ping timeout: 268 seconds)
2021-08-13 01:55:13 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 268 seconds)
2021-08-13 01:55:13 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds)
2021-08-13 01:55:14 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749) (Ping timeout: 268 seconds)
2021-08-13 01:55:14 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Ping timeout: 268 seconds)
2021-08-13 01:55:16 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 276 seconds)
2021-08-13 01:55:16 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 276 seconds)
2021-08-13 01:55:16 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 276 seconds)
2021-08-13 01:55:16 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (Ping timeout: 276 seconds)
2021-08-13 01:55:16 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Ping timeout: 276 seconds)
2021-08-13 01:55:17 +0200hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6)
2021-08-13 01:55:18 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e) (Ping timeout: 272 seconds)
2021-08-13 01:55:18 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 272 seconds)
2021-08-13 01:55:22 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 240 seconds)
2021-08-13 01:55:22 +0200jophish(~jophish@2001:470:69fc:105::670) (Ping timeout: 240 seconds)
2021-08-13 01:55:22 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 240 seconds)
2021-08-13 01:55:22 +0200kar1(~kar1@2001:470:69fc:105::c308) (Ping timeout: 240 seconds)
2021-08-13 01:55:22 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 240 seconds)
2021-08-13 01:55:22 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 272 seconds)
2021-08-13 01:55:22 +0200schuelermine[m](~schuelerm@user/schuelermine) (Ping timeout: 272 seconds)
2021-08-13 01:55:22 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds)
2021-08-13 01:55:22 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 272 seconds)
2021-08-13 01:55:22 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Ping timeout: 272 seconds)
2021-08-13 01:55:23 +0200infinisil(~infinisil@2001:470:69fc:105::ff8) (Ping timeout: 272 seconds)
2021-08-13 01:55:23 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200ixlun(~ixlun@2001:470:69fc:105::41b3) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200soft(~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 272 seconds)
2021-08-13 01:55:24 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 256 seconds)
2021-08-13 01:55:24 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 256 seconds)
2021-08-13 01:55:24 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 256 seconds)
2021-08-13 01:55:24 +0200Tisoxin(~ikosit@user/ikosit) (Ping timeout: 256 seconds)
2021-08-13 01:55:24 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 256 seconds)
2021-08-13 01:55:32 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Ping timeout: 252 seconds)
2021-08-13 01:55:32 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 245 seconds)
2021-08-13 01:55:38 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Ping timeout: 252 seconds)
2021-08-13 01:55:39 +0200psydroid(~psydroid@user/psydroid) (Ping timeout: 252 seconds)
2021-08-13 01:55:48 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 268 seconds)
2021-08-13 01:55:48 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 268 seconds)
2021-08-13 01:55:48 +0200polykernel(~polykerne@user/polykernel) (Ping timeout: 268 seconds)
2021-08-13 01:55:48 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Ping timeout: 268 seconds)
2021-08-13 01:55:48 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Ping timeout: 268 seconds)
2021-08-13 01:55:49 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 268 seconds)
2021-08-13 01:55:49 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Ping timeout: 268 seconds)
2021-08-13 01:55:49 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Ping timeout: 268 seconds)
2021-08-13 01:55:54 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 276 seconds)
2021-08-13 01:55:54 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 276 seconds)
2021-08-13 01:55:56 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds)
2021-08-13 01:56:00 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Ping timeout: 272 seconds)
2021-08-13 01:56:00 +0200hiruji(~hiruji@user/hiruji) (Ping timeout: 272 seconds)
2021-08-13 01:56:00 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 272 seconds)
2021-08-13 01:56:00 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 272 seconds)
2021-08-13 01:56:00 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 272 seconds)
2021-08-13 01:56:41 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-13 01:56:42 +0200meltedbrain_y2k(~tekserf@31.4.247.117)
2021-08-13 02:01:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-08-13 02:06:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 02:07:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 02:07:44 +0200Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-08-13 02:08:01 +0200Xnuk(~xnuk@vultr.xnu.kr)
2021-08-13 02:08:25 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-13 02:10:22 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-08-13 02:11:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-13 02:13:14 +0200hendursaga(~weechat@user/hendursaga)
2021-08-13 02:13:53 +0200pschorf(~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 248 seconds)
2021-08-13 02:15:04 +0200kadoban(~kadoban@user/kadoban)
2021-08-13 02:15:21 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2021-08-13 02:16:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 02:16:33 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2021-08-13 02:18:15 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-08-13 02:18:16 +0200adam1(~adam@2001-b011-4007-2b02-08e4-8bf3-c00b-13c5.dynamic-ip6.hinet.net)
2021-08-13 02:21:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 02:25:27 +0200derelict(~derelict@user/derelict)
2021-08-13 02:27:54 +0200shailangsa(~shailangs@host86-145-14-24.range86-145.btcentralplus.com)
2021-08-13 02:29:19 +0200ornxka(~ornxka@user/ornxka) (Read error: Connection reset by peer)
2021-08-13 02:32:36 +0200Guest35(~Guest35@190.237.13.129) (Quit: Client closed)
2021-08-13 02:33:27 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749)
2021-08-13 02:36:27 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-08-13 02:39:26 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-08-13 02:40:29 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-08-13 02:40:44 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-08-13 02:41:00 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-08-13 02:41:06 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e)
2021-08-13 02:41:09 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-08-13 02:42:08 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-08-13 02:42:10 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-08-13 02:44:58 +0200schuelermine[m](~schuelerm@user/schuelermine)
2021-08-13 02:49:18 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821)
2021-08-13 02:49:37 +0200meltedbrain_y2k(~tekserf@31.4.247.117) (Ping timeout: 248 seconds)
2021-08-13 02:50:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-13 02:51:33 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-08-13 02:54:13 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-08-13 02:58:00 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-08-13 02:59:12 +0200siraben(~siraben@user/siraben)
2021-08-13 03:03:11 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-13 03:03:40 +0200jeslie0(~user@108.162.150.9)
2021-08-13 03:08:30 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 03:09:29 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-13 03:09:42 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-08-13 03:10:47 +0200boxscape(~boxscape@user/boxscape)
2021-08-13 03:12:25 +0200psydroid(~psydroid@user/psydroid)
2021-08-13 03:13:20 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 03:20:17 +0200alx741(~alx741@181.196.68.193)
2021-08-13 03:20:24 +0200DoYouKnow(~DoYouKnow@75-28-180-206.lightspeed.bnsvil.sbcglobal.net)
2021-08-13 03:24:23 +0200retroid_(~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds)
2021-08-13 03:25:33 +0200ormaaj(~ormaaj@user/ormaaj)
2021-08-13 03:25:33 +0200polykernel(~polykerne@user/polykernel)
2021-08-13 03:27:21 +0200Deide(~deide@user/deide)
2021-08-13 03:28:36 +0200OscarH_(~OscarH@97e48a81.skybroadband.com) (Ping timeout: 258 seconds)
2021-08-13 03:29:37 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 248 seconds)
2021-08-13 03:32:58 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-08-13 03:33:11 +0200OscarH(~OscarH@97e48a81.skybroadband.com)
2021-08-13 03:33:40 +0200DoYouKnow(~DoYouKnow@75-28-180-206.lightspeed.bnsvil.sbcglobal.net) (Read error: Connection reset by peer)
2021-08-13 03:35:02 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd)
2021-08-13 03:35:51 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-08-13 03:37:26 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-08-13 03:37:32 +0200Guest9451(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 03:38:09 +0200 <Cajun> Guest35: do you have HLS installed?
2021-08-13 03:38:34 +0200 <Cajun> use `ghcup tui` and install the recommended HLS version
2021-08-13 03:39:02 +0200 <Cajun> then `ctrl+shift+p` -> "restart Haskell LSP server"
2021-08-13 03:39:08 +0200 <Cajun> *in vscode
2021-08-13 03:39:58 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-08-13 03:40:05 +0200 <Cajun> and yeah im not sure why haskell hasnt moved to discord lol
2021-08-13 03:40:16 +0200JavierNeira[m](~jneiramat@2001:470:69fc:105::d729)
2021-08-13 03:40:34 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-08-13 03:41:13 +0200chris(~chris@81.96.113.213)
2021-08-13 03:41:16 +0200chrisGuest4291
2021-08-13 03:41:28 +0200Guest4291(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 03:42:47 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-08-13 03:46:11 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e)
2021-08-13 03:48:00 +0200Homeopath(~Homeopath@70.red-88-31-191.dynamicip.rima-tde.net)
2021-08-13 03:48:05 +0200 <Homeopath> Hi
2021-08-13 03:49:16 +0200kor1(~kor1@user/kor1) (Quit: Leaving.)
2021-08-13 03:50:10 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2021-08-13 03:51:13 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-08-13 03:51:29 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2021-08-13 03:52:38 +0200Homeopath(~Homeopath@70.red-88-31-191.dynamicip.rima-tde.net) (Quit: Client closed)
2021-08-13 03:52:58 +0200infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-08-13 03:53:08 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-08-13 03:53:44 +0200xff0x(~xff0x@2001:1a81:5238:9600:abd9:7ea2:c2a4:a5eb) (Ping timeout: 272 seconds)
2021-08-13 03:54:25 +0200 <Cajun> hello!
2021-08-13 03:55:01 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-08-13 03:55:09 +0200xff0x(~xff0x@2001:1a81:5278:5300:d62b:c7db:34dc:535c)
2021-08-13 03:55:43 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-08-13 03:56:00 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-08-13 03:56:03 +0200chris(~chris@81.96.113.213)
2021-08-13 03:56:06 +0200chrisGuest8544
2021-08-13 03:56:12 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-08-13 03:56:19 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-08-13 03:56:20 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-08-13 03:56:20 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-08-13 03:56:26 +0200alx741(~alx741@181.196.68.193) (Quit: alx741)
2021-08-13 03:56:43 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-08-13 03:57:08 +0200sm(~sm@plaintextaccounting/sm)
2021-08-13 03:57:45 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-08-13 03:58:20 +0200 <Axman6> Cajun: we haven't moved to discord because this channel has been around for a very long time, and has a very good reputation as being the best and kindest place to ask questions. We like our simplicity =)
2021-08-13 03:59:09 +0200 <Cajun> makes sense. i figured it was because discord would be overkill, as it seems 2 channels (on- and off-topic) was plenty and moving a community to a new platform always loses members
2021-08-13 04:00:35 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-08-13 04:03:34 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-08-13 04:04:14 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:e049:539d:ba89:3861) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 04:04:41 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:e049:539d:ba89:3861)
2021-08-13 04:05:07 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-08-13 04:05:20 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-08-13 04:07:20 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-08-13 04:08:21 +0200 <yushyin> with the downfall of freenode some communities have switched to matrix, and i doubt many here would be pleased with a discord server and would start an irc channel anyway
2021-08-13 04:09:08 +0200euouae(~euouae@user/euouae)
2021-08-13 04:09:18 +0200 <euouae> Hello
2021-08-13 04:09:20 +0200 <Axman6> yeah - at least matreix has irc integration... but I tried matrix and couldn't for the life of me figure out what was going on, very confusing
2021-08-13 04:09:33 +0200 <euouae> How can I check `recheck (Size 0) (Seed 1821521901577062835 7364151469196693399) prop_shrink_limit` with Hedgehog? This is from the hedgehog log when I ran `cabal test`
2021-08-13 04:10:34 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-08-13 04:10:34 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2021-08-13 04:10:41 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 248 seconds)
2021-08-13 04:10:41 +0200 <euouae> Do I have to load some module in GHCi and do the sfrom ghci?
2021-08-13 04:10:51 +0200hyiltiz(~quassel@31.220.5.250)
2021-08-13 04:11:06 +0200 <Axman6> you should be able to pass that in via command line args to the test executable
2021-08-13 04:11:21 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-08-13 04:11:25 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4)
2021-08-13 04:11:34 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-08-13 04:11:34 +0200 <Axman6> try cabal test --test-option=--help
2021-08-13 04:12:01 +0200 <Axman6> then cabal test --test-option=-option-for-test-framework --test-option=-another or something like that
2021-08-13 04:12:03 +0200 <euouae> One thing that worked is `cabal repl Test.Example.Basic` followed by `> recheck (Size 0) (Seed 1821521901577062835 7364151469196693399) prop_shrink_limit`
2021-08-13 04:12:43 +0200 <euouae> I'm not sure if that's the workflow
2021-08-13 04:13:09 +0200 <Axman6> no, the command line args probably are the way to go
2021-08-13 04:13:45 +0200 <euouae> ok
2021-08-13 04:13:47 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-08-13 04:13:50 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-08-13 04:15:04 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-08-13 04:15:20 +0200 <euouae> what to make of this? https://paste.tomsmeding.com/SoiKliO8
2021-08-13 04:15:28 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f)
2021-08-13 04:15:43 +0200 <euouae> Should I read the cabal configuration file to find out what the targets are?
2021-08-13 04:16:05 +0200 <Axman6> proably
2021-08-13 04:16:11 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-08-13 04:16:15 +0200 <Axman6> and maybe the cabal documentation ;)
2021-08-13 04:16:20 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-08-13 04:16:54 +0200 <euouae> % cabal test hedgehog-example --test-option=--help
2021-08-13 04:16:55 +0200 <yahb> euouae: ; <interactive>:9:1: error: Variable not in scope: cabal :: t0 -> t1 -> a; <interactive>:9:7: error:; * Variable not in scope: test; * Perhaps you meant one of these: `text' (imported from Text.PrettyPrint.HughesPJ), `nest' (imported from Text.PrettyPrint.HughesPJ); <interactive>:9:12: error: Variable not in scope: hedgehog; <interactive>:9:21: error:; * Variable not in scope: example;
2021-08-13 04:17:07 +0200 <euouae> Oh sorry about this. The above just runs the test suite, no options showed
2021-08-13 04:17:24 +0200td_(~td@94.134.91.94) (Ping timeout: 268 seconds)
2021-08-13 04:17:29 +0200 <Axman6> O think you should read the cabal docs
2021-08-13 04:17:31 +0200 <Axman6> I*
2021-08-13 04:17:35 +0200 <euouae> Alright
2021-08-13 04:18:34 +0200td_(~td@muedsl-82-207-238-005.citykom.de)
2021-08-13 04:18:39 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-08-13 04:20:28 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-08-13 04:20:48 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-08-13 04:22:33 +0200 <euouae> It just says that `--test-option=` is used to pass options to the test executable
2021-08-13 04:22:48 +0200 <euouae> Is this related to cabal? I think at this point the question is about the interface of the hedgehog test executables
2021-08-13 04:23:03 +0200 <Axman6> you might also need to look at the docs for hedgehog to see what flags it accepts
2021-08-13 04:23:27 +0200 <euouae> Where are the hedgehog docs
2021-08-13 04:23:33 +0200 <euouae> Or do you mean read the source code comments?
2021-08-13 04:23:59 +0200 <Axman6> This is for you to find out, I don't know, I haven't used hedgehog directly
2021-08-13 04:24:26 +0200 <euouae> You might be wrong about the workflow then
2021-08-13 04:24:39 +0200 <euouae> They might not necessarily follow cabal conventions
2021-08-13 04:24:42 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-08-13 04:24:52 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-08-13 04:24:56 +0200 <Axman6> I'm going off what the workflow is for most other testing libraries like quickcheck and tasty
2021-08-13 04:25:00 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-08-13 04:25:24 +0200 <Axman6> and hedgehog integreates with tasty so I would be surprised if it is significantly different, but this could all depend on how you are using things
2021-08-13 04:25:42 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-08-13 04:25:42 +0200FinnElijaGuest800
2021-08-13 04:25:42 +0200finn_elijaFinnElija
2021-08-13 04:25:52 +0200 <euouae> I'm going to look at the generated haddock from the project
2021-08-13 04:27:17 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-08-13 04:28:00 +0200Atum_(~IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-13 04:28:33 +0200 <euouae> I can't find anything
2021-08-13 04:28:49 +0200Guest800(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 248 seconds)
2021-08-13 04:28:51 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-08-13 04:29:08 +0200 <euouae> The only thing at the very bottom of https://hackage.haskell.org/package/hedgehog mentions loading up GHCi
2021-08-13 04:30:26 +0200 <Axman6> most other test libraries provide a function which you use for the `main` definition, and it takes care of all this stuff, but it doesn't look lik e hedgehog does. maybe look at tasty-hedgehog: https://hackage.haskell.org/package/tasty-hedgehog-1.1.0.0/docs/Test-Tasty-Hedgehog.html#t:Hedgeho…
2021-08-13 04:31:42 +0200 <Axman6> looks like if you used tasty-hedgehog you could pass in --hedgehog-replay="{size} {seed}"
2021-08-13 04:32:38 +0200 <euouae> A very appropriate integration between `tasty` and `hedgehog`
2021-08-13 04:32:47 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2021-08-13 04:32:49 +0200 <euouae> just worth it for the package name alone :P
2021-08-13 04:33:49 +0200 <euouae> OK I see what's going on. Hedgehog left that aspect purposefully undeveloped since tasty exists
2021-08-13 04:33:57 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2021-08-13 04:34:26 +0200 <euouae> It's probably not the right moment for me to delve into tasty, but thank you for the link. I will use it at some point
2021-08-13 04:34:41 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-08-13 04:34:52 +0200euouaewonders if Hedgehog should at least mention tasty in the README.md docs... in the workflow sectino
2021-08-13 04:35:41 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-08-13 04:35:46 +0200kar1(~kar1@2001:470:69fc:105::c308)
2021-08-13 04:36:08 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-08-13 04:36:17 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds)
2021-08-13 04:40:40 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-08-13 04:41:01 +0200kevin[m]123(~pnotequal@2001:470:69fc:105::a54)
2021-08-13 04:41:01 +0200awschnap(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-08-13 04:41:33 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 04:43:58 +0200euouae(~euouae@user/euouae) (Quit: euouae)
2021-08-13 04:44:48 +0200 <Axman6> yeah probably
2021-08-13 04:45:22 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-08-13 04:45:28 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-13 04:46:15 +0200Tisoxin(~ikosit@user/ikosit)
2021-08-13 04:46:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 04:47:36 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-13 04:48:01 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2021-08-13 04:48:42 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-08-13 04:48:53 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-08-13 04:50:47 +0200 <dsal> I like tasty
2021-08-13 04:50:54 +0200 <Axman6> It's yumm
2021-08-13 04:52:39 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327)
2021-08-13 04:52:41 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-08-13 04:53:19 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-08-13 04:55:23 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-08-13 04:58:07 +0200theproffesor(~theproffe@2601:282:847f:8010::3a29)
2021-08-13 05:11:23 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-08-13 05:12:19 +0200mnrmnaugh(~mnrmnaugh@68.162.206.56) (Remote host closed the connection)
2021-08-13 05:12:49 +0200mnrmnaugh(~mnrmnaugh@68.162.206.56)
2021-08-13 05:17:16 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-08-13 05:17:44 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-08-13 05:21:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 05:24:31 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-13 05:39:14 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-13 05:44:19 +0200AndroUser(~androirc@93-38-201-218.ip72.fastwebnet.it)
2021-08-13 05:50:34 +0200AndroUser(~androirc@93-38-201-218.ip72.fastwebnet.it) (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com ))
2021-08-13 05:51:04 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-08-13 05:53:02 +0200johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 245 seconds)
2021-08-13 05:53:22 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-08-13 05:59:17 +0200berberman_(~berberman@user/berberman) (Ping timeout: 245 seconds)
2021-08-13 05:59:40 +0200berberman(~berberman@user/berberman)
2021-08-13 06:02:53 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-08-13 06:03:04 +0200adam1(~adam@2001-b011-4007-2b02-08e4-8bf3-c00b-13c5.dynamic-ip6.hinet.net) (Ping timeout: 268 seconds)
2021-08-13 06:03:08 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-08-13 06:16:53 +0200berberman(~berberman@user/berberman) (Ping timeout: 258 seconds)
2021-08-13 06:19:23 +0200dermato(~dermatobr@154.21.23.75) (Quit: WeeChat 3.1)
2021-08-13 06:20:24 +0200berberman(~berberman@user/berberman)
2021-08-13 06:21:49 +0200euouae(~euouae@user/euouae)
2021-08-13 06:24:31 +0200ksqsf(~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662)
2021-08-13 06:36:30 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-13 06:36:45 +0200MorrowM(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-13 06:37:16 +0200euouae(~euouae@user/euouae) (Ping timeout: 246 seconds)
2021-08-13 06:39:54 +0200ksqsf(~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662) (Remote host closed the connection)
2021-08-13 06:40:03 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-08-13 06:40:33 +0200tommd(~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 248 seconds)
2021-08-13 06:40:50 +0200MorrowM(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-08-13 06:55:35 +0200VoidNoir0(~VoidNoir0@72.80.203.52) (Quit: Connection closed)
2021-08-13 06:57:03 +0200wei2912(~wei2912@112.199.250.21)
2021-08-13 07:05:46 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 07:10:37 +0200adam1(~adam@2001-b011-4007-20db-9096-c829-d743-79e0.dynamic-ip6.hinet.net)
2021-08-13 07:11:20 +0200ksqsf(~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662)
2021-08-13 07:17:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 07:17:40 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds)
2021-08-13 07:20:42 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 07:23:29 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-13 07:27:58 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-08-13 07:29:09 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-08-13 07:30:32 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 07:31:07 +0200wei2912(~wei2912@112.199.250.21)
2021-08-13 07:34:42 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 07:34:43 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 07:34:53 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 07:36:01 +0200aegon(~mike@174.127.249.180)
2021-08-13 07:36:10 +0200 <aegon> is there a way to turn off -Wpartial-type-signatures for a single .hs file?
2021-08-13 07:37:02 +0200berberman_(~berberman@user/berberman)
2021-08-13 07:37:56 +0200berberman(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-08-13 07:39:13 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 07:39:54 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 07:40:02 +0200jneira99(~jneira@212.8.115.226)
2021-08-13 07:41:53 +0200 <dibblego> {-# OPTIONS_GHC -Wdno-partial-type-signatures #-}
2021-08-13 07:44:45 +0200 <Axman6> without that d in there I assume?
2021-08-13 07:44:56 +0200 <dibblego> yeah sorry
2021-08-13 07:45:56 +0200 <aegon> thanks! I didn't see that a no could be prepended to disable
2021-08-13 07:47:45 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-13 07:51:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 07:56:27 +0200a6a45081-2b83(~aditya@223.226.228.68)
2021-08-13 07:56:52 +0200 <a6a45081-2b83> print =<< getLine works but print <$> getLine does nothing, why?
2021-08-13 07:57:29 +0200 <a6a45081-2b83> wait got it, it's IO (IO ())
2021-08-13 07:57:46 +0200 <dibblego> join (print <$> getLine)
2021-08-13 08:05:35 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
2021-08-13 08:09:49 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-08-13 08:11:13 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds)
2021-08-13 08:11:50 +0200 <a6a45081-2b83> is there a way to make I/O fast without external libraries?
2021-08-13 08:12:01 +0200 <a6a45081-2b83> like scanf/printf vs cin/cout
2021-08-13 08:16:19 +0200Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-08-13 08:21:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-08-13 08:24:21 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 08:26:55 +0200 <a6a45081-2b83> this solution to a problem is timing out, can anyone help with any suggestions? (https://paste.tomsmeding.com/M6g7cdic)
2021-08-13 08:27:08 +0200adam1(~adam@2001-b011-4007-20db-9096-c829-d743-79e0.dynamic-ip6.hinet.net) (Ping timeout: 252 seconds)
2021-08-13 08:27:46 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-13 08:28:54 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-08-13 08:30:22 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-08-13 08:30:22 +0200Lord_of_Life_Lord_of_Life
2021-08-13 08:36:18 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-08-13 08:36:59 +0200 <pavonia> a6a45081-2b83: What do you mean by timing out?
2021-08-13 08:37:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-13 08:37:57 +0200 <Axman6> I doubt the problem is IO, are you compipling with optimisation turned on?
2021-08-13 08:38:50 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-08-13 08:39:43 +0200 <a6a45081-2b83> pavonia: I mean the online judge which executes my code expects it to process within 1 sec time limit
2021-08-13 08:40:01 +0200sqrt2(~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in)
2021-08-13 08:40:08 +0200 <a6a45081-2b83> Axman6: I'm afraid I don't have much control over the flags that online judge uses (it says they use `O - first optimization level`)
2021-08-13 08:40:14 +0200 <a6a45081-2b83> which I think is default
2021-08-13 08:40:22 +0200adam1(~adam@2001-b011-4007-2359-bd8f-963e-7a4f-ca79.dynamic-ip6.hinet.net)
2021-08-13 08:40:40 +0200 <a6a45081-2b83> also they don't support unordered-containers I think so I guess I'm doing O(nlogn) instead of O(n) which could also be a reason
2021-08-13 08:41:07 +0200 <Axman6> maybe they'll have containers?
2021-08-13 08:41:15 +0200 <Axman6> could use a strict map
2021-08-13 08:41:21 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at)
2021-08-13 08:43:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-08-13 08:43:24 +0200 <a6a45081-2b83> let me try intmap
2021-08-13 08:44:33 +0200 <a6a45081-2b83> nah it times out too :)
2021-08-13 08:47:20 +0200aegon(~mike@174.127.249.180) (Quit: leaving)
2021-08-13 08:49:05 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 08:49:35 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 08:52:11 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-13 08:52:27 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-13 08:53:23 +0200acidjnk_new(~acidjnk@p200300d0c72b9592c07f6cae5ad3ed1e.dip0.t-ipconnect.de)
2021-08-13 08:54:10 +0200coldmountain(sid484352@id-484352.brockwell.irccloud.com) ()
2021-08-13 08:56:33 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-08-13 08:56:38 +0200berberman_(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-13 08:57:02 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-13 08:57:36 +0200berberman(~berberman@user/berberman)
2021-08-13 08:58:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212)
2021-08-13 09:04:18 +0200jneira99jneira_
2021-08-13 09:08:45 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-13 09:12:47 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 09:14:40 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 09:15:38 +0200zaquest(~notzaques@5.128.210.178)
2021-08-13 09:15:47 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-13 09:16:32 +0200ksqsf(~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662) (Remote host closed the connection)
2021-08-13 09:16:36 +0200berberman(~berberman@user/berberman)
2021-08-13 09:16:40 +0200acidjnk(~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de)
2021-08-13 09:19:17 +0200acidjnk_new(~acidjnk@p200300d0c72b9592c07f6cae5ad3ed1e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-13 09:19:45 +0200acidjnk_new(~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de)
2021-08-13 09:21:16 +0200acidjnk(~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-08-13 09:22:02 +0200 <hololeap> what does "non-injective type family mean in terms of
2021-08-13 09:22:16 +0200 <hololeap> "non-injective type family" mean in terms of pracitcal use?
2021-08-13 09:22:50 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection)
2021-08-13 09:23:04 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 09:24:01 +0200 <lortabac> hololeap: if you have a type family Foo that is non-injective, it means that Foo Bar and Foo Baz can potentially be the same type
2021-08-13 09:24:20 +0200 <lortabac> whereas if Foo is injective they must necessarily be distinct types
2021-08-13 09:25:29 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-13 09:26:44 +0200 <hololeap> are there any rules one can follow to avoid the "_ is a non-injective type family" errors?
2021-08-13 09:27:05 +0200 <tomsmeding> hololeap: which, in turn, means that ghc won't be able to deduce the type 'a' from knowing 'Foo a'
2021-08-13 09:28:05 +0200 <hololeap> also, is there a way to declare a type family to be injective?
2021-08-13 09:29:34 +0200 <tomsmeding> hololeap: yes, with TypeFamilyDependencies
2021-08-13 09:29:37 +0200 <tomsmeding> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_families.html#injective-type-families
2021-08-13 09:30:06 +0200 <hololeap> oh, neat. I was just thinking it would work with something like functional dependencies
2021-08-13 09:31:17 +0200 <tomsmeding> hololeap: 6.4.9.7.2 contains the checking algorithm
2021-08-13 09:32:35 +0200 <tomsmeding> Though the wording of (2) confuses me; I get why it has to be the sole equation in that case, but that's not equivalent to thr LHS having only variable patterns
2021-08-13 09:32:56 +0200 <tomsmeding> Because in a closed type family, that could easily be the last, default case of a list of equations
2021-08-13 09:36:51 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 268 seconds)
2021-08-13 09:38:53 +0200a6a45081-2b83(~aditya@223.226.228.68) (Remote host closed the connection)
2021-08-13 09:44:03 +0200sauvikbiswas(~sauvikbis@202.78.236.90)
2021-08-13 09:44:20 +0200azeem(~azeem@176.200.230.183)
2021-08-13 09:44:41 +0200azeem(~azeem@176.200.230.183) (Read error: Connection reset by peer)
2021-08-13 09:44:51 +0200sauvikbiswas(~sauvikbis@202.78.236.90) ()
2021-08-13 09:45:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 09:46:23 +0200michalz(~michalz@185.246.204.45)
2021-08-13 09:46:30 +0200vpan(~vilius@212.117.1.172)
2021-08-13 09:47:27 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-13 09:47:31 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-08-13 09:47:51 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-08-13 09:51:02 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds)
2021-08-13 09:51:25 +0200acidjnk_new3(~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de)
2021-08-13 09:53:30 +0200acidjnk(~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de)
2021-08-13 09:55:00 +0200acidjnk_new(~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-08-13 09:56:03 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 09:56:22 +0200acidjnk_new3(~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-13 10:01:24 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-13 10:01:40 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-13 10:02:25 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-08-13 10:05:58 +0200hendursa1(~weechat@user/hendursaga)
2021-08-13 10:08:24 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-13 10:13:19 +0200hololeap(~hololeap@user/hololeap) (Quit: Bye)
2021-08-13 10:17:22 +0200trcc(~trcc@users-1190.st.net.au.dk)
2021-08-13 10:17:32 +0200acidjnk_new(~acidjnk@p200300d0c72b959281899615a9e27518.dip0.t-ipconnect.de)
2021-08-13 10:17:33 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-13 10:17:39 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-13 10:17:42 +0200allbery_bgeekosaur
2021-08-13 10:18:13 +0200acidjnk_new3(~acidjnk@p200300d0c72b9592746faa93d7d42dfa.dip0.t-ipconnect.de)
2021-08-13 10:19:13 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-13 10:19:45 +0200Ananta-shesha(~pjetcetal@2.95.210.188) (Ping timeout: 248 seconds)
2021-08-13 10:21:20 +0200acidjnk(~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-08-13 10:21:31 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-13 10:22:05 +0200acidjnk_new(~acidjnk@p200300d0c72b959281899615a9e27518.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-08-13 10:22:57 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-13 10:23:44 +0200ksqsf(~ksqsf@2001:da8:d800:540:15a7:f132:8a07:ce98)
2021-08-13 10:25:23 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-08-13 10:32:55 +0200fef(~thedawn@user/thedawn)
2021-08-13 10:34:31 +0200MoC(~moc@user/moc)
2021-08-13 10:37:03 +0200polyphem(~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083)
2021-08-13 10:46:50 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds)
2021-08-13 10:47:31 +0200chomwitt(~chomwitt@2a02:587:dc04:9a00:12c3:7bff:fe6d:d374)
2021-08-13 10:48:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 10:49:00 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 268 seconds)
2021-08-13 10:56:54 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 10:58:11 +0200meltedbrain_y2k(~tekserf@31.4.247.41)
2021-08-13 11:01:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-13 11:10:09 +0200 <vpan> hi, there's a broken external link in HLS section of https://wiki.haskell.org/Vim. I think the link target should be https://haskell-language-server.readthedocs.io/en/latest/configuration.html#vim-or-neovim.
2021-08-13 11:10:09 +0200 <vpan> Neither anonymous edits, nor account self creation is allowed in the wiki, so I just hope some account holder shares my compulsive need to fix minor issues like that. :)
2021-08-13 11:13:25 +0200 <jneira_> mmm maybe an issue in the web github project could be useful: https://github.com/haskell-infra/www.haskell.org/issues/new
2021-08-13 11:14:34 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-08-13 11:14:56 +0200 <jneira_> i am afraid we broke links with the lastest doc reorg :-/
2021-08-13 11:15:14 +0200 <jneira_> not sure if we could setup some sort of redirection
2021-08-13 11:16:12 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-13 11:18:56 +0200 <vpan> my impression is that editor integration was previously documented in the HLS repo readme, but has been moved to readthedocs. So I wouldn't really say something was broken, more like wiki got out-of-sync with the current HLS documentation.
2021-08-13 11:19:57 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-13 11:23:24 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 11:27:16 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-08-13 11:27:46 +0200adam1(~adam@2001-b011-4007-2359-bd8f-963e-7a4f-ca79.dynamic-ip6.hinet.net) (Ping timeout: 258 seconds)
2021-08-13 11:28:27 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 11:28:58 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-08-13 11:32:51 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 11:34:01 +0200michalz(~michalz@185.246.204.45) (Remote host closed the connection)
2021-08-13 11:38:56 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 268 seconds)
2021-08-13 11:40:43 +0200ksqsf(~ksqsf@2001:da8:d800:540:15a7:f132:8a07:ce98) (Remote host closed the connection)
2021-08-13 11:43:09 +0200azeem(~azeem@176.200.230.183)
2021-08-13 11:43:53 +0200azeem(~azeem@176.200.230.183) (Read error: Connection reset by peer)
2021-08-13 11:46:42 +0200euouae(~euouae@user/euouae)
2021-08-13 11:46:48 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 11:47:03 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-13 11:48:54 +0200adam1(~adam@2001-b011-4007-2979-f1d0-4beb-f352-05b6.dynamic-ip6.hinet.net)
2021-08-13 11:51:54 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-08-13 11:52:26 +0200adam1(~adam@2001-b011-4007-2979-f1d0-4beb-f352-05b6.dynamic-ip6.hinet.net) (Client Quit)
2021-08-13 11:57:47 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212) (Quit: WeeChat 2.8)
2021-08-13 11:57:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212)
2021-08-13 11:59:54 +0200vpan(~vilius@212.117.1.172) (Quit: Leaving.)
2021-08-13 12:01:20 +0200michalz(~michalz@185.246.204.33)
2021-08-13 12:05:30 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 12:08:29 +0200kuribas(~user@ptr-25vy0i8g8e654nggn7o.18120a2.ip6.access.telenet.be)
2021-08-13 12:10:14 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-08-13 12:15:51 +0200Arahael(~arahael@124.170.238.106) (Quit: WeeChat 2.7.1)
2021-08-13 12:16:26 +0200arahael(~arahael@124.170.238.106)
2021-08-13 12:16:36 +0200xff0x(~xff0x@2001:1a81:5278:5300:d62b:c7db:34dc:535c) (Ping timeout: 272 seconds)
2021-08-13 12:17:19 +0200xff0x(~xff0x@2001:1a81:5278:5300:c5b:fd09:8552:8cb2)
2021-08-13 12:18:43 +0200acidjnk_new(~acidjnk@p200300d0c72b9566746faa93d7d42dfa.dip0.t-ipconnect.de)
2021-08-13 12:21:59 +0200acidjnk_new3(~acidjnk@p200300d0c72b9592746faa93d7d42dfa.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-08-13 12:36:37 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 12:37:36 +0200thonoht[m](~thonohtma@2001:470:69fc:105::d7be)
2021-08-13 12:37:37 +0200 <kuribas> Why is it not possible to have subtyping and HM inference?
2021-08-13 12:42:01 +0200 <kuribas> say if I have "f :: Int -> Int", then in "let y = f x", couln't I infer x as "forall a . (I a Int)" (the intersection of Int with some type), and y as forall b . (U b Int) (the union of Int with some type).
2021-08-13 12:42:55 +0200 <kuribas> I suppose the tricky part is unification and simplification of constraints.
2021-08-13 12:44:10 +0200 <kuribas> or infer x as (SubTypeOf a Int => a), and y as (SuperTypeOf b Int => b)
2021-08-13 12:44:46 +0200Vajb(~Vajb@2001:999:252:4e3c:27f9:d93:655e:583)
2021-08-13 12:44:55 +0200 <lortabac> kuribas: the tricky part is probably how to make this system pleasant to use
2021-08-13 12:45:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 12:45:56 +0200 <kuribas> lortabac: it should have a sufficiently smart simplification algorithm
2021-08-13 12:46:29 +0200 <lortabac> and a nice surface syntax to express those polymorphic types with constraints
2021-08-13 12:46:47 +0200 <lortabac> because you are going to have them in most signatures
2021-08-13 12:47:57 +0200 <kuribas> But in this system `f :: Int -> Int` would be equivalent to `f :: forall a b. (I a Int) -> (U b Int)`
2021-08-13 12:48:06 +0200 <kuribas> So the latter could be rewritten as the former.
2021-08-13 12:48:25 +0200 <lortabac> oh I see the idea
2021-08-13 12:48:41 +0200 <lortabac> so no monomorphic types at all?
2021-08-13 12:48:49 +0200 <kuribas> indeed
2021-08-13 12:48:54 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-08-13 12:49:04 +0200 <kuribas> every type would be polymorphic.
2021-08-13 12:49:16 +0200 <lortabac> it sounds a little extreme, but maybe worth exploring
2021-08-13 12:51:14 +0200bin_(~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in)
2021-08-13 12:52:22 +0200euouae(~euouae@user/euouae) (Quit: Client closed)
2021-08-13 12:52:34 +0200_bin(~bin@user/bin/x-1583188)
2021-08-13 12:52:49 +0200 <kuribas> maybe put an SMT solver on the constraints...
2021-08-13 12:53:25 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:e049:539d:ba89:3861) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 12:56:12 +0200 <lortabac> or maybe something like CHR
2021-08-13 12:58:04 +0200 <kuribas> yes
2021-08-13 12:58:28 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 12:59:00 +0200kor1(~kor1@user/kor1)
2021-08-13 12:59:49 +0200the_proffesor(~theproffe@c-24-9-30-127.hsd1.co.comcast.net)
2021-08-13 13:00:40 +0200Guest|77(~Guest|77@dynamic-077-008-153-029.77.8.pool.telefonica.de)
2021-08-13 13:01:00 +0200Guest|77(~Guest|77@dynamic-077-008-153-029.77.8.pool.telefonica.de) (Client Quit)
2021-08-13 13:01:35 +0200theproffesor(~theproffe@2601:282:847f:8010::3a29) (Ping timeout: 252 seconds)
2021-08-13 13:02:20 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-08-13 13:02:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-13 13:05:21 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 13:05:22 +0200chomwitt(~chomwitt@2a02:587:dc04:9a00:12c3:7bff:fe6d:d374) (Ping timeout: 272 seconds)
2021-08-13 13:09:05 +0200elf_fortrez(~elf_fortr@adsl-72-50-7-29.prtc.net)
2021-08-13 13:16:28 +0200Pickchea(~private@user/pickchea)
2021-08-13 13:16:38 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-08-13 13:19:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 13:23:52 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 13:26:15 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 268 seconds)
2021-08-13 13:26:57 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-13 13:34:57 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-08-13 13:36:23 +0200markpythonicbitc(~markpytho@50-254-150-41-static.hfc.comcastbusiness.net)
2021-08-13 13:37:30 +0200markpythonicbit_(~markpytho@50-254-150-41-static.hfc.comcastbusiness.net)
2021-08-13 13:37:38 +0200markpythonicbitc(~markpytho@50-254-150-41-static.hfc.comcastbusiness.net) (Read error: Connection reset by peer)
2021-08-13 13:37:41 +0200markpythonicbit_(~markpytho@50-254-150-41-static.hfc.comcastbusiness.net) (Read error: Connection reset by peer)
2021-08-13 13:40:29 +0200markpythonicbitc(~markpytho@50.228.44.6)
2021-08-13 13:40:47 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds)
2021-08-13 13:43:33 +0200MoC(~moc@user/moc)
2021-08-13 13:43:33 +0200Vajb(~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer)
2021-08-13 13:45:01 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-13 13:46:05 +0200 <kuribas> lortabac: well, constraint solving could produce monomorphic types, for example: "forall a b. (U a Int) ~ (I b Int)" Would imply the monomorphic type Int (with a == None, b == All).
2021-08-13 13:46:06 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-13 13:46:38 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 13:48:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-13 13:50:01 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-08-13 13:52:01 +0200Pickchea(~private@user/pickchea) (Ping timeout: 248 seconds)
2021-08-13 13:53:03 +0200Guest8544(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 13:53:19 +0200 <lortabac> kuribas: I wonder if there is a paper that describes such a type system, it looks like a generalization of things like row types or polymorphic variants
2021-08-13 13:53:49 +0200 <Tisoxin> Is sb using the git revision of xmonad declaratively on nixos/with home manager?
2021-08-13 13:54:01 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-13 13:54:07 +0200 <Tisoxin> oh, sorry wrong channel
2021-08-13 13:57:47 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-08-13 13:57:55 +0200chris(~chris@81.96.113.213)
2021-08-13 13:57:58 +0200chrisGuest2198
2021-08-13 13:58:11 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-08-13 14:00:53 +0200 <lortabac> kuribas: this seems related https://www.normalesup.org/~simonet/publis/simonet-aplas03.pdf
2021-08-13 14:02:09 +0200Guest2198(~chris@81.96.113.213) (Ping timeout: 248 seconds)
2021-08-13 14:02:41 +0200timCF_(~timCF@200-149-20-81.sta.estpak.ee)
2021-08-13 14:03:22 +0200 <kuribas> lortabac: interesting
2021-08-13 14:05:11 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-13 14:06:56 +0200 <timCF_> Hello! Is there any way of "inline" or "local" class instances, valid in scope of given function? I'm using monadic instances of some classes like "Service1Rpc", "Service2Rpc" etc to "mock" network calls of business logic in tests. But sometimes I want to "mock" it differently in one module. Does it make sense, is there the way to do so? Or there are better ways to "mock" network calls inside the tests?
2021-08-13 14:07:07 +0200shredder(~user@user/shredder) (Quit: quitting)
2021-08-13 14:07:26 +0200shredder(~user@user/shredder)
2021-08-13 14:08:05 +0200 <kuribas> lortabac: "In this paper, we are interested in the case ofstructuralsubtyping, where comparabletypes must have the same shape and can only differ by theiratomic leaves."
2021-08-13 14:08:23 +0200 <kuribas> lortabac: that seems different, because in my system (U a Int) can be unified with (I b Int).
2021-08-13 14:10:27 +0200 <kuribas> timCF_: Not really answering your question, but personally I never "mock" IO or services. I write my code in such a way that the core business logic is pure, and can be tested without any mocks.
2021-08-13 14:10:32 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245)
2021-08-13 14:12:06 +0200elf_fortrez(~elf_fortr@adsl-72-50-7-29.prtc.net) (Quit: Client closed)
2021-08-13 14:12:13 +0200 <kuribas> timCF_: for example, instead of mocking your database or remote service calls, I separate the fetching of the data with the handling of it.
2021-08-13 14:12:25 +0200 <lortabac> timCF_: there is a package called reflection that allows you to create local instances, but I think kuribas's approach is much better
2021-08-13 14:13:36 +0200 <timCF_> thanks!
2021-08-13 14:13:53 +0200 <timCF_> kuribas: do you have any code example written in this way?
2021-08-13 14:14:12 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-08-13 14:14:55 +0200 <kuribas> timCF_: the code I am writing now does it like that (but it's for the company, I cannot show it).
2021-08-13 14:15:23 +0200 <lortabac> timCF_: https://www.parsonsmatt.org/2017/07/27/inverted_mocking.html
2021-08-13 14:16:49 +0200 <timCF_> thanks!
2021-08-13 14:19:07 +0200 <timCF_> lortabac: you did mentioned this package, or some other? https://hackage.haskell.org/package/reflection-2.1.6/docs/Data-Reflection.html
2021-08-13 14:19:32 +0200 <lortabac> timCF_: this one, but keep in mind that this is very extreme stuff
2021-08-13 14:20:40 +0200 <kuribas> timCF_: also creating different datatypes for different stages of the program is very useful.
2021-08-13 14:24:38 +0200xff0x(~xff0x@2001:1a81:5278:5300:c5b:fd09:8552:8cb2) (Ping timeout: 252 seconds)
2021-08-13 14:24:53 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 14:25:31 +0200xff0x(~xff0x@2001:1a81:5278:5300:7b4f:e6f2:6a79:44e0)
2021-08-13 14:25:57 +0200 <lortabac> kuribas: this is a language that implements structural subtyping, with open records, open variants and first-class pattern-matching https://github.com/owo-lang/MLPolyR
2021-08-13 14:26:06 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-08-13 14:26:40 +0200 <lortabac> it's not exactly like your idea, but (to me) it seems closely related
2021-08-13 14:27:01 +0200 <kuribas> yeah, worth looking into
2021-08-13 14:28:39 +0200 <kuribas> lortabac: I was inspired by typed.clojure, which uses local inference, not HM, to see if it could work with HM.
2021-08-13 14:30:01 +0200 <lortabac> as far as I know structural subtyping is mostly used in type-checkers for dynamic languages
2021-08-13 14:30:08 +0200meltedbrain_y2k(~tekserf@31.4.247.41) (Quit: Leaving.)
2021-08-13 14:30:38 +0200 <lortabac> I think there is one Python that uses a similar type system
2021-08-13 14:30:43 +0200 <lortabac> *one for Python
2021-08-13 14:30:46 +0200 <kuribas> typed clojure follows the model of typed racket.
2021-08-13 14:30:48 +0200 <kuribas> right
2021-08-13 14:30:49 +0200Pickchea(~private@user/pickchea)
2021-08-13 14:30:56 +0200 <lortabac> typed clojure seems different though
2021-08-13 14:31:15 +0200 <lortabac> it probably requires at least some annotations
2021-08-13 14:31:18 +0200 <lortabac> right?
2021-08-13 14:31:32 +0200 <kuribas> it does.
2021-08-13 14:32:08 +0200acidjnk_new(~acidjnk@p200300d0c72b9566746faa93d7d42dfa.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-08-13 14:32:49 +0200 <kuribas> Maybe it would be more fruitful to create a typed language that compiles to clojure.
2021-08-13 14:32:49 +0200acidjnk_new(~acidjnk@p200300d0c72b9566746faa93d7d42dfa.dip0.t-ipconnect.de)
2021-08-13 14:32:56 +0200 <kuribas> Instead of typing clojure code...
2021-08-13 14:35:05 +0200 <kuribas> I like haskell, but I can understand how often it's hard to deal with the wrapping and uwrapping of monadic layers.
2021-08-13 14:35:23 +0200 <kuribas> Or just finding that right abstraction which will solve your current problem elegantly.
2021-08-13 14:37:06 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-13 14:37:33 +0200 <kuribas> Haskell solves the problem of separating effects from pure code quite well, but it comes with considerable complexity.
2021-08-13 14:37:47 +0200keutoi(~keutoi@157.47.115.91)
2021-08-13 14:37:56 +0200 <kuribas> I wonder if that complexity is inherent in programming, or that there are easier ways, which will still give you robust programs.
2021-08-13 14:38:29 +0200 <kuribas> The clojure solution is simple, throw away all complexity, and accept that stuff will break easily.
2021-08-13 14:38:45 +0200 <kuribas> But it's just not that appealing.
2021-08-13 14:40:00 +0200Atum_(~IRC@user/atum/x-2392232)
2021-08-13 14:40:07 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-13 14:40:32 +0200 <lortabac> kuribas: I think you can simplify Haskell code considerably by removing all those fancy effects and limiting yourself to either IO or pure code
2021-08-13 14:40:57 +0200 <kuribas> lortabac: so ReaderT IO a :)
2021-08-13 14:40:58 +0200 <lortabac> that's not idiomatic Haskell today, but it looks completely reasonable to me
2021-08-13 14:41:28 +0200 <lortabac> kuribas: replace ReaderT with implicit parameters so you don't need transformers anymore
2021-08-13 14:41:46 +0200 <lortabac> it become either 'a' or 'IO a'
2021-08-13 14:41:50 +0200 <lortabac> *becomes
2021-08-13 14:42:16 +0200 <lortabac> and use IORefs for state and writer
2021-08-13 14:42:50 +0200 <lortabac> it would still be much safer than any mainstream language, but considerably simpler
2021-08-13 14:43:05 +0200 <kuribas> lortabac: how would you solve validation for example?
2021-08-13 14:43:34 +0200 <kuribas> I created my own validation transformer: https://gist.github.com/kuribas/d3d7a97de4faf340442fd3e542ea73bf
2021-08-13 14:43:53 +0200chris(~chris@81.96.113.213)
2021-08-13 14:43:56 +0200 <lortabac> nice
2021-08-13 14:43:57 +0200chrisGuest2008
2021-08-13 14:44:19 +0200 <kuribas> Which works well IMO, but it is a hard sell to someone who doesn't know haskell.
2021-08-13 14:44:44 +0200 <kuribas> Perhaps he could use an IORef [String], and just collect the errors by mutation?
2021-08-13 14:44:57 +0200 <lortabac> kuribas: yes, that's what I'm proposing
2021-08-13 14:45:34 +0200 <lortabac> it might seem shocking to a Haskeller, but it's still much safer than what 99% of developers do daily
2021-08-13 14:45:45 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 14:46:26 +0200 <kuribas> haha, that's right
2021-08-13 14:47:00 +0200 <kuribas> I modelled my database library after clojure honeysql, but even the layer which is untypes is so, so much more safe than the clojure.
2021-08-13 14:47:13 +0200 <lortabac> however I don't actually program like this at work, I have to conform to social norms :D
2021-08-13 14:48:06 +0200 <kuribas> you mean classes and mutation in Java, or fancy haskell? :-P
2021-08-13 14:48:26 +0200 <lortabac> I mean mtl, lenses etc.
2021-08-13 14:48:46 +0200 <lortabac> so more or less "standard" Haskell
2021-08-13 14:49:21 +0200 <kuribas> lenses are fine IMO
2021-08-13 14:49:26 +0200 <kuribas> if you stick to a few.
2021-08-13 14:50:54 +0200 <kuribas> mtl is fine too, but this project is a test project. I don't want to scare my team away :)
2021-08-13 14:51:16 +0200 <lortabac> oh so you are trying to introduce Haskell in the company?
2021-08-13 14:51:45 +0200 <kuribas> yeah :)
2021-08-13 14:52:22 +0200 <kuribas> my colleages are open to it, but also completely clueless about it...
2021-08-13 14:52:37 +0200 <kuribas> perhaps I should scrap my fancy validation, and use IO...
2021-08-13 14:52:49 +0200 <nitrix> Try the {-# LANGUAGE TotallyNotSpooky #-} language extension.
2021-08-13 14:52:57 +0200 <lortabac> in my experience you can introduce all kinds of fancy advanced features, as long as you provide either a simple interface or some template to copy/paste
2021-08-13 14:53:07 +0200 <kuribas> makes sense
2021-08-13 14:53:21 +0200Pickchea(~private@user/pickchea) (Ping timeout: 248 seconds)
2021-08-13 14:54:09 +0200 <lortabac> I've seen people going from zero to productive in a couple of months when given all the necessary tools
2021-08-13 14:55:13 +0200 <lortabac> "simple haskell" simply doesn't work because most libraries on Hackage are complex
2021-08-13 14:55:27 +0200 <kuribas> I think it's *easier* when you get your hands dirty on a well designed program, rather than just reading blog posts.
2021-08-13 14:55:57 +0200 <kuribas> Much of the scaryness comes from thinking in Java, then trying to force that into haskell.
2021-08-13 14:56:21 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-13 14:56:28 +0200 <kuribas> But if you can copy paste good code, you understand good practices much faster.
2021-08-13 14:57:03 +0200hendursaga(~weechat@user/hendursaga)
2021-08-13 14:57:08 +0200 <kuribas> lortabac: I agree about "simple haskell". But I still would steer clear of some libraries (singletons, fancy lens, ...)
2021-08-13 14:57:55 +0200 <lortabac> yes, what I meant is that you can't hide the complexity of the Haskell ecosystem for too long
2021-08-13 14:59:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 15:00:11 +0200 <kuribas> you can use microlens instead of lens
2021-08-13 15:01:05 +0200alx741(~alx741@181.196.68.193)
2021-08-13 15:01:25 +0200Franciman(~francesco@openglass.it)
2021-08-13 15:01:53 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2021-08-13 15:01:57 +0200jneira_(~jneira@212.8.115.226) (Quit: Client closed)
2021-08-13 15:01:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-08-13 15:02:02 +0200xff0x(~xff0x@2001:1a81:5278:5300:7b4f:e6f2:6a79:44e0) (Ping timeout: 252 seconds)
2021-08-13 15:05:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-08-13 15:05:15 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-08-13 15:05:16 +0200michalz(~michalz@185.246.204.33) (Remote host closed the connection)
2021-08-13 15:05:46 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-08-13 15:05:55 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-08-13 15:06:47 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-13 15:12:12 +0200polyphem(~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) (Ping timeout: 245 seconds)
2021-08-13 15:14:20 +0200 <arahael> Applying TDD helps a great deal, imho.
2021-08-13 15:14:33 +0200 <arahael> Though oddly enough, I rarely do so for my personal side hobbies.
2021-08-13 15:15:11 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245) (Remote host closed the connection)
2021-08-13 15:15:50 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245)
2021-08-13 15:15:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 15:21:59 +0200acidjnk_new(~acidjnk@p200300d0c72b9566746faa93d7d42dfa.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-08-13 15:23:38 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 15:24:05 +0200xff0x(~xff0x@2001:1a81:5278:5300:7b4f:e6f2:6a79:44e0)
2021-08-13 15:27:14 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-08-13 15:31:45 +0200ystael(~ystael@user/ystael)
2021-08-13 15:35:13 +0200vrilles(~vrilles@user/aman)
2021-08-13 15:38:29 +0200emliunix(~emliunix@8.37.43.217) (Remote host closed the connection)
2021-08-13 15:39:09 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-13 15:40:00 +0200 <kuribas> lortabac: actually, there isn't a very satifying solution for Validation in other languages.
2021-08-13 15:40:27 +0200 <kuribas> You cannot throw an exception, because then you only get one error.
2021-08-13 15:40:33 +0200Guest2008(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 15:40:49 +0200 <kuribas> Best would be to write the error to a mutable variable, then return a dummy variable.
2021-08-13 15:41:07 +0200 <kuribas> And check if there where any errors before using the dummy variables.
2021-08-13 15:43:02 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 245 seconds)
2021-08-13 15:43:54 +0200FragByte(~christian@user/fragbyte) (Ping timeout: 240 seconds)
2021-08-13 15:44:18 +0200trcc(~trcc@users-1190.st.net.au.dk) ()
2021-08-13 15:46:50 +0200FragByte(~christian@user/fragbyte)
2021-08-13 15:47:10 +0200cheater(~Username@user/cheater) (Quit: BitchX: anything else would be uncivilized)
2021-08-13 15:49:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 15:50:11 +0200chomwitt(~chomwitt@athedsl-32301.home.otenet.gr)
2021-08-13 15:54:01 +0200cheater(~Username@user/cheater)
2021-08-13 15:55:57 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-08-13 15:58:05 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2021-08-13 15:58:17 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-08-13 15:59:30 +0200meltedbrain_y2k(~tekserf@31.4.247.40)
2021-08-13 16:00:23 +0200Sgeo(~Sgeo@user/sgeo)
2021-08-13 16:00:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 16:00:45 +0200cheater(~Username@user/cheater)
2021-08-13 16:02:27 +0200michalz(~michalz@185.246.204.33)
2021-08-13 16:05:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-08-13 16:06:49 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 16:10:16 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212) (Quit: WeeChat 2.8)
2021-08-13 16:11:13 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-13 16:12:49 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi)
2021-08-13 16:13:49 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection)
2021-08-13 16:14:11 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi)
2021-08-13 16:17:21 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-13 16:17:52 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 16:22:11 +0200 <hsek[m]> What other beginner-friendly Haskell projects can I contribute to? I only know of `hackage-server`.
2021-08-13 16:22:20 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-08-13 16:22:58 +0200 <geekosaur> xmonad? :)
2021-08-13 16:25:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-08-13 16:25:09 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-08-13 16:26:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-13 16:27:14 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-08-13 16:27:28 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-08-13 16:31:22 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 16:32:33 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 248 seconds)
2021-08-13 16:32:49 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-13 16:34:58 +0200zebrag(~chris@user/zebrag)
2021-08-13 16:35:24 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245) (Remote host closed the connection)
2021-08-13 16:35:55 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245)
2021-08-13 16:38:20 +0200 <liskin> ^^
2021-08-13 16:38:50 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds)
2021-08-13 16:44:44 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-08-13 16:45:53 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2021-08-13 16:46:03 +0200cheater(~Username@user/cheater)
2021-08-13 16:48:57 +0200acidjnk_new(~acidjnk@p200300d0c72b956684192ce5faaf8cc6.dip0.t-ipconnect.de)
2021-08-13 16:49:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212)
2021-08-13 16:52:19 +0200wonko(~wjc@62.115.229.50)
2021-08-13 16:52:29 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 16:54:14 +0200retroid_(~retro@5ec19a54.skybroadband.com)
2021-08-13 16:56:32 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-08-13 16:57:08 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-08-13 16:59:12 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245) (Remote host closed the connection)
2021-08-13 16:59:45 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245)
2021-08-13 17:01:56 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-08-13 17:02:06 +0200dunj3(~dunj3@2001:16b8:3064:3b00:c411:4236:a894:7001)
2021-08-13 17:03:24 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8)
2021-08-13 17:04:01 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245) (Ping timeout: 248 seconds)
2021-08-13 17:10:28 +0200o1lo01ol1o(~o1lo01ol1@31.22.136.245)
2021-08-13 17:15:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212) (Quit: WeeChat 2.8)
2021-08-13 17:17:36 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-13 17:17:56 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-13 17:18:03 +0200kaol_kaol
2021-08-13 17:20:07 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
2021-08-13 17:20:40 +0200chisui(~chisui@200116b8642cd800d092c544b616cc73.dip.versatel-1u1.de)
2021-08-13 17:23:27 +0200 <geekosaur> hledger is also friendly to new contributors, you can check out https://hledger.org
2021-08-13 17:23:48 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 17:24:49 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 17:25:55 +0200endless(~endlessed@server.zane.wiki) (The Lounge - https://thelounge.chat)
2021-08-13 17:26:04 +0200 <janus> hsek[m]: i would recommend joining the next haskell meetup with Chris Smith. there were lots of people last time willing to explain their projects
2021-08-13 17:27:20 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 258 seconds)
2021-08-13 17:28:08 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Ping timeout: 256 seconds)
2021-08-13 17:28:27 +0200 <hsek[m]> geekosaur: Sweet, thanks. I checked out xmonad's issues and I'm not sure which is difficult or not cause no labels with the first 2 pages of issues. hledger seems fun so I'll look more into that.
2021-08-13 17:28:47 +0200 <hsek[m]> janus: Where can I get more information about the meetup? Like when it occurs and all that.
2021-08-13 17:28:53 +0200 <geekosaur> there's a tag for "good first issue"
2021-08-13 17:29:17 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
2021-08-13 17:29:53 +0200 <geekosaur> there wil be more oif these in xmonad-contrib; xmonad core's pretty small and mostly frozen at this point
2021-08-13 17:30:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-13 17:30:37 +0200 <hsek[m]> Oh okay. Yeah I was looking at the main repo lol. Thank you.
2021-08-13 17:31:39 +0200 <hsek[m]> It's a shame I didn't know about GSoC until now. I think it would've been a great opportunity for me to learn a lot of things. Bummer.
2021-08-13 17:38:23 +0200 <janus> hsek[m]: he's on twitter: https://twitter.com/cdsmithus/ and medium https://cdsmithus.medium.com/ and meetup https://www.meetup.com/NY-Haskell/ . dunno if there is a better way to get notified
2021-08-13 17:40:29 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-13 17:42:02 +0200markpythonicbitc(~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 17:42:27 +0200hendursaga(~weechat@user/hendursaga)
2021-08-13 17:42:32 +0200markpythonicbitc(~markpytho@50.228.44.6)
2021-08-13 17:42:54 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-13 17:43:00 +0200markpythonicbitc(~markpytho@50.228.44.6) (Client Quit)
2021-08-13 17:43:27 +0200markpythonicbitc(~markpytho@50.228.44.6)
2021-08-13 17:45:08 +0200 <hendursaga> geekosaur: Heath Ledger? :)
2021-08-13 17:46:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 17:47:55 +0200derelict(~derelict@user/derelict) (Ping timeout: 268 seconds)
2021-08-13 17:48:39 +0200markpythonicbitc(~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 17:52:32 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds)
2021-08-13 17:54:04 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-13 17:55:03 +0200MoC(~moc@user/moc)
2021-08-13 17:55:03 +0200acidjnk_new(~acidjnk@p200300d0c72b956684192ce5faaf8cc6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-08-13 17:56:53 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-08-13 18:00:14 +0200mc47(~mc47@xmonad/TheMC47)
2021-08-13 18:02:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 18:04:05 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 18:04:24 +0200Vajb(~Vajb@2001:999:252:4e3c:27f9:d93:655e:583)
2021-08-13 18:04:57 +0200dunj3(~dunj3@2001:16b8:3064:3b00:c411:4236:a894:7001) (Remote host closed the connection)
2021-08-13 18:06:16 +0200polyphem(~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083)
2021-08-13 18:06:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-08-13 18:07:08 +0200vysn(~vysn@user/vysn)
2021-08-13 18:07:19 +0200markpythonicbitc(~markpytho@2600:380:8435:268b:71bd:f2e5:8aa7:8567)
2021-08-13 18:07:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 18:09:18 +0200chomwitt(~chomwitt@athedsl-32301.home.otenet.gr) (Ping timeout: 268 seconds)
2021-08-13 18:10:04 +0200derelict(~derelict@user/derelict)
2021-08-13 18:10:32 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-08-13 18:10:41 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds)
2021-08-13 18:11:52 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2021-08-13 18:12:24 +0200econo(uid147250@user/econo)
2021-08-13 18:12:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-13 18:20:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-13 18:21:20 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-13 18:23:11 +0200meltedbrain_y2k(~tekserf@31.4.247.40) ()
2021-08-13 18:25:14 +0200jeslie0(~user@108.162.150.9)
2021-08-13 18:31:13 +0200fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-08-13 18:31:22 +0200jeslie0(~user@108.162.150.9) (Ping timeout: 245 seconds)
2021-08-13 18:38:38 +0200 <JavierNeira[m]> <hsek[m]> "What other beginner-friendly Has" <- https://github.com/haskell/haskell-language-server/labels/beginner%20friendly 🙂
2021-08-13 18:40:20 +0200 <JavierNeira[m]> hsek the one about fixing the module name suggestion is not difficult, feel free to ask anything in the issue
2021-08-13 18:43:15 +0200Vajb(~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer)
2021-08-13 18:43:30 +0200Skyfire(~pyon@user/pyon) (Ping timeout: 256 seconds)
2021-08-13 18:44:39 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-13 18:45:43 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-13 18:45:55 +0200markpythonicbitc(~markpytho@2600:380:8435:268b:71bd:f2e5:8aa7:8567) (Ping timeout: 258 seconds)
2021-08-13 18:46:25 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 248 seconds)
2021-08-13 18:47:03 +0200Skyfire(~pyon@user/pyon)
2021-08-13 18:47:42 +0200chris(~chris@81.96.113.213)
2021-08-13 18:47:45 +0200chrisGuest974
2021-08-13 18:51:48 +0200Skyfire(~pyon@user/pyon) (Ping timeout: 272 seconds)
2021-08-13 18:53:05 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 18:53:06 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 18:53:12 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-08-13 18:53:34 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-13 18:54:34 +0200__monty__(~toonn@user/toonn)
2021-08-13 18:55:21 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi) (Read error: Connection reset by peer)
2021-08-13 18:55:25 +0200 <kuribas> hsek[m]: I may have an interesting project :)
2021-08-13 18:57:09 +0200 <kuribas> hsek[m]: to help porting my hasqlator-mysql library to postgresql
2021-08-13 18:58:12 +0200mc47(~mc47@xmonad/TheMC47)
2021-08-13 19:00:45 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 19:00:52 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 19:01:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-13 19:01:43 +0200 <kuribas> it's good to understand how to use monad transformers, monoids, etc...
2021-08-13 19:02:15 +0200 <kuribas> but it should be fairly easy because most of the design is already done...
2021-08-13 19:02:37 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi)
2021-08-13 19:02:52 +0200Core6866(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 19:02:55 +0200 <kuribas> I have a preliminary stub, but it's already out of date: https://github.com/kuribas/hasqlator-postgresql
2021-08-13 19:04:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-08-13 19:05:44 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Ping timeout: 272 seconds)
2021-08-13 19:07:00 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-08-13 19:08:55 +0200Guest974(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 19:09:19 +0200VoidNoir0(~VoidNoir0@72.80.203.52)
2021-08-13 19:10:04 +0200Lycurguswonders how widely understood the difference between static and embedded sql is
2021-08-13 19:16:10 +0200chris(~chris@81.96.113.213)
2021-08-13 19:16:14 +0200chrisGuest1090
2021-08-13 19:17:08 +0200 <kuribas> It looks a lot of work, but I am sure a lot can just be copied.
2021-08-13 19:18:15 +0200nvmd(~nvmd@user/nvmd)
2021-08-13 19:19:56 +0200Guest1090(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 19:20:56 +0200chomwitt(~chomwitt@athedsl-32301.home.otenet.gr)
2021-08-13 19:21:05 +0200chris(~chris@81.96.113.213)
2021-08-13 19:21:08 +0200chrisGuest6830
2021-08-13 19:24:01 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 19:26:57 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-13 19:29:18 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:d53f:ff79:b405:7cdc)
2021-08-13 19:30:09 +0200derelict(~derelict@user/derelict) (Ping timeout: 248 seconds)
2021-08-13 19:32:12 +0200AlexNoo_(~AlexNoo@94.233.240.105) (Read error: Connection reset by peer)
2021-08-13 19:32:27 +0200AlexNoo_(~AlexNoo@94.233.240.105)
2021-08-13 19:32:44 +0200derelict(~derelict@user/derelict)
2021-08-13 19:33:58 +0200fef(~thedawn@user/thedawn)
2021-08-13 19:34:09 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 19:36:16 +0200maerwald(~maerwald@mail.hasufell.de) (Changing host)
2021-08-13 19:36:16 +0200maerwald(~maerwald@user/maerwald)
2021-08-13 19:36:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 19:37:58 +0200Guest6830(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 19:40:29 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-08-13 19:42:48 +0200chris(~chris@81.96.113.213)
2021-08-13 19:42:51 +0200chrisGuest2370
2021-08-13 19:44:49 +0200mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-13 19:46:07 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds)
2021-08-13 19:47:02 +0200 <cdsmith> Sort of a noob question, but: where's the best generic place to get a safeHead :: [a] -> Maybe a? Hoogle doesn't turn up anything that looks fundamental like base or containers. Maybe it has a different name? Or should I just define it myself to minimize deps?
2021-08-13 19:47:17 +0200 <kuribas> :t listToMaybe
2021-08-13 19:47:18 +0200 <maerwald> @hackage Safe
2021-08-13 19:47:18 +0200 <lambdabot> https://hackage.haskell.org/package/Safe
2021-08-13 19:47:18 +0200 <lambdabot> [a] -> Maybe a
2021-08-13 19:47:26 +0200 <cdsmith> Thanks
2021-08-13 19:47:27 +0200 <maerwald> and that too
2021-08-13 19:47:29 +0200Guest2370(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-08-13 19:47:29 +0200 <kuribas> It's in Data.Maybe
2021-08-13 19:47:44 +0200 <maerwald> :t headMay
2021-08-13 19:47:45 +0200 <lambdabot> error: Variable not in scope: headMay
2021-08-13 19:48:01 +0200 <maerwald> listToMaybe is really an odd name though, so I prefer Safe.headMay
2021-08-13 19:48:05 +0200 <kuribas> @hoogle [a] -> Maybe a
2021-08-13 19:48:06 +0200 <lambdabot> Data.Maybe listToMaybe :: [a] -> Maybe a
2021-08-13 19:48:06 +0200 <lambdabot> Test.Framework.Providers.API listToMaybeLast :: [a] -> Maybe a
2021-08-13 19:48:06 +0200 <lambdabot> Distribution.Compat.Prelude.Internal listToMaybe :: [a] -> Maybe a
2021-08-13 19:48:21 +0200 <cdsmith> Ah, should have searched by type instead of name
2021-08-13 19:49:17 +0200 <monochrom> @quote monochrom safeFromJust
2021-08-13 19:49:18 +0200 <lambdabot> monochrom says: I use safeFromJust :: Maybe a -> Maybe a
2021-08-13 19:49:58 +0200 <monochrom> @quote monochrom isTrue
2021-08-13 19:49:58 +0200 <lambdabot> monochrom says: isTrue = (unsafeCoerce :: Either a b -> Bool) . (unsafeCoerce :: Maybe c -> Either a b) . (unsafeCoerce :: Bool -> Maybe c)
2021-08-13 19:50:48 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-08-13 19:51:12 +0200mc47(~mc47@xmonad/TheMC47)
2021-08-13 19:51:18 +0200 <kuribas> maerwald: it's a weird name, because it discards most of the list :)
2021-08-13 19:51:29 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-13 19:51:31 +0200 <kuribas> the other direction makes more sense (maybeToList)
2021-08-13 19:51:42 +0200mc47(~mc47@xmonad/TheMC47) (Client Quit)
2021-08-13 19:51:57 +0200 <kuribas> maerwald: however it doesn't require using another package.
2021-08-13 19:52:05 +0200 <maerwald> true
2021-08-13 19:52:12 +0200 <maerwald> I used it too, but I always feel dirty afterwards
2021-08-13 19:53:00 +0200 <monochrom> Names are insider mnemonics, not meaningful.
2021-08-13 19:53:16 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-13 19:54:05 +0200 <maerwald> just create a class `ToMaybe`... oh no, it already exists
2021-08-13 19:54:27 +0200jeslie0(~user@108.162.150.9)
2021-08-13 19:54:48 +0200Lycurgusthinks about carnaps original notion of functor, school of rectification, usw
2021-08-13 19:55:34 +0200 <kuribas> monochrom: still, the weird naming is making me reluctant to use the Chronicle monad.
2021-08-13 19:55:45 +0200 <kuribas> good naming can make a difference.
2021-08-13 19:58:11 +0200 <monochrom> Good names are successful insider mnemonics.
2021-08-13 19:58:21 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 19:58:39 +0200 <monochrom> There is still a difference from "meaningful" names.
2021-08-13 19:58:55 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 19:59:50 +0200 <Lycurgus> did you mean semantically correct?
2021-08-13 20:00:08 +0200 <monochrom> I don't know.
2021-08-13 20:00:15 +0200 <Lycurgus> guess it's practically the same thing
2021-08-13 20:00:32 +0200 <Lycurgus> except for stupid people that say "it's just semantics"
2021-08-13 20:01:15 +0200 <monochrom> Programming gets very niche and vertical very quickly. Most good names require insider context because they are naming things in niche domains.
2021-08-13 20:02:26 +0200 <monochrom> And at some point you have to give up on accurate names even then, because they would be way too long. You have to settle for mnemonics.
2021-08-13 20:02:51 +0200 <dsal> https://twitter.com/KentonVarda/status/1425622606821142530
2021-08-13 20:02:52 +0200smitop(~smitop@user/smitop) (Quit: Ping timeout (120 seconds))
2021-08-13 20:03:08 +0200 <kuribas> We could name them like vancian spells.
2021-08-13 20:03:11 +0200 <monochrom> Take note that as the resulting names are either utterly meaningless or utterly misleading for outsiders.
2021-08-13 20:03:16 +0200 <dsal> tl;dr: stuff is the best name for this field.
2021-08-13 20:03:32 +0200 <kuribas> listToMaybe => MaerwaldsReductiveTailChomper
2021-08-13 20:03:35 +0200smitop(~smitop@user/smitop)
2021-08-13 20:04:00 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds)
2021-08-13 20:04:25 +0200chris(~chris@81.96.113.213)
2021-08-13 20:04:28 +0200chrisGuest7842
2021-08-13 20:05:07 +0200 <kuribas> (>>=) => MoggiesEffectfulConnector
2021-08-13 20:05:20 +0200 <monochrom> :)
2021-08-13 20:05:45 +0200 <monochrom> Last week I realized that Moggi wrote the first monad transformer paper, too.
2021-08-13 20:05:52 +0200 <dsal> > [1, 2, 3] ^? folded
2021-08-13 20:05:53 +0200 <lambdabot> Just 1
2021-08-13 20:07:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 20:07:23 +0200 <monochrom> That tweet makes another point I thought of too. Hamming distances.
2021-08-13 20:07:58 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-13 20:07:59 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-13 20:07:59 +0200 <monochrom> A good name has smaller Hamming distances from related things and larger Hamming distances from unrelated things.
2021-08-13 20:08:01 +0200allbery_bgeekosaur
2021-08-13 20:08:09 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 20:08:32 +0200 <dsal> Heh. I had to go back and read that to figure out what you meant, but yeah, that makes sense.
2021-08-13 20:08:36 +0200 <monochrom> If you called it "context" it would have 0 distance from unrelated things in the same system. That's why it's so bad.
2021-08-13 20:08:55 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-08-13 20:09:36 +0200 <dsal> Yeah, I have that problem doing go readability because there's a thing called `context.Context` that means something specific, but sometimes conflicts in ways that cause confusion.
2021-08-13 20:10:19 +0200fef(~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-08-13 20:12:19 +0200Core6866(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Read error: Connection reset by peer)
2021-08-13 20:12:33 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-08-13 20:12:35 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 20:12:57 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-13 20:13:46 +0200Core6816(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 20:13:49 +0200agua_pesada(~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Read error: Connection reset by peer)
2021-08-13 20:16:15 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 20:16:32 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-08-13 20:17:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 20:18:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-08-13 20:19:59 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-13 20:20:30 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-08-13 20:22:25 +0200fabfianda(~fabfianda@37.183.255.57) (Ping timeout: 248 seconds)
2021-08-13 20:23:25 +0200fabfianda(~fabfianda@mob-5-91-126-104.net.vodafone.it)
2021-08-13 20:24:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-13 20:24:53 +0200mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 252 seconds)
2021-08-13 20:24:57 +0200burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-08-13 20:25:05 +0200jeslie0(~user@108.162.150.9)
2021-08-13 20:25:46 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-13 20:27:34 +0200wonko(~wjc@62.115.229.50)
2021-08-13 20:28:54 +0200Guest7842(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 20:29:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-08-13 20:31:15 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-13 20:32:01 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-13 20:33:59 +0200chris(~chris@81.96.113.213)
2021-08-13 20:34:02 +0200chrisGuest2332
2021-08-13 20:34:05 +0200mr-red(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-13 20:34:17 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds)
2021-08-13 20:34:30 +0200Guest2332(~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-08-13 20:35:14 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-13 20:35:26 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 20:35:45 +0200chris(~chris@81.96.113.213)
2021-08-13 20:35:48 +0200chrisGuest1551
2021-08-13 20:36:58 +0200Skyfire(~pyon@user/pyon)
2021-08-13 20:39:17 +0200the_proffesor(~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (Changing host)
2021-08-13 20:39:17 +0200the_proffesor(~theproffe@user/theproffesor)
2021-08-13 20:39:27 +0200the_proffesortheproffesor
2021-08-13 20:39:35 +0200Guest1551(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 20:40:43 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-08-13 20:44:25 +0200chris(~chris@81.96.113.213)
2021-08-13 20:44:28 +0200chrisGuest1076
2021-08-13 20:46:13 +0200Cajun(~Cajun@user/cajun)
2021-08-13 20:48:44 +0200Guest1076(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2021-08-13 20:51:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 20:51:40 +0200mattil(~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection)
2021-08-13 20:52:44 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-08-13 21:04:25 +0200keutoi(~keutoi@157.47.115.91) (Quit: leaving)
2021-08-13 21:06:57 +0200 <falsifian> Does anyone here have experience building ghcjs? I'm trying to add it back to nixpkgs: https://github.com/NixOS/nixpkgs/issues/133271
2021-08-13 21:07:37 +0200 <falsifian> One thing I'm wondering: is it okay to try to build ghcjs 8.10.5 using ghc 8.10.4? Or should the versions match?
2021-08-13 21:11:06 +0200chris(~chris@81.96.113.213)
2021-08-13 21:11:11 +0200chrisGuest2507
2021-08-13 21:13:40 +0200mr-red(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds)
2021-08-13 21:13:40 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 21:14:57 +0200 <maerwald> falsifian: it works for GHC at least
2021-08-13 21:15:00 +0200 <maerwald> not sure about ghcjs
2021-08-13 21:15:09 +0200 <Las[m]> I don't see why it wouldn't work
2021-08-13 21:15:34 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 21:16:08 +0200 <falsifian> Thanks for the info. I'm still scratching my head over the issue I mention in the last comment there.
2021-08-13 21:16:29 +0200 <Las[m]> falsifian: Can I ask why you want GHCJS?
2021-08-13 21:16:47 +0200 <Las[m]> I haven't used it, but from my perspective Asterius seems superior
2021-08-13 21:17:10 +0200 <falsifian> Las[m]: I never heard of Asterius.
2021-08-13 21:17:51 +0200 <Las[m]> falsifian: https://github.com/tweag/asterius
2021-08-13 21:17:57 +0200 <Las[m]> It's not stable AFAICT, but I think that's still better than using an unmaintained project
2021-08-13 21:18:04 +0200 <Las[m]> GHCJS is AFAIK dead
2021-08-13 21:18:28 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-13 21:19:11 +0200 <falsifian> Las[m]: The version got bumped to 8.10.5 as recently as June, and there are more recent commits. It may not be well-maintained, but dead seems like an exaggeration.
2021-08-13 21:20:19 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-13 21:20:44 +0200jeslie0(~user@108.162.150.9)
2021-08-13 21:20:46 +0200 <falsifian> Hm, and Asterius's most recent commit is January
2021-08-13 21:20:57 +0200 <Las[m]> You're right, it's a slight exaggeration
2021-08-13 21:20:57 +0200 <Las[m]> Wait really?
2021-08-13 21:21:09 +0200 <Las[m]> lol
2021-08-13 21:21:09 +0200 <falsifian> Looking at https://github.com/tweag/asterius. Not sure if that's the right place
2021-08-13 21:21:17 +0200 <Las[m]> No it is the right place I think, wonder wh
2021-08-13 21:21:19 +0200 <Las[m]> y
2021-08-13 21:21:56 +0200 <falsifian> I'm certainly open to other options. I love Haskell, but ghc is a beast. I wish there were a lighter-weight compiler, maybe with fewer features, that isn't dead.
2021-08-13 21:21:58 +0200 <Las[m]> falsifian: https://github.com/tweag/ghc-asterius
2021-08-13 21:22:23 +0200 <Las[m]> I wonder why they switched repository
2021-08-13 21:22:48 +0200 <falsifian> Las[m]: looks like they're trying to integrate it into ghc?
2021-08-13 21:22:50 +0200 <Las[m]> I think Idris could solve that problem honestly, since it has a much simpler compiler and isn't lazy
2021-08-13 21:22:57 +0200 <Las[m]> It already compiles to a lot of odd backends, including JS
2021-08-13 21:23:00 +0200 <Las[m]> Yeah
2021-08-13 21:23:19 +0200 <falsifian> Maybe I should take another look at Idris :)
2021-08-13 21:23:49 +0200 <dsal> Is there an agdajs?
2021-08-13 21:24:07 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 21:24:27 +0200 <Las[m]> I would not use that, can't imagine using Agda for a real project
2021-08-13 21:24:39 +0200 <Las[m]> I like being able to compile a project in under a minute
2021-08-13 21:27:15 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-08-13 21:28:40 +0200 <falsifian> Is anyone using Idris for a Javascript project? Is it practical?
2021-08-13 21:29:33 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-13 21:33:10 +0200 <kuribas> falsifian: I don't think idris is practical for anything that is not an experiment.
2021-08-13 21:33:53 +0200 <kuribas> falsifian: have a look at purescript
2021-08-13 21:34:19 +0200kuribas(~user@ptr-25vy0i8g8e654nggn7o.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-08-13 21:34:23 +0200 <falsifian> I've heard of purescript. I'm a bit reluctant to use anything that only targets the web, mostly on principle, but partly because I would like my thing to run natively too
2021-08-13 21:34:26 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 21:34:55 +0200 <Cale> Yeah, it's really nice to be able to move and share code between the frontend and backend
2021-08-13 21:36:01 +0200benin036932(~benin@183.82.205.178) (Ping timeout: 248 seconds)
2021-08-13 21:37:01 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net)
2021-08-13 21:37:07 +0200 <falsifian> I recall the last time I tried to use Idris for a task, the first thing I implemented was count the lines of a file in what seemed like an obvious way to me. My program was extremely slow, and seemed to be taking O(n^2) time IIRC. Never figured out why. This was before Idris2.
2021-08-13 21:37:20 +0200 <Cale> At Obsidian, we use ghcjs along with reflex-dom for a lot of our frontend work, and it's pretty nice. We've got a framework for web and mobile applications called Obelisk you might be interested in. The web/mobile side of our business got a little slow through COVID times, but it seems to be picking back up now.
2021-08-13 21:38:23 +0200 <dsal> I've not tried purescript, but my inexperienced concern is that it's close enough to Haskell to be confusing in an uncanny valley kind of way.
2021-08-13 21:38:40 +0200 <falsifian> Cale: My UI needs are pretty simple. I'm just creating a canvas, doing some WebGL, and catching simple events. I think I'm okay just using standard web APIs for now.
2021-08-13 21:39:09 +0200 <sm> there's Kind
2021-08-13 21:40:53 +0200 <falsifian> sm: Is that the one that used to be called Formality? Pretty new, right?
2021-08-13 21:41:12 +0200 <sm> yup, very new
2021-08-13 21:41:36 +0200 <Cale> falsifian: Yeah, if you don't need a backend, then using all of Obelisk is probably too much. It may still be nice using reflex-platform to easily work with ghcjs, and *maybe* reflex-dom to just build the web side of things, though we don't really have anything special for canvas or webgl, and we probably ought to.
2021-08-13 21:41:40 +0200 <sm> and of course there's Elm
2021-08-13 21:41:53 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds)
2021-08-13 21:42:55 +0200azeem(~azeem@176.200.230.183)
2021-08-13 21:43:11 +0200 <Cale> Just using the GHCJS.DOM library might be enough if the event handling is pretty simple and you're imperatively drawing on a canvas a bunch.
2021-08-13 21:43:16 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 21:43:51 +0200 <falsifian> sm: That's also web-only, right?
2021-08-13 21:44:06 +0200 <falsifian> Cale: Yup, that's what I'm doing. It's just an animation loop with event handlers that update a state ref.
2021-08-13 21:44:14 +0200 <sm> no sure but I would guess so
2021-08-13 21:48:22 +0200Shaeto(~Shaeto@94.25.234.223)
2021-08-13 21:48:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-13 21:49:34 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 21:49:56 +0200_bin(~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in)
2021-08-13 21:50:27 +0200_bin(~bin@user/bin/x-1583188)
2021-08-13 21:50:45 +0200mnrmnaughKeziahMason
2021-08-13 21:52:03 +0200_bin(~bin@user/bin/x-1583188) (Client Quit)
2021-08-13 21:52:45 +0200Codaraxis(~Codaraxis@user/codaraxis)
2021-08-13 21:52:55 +0200_bin(~bin@user/bin/x-1583188)
2021-08-13 21:53:27 +0200_bin(~bin@user/bin/x-1583188) (Client Quit)
2021-08-13 21:53:56 +0200_bin(~bin@user/bin/x-1583188)
2021-08-13 21:56:33 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 21:58:19 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 22:01:10 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2021-08-13 22:02:47 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 22:03:58 +0200Guest2507(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-13 22:05:03 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-13 22:05:21 +0200juhp(~juhp@128.106.188.220) (Ping timeout: 248 seconds)
2021-08-13 22:05:31 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-13 22:07:37 +0200juhp(~juhp@128.106.188.220)
2021-08-13 22:07:51 +0200AlexNoo_AlexNoo
2021-08-13 22:08:49 +0200chris(~chris@81.96.113.213)
2021-08-13 22:08:53 +0200chrisGuest1898
2021-08-13 22:09:06 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-08-13 22:13:02 +0200Guest1898(~chris@81.96.113.213) (Ping timeout: 245 seconds)
2021-08-13 22:14:20 +0200KeziahMasonmnrmnaugh
2021-08-13 22:22:37 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-13 22:22:45 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-13 22:24:02 +0200azeem(~azeem@176.200.230.183) (Ping timeout: 258 seconds)
2021-08-13 22:24:26 +0200azeem(~azeem@176.200.230.183)
2021-08-13 22:35:24 +0200Shaeto(~Shaeto@94.25.234.223) (Quit: WeeChat 3.1)
2021-08-13 22:37:21 +0200azeem(~azeem@176.200.230.183) (Ping timeout: 248 seconds)
2021-08-13 22:38:06 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 22:38:26 +0200heath(~heath@user/heath) (Ping timeout: 250 seconds)
2021-08-13 22:38:26 +0200oats(~thomas@user/oats) (Ping timeout: 250 seconds)
2021-08-13 22:38:32 +0200aravk(~aravk@user/aravk) (Ping timeout: 252 seconds)
2021-08-13 22:38:52 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001) (Ping timeout: 250 seconds)
2021-08-13 22:38:52 +0200krjst(~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 250 seconds)
2021-08-13 22:38:57 +0200VoidNoir0(~VoidNoir0@72.80.203.52) (Ping timeout: 248 seconds)
2021-08-13 22:39:05 +0200nonzen(~nonzen@user/nonzen) (Ping timeout: 252 seconds)
2021-08-13 22:39:18 +0200sajith(~sajith@user/sajith) (Ping timeout: 250 seconds)
2021-08-13 22:39:22 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 258 seconds)
2021-08-13 22:39:24 +0200jolly(~jolly@208.180.97.158) (Ping timeout: 268 seconds)
2021-08-13 22:39:35 +0200sajith_(~sajith@user/sajith)
2021-08-13 22:39:42 +0200hololeap(~hololeap@user/hololeap)
2021-08-13 22:39:48 +0200energizer(~energizer@user/energizer) (Ping timeout: 272 seconds)
2021-08-13 22:39:56 +0200nonzen(~nonzen@user/nonzen)
2021-08-13 22:41:21 +0200azeem(~azeem@176.200.230.183)
2021-08-13 22:41:33 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-13 22:41:34 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2021-08-13 22:41:40 +0200 <hololeap> I'm having a hard time figuring out why the type system thinks there's an ambiguous variable here: http://sprunge.us/L7lj5i
2021-08-13 22:42:44 +0200 <hololeap> I used ScopedTypeVariables and littered it with enough type information that it should be able to figure it out, I would think
2021-08-13 22:44:01 +0200lavaman(~lavaman@98.38.249.169)
2021-08-13 22:44:19 +0200chisui(~chisui@200116b8642cd800d092c544b616cc73.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-08-13 22:46:06 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 22:47:44 +0200oats(~thomas@user/oats)
2021-08-13 22:49:25 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-08-13 22:50:41 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2021-08-13 22:51:16 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001)
2021-08-13 22:51:16 +0200 <falsifian> hololeap: What error do you see? I'm not sure where to look.
2021-08-13 22:51:38 +0200 <falsifian> hololeap: Oops, I see it's in the comment at the bottom
2021-08-13 22:51:57 +0200heath(~heath@user/heath)
2021-08-13 22:52:26 +0200 <hololeap> yeah. what I'm trying to do is a little unusual so I may have confused myself
2021-08-13 22:52:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 22:53:17 +0200energizer(~energizer@user/energizer)
2021-08-13 22:55:19 +0200aravk(~aravk@user/aravk)
2021-08-13 22:56:41 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-08-13 22:57:08 +0200 <falsifian> I haven't fully understood your function, but shouldn't the output of applyExtraArgs have type r, rather than WithExtraArgs as r?
2021-08-13 22:57:22 +0200 <falsifian> I thought the point is to apply the extra arguments, so you get the resulting r value
2021-08-13 22:58:36 +0200 <hololeap> the final output _is_ r, since WithExtraArgs eventually results in r
2021-08-13 22:59:40 +0200 <falsifian> hololeap: Say as is [Int, Int] and r is Char. Your function is taking an ExtraArgsSing [Int, Int], and a WithExtraArgs as r (which is Int -> Int -> Char I think), and returning a (Int -> Int -> Char)
2021-08-13 22:59:49 +0200 <falsifian> According to the type signature for applyExtraArgs
2021-08-13 22:59:52 +0200 <falsifian> I'd expect it to return just Char
2021-08-13 23:00:22 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 23:00:22 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds)
2021-08-13 23:00:29 +0200 <falsifian> Did you mean to write ... -> WithExtraArgs as' r?
2021-08-13 23:00:38 +0200 <falsifian> or something like that
2021-08-13 23:00:53 +0200 <hololeap> well, there needs to be a way for the caller of applyExtraArgs to pass in the arguments
2021-08-13 23:01:37 +0200 <hololeap> so in your example, the applyExtraArgs would become: ExtraArgsSing '[Int,Int] -> (Int -> Int -> Char) -> Int -> Int -> Char
2021-08-13 23:02:00 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-13 23:02:12 +0200xff0x(~xff0x@2001:1a81:5278:5300:7b4f:e6f2:6a79:44e0) (Ping timeout: 245 seconds)
2021-08-13 23:02:17 +0200 <falsifian> I'm confused. Could you just write applyExtraArgs _ x = x?
2021-08-13 23:02:45 +0200 <falsifian> As the definition for the function
2021-08-13 23:03:12 +0200 <falsifian> (Before, I was thinking an ExtraArgsSing as actually includes the a values, but I guess it doesn't.)
2021-08-13 23:03:17 +0200 <hololeap> that's what the case for the empty type-level list does: applyExtraArgs NoExtraArgs x = x
2021-08-13 23:03:17 +0200xff0x(~xff0x@2001:1a81:5278:5300:e19e:51f3:462a:7dce)
2021-08-13 23:03:37 +0200 <falsifian> hololeap: But wouldn't my definition satisfy the type signature you wrote?
2021-08-13 23:04:04 +0200 <falsifian> Can you give an example of how withExtraArgs could be used?
2021-08-13 23:04:24 +0200 <hololeap> hm, maybe I'm overcomplicating it...
2021-08-13 23:06:00 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-13 23:06:41 +0200fabfianda(~fabfianda@mob-5-91-126-104.net.vodafone.it) (Ping timeout: 248 seconds)
2021-08-13 23:07:05 +0200 <hololeap> falsifian: for example: f :: WithExtraArgs '[Int,Int] Char ; applyExtraArgs f 3 4 :: Char
2021-08-13 23:07:14 +0200fabfianda(~fabfianda@37.183.255.57)
2021-08-13 23:08:49 +0200kor1(~kor1@user/kor1) (Ping timeout: 248 seconds)
2021-08-13 23:09:25 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) ()
2021-08-13 23:09:37 +0200dmwit(~dmwit@pool-108-28-26-143.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-08-13 23:09:54 +0200 <hololeap> anyway, the reason why it's this complicated is because I need to expand on this idea so that I can have a nested structure, where the extra args are passed down to the children that need them.
2021-08-13 23:10:25 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 258 seconds)
2021-08-13 23:11:11 +0200dmwit(~dmwit@pool-108-28-26-143.washdc.fios.verizon.net)
2021-08-13 23:12:21 +0200 <hololeap> there will need to be a value-level witness of the type-level rose tree that will be involved, so that the apply function knows which child to pass the argument to
2021-08-13 23:12:32 +0200 <hololeap> it's like the santa claus of functional programming
2021-08-13 23:13:32 +0200spaceshipnow(~spaceship@75-164-208-223.ptld.qwest.net)
2021-08-13 23:13:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 23:13:55 +0200 <monochrom> and the children live in tree houses built throughout the christmas tree...
2021-08-13 23:15:11 +0200spaceshipnow(~spaceship@75-164-208-223.ptld.qwest.net) (Client Quit)
2021-08-13 23:21:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 23:23:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 23:23:51 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 23:25:14 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-08-13 23:27:01 +0200 <hololeap> I think I understand why GHC is getting confused... it doesn't have a way to know that `WithExtraArgs '[Int, Int] r` and `WithExtraArgs '[Int] r` are talking about the same 'r'
2021-08-13 23:27:24 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-08-13 23:28:32 +0200 <hololeap> and I don't know how to assure it of that. WithExtraArgs cannot be injective, since there is no specific relationship between the arguments and 'r'
2021-08-13 23:30:13 +0200 <hololeap> so I might have to pass in the arguments as a single data structure instead
2021-08-13 23:31:19 +0200 <falsifian> hololeap: I don't really understand your end goal, but I wonder if it really requires all this type-level trickery.
2021-08-13 23:31:35 +0200 <falsifian> Do you have an example of how it would be used, if you got it working?
2021-08-13 23:32:14 +0200 <hololeap> I'd have to show you the end product and then you could decide if it's necessary or not. there's too much to explain
2021-08-13 23:32:33 +0200 <falsifian> hololeap: Sounds like you're on a fun adventure :)
2021-08-13 23:33:11 +0200 <hololeap> heh
2021-08-13 23:36:05 +0200 <hololeap> the best I can do to sum it up is: there is a typeclass that defines a form field, and this form field may have children attached as a type family FieldChildTypes
2021-08-13 23:36:43 +0200 <hololeap> the children have a state that remembers if they have been filled and if they are valid, which is passed up through the tree to their ancestors
2021-08-13 23:37:19 +0200 <hololeap> there is also a render function for this typeclass, but occasionally the render function needs extra arguments passed to it, due to the way the rendering system works
2021-08-13 23:37:48 +0200 <hololeap> so rendering an ancestor will require passing in extra arguments for all the decendents that need them...
2021-08-13 23:39:18 +0200stefan-_(~cri@42dots.de) (Ping timeout: 256 seconds)
2021-08-13 23:39:48 +0200 <hololeap> so there is also a FieldExtraArgs type family within this typeclass which holds the extra arguments needed to render, if there are any
2021-08-13 23:40:32 +0200 <hololeap> and then I need a way to apply them, hence my attempt to make way to have a dynamic number of arguments for a function
2021-08-13 23:41:41 +0200 <hololeap> hope that makes sense
2021-08-13 23:42:08 +0200 <falsifian> hololeap: That sounds like a lot to think about. All I can suggest for now is: have you studied how printf works?
2021-08-13 23:42:33 +0200 <falsifian> Other than that it's beyond me :)
2021-08-13 23:42:41 +0200 <hololeap> falsifian: that's a good idea
2021-08-13 23:43:23 +0200retroid_(~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds)
2021-08-13 23:43:26 +0200stefan-_(~cri@42dots.de)
2021-08-13 23:43:27 +0200econo(uid147250@user/econo)
2021-08-13 23:50:17 +0200azeem(~azeem@176.200.230.183) (Ping timeout: 258 seconds)
2021-08-13 23:50:41 +0200azeem(~azeem@176.200.230.183)
2021-08-13 23:54:30 +0200xff0x(~xff0x@2001:1a81:5278:5300:e19e:51f3:462a:7dce) (Ping timeout: 258 seconds)
2021-08-13 23:55:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 23:55:27 +0200xff0x(~xff0x@2001:1a81:5278:5300:2655:c9ee:974:3c59)
2021-08-13 23:56:30 +0200 <Las[m]> falsifian: There are people who are using Idris compiled to JS
2021-08-13 23:56:41 +0200 <Las[m]> But I think the focus is more on use with Node honestly
2021-08-13 23:57:16 +0200vysn(~vysn@user/vysn) (Remote host closed the connection)
2021-08-13 23:57:17 +0200 <Las[m]> https://github.com/idris-lang/Idris2/blob/main/docs/source/backends/javascript.rst
2021-08-13 23:57:47 +0200 <Las[m]> I personally think Idris is fine for use in production compared to something like raw JavaScript
2021-08-13 23:58:01 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-13 23:58:05 +0200 <Las[m]> There aren't that many serious bugs
2021-08-13 23:59:45 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Read error: Connection reset by peer)