Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 828 829 830 831 832 833 834 835 836 837 838 .. 5022
— 502,152 events total
2020-10-23 20:54:01 <monsterchrom> Yes.
2020-10-23 20:54:04 <ghoulguy> pomiiu: yup
2020-10-23 20:54:13 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-23 20:55:02 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-23 20:55:17 <pomiiu> There are lots of packages like indent that I think assume stack. Like hindent, which suggests "stack install hindent" to install. Is it just "cabal install hindent" then?
2020-10-23 20:55:41 → Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net)
2020-10-23 20:55:46 <maerwald> prefer: cabal install --install-method=copy --overwrite-policy=always
2020-10-23 20:55:54 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
2020-10-23 20:56:05 <maerwald> which is closer to what stack does too
2020-10-23 20:56:06 <monsterchrom> You should just try. Add "--dry-run" for a preview of what would be involved.
2020-10-23 20:56:07 × jbox quits (~atlas@unaffiliated/jbox) (Ping timeout: 272 seconds)
2020-10-23 20:56:18 <pomiiu> Ah okay. Thanks.
2020-10-23 20:56:57 → hodapp joins (~hodapp@react-ams-119225.antiddos.solutions)
2020-10-23 20:56:59 → jathan joins (~jathan@69.61.93.38)
2020-10-23 20:57:26 → Gerula joins (~Gerula@unaffiliated/gerula)
2020-10-23 20:59:42 × thir quits (~thir@p200300f27f19de001ce90606181a98e7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 21:00:02 × NS-DonaldL quits (~NS-Donald@178.238.229.54) ()
2020-10-23 21:00:16 → britva joins (~britva@2a02:aa13:7240:2980:15e:53b7:85f5:d29f)
2020-10-23 21:00:40 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 272 seconds)
2020-10-23 21:02:01 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-23 21:02:19 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2020-10-23 21:03:37 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-23 21:04:00 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-23 21:04:03 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-23 21:05:01 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-23 21:06:33 × zephyz quits (~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588) (Quit: zephyz)
2020-10-23 21:07:44 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 21:08:02 × cpape` quits (~user@static.180.18.203.116.clients.your-server.de) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-23 21:08:21 → cpape joins (~user@static.180.18.203.116.clients.your-server.de)
2020-10-23 21:08:35 → conal joins (~conal@64.71.133.70)
2020-10-23 21:08:54 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-23 21:09:03 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-23 21:09:37 × knupfer quits (~Thunderbi@200116b8245a8800b5cb2522bccc843f.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-23 21:12:22 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-23 21:14:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-23 21:15:45 × notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-23 21:19:18 → son0p joins (~son0p@181.136.122.143)
2020-10-23 21:22:02 → ericbsd1 joins (~ericbsd@178.162.204.214)
2020-10-23 21:22:07 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-23 21:22:12 → c-rog joins (~c-rog@traffic.simst.im)
2020-10-23 21:23:16 → reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-10-23 21:23:32 × reppertj quits (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Client Quit)
2020-10-23 21:23:58 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2020-10-23 21:24:03 → Reiser joins (~0a2a0001@static.210.242.216.95.clients.your-server.de)
2020-10-23 21:26:30 → pthariensflame joins (~pthariens@2600:6c52:7280:100:44c5:8dd3:6a93:3dc7)
2020-10-23 21:26:46 × pthariensflame quits (~pthariens@2600:6c52:7280:100:44c5:8dd3:6a93:3dc7) (Client Quit)
2020-10-23 21:27:16 × AlterEgo__ quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-23 21:28:25 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-23 21:29:24 <hc> is there a haskell implementation of youtube-dl? ;-)
2020-10-23 21:30:13 <texasmyn_> pomiiu: have you tried brittany?
2020-10-23 21:31:09 texasmyn_ is now known as texasmynsted[m]_
2020-10-23 21:31:12 <texasmynsted[m]_> oops
2020-10-23 21:31:18 texasmynsted[m]_ is now known as texasmynsted
2020-10-23 21:32:04 <texasmynsted> I have tried them all, https://github.com/lspitzner/brittany works very well and worth a look. I do not have enough scroll-back to know about your hindent needs.
2020-10-23 21:32:09 → notnatebtw joins (~nate@110.138.18.157)
2020-10-23 21:33:13 <yushyin> fourmolu/ormolu
2020-10-23 21:34:01 <texasmynsted> I guess I have _not_ tried them all. I have not tried ormolu, I think
2020-10-23 21:34:22 <texasmynsted> I mean fourmolu
2020-10-23 21:36:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-23 21:36:57 <texasmynsted> darn now I have to try another one. heh
2020-10-23 21:40:00 × jtobin quits (~jtobin@li1555-212.members.linode.com) (Quit: Lost terminal)
2020-10-23 21:40:20 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-23 21:40:41 <sm[m]> gotta collect them all!
2020-10-23 21:44:37 <pomiiu> Has anyone tried to build hindent recently? I get src/HIndent/Types.hs:78:27: error: • Could not deduce (MonadFail m) arising from a use of ‘fail’
2020-10-23 21:50:38 → crestfallen joins (~john@128.32.176.159)
2020-10-23 21:50:47 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-23 21:52:38 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 256 seconds)
2020-10-23 21:52:39 → Tario joins (~Tario@200.119.186.205)
2020-10-23 21:52:43 <maerwald> that shouldn't be hard to fixe
2020-10-23 21:52:46 <crestfallen> hi please help me understand "creates the effect of both the original layers", here: IO(IO ()) 'join' can be thought of as combining the effects described by two m-layers, one nested inside the other. combining them into a single m-layer, creates the effects of both the original layers.
2020-10-23 21:53:17 <maerwald> :t join
2020-10-23 21:53:18 <lambdabot> Monad m => m (m a) -> m a
2020-10-23 21:53:19 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 21:53:23 <maerwald> @src join
2020-10-23 21:53:23 <lambdabot> join x = x >>= id
2020-10-23 21:53:34 <maerwald> :t (>>=)
2020-10-23 21:53:35 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2020-10-23 21:53:38 <maerwald> @src (>>=)
2020-10-23 21:53:38 <lambdabot> Source not found. Do you think like you type?
2020-10-23 21:53:44 <maerwald> something like that
2020-10-23 21:53:47 <maerwald> follow the rabbit
2020-10-23 21:55:05 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 21:57:19 <crestfallen> maerwald, thanks, but what does it mean to create the effects of both the original layers. IO() should not be read into, I'm assuming..
2020-10-23 21:57:49 <maerwald> I honestly ind that sentence confusing. Seems like someone tried to over-explain stuff
2020-10-23 21:57:49 <dminuoso> crestfallen: I frequently like to adopt the notion that `IO T` is a list of assembly instructions, that, if they were executed produced something of type `T`. So `IO (IO T)` is some assembly instructions, that, if they were executed, would give you another list of assembly instructions
2020-10-23 21:57:57 <dminuoso> And if those were executed, you'd get something of value T
2020-10-23 21:58:20 <dminuoso> Now, `join` is saying "give me a list of assembly instruction that does the first, and then the second"
2020-10-23 21:58:33 <dminuoso> Thereby "combining" these two
2020-10-23 21:59:01 <maerwald> If language is confusing you, throw it away and look at code
2020-10-23 21:59:41 <maerwald> > join (Just (Just 2))
2020-10-23 21:59:46 <lambdabot> Just 2
2020-10-23 22:00:23 <maerwald> > join Nothing
2020-10-23 22:00:26 <lambdabot> Nothing
2020-10-23 22:00:36 <maerwald> > join (Just Nothing)
2020-10-23 22:00:38 <lambdabot> Nothing
2020-10-23 22:00:46 <dminuoso> crestfallen: In terms of power, join and (>>=) are completely equivalent. The only reason `join` is not a method of Monad (and an alternative to implement instead of (>>=)) is actually some very interesting interaction with other extensions.
2020-10-23 22:01:14 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection)
2020-10-23 22:01:35 <crestfallen> so Nothing in that last one has no effect, since its extracted from Just Nothing ?
2020-10-23 22:03:29 <crestfallen> I ask, because of this note: An effect is the structural information of a Functor, the part that's not parametric. Does that mean a Nothing is effectual ? -- yes
2020-10-23 22:03:37 × fendor quits (~fendor@178.115.130.82.wireless.dyn.drei.com) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 828 829 830 831 832 833 834 835 836 837 838 .. 5022

All times are in UTC.