Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 .. 18040
— 1,803,901 events total
2021-07-31 00:21:39 <janus> tpefreedom: but aren't you supposed to be able to say that about any library? ;) especially in a pure functional language
2021-07-31 00:22:15 <janus> there are also Elm-clones, i dunno if those count as FRP, i think not. at least not in the way conor elliott (i think?) meant it originally
2021-07-31 00:22:39 <tpefreedom> janus, I just ignore the object oriented elements and treat them like any standard library function.
2021-07-31 00:23:06 <tpefreedom> Also, this is in python
2021-07-31 00:32:01 × lbseale quits (~lbseale@user/ep1ctetus) (Quit: Leaving)
2021-07-31 00:32:39 × MQ-17J quits (~MQ-17J@69.14.129.206) (Read error: Connection reset by peer)
2021-07-31 00:32:58 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-31 00:33:06 → agua joins (~agua@2804:14c:8793:8e2f:ecd5:11e0:50a0:f2fe)
2021-07-31 00:33:47 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-07-31 00:34:11 → Codaraxis joins (~Codaraxis@user/codaraxis)
2021-07-31 00:35:01 × bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-31 00:35:30 → pesada joins (~agua@2804:18:70:7597:1:0:6e99:2d6f)
2021-07-31 00:35:37 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-31 00:35:50 × Core7498 quits (~agua@2804:18:70:7597:1:0:6e99:2d6f) (Ping timeout: 272 seconds)
2021-07-31 00:37:44 × agua quits (~agua@2804:14c:8793:8e2f:ecd5:11e0:50a0:f2fe) (Ping timeout: 272 seconds)
2021-07-31 00:38:06 × pesada quits (~agua@2804:18:70:7597:1:0:6e99:2d6f) (Read error: Connection reset by peer)
2021-07-31 00:38:31 → agua joins (~agua@2804:18:70:7597:1:0:6e99:2d6f)
2021-07-31 00:39:06 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-31 00:40:09 → pesada joins (~agua@2804:14c:8793:8e2f:ecd5:11e0:50a0:f2fe)
2021-07-31 00:40:16 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 272 seconds)
2021-07-31 00:42:25 → P1RATEZ joins (piratez@user/p1ratez)
2021-07-31 00:42:34 × agua quits (~agua@2804:18:70:7597:1:0:6e99:2d6f) (Ping timeout: 240 seconds)
2021-07-31 00:42:48 → agua joins (~agua@2804:18:70:7597:1:0:6e99:2d6f)
2021-07-31 00:46:31 × alx741 quits (~alx741@181.196.69.85) (Quit: alx741)
2021-07-31 00:47:14 × pesada quits (~agua@2804:14c:8793:8e2f:ecd5:11e0:50a0:f2fe) (Ping timeout: 272 seconds)
2021-07-31 00:48:49 × Atum_ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer)
2021-07-31 00:49:30 → Guest4 joins (~Guest4@173-28-193-122.client.mchsi.com)
2021-07-31 00:52:07 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-31 00:52:08 → fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-07-31 00:53:08 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Client Quit)
2021-07-31 00:53:15 <delYsid> omg, OverloadedRecordDot
2021-07-31 00:53:26 <delYsid> this looks wrong
2021-07-31 00:54:31 <yushyin> :D
2021-07-31 00:58:17 × chomwitt quits (~chomwitt@2a02:587:dc0c:a300:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-07-31 01:00:47 → mud joins (~mud@user/kadoban)
2021-07-31 01:02:03 × kadobanana quits (~mud@user/kadoban) (Ping timeout: 265 seconds)
2021-07-31 01:10:40 × xff0x quits (~xff0x@2001:1a81:532e:4200:ef34:239:52ff:ac71) (Ping timeout: 272 seconds)
2021-07-31 01:12:05 → xff0x joins (~xff0x@2001:1a81:536d:8c00:2d4:a9e1:415e:5f77)
2021-07-31 01:21:22 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds)
2021-07-31 01:22:38 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-31 01:25:24 × zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-31 01:29:28 → goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com)
2021-07-31 01:31:09 <pavonia> In what way is this syntax overloaded?
2021-07-31 01:31:42 <dsal> :t (.) -- this is the common meaning of .
2021-07-31 01:31:43 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2021-07-31 01:32:07 <c_wraith> It's not the first overloading of .
2021-07-31 01:32:11 <c_wraith> But that only makes it worse.
2021-07-31 01:32:33 <c_wraith> Still won't be as bad as the C++ game "what does const mean here?", but it's pretty silly
2021-07-31 01:33:07 <pavonia> Hhm, my understanding of the name is that there already is a "record dot" which can be overloaded by enabling the extension
2021-07-31 01:33:57 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-31 01:36:16 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-31 01:37:42 → lavaman joins (~lavaman@98.38.249.169)
2021-07-31 01:38:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-31 01:39:03 <dsal> I'm not very interested in this particular addition. lens is pretty good for this, though they separated the 'get' and 'update' mechanisms into separate classes with separate behaviors here. That's kind of neat. It's a bit harder to have an update in lens for all reasonable gets.
2021-07-31 01:41:27 × Guest4 quits (~Guest4@173-28-193-122.client.mchsi.com) (Quit: Client closed)
2021-07-31 01:42:10 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-07-31 01:44:56 <yushyin> pavonia: it is part of the recorddotsyntax proposal, which was split into two extensions, one of them is OverloadedRecordDot. you can see the changes and discussion here https://github.com/ghc-proposals/ghc-proposals/pull/405
2021-07-31 01:48:45 <pavonia> Thanks
2021-07-31 01:52:24 → wei2912 joins (~wei2912@112.199.250.21)
2021-07-31 01:57:38 × bruceleewees quits (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds)
2021-07-31 01:59:23 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-31 01:59:59 → berberman_ joins (~berberman@user/berberman)
2021-07-31 02:01:26 × berberman quits (~berberman@user/berberman) (Ping timeout: 268 seconds)
2021-07-31 02:02:44 → img joins (~img@user/img)
2021-07-31 02:13:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-31 02:21:43 → xkuru joins (~xkuru@user/xkuru)
2021-07-31 02:25:44 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-07-31 02:25:44 FinnElija is now known as Guest8580
2021-07-31 02:25:44 × Guest8580 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (copper.libera.chat (Nickname regained by services)))
2021-07-31 02:25:44 finn_elija is now known as FinnElija
2021-07-31 02:27:58 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-31 02:31:13 → vicfred_ joins (~vicfred@user/vicfred)
2021-07-31 02:33:40 × vicfred quits (~vicfred@user/vicfred) (Ping timeout: 256 seconds)
2021-07-31 02:38:47 <delYsid> :t liftM2
2021-07-31 02:38:48 <lambdabot> Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
2021-07-31 02:40:58 <delYsid> @hoogle (a -> b -> m c) -> m a -> m b -> m c
2021-07-31 02:40:59 <lambdabot> Control.Monad.HT liftJoin2 :: Monad m => (a -> b -> m c) -> m a -> m b -> m c
2021-07-31 02:40:59 <lambdabot> Util bind2 :: Monad m => (a -> b -> m c) -> m a -> m b -> m c
2021-07-31 02:40:59 <lambdabot> Numeric.Decimal bindM2 :: Monad m => (a -> b -> m c) -> m a -> m b -> m c
2021-07-31 02:42:45 → gzj joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-31 02:44:34 → Guest4 joins (~Guest4@173-28-193-122.client.mchsi.com)
2021-07-31 02:46:08 × ddb quits (~ddb@2607:5300:61:c67::196) (Quit: WeeChat 3.2)
2021-07-31 02:46:22 → ddb joins (~ddb@2607:5300:61:c67::196)
2021-07-31 02:49:16 → Null_A joins (~null_a@67-207-96-2.static.wiline.com)
2021-07-31 02:52:43 × ddb quits (~ddb@2607:5300:61:c67::196) (Quit: WeeChat 3.2)
2021-07-31 02:52:57 → ddb joins (~ddb@2607:5300:61:c67::196)
2021-07-31 02:53:50 → Patrick18 joins (~Patrick18@pool-100-36-167-42.washdc.fios.verizon.net)
2021-07-31 02:58:16 × td_ quits (~td@94.134.91.212) (Ping timeout: 272 seconds)
2021-07-31 02:59:23 <Patrick18> Could anyone here help me figure out how to profile builds with cabal? I've tried cabal v2-configure --enable-profiling and then cabal v2-build but I get an error:
2021-07-31 02:59:43 → td_ joins (~td@muedsl-82-207-238-147.citykom.de)
2021-07-31 02:59:49 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-31 03:00:00 <Patrick18> Could not find module 'Prelude' Perhaps you haven't installed the profiling libraries for package 'base-4.12.0.0'?
2021-07-31 03:00:38 <sclv> Patrick18: how did you install ghc?
2021-07-31 03:00:48 <Patrick18> ghcup I believe
2021-07-31 03:01:08 <sclv> ghcup should install profiling libs by default
2021-07-31 03:01:27 <sclv> sometimes ubuntu installs or the like don’t and you need an additional rpm
2021-07-31 03:01:40 → vicfred__ joins (~vicfred@user/vicfred)
2021-07-31 03:02:15 <sclv> ‘which ghc’ could help confirm
2021-07-31 03:03:16 <Patrick18> It's probably not ghcup then. I get /usr/bin/ghc
2021-07-31 03:04:08 × vicfred_ quits (~vicfred@user/vicfred) (Ping timeout: 250 seconds)
←Prev  Next→
Page 1 .. 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 .. 18040

All times are in UTC.