Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 .. 18046
— 1,804,537 events total
2021-08-28 11:38:31 <hololeap> @unmtl ExceptT e (State s) a
2021-08-28 11:38:31 <lambdabot> s -> (Either e a, s)
2021-08-28 11:44:40 × hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-08-28 11:46:41 × azeem quits (~azeem@62.18.164.196) (Ping timeout: 248 seconds)
2021-08-28 11:47:45 → azeem joins (~azeem@62.18.164.196)
2021-08-28 11:50:34 × martin02 quits (~silas@141.84.69.76) (Ping timeout: 252 seconds)
2021-08-28 11:50:34 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-28 11:51:33 → MQ-17J joins (~MQ-17J@8.6.144.209)
2021-08-28 11:54:26 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-08-28 11:55:31 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Client Quit)
2021-08-28 11:56:27 × azeem quits (~azeem@62.18.164.196) (Ping timeout: 240 seconds)
2021-08-28 11:58:12 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-08-28 12:01:50 → Codaraxis__ joins (~Codaraxis@user/codaraxis)
2021-08-28 12:04:47 × Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-28 12:05:11 → azeem joins (~azeem@62.18.164.196)
2021-08-28 12:09:52 × feepo quits (sid28508@id-28508.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-28 12:09:55 → hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de)
2021-08-28 12:12:00 × timCF quits (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving)
2021-08-28 12:14:10 × hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-08-28 12:17:25 × MQ-17J quits (~MQ-17J@8.6.144.209) (Ping timeout: 250 seconds)
2021-08-28 12:21:45 × xff0x quits (~xff0x@2001:1a81:5215:d000:44b2:e3e1:102e:1373) (Ping timeout: 250 seconds)
2021-08-28 12:23:14 → aman joins (~aman@user/aman)
2021-08-28 12:23:19 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
2021-08-28 12:26:14 → hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de)
2021-08-28 12:26:26 → peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-08-28 12:28:15 → favonia joins (~favonia@user/favonia)
2021-08-28 12:29:29 → mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-28 12:31:29 × hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2021-08-28 12:39:20 × Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-28 12:39:32 → Vajb joins (~Vajb@85-76-137-121-nat.elisa-mobile.fi)
2021-08-28 12:40:23 × hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-28 12:41:04 → hendursaga joins (~weechat@user/hendursaga)
2021-08-28 12:42:32 → xff0x joins (~xff0x@2001:1a81:5215:d000:44b2:e3e1:102e:1373)
2021-08-28 12:46:38 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-08-28 12:46:54 ← icebreaker parts (~icebreake@user/icebreaker) ()
2021-08-28 12:50:02 → martin02 joins (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1)
2021-08-28 12:52:49 × mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 248 seconds)
2021-08-28 12:54:39 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35)
2021-08-28 12:54:52 <siers> I have found this nix shell to work well for getting cabal/hls for freshly cloned projects: nix-shell -p cabal2nix --run 'nix-shell -E "$(cabal2nix --shell .)" --run "nix-shell -p cabal-install -p haskell-language-server --run zsh"'
2021-08-28 12:55:15 <siers> as I don't like declaring unneeded dependencies for my user profile
2021-08-28 12:55:34 <maerwald> how long does that run? :)
2021-08-28 12:56:35 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-28 12:57:52 <siers> instantly
2021-08-28 12:58:04 <siers> ah, well depends on whether you have the deps :)
2021-08-28 12:58:13 <maerwald> in my experience, entering a nix shell takes a couple hours depending on your configuration :p
2021-08-28 12:58:35 <siers> no, very fast after the first download run. do you have a HDD?
2021-08-28 12:58:54 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Ping timeout: 250 seconds)
2021-08-28 12:59:26 <maerwald> it also didn't share subdirectories from git clones, not sure that's fixed
2021-08-28 12:59:50 → mykyta joins (~mykyta@37.53.0.230)
2021-08-28 13:00:17 × APic quits (apic@apic.name) (Ping timeout: 248 seconds)
2021-08-28 13:02:24 ← mykyta parts (~mykyta@37.53.0.230) ()
2021-08-28 13:02:53 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
2021-08-28 13:03:19 [itchyjunk] is now known as Guest3360
2021-08-28 13:03:19 × Guest3360 quits (~itchyjunk@user/itchyjunk/x-7353470) (Killed (silver.libera.chat (Nickname regained by services)))
2021-08-28 13:03:19 [_] is now known as [itchyjunk]
2021-08-28 13:03:43 → Guest3360 joins (~itchyjunk@user/itchyjunk/x-7353470)
2021-08-28 13:03:57 × Guest3360 quits (~itchyjunk@user/itchyjunk/x-7353470) (Client Quit)
2021-08-28 13:04:52 <siers> is SetEnv a function? https://gitlab.com/goldfirere/stitch/blob/58f49b8c8f6cc66cc634944afd9961c7bc15d9d1/src/Language/Stitch/Control/Monad/HReader.hs#L32
2021-08-28 13:05:53 → MQ-17J joins (~MQ-17J@8.6.144.209)
2021-08-28 13:05:55 → cods joins (~fred@82-65-232-44.subs.proxad.net)
2021-08-28 13:06:14 <siers> hlocal/MonadHReader breaks my head
2021-08-28 13:06:33 <maerwald> associated type family
2021-08-28 13:07:01 → egoist joins (~egoist@186.235.82.117)
2021-08-28 13:07:02 <siers> I can't also conceptually understand how it may result in a ReaderT r1 m, if it returns a r2 and the SetEnv seems to convert to r2 also
2021-08-28 13:08:32 <maerwald> https://downloads.haskell.org/~ghc/8.10.7/docs/html/users_guide/glasgow_exts.html#associated-type-families
2021-08-28 13:08:51 <siers> I'll take a look
2021-08-28 13:10:18 <maerwald> you can view type families as functions on types
2021-08-28 13:10:53 → ArctVaulMarsHMPJ joins (~pjetcetal@128-71-152-79.broadband.corbina.ru)
2021-08-28 13:10:57 <siers> that is how I viewed them already
2021-08-28 13:11:14 <maerwald> 1. function: value -> value, 2. type family: type -> type, 3. class: type -> value, 4. GADT: value -> type
2021-08-28 13:11:18 <maerwald> I think it was like that?
2021-08-28 13:11:40 <maerwald> so the combination of class and type family is especially interesting
2021-08-28 13:11:45 <siers> that's an interesting list, I'd never seen one like that
2021-08-28 13:11:54 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds)
2021-08-28 13:12:30 <siers> it looks like a type, not a type family at the first glance
2021-08-28 13:12:43 <maerwald> it is a family
2021-08-28 13:12:48 <maerwald> becuaes it's in the class
2021-08-28 13:12:56 <maerwald> and can have multiple type instances
2021-08-28 13:13:00 <siers> ahm ok
2021-08-28 13:13:04 <siers> m = ,
2021-08-28 13:13:55 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-28 13:13:58 <maerwald> you also have open type families and closed type families
2021-08-28 13:14:08 <maerwald> https://downloads.haskell.org/~ghc/8.10.7/docs/html/users_guide/glasgow_exts.html#closed-type-families
2021-08-28 13:16:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-28 13:17:25 → lavaman joins (~lavaman@98.38.249.169)
2021-08-28 13:19:17 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2)
2021-08-28 13:20:20 <maerwald> maybe also check out https://hackage.haskell.org/package/mtl-tf
2021-08-28 13:21:52 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2021-08-28 13:22:26 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 258 seconds)
2021-08-28 13:22:52 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2021-08-28 13:24:22 <siers> is Mark a brother/relative of Simon or something?
2021-08-28 13:24:51 → acidjnk_new joins (~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de)
2021-08-28 13:24:51 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-28 13:26:53 → acidjnk joins (~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de)
2021-08-28 13:28:29 × acidjnk_new3 quits (~acidjnk@p200300d0c72b95310c4cb6300b253e7e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-28 13:29:26 → burnsidesLlama joins (~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-28 13:29:30 × burnsidesLlama quits (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-28 13:29:40 × acidjnk_new quits (~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-28 13:29:41 → burnsidesLlama joins (~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-28 13:31:51 <siers> ok, I get what hlocal is doing now, finally
←Prev  Next→
Page 1 .. 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 .. 18046

All times are in UTC.