Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 .. 5022
— 502,152 events total
2020-11-01 22:56:12 <dolio> It might not have been accidental. I don't recall if there was a 'strict' one at the time. I don't really recall thinking it was a big deal, though.
2020-11-01 22:56:12 <davean> Like Strict and Lazy state are litterly entirely different things, conceptually.
2020-11-01 22:56:45 <davean> dolio: sure
2020-11-01 22:56:52 <davean> I'm more addressing Tuplanolla's point
2020-11-01 22:57:07 <davean> but comparing one alg in strict and an entirely different one in lazy isn't a comparison
2020-11-01 22:57:13 → strattog joins (~strattog@154.13.1.56)
2020-11-01 22:57:26 <davean> you should know which alg you're using, and you'll get the strict performance or better in a non-strict language.
2020-11-01 22:57:44 <davean> (Well, coefficients can differ, though not usually much - interesting discussion that)
2020-11-01 22:57:47 → teardown joins (~user@gateway/tor-sasl/mrush)
2020-11-01 22:58:22 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-01 22:58:57 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2020-11-01 22:59:28 <davean> Shortest path is also faster than all-pairs shortest path, unless you want all pairs shortest path
2020-11-01 23:03:25 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-01 23:03:41 × totte quits (~totte@chakra/totte) (Ping timeout: 256 seconds)
2020-11-01 23:03:49 × LKoen quits (~LKoen@127.251.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-01 23:03:49 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-01 23:06:04 × howdoi quits (uid224@gateway/web/irccloud.com/x-czxukgvxykkjyknw) (Quit: Connection closed for inactivity)
2020-11-01 23:06:37 × sawebb_ quits (~sawebb@75.115.195.184) (Ping timeout: 258 seconds)
2020-11-01 23:07:53 <hoppfull> I have a Q MyType. Is there no way of getting MyType out? Am I missing something here? Am I supposed to coerce it or something? runQ only seems to evaluate the expression at runtime.
2020-11-01 23:07:56 → totte joins (~totte@chakra/totte)
2020-11-01 23:08:23 <dolio> Q is a monad, right?
2020-11-01 23:09:35 <hoppfull> Yeah
2020-11-01 23:09:51 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-01 23:09:57 <hoppfull> So what's the point of template haskell?
2020-11-01 23:10:17 <dolio> To generate Haskell code programatically at compile time.
2020-11-01 23:10:17 <hoppfull> I got the impression I could read files and stuff on compile time with runIO
2020-11-01 23:13:48 → Guest_70 joins (0253f68a@bl22-246-138.dsl.telepac.pt)
2020-11-01 23:14:01 × ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 264 seconds)
2020-11-01 23:15:39 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-01 23:16:04 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-11-01 23:16:25 × Guest_70 quits (0253f68a@bl22-246-138.dsl.telepac.pt) (Remote host closed the connection)
2020-11-01 23:16:50 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:44d9:76d7:3eb0:9793) (Ping timeout: 264 seconds)
2020-11-01 23:17:23 <cheater> that's not what runIO is for
2020-11-01 23:17:25 <cheater> :t runIO
2020-11-01 23:17:27 <lambdabot> error: Variable not in scope: runIO
2020-11-01 23:17:27 <dolio> Well, in the error message you mentioned above, it wasn't even complaining about the Q part, it was complaining that the things inside the Q didn't match.
2020-11-01 23:19:03 × hoppfull quits (55e07432@c-3274e055.19-9-64736c10.bbcust.telenor.se) (Remote host closed the connection)
2020-11-01 23:19:13 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-whgkwnxufenzozzn) (Quit: Connection closed for inactivity)
2020-11-01 23:19:14 → ski joins (~ski@nc-2504-30.studat.chalmers.se)
2020-11-01 23:21:26 <dolio> Ergo, you don't need to 'get something out' of Q, you need to use it like any other monad.
2020-11-01 23:22:24 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:955d:b3db:6b4c:c2ab)
2020-11-01 23:22:30 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-arvrrpvtmfjsqvdb) (Quit: Connection closed for inactivity)
2020-11-01 23:23:49 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-01 23:24:00 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-01 23:24:19 × ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 260 seconds)
2020-11-01 23:24:27 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds)
2020-11-01 23:24:49 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-11-01 23:24:55 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-01 23:25:58 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-11-01 23:26:15 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-01 23:26:39 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-01 23:26:40 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-01 23:28:24 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-01 23:28:42 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-01 23:31:42 × Tops21 quits (~Tobias@dyndsl-095-033-023-063.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-01 23:32:52 × son0p quits (~son0p@181.136.122.143) (Remote host closed the connection)
2020-11-01 23:34:03 → ski joins (~ski@nc-2504-30.studat.chalmers.se)
2020-11-01 23:35:45 → unihernandez22 joins (~Unai@168.197.200.20)
2020-11-01 23:36:54 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-01 23:41:52 → argent0 joins (~argent0@168.227.96.4)
2020-11-01 23:42:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-01 23:43:09 <unihernandez22> Hi
2020-11-01 23:44:00 hackage GPipe-GLFW 1.4.1.4 - GLFW OpenGL context creation for GPipe https://hackage.haskell.org/package/GPipe-GLFW-1.4.1.4 (plredmond)
2020-11-01 23:44:01 × unihernandez22 quits (~Unai@168.197.200.20) (Quit: Leaving)
2020-11-01 23:44:44 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-kktozexnvkkmtbir)
2020-11-01 23:47:06 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-01 23:48:01 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 258 seconds)
2020-11-01 23:49:46 × thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 265 seconds)
2020-11-01 23:51:00 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-01 23:51:17 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-01 23:51:18 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-01 23:51:47 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-01 23:52:06 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-01 23:52:35 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-01 23:52:47 → thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
2020-11-01 23:54:44 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-01 23:58:56 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-01 23:59:51 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-02 00:00:02 × strattog quits (~strattog@154.13.1.56) ()
2020-11-02 00:00:07 × atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2020-11-02 00:00:32 → atk joins (~Arch-TK@erebus.the-tk.com)
2020-11-02 00:02:17 → conal joins (~conal@64.71.133.70)
2020-11-02 00:02:25 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 00:02:46 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-02 00:04:05 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-02 00:08:02 → sajith joins (~sajith@fsf/member/nonzen)
2020-11-02 00:08:37 → sajith_ joins (~sajith@fsf/member/nonzen)
2020-11-02 00:09:21 → Gurkenglas_ joins (Gurkenglas@gateway/vpn/protonvpn/gurkenglas)
2020-11-02 00:10:05 × mimi_vx quits (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c) (Ping timeout: 268 seconds)
2020-11-02 00:12:52 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-11-02 00:14:04 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
2020-11-02 00:14:38 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-02 00:17:52 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-02 00:19:36 × nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
2020-11-02 00:19:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-02 00:20:19 → conal joins (~conal@198.8.81.68)
2020-11-02 00:20:42 → sam___ joins (~sam@75.116.205.77.rev.sfr.net)
2020-11-02 00:23:13 → nckx joins (~nckx@tobias.gr)
2020-11-02 00:24:31 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-02 00:24:52 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
←Prev  Next→
Page 1 .. 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 .. 5022

All times are in UTC.