Logs on 2023-05-05 (liberachat/#haskell)
| 00:09:44 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 00:09:56 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:11:00 | → | whosit joins (~whosit@user/whosit) |
| 00:12:33 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:12:33 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:12:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:13:26 | × | alphabeta quits (~kilolympu@213.144.144.24) (Remote host closed the connection) |
| 00:14:02 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 00:14:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 00:16:53 | → | alphabeta joins (~kilolympu@213.144.144.24) |
| 00:17:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:17:10 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 00:25:28 | <monochrom> | The Gentle Introduction. https://www.haskell.org/tutorial/ |
| 00:34:26 | × | alphabeta quits (~kilolympu@213.144.144.24) (Ping timeout: 268 seconds) |
| 00:35:36 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 00:38:23 | → | kilolympus joins (~kilolympu@213.144.144.24) |
| 00:50:02 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:54:47 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 00:55:59 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 00:56:00 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 00:56:01 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 00:56:26 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:56:30 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:56:42 | → | gmg joins (~user@user/gehmehgeh) |
| 01:10:21 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:16:28 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:27 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:28:15 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:37:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 01:42:38 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:44:40 | → | bilegeek joins (~bilegeek@2600:1008:b01c:21a9:2df5:bd54:8e5a:df22) |
| 01:47:12 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 01:48:16 | → | alphabeta joins (~kilolympu@213.144.144.24) |
| 01:48:24 | × | kilolympus quits (~kilolympu@213.144.144.24) (Ping timeout: 265 seconds) |
| 01:49:19 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:53:21 | × | phma_ quits (~phma@host-67-44-208-93.hnremote.net) (Read error: Connection reset by peer) |
| 01:53:45 | → | phma_ joins (phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) |
| 01:53:59 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 02:13:05 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 02:15:14 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
| 02:15:25 | → | nate2 joins (~nate@98.45.169.16) |
| 02:27:59 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 02:28:11 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:30:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 02:32:50 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 02:33:04 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 02:35:28 | × | inversed quits (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 02:41:33 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 02:42:03 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 02:43:52 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 02:47:38 | × | td_ quits (~td@i5387092F.versanet.de) (Ping timeout: 268 seconds) |
| 02:48:51 | → | td_ joins (~td@i53870920.versanet.de) |
| 02:50:32 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 02:52:47 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:00:20 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
| 03:00:24 | → | freeside joins (~mengwong@103.252.202.85) |
| 03:05:08 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 03:05:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 03:18:18 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 03:19:05 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 03:20:15 | → | polyphem joins (~polyphem@ip-109-43-49-185.web.vodafone.de) |
| 03:24:58 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:30:11 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 03:30:11 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 03:33:30 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 03:34:05 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 03:35:58 | → | ddellacosta joins (~ddellacos@143.244.47.88) |
| 03:40:40 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 03:49:53 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 03:52:05 | × | krei-se- quits (~krei-se@128.90.23.125) (Ping timeout: 240 seconds) |
| 03:52:29 | → | krei-se joins (~krei-se@p57af2733.dip0.t-ipconnect.de) |
| 03:53:27 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 03:58:23 | × | Inst_ quits (~Inst@2601:6c4:4081:2fc0:b9e5:3e3b:33cb:18de) (Ping timeout: 265 seconds) |
| 03:58:28 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 04:04:51 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 04:06:04 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:08:47 | <joyfulmantis[m]> | akshitkr: I found this course to be loads of fun when I took it https://github.com/system-f/fp-course. It helps you progress through Haskell concepts by asking you to implement successively harder library functions. |
| 04:09:08 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 04:12:17 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 04:21:30 | → | freeside joins (~mengwong@103.252.202.85) |
| 04:25:02 | → | synbian joins (~synbian@45.182.92.127) |
| 04:25:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 04:29:28 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 04:30:03 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 04:30:51 | → | gmg joins (~user@user/gehmehgeh) |
| 04:31:41 | → | bilegeek_ joins (~bilegeek@155.sub-174-208-228.myvzw.com) |
| 04:33:48 | × | bilegeek quits (~bilegeek@2600:1008:b01c:21a9:2df5:bd54:8e5a:df22) (Ping timeout: 240 seconds) |
| 04:34:08 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 04:35:18 | × | dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
| 04:38:32 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 04:44:53 | <jade[m]1> | <ski> "(also, i think the annoyance was..." <- ah yeah, I should remember to not do this in the bridged irc channels |
| 04:44:59 | <jade[m]1> | thank you for the heads up |
| 04:47:26 | → | freeside joins (~mengwong@103.252.202.85) |
| 04:48:09 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:51:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 04:51:52 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 04:54:49 | × | bilegeek_ quits (~bilegeek@155.sub-174-208-228.myvzw.com) (Quit: Leaving) |
| 04:55:50 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 04:56:08 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 04:58:11 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 05:00:00 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 05:03:18 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 05:10:28 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:10:34 | × | tomku|two quits (~tomku@user/tomku) (Ping timeout: 250 seconds) |
| 05:12:22 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 05:13:35 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:14:49 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 05:15:27 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 05:17:57 | jackdk_ | is now known as jackdk |
| 05:20:47 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 05:25:39 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 05:31:10 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 05:38:25 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:39:36 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 05:40:22 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 05:42:18 | → | notzmv joins (~zmv@user/notzmv) |
| 05:43:48 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 05:44:37 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 05:46:46 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 05:47:39 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 05:50:06 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:51:58 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection) |
| 05:52:18 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) |
| 05:57:19 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:58:49 | → | michalz joins (~michalz@185.246.207.205) |
| 06:01:06 | phma_ | is now known as phma |
| 06:01:08 | × | td_ quits (~td@i53870920.versanet.de) (Ping timeout: 240 seconds) |
| 06:03:09 | → | td_ joins (~td@i5387090A.versanet.de) |
| 06:05:06 | → | freeside joins (~mengwong@103.252.202.85) |
| 06:11:43 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 06:12:05 | × | krei-se quits (~krei-se@p57af2733.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:12:59 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 06:13:20 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 06:15:05 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 06:15:30 | × | mauke quits (~mauke@user/mauke) (Quit: bbl) |
| 06:16:41 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 06:17:48 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 06:20:16 | → | Inst_ joins (~Inst@2601:6c4:4081:2fc0:216a:c504:9118:d58c) |
| 06:22:36 | × | hololeap quits (~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.) |
| 06:22:44 | → | trev joins (~trev@user/trev) |
| 06:24:03 | → | hololeap joins (~quassel@user/hololeap) |
| 06:25:00 | ← | whosit parts (~whosit@user/whosit) () |
| 06:31:40 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 06:40:00 | → | freeside joins (~mengwong@103.252.202.85) |
| 06:49:00 | → | acidjnk joins (~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) |
| 06:50:17 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:401d:76e8:b1e5:2786) |
| 06:50:45 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 06:51:50 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 06:54:10 | → | talismanick joins (~user@2601:204:ef80:6c80::a8e2) |
| 06:54:13 | → | CiaoSen joins (~Jura@tmo-111-75.customers.d1-online.com) |
| 06:54:38 | <talismanick> | Is there a function which generates all case-permutations of a string? |
| 06:55:04 | <talismanick> | e.g., for "foo", it'd be that plus "Foo", "FoO", "fOO", etc |
| 06:57:21 | <[exa]> | talismanick: not sure but I'd say not |
| 06:58:00 | <chreekat> | talismanick: I think that's unsolvable in general, considering across all the languages supported by Unicode, not all have neat upper-lower pairs |
| 06:59:14 | × | polyphem quits (~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 268 seconds) |
| 06:59:27 | <[exa]> | chreekat: well you can easily test that |
| 06:59:31 | <[exa]> | w.r.t. haskell unicode impl |
| 07:00:06 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 07:00:45 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 07:00:55 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:01:25 | → | vpan joins (~0@mail.elitnet.lt) |
| 07:03:27 | <chreekat> | good point, and ha! Data.Char.toLower has a hard-coded list of 1433 characters it knows how to convert to lower case |
| 07:03:46 | <Hecate> | are you shitting me |
| 07:03:46 | <Hecate> | god |
| 07:03:51 | <Hecate> | my fucking god |
| 07:03:57 | <[exa]> | Hecate: that's the unicode way |
| 07:04:15 | <Hecate> | [exa]: I would have hoped we integrated the unicode table directly |
| 07:04:21 | <Hecate> | but perhaps I misunderstood what chreekat said |
| 07:04:28 | <[exa]> | Hecate: if you do it properly with libicu, you'll basically have a well curated hardcoded list of more characters |
| 07:04:38 | <[exa]> | I'd say this one might be even generated from icu |
| 07:04:41 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:04:47 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 07:05:01 | <Hecate> | we don't have to use libicu |
| 07:05:13 | <Hecate> | or do we… |
| 07:05:14 | <Hecate> | hmm |
| 07:05:19 | <Hecate> | let me see how erlang does it |
| 07:05:21 | <[exa]> | I don't see haskell folks with their self-optimization levels ever writing down a table of something longer than like 5 items :D |
| 07:05:22 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 252 seconds) |
| 07:05:24 | <dsal> | > let cases x = replicateM (length x) [id, toUpper]; perm s = zipWith (&) s <$> cases s in perm "foo" |
| 07:05:25 | <lambdabot> | ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"] |
| 07:06:01 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:06:48 | <geekosaur> | the harder part is that it's locale dependent. consider German "ss" -> "SS" |
| 07:07:07 | <chreekat> | [exa]: hehe correct |
| 07:07:11 | <jade[m]1> | wait, does it do that? |
| 07:07:14 | <dsal> | > let perm s = zipWith (&) s <$> replicateM (length s) [id, toUpper] in perm "foo" -- I guess that helper clouds stuff. |
| 07:07:15 | <lambdabot> | ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"] |
| 07:07:18 | <[exa]> | > let {casePerms [] = [[]]; casePerms (c:cs) = if toLower c == toUpper c then (c:) <$> casePerms cs else [(toLower c:), (toUpper c:)] <*> casePerms cs } in casePerms "a+b=c" |
| 07:07:20 | <lambdabot> | ["a+b=c","a+b=C","a+B=c","a+B=C","A+b=c","A+b=C","A+B=c","A+B=C"] |
| 07:07:28 | <[exa]> | needs more applicative |
| 07:07:38 | <geekosaur> | jade[m]1, yes |
| 07:07:51 | <jade[m]1> | dsal: I think `toLower,` is better than `id` because it may contain uppercase letters initially |
| 07:07:58 | <dsal> | > let perm s = zipWith (&) s <$> replicateM (length s) [toLower, toUpper] in perm "foo" -- yeah, makes sense |
| 07:07:59 | <lambdabot> | ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"] |
| 07:08:01 | <jade[m]1> | s/,`/`/ |
| 07:08:21 | <dsal> | > let perm s = zipWith (&) s <$> replicateM (length s) [toLower, toUpper] in perm "Goes Both Ways" |
| 07:08:22 | <lambdabot> | ["goes both ways","goes both wayS","goes both waYs","goes both waYS","goes b... |
| 07:08:47 | <Hecate> | [exa]: https://github.com/elixir-lang/elixir/blob/f1a66f4519150225a94ed3f6080eded379217204/lib/elixir/unicode/unicode.ex#L280-L285 |
| 07:08:50 | <Hecate> | macros !! |
| 07:09:16 | <[exa]> | unicode is trickery |
| 07:10:00 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 07:10:25 | <Hecate> | yes it's impossible to have such a function operate on characters because the position of the character is important |
| 07:10:42 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:11:43 | <chreekat> | It was probably ß that I was thinking of when I said there aren't always neat upper-lower pairs |
| 07:11:49 | <Hecate> | yep |
| 07:12:21 | <Hecate> | The turkic İ -> i & I -> ı are also special cases |
| 07:12:28 | × | synbian quits (~synbian@45.182.92.127) (Ping timeout: 240 seconds) |
| 07:12:32 | <Hecate> | and the sigma in Greek apparently |
| 07:12:41 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 07:12:46 | <chreekat> | One of those "you can't write validators for names, dates, currencies, or email addresses , so don't even try" kind of situtations |
| 07:13:13 | <Hecate> | /@/ is a perfectly fine validator for email addresses :D |
| 07:13:29 | <jade[m]1> | there is an uppercase version of `ß` nowadays, but I'm not sure how it interacts with unicode and such |
| 07:13:42 | <geekosaur> | ẞ |
| 07:13:48 | <jade[m]1> | it was accepted into the german language maybe two years ago? |
| 07:13:56 | <jade[m]1> | geekosaur: yep |
| 07:14:07 | <Hecate> | oh it's very new then |
| 07:14:13 | <chreekat> | fun |
| 07:14:18 | <geekosaur> | it existed before that but was informal |
| 07:14:44 | <geekosaur> | for a long time official German was trying to make es-zet go away entirely, hence the "ss" -> "SS" silliness |
| 07:15:01 | <geekosaur> | but everyone ignored that and kept using ß |
| 07:15:11 | <jade[m]1> | I also believe it was only introduced because there were people, who 8for whatever reason) had a name that starts with ß |
| 07:15:20 | <jade[m]1> | and thus it needed to have a capital version |
| 07:15:37 | <jade[m]1> | s/8/( |
| 07:16:00 | → | nate2 joins (~nate@98.45.169.16) |
| 07:16:00 | <Hecate> | typography win |
| 07:16:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 07:16:28 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (*.net *.split) |
| 07:16:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split) |
| 07:16:28 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split) |
| 07:16:28 | × | jil quits (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
| 07:16:28 | × | Guest585 quits (~mike@user/feetwind) (*.net *.split) |
| 07:16:35 | → | jil joins (~user@vps-15050500.vps.ovh.net) |
| 07:16:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 07:16:50 | → | zincy joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 07:16:50 | → | Guest585 joins (~mike@user/feetwind) |
| 07:21:00 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 07:21:06 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:22:41 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:22:51 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:29:05 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 07:31:24 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 07:32:35 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 07:33:14 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:36:20 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 07:37:23 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds) |
| 07:40:14 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:41:03 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 07:44:38 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
| 07:44:52 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 07:51:20 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 07:55:42 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:56:17 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:58:24 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:59:13 | → | mmhat joins (~mmh@p200300f1c70668b9ee086bfffe095315.dip0.t-ipconnect.de) |
| 08:02:33 | → | chele joins (~chele@user/chele) |
| 08:04:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:05:13 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 08:05:30 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:05:43 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 08:09:32 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
| 08:14:28 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 08:15:07 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 08:19:24 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:20:47 | → | crvs joins (~crvs@212.37.18.202) |
| 08:21:25 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:24:13 | → | dextaa joins (~DV@user/dextaa) |
| 08:24:21 | × | dextaa quits (~DV@user/dextaa) (Remote host closed the connection) |
| 08:24:26 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:28:43 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 08:28:59 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 08:31:49 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 08:33:08 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Client Quit) |
| 08:33:35 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 08:34:28 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 08:36:28 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 08:37:22 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection) |
| 08:38:50 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) |
| 08:39:55 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:41:23 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:41:37 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 08:43:41 | → | zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe) |
| 08:45:07 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:194:89f:550c:1b34) |
| 08:46:15 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:47:09 | → | tomku joins (~tomku@user/tomku) |
| 08:47:13 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 08:47:40 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 08:49:08 | → | dontdieych joins (~alarm@132.226.169.184) |
| 08:49:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:194:89f:550c:1b34) (Ping timeout: 260 seconds) |
| 08:52:12 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 08:53:54 | <kaol> | Any suggestions how to make GHC print out the inferred type of a value inside a function? I've used something like ":: ()" on it to force an error but it'd be nice to use something that'd just do the same thing as putting a definition on top level with no type signature. |
| 08:54:45 | <geekosaur> | `:: _`? or just replace the value with `_` |
| 08:54:54 | → | titibandit joins (~titibandi@user/titibandit) |
| 08:56:03 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:391f:cdc5:98df:6b24) |
| 08:56:52 | <kaol> | Right. Typed holes are probably less contrived for it. |
| 08:57:40 | <geekosaur> | iirc there's even an option where you do `:: _` and have it continue to compile instead of erroring |
| 08:57:41 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:57:52 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 08:58:15 | <kaol> | I didn't know of ":: _", I'll have to try it out. |
| 09:00:47 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Ping timeout: 256 seconds) |
| 09:01:55 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 09:02:06 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 09:03:20 | <geekosaur> | it's just a special case of a partial type signature |
| 09:03:27 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 09:04:07 | <geekosaur> | it'll print an error with the type and stop compilation by default. use -XPartialTypeSignatures to have it keep going instead (there won't be a runtime error either, just an inferred type) |
| 09:05:15 | <jade[m]1> | hm, number literals have type `Num a => a`, but trying `f :: _; f = 1` infers that the hole must be `Integer`? |
| 09:06:10 | <geekosaur> | forcing inference has its limitations |
| 09:06:32 | <geekosaur> | I think you have to use a constraint wildcard to get the other? |
| 09:08:08 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 240 seconds) |
| 09:08:33 | × | phma quits (phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) (Read error: Connection reset by peer) |
| 09:08:35 | <geekosaur> | https://paste.tomsmeding.com/LvMkazFr |
| 09:08:55 | <geekosaur> | if you're doing this in a compiled program, on the other hand, you're just seeing defaulting in action |
| 09:09:05 | <geekosaur> | because of the monomorphism restriction |
| 09:09:26 | → | phma joins (phma@2001:5b0:215d:bbf8:8c1b:6234:e376:bed1) |
| 09:12:43 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 09:13:21 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 09:13:47 | × | dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
| 09:14:27 | → | dontdieych joins (~alarm@132.226.169.184) |
| 09:14:45 | × | dontdieych quits (~alarm@132.226.169.184) (Client Quit) |
| 09:17:47 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds) |
| 09:17:56 | → | dontdieych joins (~alarm@132.226.169.184) |
| 09:18:07 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 09:19:28 | → | tr_ev joins (~trev@user/trev) |
| 09:19:34 | tr_ev | is now known as trev |
| 09:20:05 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) |
| 09:21:35 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 09:22:52 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 09:27:06 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 09:27:27 | <dminuoso> | jade[m]1: Take note, that `f = 1` is not an *expression* of a numeric literal. |
| 09:27:40 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 09:27:45 | <dminuoso> | It's a declaration. |
| 09:28:07 | <jade[m]1> | yeah, but the inferred type would still be `f :: Num a => a` if I didn't have any signature right? |
| 09:28:48 | <dminuoso> | No. |
| 09:29:21 | <dminuoso> | See 4.5.5 The Monomorphism Restriction |
| 09:29:24 | <dminuoso> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-880004.5 |
| 09:30:31 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 09:33:26 | → | freeside joins (~mengwong@103.252.202.85) |
| 09:35:25 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 09:36:29 | → | trev joins (~trev@user/trev) |
| 09:37:01 | <jade[m]1> | hm, thank you |
| 09:37:09 | jade[m]1 | uploaded an image: (4KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/POiWrcDnBYkyONQWssVFvODk/image.png > |
| 09:37:10 | <jade[m]1> | why does ghci still infer the type? |
| 09:37:13 | × | trev quits (~trev@user/trev) (Read error: Connection reset by peer) |
| 09:37:38 | → | trev joins (~trev@user/trev) |
| 09:40:19 | <ncf> | ghci has MonomorphismRestriction off by default |
| 09:40:33 | × | trev quits (~trev@user/trev) (Client Quit) |
| 09:40:35 | <ncf> | try :set -XMonomorphismRestriction |
| 09:41:29 | → | trev joins (~trev@user/trev) |
| 09:41:47 | <jade[m]1> | ah, thank you |
| 09:43:25 | <Helle> | hrm, okay, what text should I read to know the right way to implement a "polymorphic" function ie, some func that exists in versions defined for like say 3 or 4 different type signatures ? |
| 09:43:33 | <Helle> | I've got a version working, but I bet it is the wrong one |
| 09:44:13 | <geekosaur> | in general there isn't one; Haskell doesn't work that way, and in particular type inference wouldn't work any more if it did |
| 09:44:34 | <Helle> | geekosaur: and now presume that I've written something that superficially acts like that |
| 09:44:42 | <jade[m]1> | that depends on the specific function and depending on whether there is an underlying structure to the functions you compose within |
| 09:44:43 | <ncf> | are you looking for typeclasses? |
| 09:44:54 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 09:45:09 | <Helle> | ncf: yes, but I want to be sure I am reading a good document on it that goes into "use/abuse" like this |
| 09:45:30 | <Helle> | or well, I say yes, but I mean technically, "probably" |
| 09:45:35 | <jade[m]1> | for example... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/0f3c3d1c8f6fda49c2184935efbd4e5e1d4e8375>) |
| 09:45:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 09:45:51 | <jade[m]1> | because theres an underlying structure that + has |
| 09:46:05 | <Helle> | jade[m]1: no, not like that |
| 09:49:17 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:49:24 | → | gemmaro joins (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
| 10:00:02 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 10:00:23 | <chreekat> | Helle: can you share what you've already got? |
| 10:02:35 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 10:03:58 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 10:04:22 | <Helle> | chreekat: I mean I wrote a very specific case and I am sure I missed some detail https://paste.tomsmeding.com/CfwAq3q4 and I know the code is a bit nonsense (I just needed the version of the program in a bunch of different text types all over the program, so I ended up generalising it) |
| 10:06:03 | <jade[m]1> | that does feel abusive of polymorphism, because they just serve different purposes if I see it right |
| 10:06:21 | <Helle> | jade[m]1: oh yeah, it definitely is abuse |
| 10:06:25 | <jade[m]1> | I think here it would be better to have two different versions of the function |
| 10:06:35 | <jade[m]1> | named differently and appropriatly |
| 10:06:39 | <Helle> | but I just didn't want to have to think of the types at the use point |
| 10:07:16 | <Helle> | It's bad enough to have to deal with string, text and lazy text for stuff that actually matters |
| 10:08:00 | <jade[m]1> | I'm not sure I understand |
| 10:09:19 | <Helle> | jade[m]1: this way I can go import Utils (version) and I can insert version without thinking through what type I am actually using at that point |
| 10:10:18 | <jade[m]1> | if you do that though you won't know the behavior of your program because they have non-consistant definitions |
| 10:10:29 | <jade[m]1> | imo you should stick to one and convert to/from the other |
| 10:11:56 | <ncf> | some libraries use a StringLike class for this https://hackage.haskell.org/package/tagsoup-0.14.8/docs/Text-StringLike.html |
| 10:12:21 | <ncf> | actually you could probably just use IsString |
| 10:12:39 | <ncf> | version :: IsString s => s; version = fromString $ <your first definition of version> |
| 10:13:03 | <Helle> | ncf: ah, neat, though just for this case |
| 10:13:29 | <Helle> | I mean in generally I know this is the sort of code of "don't do this" but in real programs of significant size, cases like this show up |
| 10:13:43 | <Helle> | anyway, I will use that in this case |
| 10:13:44 | <ncf> | imo there no fundamental reason not to do this |
| 10:13:59 | <ncf> | there is* |
| 10:14:04 | <ncf> | there is no* |
| 10:14:34 | <Helle> | I mean generally code like this from experience in other languages, happens when you need to glue various libraries with different semantics together in a larger program with some history to it |
| 10:14:39 | <geekosaur> | and there are alternative preludes which even cater to this kind of thing |
| 10:14:56 | <Helle> | geekosaur: neat, good to know, though given larger existing program, eeeeh not now :P |
| 10:15:06 | <geekosaur> | (the downsides of which is they use fusion heavily to make it performant and if anything goes wrong and it doesn't fuse performance will tank) |
| 10:16:09 | → | freeside joins (~mengwong@103.252.202.85) |
| 10:16:31 | <ncf> | hmm i guess one problem with that definition of version is it will be recomputed every time it's used |
| 10:18:09 | × | mmhat quits (~mmh@p200300f1c70668b9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 10:18:18 | <Helle> | eh, that would not be a huge impact in this case |
| 10:18:54 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 10:20:51 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 10:22:16 | <chreekat> | ok wait with that definition you're saying that the value `version :: a` means "a value of type `a` that corresponds to the version of this package". I can say this makes me really uncomfortable, but it would take some time to articulate why. Perhaps because ... like, if you are worried about all the different string types you might need to use, how many *other* values will you need to create type classes for? It doesn't scale anywhere |
| 10:23:39 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:23:54 | <Helle> | chreekat: the only thing that is variable information that is shared between all the output file processors that is not heavily converted internally in them anyway is the version number |
| 10:27:10 | <chreekat> | So there are output file processors that differ on the string type they use? |
| 10:27:20 | <Helle> | chreekat: sadly yes |
| 10:27:44 | → | __monty__ joins (~toonn@user/toonn) |
| 10:28:34 | <Helle> | ncf: anyway, thank you for pointing out IsString, that worked a charm |
| 10:32:55 | × | gurkenglas quits (~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 10:37:46 | → | freeside joins (~mengwong@103.252.202.85) |
| 10:42:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 10:44:20 | → | barcisz joins (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
| 10:50:32 | × | pharonix71 quits (~pharonix7@user/pharonix71) (Ping timeout: 240 seconds) |
| 10:51:50 | × | dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
| 10:51:58 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 10:53:01 | → | pharonix71 joins (~pharonix7@user/pharonix71) |
| 10:56:08 | <dminuoso> | IsString is treacherous and should be abolished. |
| 10:56:13 | <dminuoso> | Right alongside of Read |
| 10:56:39 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 10:56:58 | <dminuoso> | Or well, I guess my beef is just with the function `read` itself |
| 10:57:22 | <jade[m]1> | I was about to ask - isn't it rather useful to have a generic parsing utility for simple types |
| 10:57:28 | <ski> | and people misusing `Show' for custom formatting / pretty-printing |
| 10:57:46 | ski | glares at `StdGen', and some other types |
| 10:58:18 | <fr33domlover> | o/ is it possible to have an (associated) type family that specifies a set of constraints? The code in this answer uses a single Constraint: https://stackoverflow.com/questions/31317159/constraintkinds-explained-on-a-super-simple-example What if I want let class instances specify any number of constraints and then "fold" them together? f :: |
| 10:58:19 | <fr33domlover> | [Constraint] -> ... |
| 10:58:57 | <dminuoso> | ski: Im a bit torn. Strictly speaking, there is no correlation between Read and Show. |
| 10:59:20 | <dminuoso> | ski: The Haskell Report imposes this `show . read ~ id` and "produces valid Haskell expressions" only for deriving generated instances. |
| 10:59:21 | <ski> | yes, that's another deficiency of the report. there ought to be a common subclass, with no methods |
| 10:59:32 | <dminuoso> | But not for the typeclasses themselves |
| 10:59:40 | <dminuoso> | (Or rather *manually* written instances) |
| 11:00:19 | <dminuoso> | From a programming point of view, turning something arbitrary into a textual representation is very useful. But we fell into this well a long time ago to have this mixed into Show. |
| 11:00:19 | <ski> | the derived instances (for parameterized data types) are intended to be combined together with instances for other data types |
| 11:00:38 | <fr33domlover> | (Ah I found my answer in GHC manual) |
| 11:01:38 | <dminuoso> | jade[m]1: Sure. I mean you could in principle use any parsing library you want for a Read instance |
| 11:01:39 | <ski> | this means that any `Show' or `Read' instances that doesn't fit into this pattern sticks out like a sore thumb, when a third party innocently tries to combine them (usually without even thinking about it) |
| 11:01:45 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:01:49 | <dminuoso> | jade[m]1: However, you lose the ability to generate errors with it. |
| 11:02:00 | <dminuoso> | readList :: ReadS [a] |
| 11:02:12 | <dminuoso> | This interface has no ability to produce an error to tell you anything. |
| 11:02:46 | <ski> | hm, looks like `StdGen' was actually fixed |
| 11:02:59 | ski | tries to recall other examples |
| 11:04:00 | <ncf> | dminuoso: what's your beef with IsString? |
| 11:04:25 | <ski> | (btw, i'm often sufficiently annoyed by the derived `Show' instance using record syntax, when i happen to be using that in `data' or `newtype', so that i hand-write my own instance (using `showsPrec', obviously) to avoid that) |
| 11:06:13 | <dminuoso> | ncf: `IsString IP` is treacherous. So it `IsString ByteString` |
| 11:06:36 | <dminuoso> | Ask yourself what a string literal containing UTF8 code points is going to do if instantiate that literal at BS.ByteString. |
| 11:06:43 | <dminuoso> | Or what you expect it to do |
| 11:06:55 | <ncf> | i'd expect it to error |
| 11:07:08 | <dminuoso> | An error would be disgusting because you couldn't reliably catch it |
| 11:07:09 | <dminuoso> | But no, its better. |
| 11:07:22 | <dminuoso> | It just truncates to word8 stuff. |
| 11:07:29 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 11:07:52 | <ncf> | hah |
| 11:08:03 | <ncf> | so it's really more like: IsString ByteString should be abolished |
| 11:08:13 | <dminuoso> | Well IsString invites bad/poor implementationbs |
| 11:08:21 | <dminuoso> | Even if it raised an error, you couldnt reliably catch it. |
| 11:08:31 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 11:08:50 | <dminuoso> | First it needs `evaluate` (which is rarely used), and even if its caught imprecise exception throwing semantics means trying to act upon it is a pointless excercise |
| 11:09:18 | <dminuoso> | And having entire programs blow up because of a typo in the middle of a literal isnt fun either. |
| 11:13:04 | <ski> | (compile-time, or run-time, error ?) |
| 11:13:09 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 11:17:43 | → | nate2 joins (~nate@98.45.169.16) |
| 11:22:47 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 11:26:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:30:03 | → | alternateved joins (~user@77-253-195-69.adsl.inetia.pl) |
| 11:36:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 11:40:02 | → | synbian joins (~synbian@45.182.92.127) |
| 11:43:03 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:43:05 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:47:49 | × | crvs quits (~crvs@212.37.18.202) (Remote host closed the connection) |
| 11:48:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 11:48:13 | → | crvs joins (~crvs@212.37.18.202) |
| 11:51:00 | <dminuoso> | ski: Sure, compile-time error would be fine - QQ is an adequate solution for that., |
| 11:52:22 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:56:37 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 11:59:26 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) |
| 12:00:43 | × | CiaoSen quits (~Jura@tmo-111-75.customers.d1-online.com) (Ping timeout: 260 seconds) |
| 12:01:04 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
| 12:02:45 | → | CiaoSen joins (~Jura@dynamic-046-114-219-226.46.114.pool.telefonica.de) |
| 12:06:08 | × | acidjnk quits (~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 12:10:56 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 12:12:17 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 12:12:29 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 12:13:19 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Client Quit) |
| 12:17:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 12:25:00 | → | vulfe joins (~vulfe@168.91.196.163) |
| 12:28:02 | → | smokyrobinson joins (~smokyrobi@149.19.169.188) |
| 12:29:41 | → | freeside joins (~mengwong@103.252.202.85) |
| 12:30:36 | → | myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 12:35:12 | × | smokyrobinson quits (~smokyrobi@149.19.169.188) (K-Lined) |
| 12:41:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 12:44:46 | → | tack joins (~tack@user/tack) |
| 12:47:25 | × | vpan quits (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 13:03:23 | → | freeside joins (~mengwong@103.252.202.85) |
| 13:05:05 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 13:08:00 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 13:12:23 | × | tack quits (~tack@user/tack) (Quit: leaving) |
| 13:13:53 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 13:15:02 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 13:15:24 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
| 13:24:40 | → | acidjnk joins (~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) |
| 13:26:16 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 13:29:30 | → | zaquest joins (~notzaques@5.130.79.72) |
| 13:30:27 | → | goober joins (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 13:32:27 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:32:27 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:32:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:34:28 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 13:35:47 | × | vulfe quits (~vulfe@168.91.196.163) (Quit: Leaving...) |
| 13:41:11 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 13:42:39 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
| 13:44:31 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 13:44:42 | → | michalz joins (~michalz@185.246.207.203) |
| 13:46:53 | → | freeside joins (~mengwong@103.252.202.85) |
| 13:52:08 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 13:53:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 13:53:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) |
| 13:58:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) (Ping timeout: 260 seconds) |
| 13:59:39 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 14:05:57 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 14:07:04 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 14:11:04 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 14:12:38 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 14:13:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 14:16:27 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
| 14:17:09 | × | Me-me quits (~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.) |
| 14:17:15 | Wstfgl0 | is now known as Me-me |
| 14:17:19 | × | Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 14:17:19 | → | Me-me joins (~me-me@user/me-me) |
| 14:18:47 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:22:59 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 14:24:28 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:401d:76e8:b1e5:2786) (Quit: WeeChat 2.8) |
| 14:25:09 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 14:25:48 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 14:25:58 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 14:26:35 | × | Vq quits (~vq@90-227-195-9-no77.tbcn.telia.com) (Read error: Connection reset by peer) |
| 14:26:44 | → | Vq joins (~vq@90-227-195-9-no77.tbcn.telia.com) |
| 14:27:44 | → | rnat joins (uid73555@id-73555.lymington.irccloud.com) |
| 14:30:21 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 14:31:29 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 14:33:11 | × | CiaoSen quits (~Jura@dynamic-046-114-219-226.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 14:36:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:38:51 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 256 seconds) |
| 14:41:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:41:42 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:42:24 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 14:43:12 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 14:49:54 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 14:50:08 | → | trev joins (~trev@user/trev) |
| 14:50:16 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:50:22 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 14:58:34 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:00:40 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:1cb0:311a:b5fe:ccc6) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 15:01:00 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:54ce:671d:b0ab:9bcb) |
| 15:02:53 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 256 seconds) |
| 15:11:57 | × | JScript quits (~JScript@103.137.12.172) (Ping timeout: 268 seconds) |
| 15:19:13 | → | nate2 joins (~nate@98.45.169.16) |
| 15:19:32 | → | JScript joins (~JScript@103.137.12.174) |
| 15:20:19 | × | Vq quits (~vq@90-227-195-9-no77.tbcn.telia.com) (Read error: Connection reset by peer) |
| 15:20:40 | × | vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Quit: Leaving...) |
| 15:23:01 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 15:23:45 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 15:24:41 | → | Vq joins (~vq@90-227-195-9-no77.tbcn.telia.com) |
| 15:32:25 | × | gurkenglas quits (~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 15:33:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) |
| 15:34:06 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 15:34:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 15:35:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:35:33 | → | rf joins (~rf@2605:59c8:179c:f610:9c8a:1396:9f5f:10fd) |
| 15:36:03 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 15:38:56 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:41:02 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:43:53 | → | img joins (~img@user/img) |
| 15:46:04 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 15:46:17 | × | Vq quits (~vq@90-227-195-9-no77.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 15:47:59 | × | lottaquestions quits (~nick@2607:fa49:503f:6d00:7d78:9c20:dd70:c4c8) (Read error: Connection reset by peer) |
| 15:53:09 | → | Vq joins (~vq@90-227-195-9-no77.tbcn.telia.com) |
| 15:54:27 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:57:55 | <carbolymer> | >systemToUTCTime $ MkSystemTime 8728097517656726399 3556790486 |
| 15:58:10 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:00:14 | × | paul_j quits (~user@2001:8b0:dea0:f3c9:cd47:c8b0:d6:5463) (Quit: Asta la vista) |
| 16:03:37 | → | l8star joins (~l8star@p4ff7ac3f.dip0.t-ipconnect.de) |
| 16:05:34 | <carbolymer> | welp, it's a bug https://github.com/haskell/time/issues/242 |
| 16:08:09 | <merijn> | is that invalid? |
| 16:08:42 | <merijn> | I'm not certain |
| 16:08:55 | <carbolymer> | I'd expect to get a correct UTCTime from systemToUTCTime |
| 16:09:06 | × | gemmaro quits (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
| 16:09:49 | <geekosaur> | I think it's documented that there can only be one leap second in a minute. also that it can't know about future leap seconds |
| 16:10:34 | <geekosaur> | so 60.xxx would be possible but invalid for a date so far in the future, and 62.xxx should never happen |
| 16:10:38 | <merijn> | geekosaur: I mean, you can't know about future UTCTime's in a sensible manner anyway, so there's that. But yeah, I'm certainly not certain that 62 seconds invalid, given that 61 is not |
| 16:10:40 | <c_wraith> | I'm pretty sure a double leap-second could exist. |
| 16:10:52 | <c_wraith> | but they never issued one |
| 16:11:01 | <c_wraith> | and 62.x would be a triple |
| 16:11:05 | <merijn> | I would certainly not dare assert 62 seconds is invalid without diving into specs |
| 16:11:48 | <merijn> | carbolymer: I mean, I'd argue your systemtime is invalid to begin with |
| 16:12:20 | <merijn> | carbolymer: Since it exceeds 1e9, which is the documented range for it |
| 16:12:25 | <c_wraith> | and didn't I hear something about a recent decision not to issue more leap-seconds in the future? |
| 16:12:34 | × | crvs quits (~crvs@212.37.18.202) (Read error: Connection reset by peer) |
| 16:13:00 | <merijn> | c_wraith: I mean, afaik we're on track for a negative leap second, so uh, that'll be fun |
| 16:13:02 | <darkling> | I'm fairly sure I've seen that double leap seconds are planned for, but triple aren't (so 61 is valid according to current practices and expectations, but 62 isn't) |
| 16:13:18 | <merijn> | Anyway, this seems GIGO |
| 16:13:25 | <merijn> | Garbage In, Garbage Out |
| 16:13:36 | <darkling> | Yeah, the negative one's going to be a whole nother level of oops-a-daisy. |
| 16:13:38 | <carbolymer> | merijn: hmm, maybe, you maybe right |
| 16:14:06 | <carbolymer> | merijn: but still, I'd expect to blow up somewhere in the middle, this blew up in our test suite at UTCTime deserialization, so it's a bit surprising |
| 16:14:07 | <merijn> | carbolymer: Anyway, let me also reiterate my personal pet complaint of "never convert future times into UTC, it can't be done" :) |
| 16:14:26 | <merijn> | Which it sounds like you're doing |
| 16:14:30 | <darkling> | c_wraith: IIRC, they voted to postpone the decision on abandoning leap seconds. I think they'll be revisiting in 2028 or something. |
| 16:14:33 | <merijn> | And it will screw you :) |
| 16:14:45 | <c_wraith> | have I mentioned that I really like the idea of NominalDiffTime? just ignore these issues... |
| 16:18:18 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 16:19:23 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:24:45 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:391f:cdc5:98df:6b24) (Remote host closed the connection) |
| 16:26:18 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 16:28:05 | × | megaTherion quits (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:28:07 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 16:29:17 | → | megaTherion joins (~therion@unix.io) |
| 16:31:17 | × | megaTherion quits (~therion@unix.io) (Client Quit) |
| 16:32:25 | → | megaTherion joins (~therion@unix.io) |
| 16:35:58 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:36:05 | × | megaTherion quits (~therion@unix.io) (Client Quit) |
| 16:37:13 | → | megaTherion joins (~therion@unix.io) |
| 16:39:23 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 16:40:25 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 16:42:23 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:42:38 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 16:45:32 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 16:47:20 | × | rnat quits (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:53:41 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 16:53:47 | × | talismanick quits (~user@2601:204:ef80:6c80::a8e2) (Ping timeout: 260 seconds) |
| 16:55:32 | × | barcisz quits (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 16:59:53 | × | zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 17:00:31 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:01:38 | × | megaTherion quits (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:02:46 | → | megaTherion joins (~therion@unix.io) |
| 17:05:25 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 17:08:58 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 17:18:08 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 17:19:17 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:26:25 | → | troydm joins (~troydm@user/troydm) |
| 17:27:28 | → | econo joins (uid147250@user/econo) |
| 17:39:23 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 17:44:44 | → | Tops2 joins (~Topsi@dyndsl-095-033-142-052.ewe-ip-backbone.de) |
| 17:45:31 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 17:49:46 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 17:49:48 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 17:58:19 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 18:00:20 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 18:00:35 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 18:01:13 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:05:41 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 256 seconds) |
| 18:09:23 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 18:20:32 | → | mauke joins (~mauke@user/mauke) |
| 18:24:26 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 18:26:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:57:28 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:59:37 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 19:00:50 | × | alternateved quits (~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 250 seconds) |
| 19:04:37 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 19:14:03 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 19:14:48 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 19:16:51 | → | hmb joins (~hmb@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) |
| 19:17:02 | × | hmb quits (~hmb@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) (Client Quit) |
| 19:17:18 | → | hmb222 joins (~hmb222@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) |
| 19:20:45 | → | nate2 joins (~nate@98.45.169.16) |
| 19:21:09 | → | inversed joins (~inversed@bcdcac82.skybroadband.com) |
| 19:21:55 | <peutri> | anyone here into competitive programming (in Haskell)? I can't get my codejam/2022-1b/C (ASeDatAb) to pass, for likely stupid IO/environment reasons, I'd appreciate second looks/external opinions |
| 19:24:37 | <peutri> | oh dear lpaste doesn't appear to be a thing anymore — what's the go-to haskell pastebin nowadays? |
| 19:25:00 | <xerox> | @paste |
| 19:25:00 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 19:25:10 | <xerox> | just a random try |
| 19:25:18 | <peutri> | fine by me |
| 19:25:25 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 19:25:53 | <monochrom> | @where paste |
| 19:25:53 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 19:26:10 | <monochrom> | That one is better if there are multiple related files. |
| 19:27:12 | <monochrom> | I hate having to switch between two tabs just because code is in one tab and output is in another tab, no? |
| 19:27:58 | <peutri> | so https://paste.debian.net/1279435/ ; my code on the platform is TLE when on my machine (that's almost 10yo) it runs in 3s (10 allowed), most likely some hFlush call missing, but there's only really one place to put it and it's there so I'm puzzled |
| 19:28:22 | <monochrom> | Just yesterday I marked a report in which the student put 7 code examples (unexplained, but read on) on one page and their 7 explanations on the next page. I deducted marks for that. |
| 19:28:26 | <peutri> | any insights more than welcome |
| 19:29:11 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 19:29:36 | <xerox> | :t flip fix |
| 19:29:37 | <lambdabot> | b -> ((b -> c) -> b -> c) -> c |
| 19:29:45 | <peutri> | ha ha |
| 19:29:51 | <peutri> | I know wheree that comes from |
| 19:30:19 | <mauke> | hFlush makes things slower, not faster |
| 19:30:25 | <peutri> | “call a self-recursive function with this initial argument” |
| 19:30:31 | <peutri> | absolutely |
| 19:30:34 | <peutri> | but this is an interactive problem |
| 19:30:46 | <peutri> | no hFlush → judge waits forever and TLE |
| 19:31:01 | <peutri> | (hi mauke) |
| 19:32:29 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 19:33:15 | <mauke> | if it's interactive, why does the input start with the total number of (sub-)problems? |
| 19:33:43 | <peutri> | i'm somewhere between “why not” and “that's just the way it is” |
| 19:33:52 | <peutri> | it's not a part I have influence over |
| 19:34:08 | <peutri> | i SHOULD PROBABLY HAVE LINKED https://codingcompetitions.withgoogle.com/codejam/round/000000000087711b/0000000000acd29b MUCH EARLIER |
| 19:34:13 | <peutri> | err, CAPS-sorry |
| 19:34:42 | <monochrom> | peutri: byorgey is into competitive programming using Haskell. But I haven't seen him here lately. |
| 19:35:52 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 19:36:14 | <mauke> | man, I love FAQ pages that consist entirely of <script type="text/javascript" src="/static/vendor.11d1b319cb562c590e20.js"></script><script type="text/javascript" src="/static/main.d72eb2952db5a50f69eb.js"></script> |
| 19:36:36 | → | gmg joins (~user@user/gehmehgeh) |
| 19:36:38 | <mauke> | and fail to load because those scripts assume some third-party code from another site has been loaded first |
| 19:36:52 | <peutri> | the CJ FAQ? |
| 19:36:54 | <peutri> | I can distill |
| 19:37:10 | <peutri> | haskell-platform 8.4.4 |
| 19:38:03 | <peutri> | compile flags probably irrelevant, runtime +RTS -V0 -RTS |
| 19:38:28 | <monochrom> | I am all for all-caps if it's for self criticism. >:) |
| 19:38:44 | <peutri> | well ok compile flags -O2, that *could* be relevant |
| 19:38:55 | <peutri> | wait what |
| 19:39:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 19:39:12 | <peutri> | "ghc +RTS -V0 -RTS -rtsopts -O2 -o Solution Solution.hs" |
| 19:39:41 | → | trev joins (~trev@user/trev) |
| 19:39:41 | <peutri> | that "-rtsopts -O2" is suspicious to me for the first time in years |
| 19:39:59 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection) |
| 19:40:18 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) |
| 19:41:11 | <monochrom> | On unix, you can test "am I flushing properly" by the simple trick of: cat | yourprog | cat |
| 19:41:13 | <ncf> | so self-critical it only leaves "i" uncapitalised |
| 19:41:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:42:10 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:42:32 | <peutri> | no ok, -rtsopts takes an "=" else it means -rtsopts=all |
| 19:43:26 | <geekosaur> | did you want -with-rtsopts=-O2 ? |
| 19:43:35 | <peutri> | *I* didn't |
| 19:43:45 | <geekosaur> | -rtsopts specifies which ones you can use at runtime, -wiith-rtsopts specifies the ones to be compiled in |
| 19:43:52 | <peutri> | no, really, it appears to be ok, read it as equivalen "-rtsopts=all -O2" |
| 19:44:04 | <geekosaur> | okay |
| 19:44:13 | <peutri> | written the scary way |
| 19:45:12 | → | drdo3 joins (~drdo@bl8-153-185.dsl.telepac.pt) |
| 19:45:45 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
| 19:46:28 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 19:47:22 | <peutri> | monochrom: for simple cases, I guess yes, but “interactive” here means a meaningful interaction between judge and program that cat can't really reproduce |
| 19:47:36 | × | drdo quits (~drdo@bl14-14-164.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 19:47:36 | drdo3 | is now known as drdo |
| 19:48:55 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 19:49:06 | <monochrom> | Oh I mean you still has to manually enter one chunk of input and manually check that one chunk of output actually comes out. |
| 19:49:31 | <monochrom> | The point is defeating "line-buffered because terminal". |
| 19:49:53 | <peutri> | yeah I think those pieces of code are run out of terminal |
| 19:50:00 | <mauke> | the input cat is probably going to break things by buffering its output |
| 19:50:12 | <peutri> | so the usual line-buffering you could get used to doesn't apply |
| 19:50:31 | <monochrom> | Oh haha I forgot that one. |
| 19:51:06 | <peutri> | if you're really intending to try out, G provides both a runner and judge scripts, linked somewhere in the page |
| 19:51:22 | <monochrom> | OK I tested "cat | cat | cat | cat | cat" it's still interactive. |
| 19:51:36 | <peutri> | but they're obviously not perfect: It Works On My Machine |
| 19:52:27 | <peutri> | it even works on my machine with the actual judge program I assume they use: https://github.com/google/coding-competitions-archive/blob/main/codejam/2022/round_1b/asedatab/output_validators/validator/judge.java |
| 19:59:09 | → | dextaa joins (~DV@user/dextaa) |
| 19:59:34 | × | dextaa quits (~DV@user/dextaa) (Remote host closed the connection) |
| 20:01:24 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 20:01:47 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:02:03 | <peutri> | this is making me crazy, I'll try and see if *anyone* solved it in Haskell |
| 20:03:02 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 20:04:20 | → | dextaa joins (~DV@user/dextaa) |
| 20:12:54 | → | barcisz joins (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
| 20:13:35 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 20:14:44 | <peutri> | oh, a few attempts |
| 20:29:06 | × | l8star quits (~l8star@p4ff7ac3f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 20:30:41 | <peutri> | one with both tests' success: https://codingcompetitions.withgoogle.com/codejam/submissions/000000000087711b/00000000004b8496 |
| 20:35:05 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 20:35:06 | <peutri> | …and submitting his AC code gives TLE now |
| 20:35:09 | <peutri> | ok they have a bug |
| 20:40:04 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 20:41:49 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 20:42:15 | → | JScript2 joins (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
| 20:44:57 | × | JScript quits (~JScript@103.137.12.174) (Ping timeout: 268 seconds) |
| 20:46:37 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 20:47:16 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection) |
| 20:48:22 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 20:51:44 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 20:53:49 | × | JScript2 quits (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Read error: Connection reset by peer) |
| 20:55:08 | → | freeside joins (~mengwong@103.252.202.85) |
| 20:59:45 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 21:01:04 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:25 | → | kimiamania joins (~65804703@user/kimiamania) |
| 21:01:47 | → | Snardbafulator joins (~snardbafu@189.172.65.200) |
| 21:03:14 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 21:03:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:03:17 | <Snardbafulator> | Rosie O'Donnell gets feces shoved in her pussy Hot Pocket style in Tijuana by a famous Mexican folk singer! Read all about it here! https://justpaste.it/PesoPlumaAlabamaHotPocket |
| 21:04:02 | × | Snardbafulator quits (~snardbafu@189.172.65.200) (K-Lined) |
| 21:05:08 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 21:05:35 | → | sagax joins (~sagax_nb@user/sagax) |
| 21:07:29 | <peutri> | spam on liberachat? means we're legitimate right? |
| 21:08:08 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 21:12:47 | → | niko- joins (~niko-@189.162.132.77) |
| 21:12:48 | × | trev quits (~trev@user/trev) (Ping timeout: 240 seconds) |
| 21:14:26 | → | ph88 joins (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 21:14:39 | <ph88> | how can i get ghci to step into library code ? |
| 21:15:18 | <geekosaur> | you have to load the library as source (try prepending the module name with a `*`) |
| 21:17:23 | <ph88> | load when starting ghci with a command line flag or when i am already in ghci with :load or import ? |
| 21:17:47 | <geekosaur> | `:module +*Foo` or similar, I think |
| 21:18:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 21:20:04 | <niko-> | Rosie O'Donnell gets feces shoved in her pussy Hot Pocket style in Tijuana by a famous Mexican folk singer! Read all about it here! https://justpaste.it/PesoPlumaAlabamaHotPocket |
| 21:20:22 | <ph88> | thanks geekosaur |
| 21:20:49 | ChanServ | sets mode +o geekosaur |
| 21:20:55 | geekosaur | sets mode +b *!*@189.162.132.77 |
| 21:20:56 | niko- | is kicked by geekosaur (niko-) |
| 21:21:23 | <geekosaur> | apparently it's going to be a weekend of spam |
| 21:21:37 | geekosaur | sets mode -o geekosaur |
| 21:22:13 | <ncf> | maybe preemptively ban 189.* |
| 21:24:29 | <geekosaur> | litharge tells me that'll catch a legitimate user |
| 21:25:08 | → | Tobias_ joins (~Topsi@dyndsl-091-096-145-103.ewe-ip-backbone.de) |
| 21:26:04 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 21:27:48 | × | Tops2 quits (~Topsi@dyndsl-095-033-142-052.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 21:27:51 | Tobias_ | is now known as Tops2 |
| 21:35:04 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:37:37 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 21:41:35 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 21:42:18 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 21:46:35 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 21:55:40 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 21:56:55 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 22:00:41 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 22:05:14 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:05:16 | → | pavonia joins (~user@user/siracusa) |
| 22:07:17 | × | sagax quits (~sagax_nb@user/sagax) (Read error: Connection reset by peer) |
| 22:13:44 | × | acidjnk quits (~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:14:32 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 22:18:28 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:19:35 | <monochrom> | Haha almost miswrote on my course website: "We use GHC 9.7.2" |
| 22:27:15 | × | hmb222 quits (~hmb222@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) (Quit: Client closed) |
| 22:29:11 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:33:43 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 22:34:17 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 22:43:23 | → | vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 22:44:02 | → | merijn joins (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 22:44:28 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 22:49:01 | × | merijn quits (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:53:05 | × | pyook quits (~puke@user/puke) (Ping timeout: 240 seconds) |
| 22:58:09 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 22:58:39 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 23:06:45 | × | Tops2 quits (~Topsi@dyndsl-091-096-145-103.ewe-ip-backbone.de) (Remote host closed the connection) |
| 23:07:28 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 23:09:11 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:14:56 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:15:37 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 23:20:58 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 23:21:18 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 23:22:17 | → | nate2 joins (~nate@98.45.169.16) |
| 23:24:07 | → | falafel joins (~falafel@2603-8000-d700-115c-7507-1e22-c289-d21b.res6.spectrum.com) |
| 23:25:28 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 23:27:45 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 23:30:46 | <Nosrep> | you dont? |
| 23:32:46 | → | mauke_ joins (~mauke@user/mauke) |
| 23:34:08 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:34:08 | mauke_ | is now known as mauke |
| 23:38:16 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 23:45:07 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 256 seconds) |
| 23:48:43 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 23:49:30 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:52:44 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:57:35 | × | falafel quits (~falafel@2603-8000-d700-115c-7507-1e22-c289-d21b.res6.spectrum.com) (Ping timeout: 256 seconds) |
All times are in UTC on 2023-05-05.