Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 .. 5022
— 502,152 events total
2020-11-15 04:23:08 → HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-11-15 04:23:36 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-11-15 04:27:04 → borne joins (~fritjof@200116b864edc4004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-15 04:29:50 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-15 04:30:24 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-12.revip7.asianet.co.th)
2020-11-15 04:31:00 → falafel joins (~falafel@c-73-210-136-48.hsd1.il.comcast.net)
2020-11-15 04:34:22 × borne quits (~fritjof@200116b864edc4004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-15 04:36:01 → bitmagie joins (~Thunderbi@200116b8060a110035b58d6790a13a82.dip.versatel-1u1.de)
2020-11-15 04:38:52 → p0a joins (~user@unaffiliated/p0a)
2020-11-15 04:39:10 <p0a> Hello, why does my prgram hang after reading a file? https://paste.tomsmeding.com/SStWMb8v
2020-11-15 04:39:20 × falafel quits (~falafel@c-73-210-136-48.hsd1.il.comcast.net) (Ping timeout: 256 seconds)
2020-11-15 04:39:22 <p0a> It does what it's supposed to, but it never terminates
2020-11-15 04:39:40 × mmohammadi9812 quits (~mmohammad@5.115.158.2) (Quit: Quit)
2020-11-15 04:40:48 × DTZUZU quits (~DTZUZU@207.81.171.116) (Read error: Connection reset by peer)
2020-11-15 04:41:03 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-15 04:42:09 → DTZUZU joins (~DTZUZU@207.81.171.116)
2020-11-15 04:44:14 → shangxiao joins (~davids@101.181.159.140)
2020-11-15 04:45:43 <p0a> Ah I think I spotted the bug, it was a precedence issue around unless/>>
2020-11-15 04:46:05 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Quit: WeeChat 2.9)
2020-11-15 04:46:22 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-15 04:49:19 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Client Quit)
2020-11-15 04:49:44 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-15 04:51:27 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Client Quit)
2020-11-15 04:51:52 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2020-11-15 04:54:13 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-15 04:55:38 → subttle joins (~anonymous@unaffiliated/subttle)
2020-11-15 04:55:59 × blankhart quits (~blankhart@pool-100-35-219-3.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8)
2020-11-15 04:57:24 → Tario joins (~Tario@201.192.165.173)
2020-11-15 05:01:16 <dsal> is `buf == B.empty` meant to do the same thing as `null b`?
2020-11-15 05:02:43 → conal joins (~conal@64.71.133.70)
2020-11-15 05:07:20 <jle`> dsal: (if you mean B.null)
2020-11-15 05:08:53 → jakob_ joins (~textual@p200300f49f162200c05ea7117aa7f20b.dip0.t-ipconnect.de)
2020-11-15 05:09:31 <dsal> Oh, I was thinking of it as being Foldable, but it's improperly kinded.
2020-11-15 05:11:51 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-12.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-15 05:13:19 × jakob_ quits (~textual@p200300f49f162200c05ea7117aa7f20b.dip0.t-ipconnect.de) (Client Quit)
2020-11-15 05:18:28 → CMCDragonkai1 joins (~Thunderbi@124.19.3.250)
2020-11-15 05:20:50 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-15 05:23:40 × _xor quits (~xor@74.215.46.133) (Ping timeout: 260 seconds)
2020-11-15 05:26:01 hackage swiss-ephemeris 1.2.1.0 - Haskell bindings for the Swiss Ephemeris C library https://hackage.haskell.org/package/swiss-ephemeris-1.2.1.0 (lfborjas)
2020-11-15 05:28:03 × CMCDragonkai1 quits (~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2020-11-15 05:29:15 → christo joins (~chris@81.96.113.213)
2020-11-15 05:29:37 → day_ joins (~Unknown@unaffiliated/day)
2020-11-15 05:32:11 → johnw joins (~johnw@haskell/developer/johnw)
2020-11-15 05:32:17 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-15 05:33:14 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-11-15 05:33:14 day_ is now known as day
2020-11-15 05:35:30 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-11-15 05:36:43 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-15 05:39:43 → falafel_ joins (~falafel@c-73-210-136-48.hsd1.il.comcast.net)
2020-11-15 05:39:43 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-11-15 05:40:25 × texasmynsted quits (~texasmyns@212.102.45.115) (Ping timeout: 264 seconds)
2020-11-15 05:43:07 → texasmynsted joins (~texasmyns@212.102.45.118)
2020-11-15 05:43:29 <p0a> dsal: I wanted to write a program that does not load the file in memory so that it works with big files
2020-11-15 05:44:04 <p0a> Initially I wanted to also take care of exceptions (I'm used to error checking in C) but I realized that it'd only be for the shake of nicer error messages, since there's nothing to recover from/to.
2020-11-15 05:44:22 <p0a> ...I don't know why I'm telling you this. You didn't ask. :P sorry
2020-11-15 05:44:35 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
2020-11-15 05:44:43 <dsal> Heh, makes sense. But have you considered conduit?
2020-11-15 05:45:40 <p0a> No, but I'll take a look, thanks
2020-11-15 05:47:02 → _xor joins (~xor@74.215.46.133)
2020-11-15 05:47:38 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-15 05:48:08 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 05:49:04 × texasmynsted quits (~texasmyns@212.102.45.118) (Remote host closed the connection)
2020-11-15 05:49:16 <dsal> Oh, conduit will make the thing you're describing quite easy. :)
2020-11-15 05:50:02 → texasmynsted joins (~texasmyns@212.102.45.118)
2020-11-15 05:53:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-15 05:54:24 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-15 05:54:35 → christo joins (~chris@81.96.113.213)
2020-11-15 05:54:49 × texasmynsted quits (~texasmyns@212.102.45.118) (Ping timeout: 264 seconds)
2020-11-15 05:57:46 → spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net)
2020-11-15 05:58:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-15 05:59:25 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-11-15 05:59:52 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-11-15 06:00:01 × jchris quits (~jchris@193.56.252.12) ()
2020-11-15 06:03:08 → revtintin joins (~revtintin@42.61.242.247)
2020-11-15 06:04:33 <jophish> Why doesn't Foldable's null have the type: null :: Foldable t => t a -> Maybe (t Void)
2020-11-15 06:07:08 <MarcelineVQ> What is that expressing?
2020-11-15 06:07:42 <jophish> It's a proof that the 't' is empty by filling it with Void
2020-11-15 06:09:05 <glguy> jophish, that probably wouldn't be very useful, and wouldn't prove anything about whether or not the argument was empty
2020-11-15 06:09:11 <MarcelineVQ> Ah that makes more sense to me written that way, not sure you gian much though
2020-11-15 06:10:24 <jophish> glguy: sorry, I'm not sure I understand, how could it return a Void is a non empty 't'?
2020-11-15 06:10:49 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-11-15 06:11:23 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-15 06:11:28 <glguy> null :: [a] -> Maybe [Void]; null _ = Just []
2020-11-15 06:11:45 <glguy> the value that the [Void] is there doesn't prove anything about the argument being empty
2020-11-15 06:12:13 × bitmagie quits (~Thunderbi@200116b8060a110035b58d6790a13a82.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-15 06:12:15 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-15 06:12:17 <glguy> perhaps that's useful for some particular application, but it wouldn't be worth making Foldable more complicated in general
2020-11-15 06:12:35 → vacm joins (~vacwm@70.23.92.191)
2020-11-15 06:12:41 × vacm quits (~vacwm@70.23.92.191) (Client Quit)
2020-11-15 06:12:50 <jophish> Ah I see, in this case I wasn't envisioning null being a member of the Foldable type class
2020-11-15 06:13:21 <glguy> If it wasn't you wouldn't be able to implement null
2020-11-15 06:13:44 <jophish> yeah, I suppose that answers my question then :)
2020-11-15 06:14:04 <jophish> anyway this will have to do lol: null' t = if null t then Just (unsafeCoerce t) else Nothing
2020-11-15 06:14:31 <jophish> or if you're willing to add a functor instance, (error "what" <$ t) instead of unsafeCoerce
2020-11-15 06:17:37 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-12.revip7.asianet.co.th)
2020-11-15 06:17:40 <jophish> or I suppose you could have it as part of Foldable with some law to go with it
2020-11-15 06:18:48 × toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection)
2020-11-15 06:20:35 <p0a> "Exceptions can only be caught in the IO monad and, because of laziness, might not be thrown exactly where you expect."
2020-11-15 06:20:44 <p0a> Do you always catch them at the outmost level of execution?
2020-11-15 06:21:11 p0a is reading https://wiki.haskell.org/Dealing_with_binary_data
←Prev  Next→
Page 1 .. 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 .. 5022

All times are in UTC.