Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 .. 18040
— 1,803,961 events total
2021-08-02 21:50:35 <lambdabot> Plugin `compose' failed with: user error (Unknown command: "")
2021-08-02 21:51:08 <arkho> Because it's not my code, it's a dependency of a package I'm trying to install.
2021-08-02 21:51:59 <arkho> It won't build because it can't import that module, and I don't know what to do with that.
2021-08-02 21:52:12 × acidjnk_new quits (~acidjnk@p200300d0c72b9591e9224ac295505d06.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-02 21:54:56 <arkho> My main question is, is it a Cabal thing, a GHC thing, or a Haskell thing? Where's the switch?
2021-08-02 21:55:11 <davean> It depends on where you turned it on
2021-08-02 21:55:40 <arkho> I don't recall ever doing that.
2021-08-02 21:57:21 <geekosaur> in any case, scientific 0.3.7.0 claims to be Safe Haskell-safe, so you should make sure you're using that version with Safe Haskell
2021-08-02 21:57:52 → mastarija_ joins (~mastarija@31.217.8.174)
2021-08-02 22:00:19 × michalz quits (~michalz@185.246.204.40) (Remote host closed the connection)
2021-08-02 22:00:59 <arkho> How do I check which version of scientific I have?
2021-08-02 22:01:19 × mastarija quits (~mastarija@31.217.8.174) (Ping timeout: 265 seconds)
2021-08-02 22:01:22 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-08-02 22:03:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-02 22:03:37 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-08-02 22:05:04 × Zemyla_ quits (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (Ping timeout: 258 seconds)
2021-08-02 22:05:07 <geekosaur> cabal should have output it while building the package's dependencies
2021-08-02 22:06:13 → son0p joins (~ff@181.136.122.143)
2021-08-02 22:06:19 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-08-02 22:06:29 → fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-08-02 22:06:29 → epolanski joins (uid312403@id-312403.brockwell.irccloud.com)
2021-08-02 22:14:03 → zebrag joins (~chris@user/zebrag)
2021-08-02 22:20:16 × drd quits (~drd@151.37.160.53) (Ping timeout: 272 seconds)
2021-08-02 22:21:58 → drd joins (~drd@151.57.228.213)
2021-08-02 22:23:11 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-08-02 22:26:32 → bgamari joins (~bgamari@2001:470:e438::1)
2021-08-02 22:36:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-02 22:41:01 → dajoer joins (~david@user/gvx)
2021-08-02 22:41:09 → burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-02 22:41:39 → cjb joins (~cjb@user/cjb)
2021-08-02 22:42:38 × drd quits (~drd@151.57.228.213) (Ping timeout: 258 seconds)
2021-08-02 22:43:42 × agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) (Ping timeout: 272 seconds)
2021-08-02 22:45:42 × burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 258 seconds)
2021-08-02 22:46:17 → drd joins (~drd@151.57.228.213)
2021-08-02 22:48:04 × mastarija_ quits (~mastarija@31.217.8.174) (Quit: Leaving)
2021-08-02 22:50:02 × vysn quits (~vysn@user/vysn) (Ping timeout: 272 seconds)
2021-08-02 22:51:06 × acidjnk_new3 quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-08-02 22:51:23 → agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b)
2021-08-02 22:54:09 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-08-02 22:54:39 × Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-02 23:00:47 × sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection)
2021-08-02 23:01:14 → agua joins (~agua@2804:18:7f:1e53:1:0:7e70:81d)
2021-08-02 23:02:02 × CannabisIndica quits (~mesa@user/mesaboogie) (Quit: ZNC - https://znc.in)
2021-08-02 23:03:51 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-08-02 23:05:18 → mesa joins (~mesa@user/mesaboogie)
2021-08-02 23:05:51 mesa is now known as CannabisIndica
2021-08-02 23:05:52 × Core3678 quits (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) (Ping timeout: 272 seconds)
2021-08-02 23:10:23 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-08-02 23:10:26 × drd quits (~drd@151.57.228.213) (Ping timeout: 265 seconds)
2021-08-02 23:12:11 × meinside_ quits (uid24933@id-24933.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-02 23:15:37 × fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2)
2021-08-02 23:22:37 → lavaman joins (~lavaman@98.38.249.169)
2021-08-02 23:34:44 → Atum_ joins (~IRC@user/atum/x-2392232)
2021-08-02 23:35:05 <delYsid> @hoogle [Maybe a] -> [a]
2021-08-02 23:35:06 <lambdabot> Data.Maybe catMaybes :: [Maybe a] -> [a]
2021-08-02 23:35:07 <lambdabot> System.Directory.Internal.Prelude catMaybes :: () => [Maybe a] -> [a]
2021-08-02 23:35:07 <lambdabot> Distribution.Compat.Prelude.Internal catMaybes :: [Maybe a] -> [a]
2021-08-02 23:36:16 × shailangsa quits (~shailangs@host86-186-196-233.range86-186.btcentralplus.com) (Ping timeout: 272 seconds)
2021-08-02 23:39:58 <lechner> Hi, it seems that getArgs attempts to translate UTF-8 byte strings to Unicode code points. Was getArgsBytes mentioned here ever implemented? Thanks! https://gitlab.haskell.org/ghc/ghc/-/issues/3309
2021-08-02 23:44:18 × Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-02 23:44:46 <geekosaur> you want https://downloads.haskell.org/ghc/latest/docs/html/libraries/unix-2.7.2.2/System-Posix-Env-ByteString.html#v:getArgs
2021-08-02 23:51:09 → Codaraxis_ joins (~Codaraxis@user/codaraxis)
2021-08-02 23:55:23 × Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2021-08-02 23:56:23 → ironsoba joins (~z@193.36.225.59)
2021-08-03 00:00:11 → pesada joins (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625)
2021-08-03 00:03:45 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-08-03 00:04:42 × agua quits (~agua@2804:18:7f:1e53:1:0:7e70:81d) (Ping timeout: 272 seconds)
2021-08-03 00:04:54 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 276 seconds)
2021-08-03 00:06:03 → Shailangsa_ joins (~shailangs@host86-185-98-7.range86-185.btcentralplus.com)
2021-08-03 00:06:18 × juhp quits (~juhp@bb116-14-48-29.singnet.com.sg) (Ping timeout: 240 seconds)
2021-08-03 00:06:45 × Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-08-03 00:07:01 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-03 00:14:34 → benjaminhodgson joins (~benjaminh@cpe-74-71-15-134.nyc.res.rr.com)
2021-08-03 00:16:00 <benjaminhodgson> hello haskell friends! i was wondering if anyone here could help me dredge through the memory banks. I seem to remember reading a blog post in which the author showed that McBride-style indexed monads were equivalent in power to Atkey-style ones. Does anyone here remember such a post?
2021-08-03 00:16:22 <benjaminhodgson> i asked on reddit but no one seemed to recognise it, so i'm trying here :)
2021-08-03 00:17:10 <benjaminhodgson> The post would've been at least a couple of years ago
2021-08-03 00:19:28 <benjaminhodgson> When I say "equivalent in power", I mean they managed to figure out a way to turn an Atkey monad into a McBride one, which is obviously quite interesting because the McBride ones seem more powerful
2021-08-03 00:20:24 → oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b)
2021-08-03 00:20:46 <geekosaur> hm? wouldn't the other way around indicate that better, then?
2021-08-03 00:21:40 <benjaminhodgson> It's easy to turn a McBride monad into an Atkey one; this post was interesting since they managed to do it the other way as well
2021-08-03 00:21:57 <benjaminhodgson> just trying to find the post so i can reread it :)
2021-08-03 00:22:28 <benjaminhodgson> im just trying to find the post so i can reread it :)
2021-08-03 00:23:46 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-08-03 00:24:07 → jao joins (jao@gateway/vpn/protonvpn/jao)
2021-08-03 00:24:08 <benjaminhodgson> or perhaps i'm going mad and i've imagined the whole thing.
2021-08-03 00:26:25 <Axman6> Maybe you were predicting the future and you need to write it
2021-08-03 00:26:33 × benjaminhodgson quits (~benjaminh@cpe-74-71-15-134.nyc.res.rr.com) (Quit: Client closed)
2021-08-03 00:27:28 → benjaminhodgson joins (~benjaminh@cpe-74-71-15-134.nyc.res.rr.com)
2021-08-03 00:27:39 <benjaminhodgson> lol, a future in which i am much cleverer than i am
2021-08-03 00:27:58 <Axman6> this is just tying the knot
2021-08-03 00:28:27 <Axman6> the result will become more defined as it becomes more defined
2021-08-03 00:28:51 <c_wraith> unless it diverges and attempting to examine it will unravel the universe
2021-08-03 00:29:18 → chris__ joins (~chris@81.96.113.213)
2021-08-03 00:29:38 <Axman6> from a type perspective, that is fine though
2021-08-03 00:30:21 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:6c0c:93c2:73f6:e346)
2021-08-03 00:32:06 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-03 00:32:17 × hsiktas[m] quits (~hsiktasma@2001:470:69fc:105::30d4) (Write error: Connection reset by peer)
2021-08-03 00:32:17 × wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Read error: Connection reset by peer)
2021-08-03 00:32:17 × deuslambda[m] quits (~deuslambd@2001:470:69fc:105::c749) (Read error: Connection reset by peer)
2021-08-03 00:32:17 × fakehacker[m] quits (~fakehacke@2001:470:69fc:105::b5f0) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 .. 18040

All times are in UTC.