Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 702 703 704 705 706 707 708 709 710 711 712 .. 5022
— 502,152 events total
2020-10-17 20:11:34 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-17 20:13:19 → rprije joins (~rprije@203-219-208-42.static.tpgi.com.au)
2020-10-17 20:13:58 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving)
2020-10-17 20:16:13 × Tops2 quits (~Tobias@dyndsl-095-033-019-139.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-10-17 20:17:17 → lnlsn joins (~lnlsn@189.100.212.150)
2020-10-17 20:18:05 → son0p joins (~son0p@181.136.122.143)
2020-10-17 20:18:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-17 20:21:42 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 20:23:00 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 20:25:03 × lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer)
2020-10-17 20:25:34 → karanlikmadde joins (~karanlikm@2a01:c23:641c:2200:c88d:7d7e:c962:437f)
2020-10-17 20:26:07 <{abby}> love the lambdabot command to ping all of the ops
2020-10-17 20:27:38 → Jonkimi727406120 joins (~Jonkimi@223.213.79.20)
2020-10-17 20:28:38 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 256 seconds)
2020-10-17 20:28:52 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-17 20:30:05 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 20:30:44 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-17 20:31:01 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-17 20:32:04 × Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 258 seconds)
2020-10-17 20:34:31 → man joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net)
2020-10-17 20:34:39 man is now known as Guest55558
2020-10-17 20:34:56 × Guest55558 quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-10-17 20:37:03 × plast1k_ quits (~plast1k_@196.207.181.246) (Ping timeout: 258 seconds)
2020-10-17 20:41:18 × geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-17 20:41:51 → abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-10-17 20:42:31 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-10-17 20:43:17 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection)
2020-10-17 20:43:45 → untseac joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-17 20:45:49 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-17 20:45:54 → knupfer joins (~Thunderbi@200116b82cc5f500858f4de08bca2329.dip.versatel-1u1.de)
2020-10-17 20:48:49 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-10-17 20:50:37 × knupfer quits (~Thunderbi@200116b82cc5f500858f4de08bca2329.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-17 20:52:48 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3)
2020-10-17 20:56:56 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 272 seconds)
2020-10-17 20:57:43 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 21:00:01 × netsoundW1 quits (~netsoundW@185.204.1.185) ()
2020-10-17 21:00:50 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-17 21:01:28 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection)
2020-10-17 21:02:11 → untseac joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-17 21:03:26 × chaosmasttter quits (~chaosmast@p200300c4a710fa0165702c806d7b3e40.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-17 21:03:42 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-17 21:06:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-17 21:06:47 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-17 21:08:43 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-17 21:10:52 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 272 seconds)
2020-10-17 21:11:16 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 21:11:58 → ashbreeze joins (~mark@72-161-252-32.dyn.centurytel.net)
2020-10-17 21:12:19 × jsynacek quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds)
2020-10-17 21:12:50 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-17 21:12:50 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-17 21:12:50 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-17 21:13:46 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-17 21:14:43 × _ashbreeze_ quits (~mark@72-161-252-240.dyn.centurytel.net) (Ping timeout: 260 seconds)
2020-10-17 21:17:51 × carldd102 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-17 21:18:14 → carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-10-17 21:18:59 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-17 21:20:28 hackage uniqueness-periods-vector-examples 0.13.0.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.13.0.0 (OleksandrZhabenko)
2020-10-17 21:21:31 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Ping timeout: 272 seconds)
2020-10-17 21:21:34 → CodeWeaver joins (49eff865@c-73-239-248-101.hsd1.wa.comcast.net)
2020-10-17 21:25:07 → _ashbreeze_ joins (~mark@72-161-252-32.dyn.centurytel.net)
2020-10-17 21:26:01 → fxg joins (~fxg@unaffiliated/fxg)
2020-10-17 21:26:22 × ashbreeze quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 256 seconds)
2020-10-17 21:27:51 × alp_ quits (~alp@2a01:e0a:58b:4920:a0a0:4e46:1a7b:c634) (Ping timeout: 272 seconds)
2020-10-17 21:30:39 → mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-17 21:33:07 <CodeWeaver> Got kind of an odd discrepancy in thunk (or maybe seq) behaviour...
2020-10-17 21:33:25 <CodeWeaver> for ghci in particular.
2020-10-17 21:33:27 <CodeWeaver> https://pastebin.pl/view/b4a4b142
2020-10-17 21:34:16 <CodeWeaver> If I run this in the interpreter, in stack ghci, must by asking main to run, q seems to get dethunked once. You can see the delay as it evaluates.
2020-10-17 21:34:19 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds)
2020-10-17 21:35:52 × CodeWeaver quits (49eff865@c-73-239-248-101.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-10-17 21:36:44 → CodeWeaver joins (49eff865@c-73-239-248-101.hsd1.wa.comcast.net)
2020-10-17 21:36:48 <CodeWeaver> Stupid disconnect.
2020-10-17 21:37:09 <CodeWeaver> If I use foo direction as in foo () in the interpreter, it again dethunks q just once.
2020-10-17 21:37:42 × coot quits (~coot@37.30.52.68.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-17 21:37:43 <CodeWeaver> But if I paste the let clause _from_ foo directly into the interpreter, it seems to dethunk q muiltiple times.
2020-10-17 21:37:48 → knupfer joins (~Thunderbi@87.123.206.163)
2020-10-17 21:39:48 <jil> Hello, working through theexampls of the book programming in haskel, I run into this problem https://paste.debian.net/1167620/
2020-10-17 21:39:50 <CodeWeaver> Funny thing is if I paste the entirety of the foo function (with a preceding let) into the interpreter and run _that_, it seems to dethunk q multiple times there too.
2020-10-17 21:40:07 <jil> The type signature for myand lacks an accompanying binding
2020-10-17 21:40:10 <CodeWeaver> Hoping someone smarter than me knows why the interpreter behaves differently under these circumstances.
2020-10-17 21:40:35 → ashbreeze joins (~mark@72-161-252-32.dyn.centurytel.net)
2020-10-17 21:41:16 <[exa]> CodeWeaver: weird... monomorphism restriction perhaps?
2020-10-17 21:41:28 <[exa]> (not sure if it would apply then though)
2020-10-17 21:42:13 <[exa]> jil: you need to say the type for the same identifier that you are defining; ie. there you are typing 'myand' and defining '&&'
2020-10-17 21:42:45 <[exa]> jil: if you rename it to: True `myand` True = True ... etc, it should work
2020-10-17 21:43:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 21:43:08 × _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 260 seconds)
2020-10-17 21:43:35 <CodeWeaver> jil: Or corresondingly, (&&) True True = True in the second half, so that you can see you're defining a function more obviously.
2020-10-17 21:44:26 <jil> ho I see. thank oyou
2020-10-17 21:44:31 <CodeWeaver> exa: Maybe, but I'm not quite smart enough to work out if that's the case. There's a subtlety here... loading in that file and evaluating foo (), as opposed to using a let foo _ = ... paste into the interpreter... the distinction eludes me.
2020-10-17 21:45:09 <[exa]> CodeWeaver: well, check the types, that should show if you're dreaded by the monomorphism
2020-10-17 21:45:39 <CodeWeaver> exa: Okay, there's a way to do that? How would I show the distinction? (My haskell's a bit rusty, and that's above my mental pay grade)
2020-10-17 21:45:49 <CodeWeaver> : can use the :t syntax in ghci but I don't know what I"m looking for.
2020-10-17 21:45:52 <[exa]> otherwise it's some subtlety in ghci perhaps, I really don't know much about that
2020-10-17 21:46:20 <[exa]> CodeWeaver: if it's MR, you will have the type of one binding defaulted, and one with a typeclass
2020-10-17 21:46:32 × ephemera_ quits (~E@122.34.1.187) (Read error: Connection reset by peer)
2020-10-17 21:46:43 <[exa]> and the typeclass materializes the "invisible" parameter that causes that memoization does not occur
2020-10-17 21:47:02 <[exa]> ...or perhaps add explicit type to foo and see
2020-10-17 21:47:27 <jil> ho I see. thank you
2020-10-17 21:47:29 × gioyik quits (~gioyik@190.67.155.46) (Quit: WeeChat 2.9)
←Prev  Next→
Page 1 .. 702 703 704 705 706 707 708 709 710 711 712 .. 5022

All times are in UTC.