Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 856 857 858 859 860 861 862 863 864 865 866 .. 5022
— 502,152 events total
2020-10-25 21:19:56 <monsterchrom> Definitely doesn't know wth is "cradle".
2020-10-25 21:20:01 <maerwald> install that and run `gen-hie`
2020-10-25 21:20:07 <maerwald> that's probably what they meant
2020-10-25 21:20:20 <koz_> I should just start calling it 'that thing that does IDE stuff Koz doesn't care about starting with h'.
2020-10-25 21:20:30 <monsterchrom> :)
2020-10-25 21:20:33 <Uniaika> koz_: himplicit-hie? :D
2020-10-25 21:20:41 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-25 21:20:42 <koz_> (possibly with the appendage 'because it never works for him')
2020-10-25 21:20:43 <monsterchrom> You can always use "ghcup list" to see what ghcup knows.
2020-10-25 21:20:46 <koz_> Uniaika: Maybe that.
2020-10-25 21:21:01 <jbox> sorry, I meant cabal instead of cradle
2020-10-25 21:21:02 <maerwald> I also decided to use stack for hls, so that it doesn't interfere with the running cabal (hls invalidates cabal cache or something)
2020-10-25 21:21:03 <jbox> I can't execuet cabal
2020-10-25 21:21:25 <monsterchrom> OK, read up on "the PATH environment variable"
2020-10-25 21:22:15 <jbox> sorry, noob mistake LMAO
2020-10-25 21:22:37 <jbox> I'm so used to installing stuff with my distribution package managers hehe
2020-10-25 21:22:40 <monsterchrom> Everyone was a noob once. Not an excuse.
2020-10-25 21:22:59 <maerwald> jbox: source ~/.ghcup/env
2020-10-25 21:26:06 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-25 21:26:46 <jbox> maerwald: thank you! I would have just added stuff to $path in my .zshrc manually if you hadn't pointed that out :)
2020-10-25 21:27:12 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-25 21:28:35 × p3n quits (~p3n@217.198.124.246) (Remote host closed the connection)
2020-10-25 21:28:57 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-25 21:29:24 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-25 21:29:35 <jbox> vim (coc.nvim) still yells at me though. First it tells me that: No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for .xmonad/xmonad.hs. Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie). Then it tells me that it can't find the 'XMonad' (and more) module, yet it exists, since xmonad runs fine and doesn't complain when I reload
2020-10-25 21:30:25 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-10-25 21:30:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-25 21:31:57 <maerwald> there's a #haskell-ide-engine channel btw
2020-10-25 21:32:17 × slack1256 quits (~slack1256@dvc-146-190-101-190.movil.vtr.net) (Remote host closed the connection)
2020-10-25 21:32:19 <jbox> oh, thank you. This would probably be better there. Have a good one :)
2020-10-25 21:33:13 × britva quits (~britva@2a02:aa13:7240:2980:b0bb:4de0:a28f:1dc2) (Quit: This computer has gone to sleep)
2020-10-25 21:34:07 → son0p joins (~son0p@181.136.122.143)
2020-10-25 21:35:09 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-25 21:35:51 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-25 21:35:57 × emmanuel_erc quits (~user@2604:2000:1382:ce03:e840:9069:29cf:ab15) (Remote host closed the connection)
2020-10-25 21:36:12 → emmanuel_erc joins (~user@2604:2000:1382:ce03:6974:40c4:284f:7839)
2020-10-25 21:36:32 × emmanuel_erc quits (~user@2604:2000:1382:ce03:6974:40c4:284f:7839) (Remote host closed the connection)
2020-10-25 21:36:40 → emmanuel_erc joins (~user@2604:2000:1382:ce03:6974:40c4:284f:7839)
2020-10-25 21:37:09 → chenj joins (~user@113.99.126.67)
2020-10-25 21:40:12 × son0p quits (~son0p@181.136.122.143) (Ping timeout: 260 seconds)
2020-10-25 21:41:53 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e9e0:8366:ee4d:bc13)
2020-10-25 21:42:03 → son0p joins (~son0p@181.136.122.143)
2020-10-25 21:42:21 → christo joins (~chris@81.96.113.213)
2020-10-25 21:44:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-25 21:46:47 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-25 21:47:06 × christo quits (~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-10-25 21:48:05 × taurux quits (~taurux@net-93-144-84-150.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-25 21:48:09 × chaosmasttter quits (~chaosmast@p200300c4a73c4601715fef8acfb03ac3.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-25 21:48:21 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-25 21:48:24 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-25 21:49:48 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-25 21:50:18 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-25 21:52:06 × chenj quits (~user@113.99.126.67) (Remote host closed the connection)
2020-10-25 21:53:55 → edit_21 joins (~edit_21@84.39.116.180)
2020-10-25 21:54:37 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-25 21:56:06 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-25 21:56:20 → Tario joins (~Tario@201.192.165.173)
2020-10-25 21:57:44 → taurux joins (~taurux@net-130-25-114-248.cust.vodafonedsl.it)
2020-10-25 21:58:24 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-25 21:59:22 <ddellacosta> are there any standard ways of using persistent-generated records with lens, or rather, generating lenses?
2020-10-25 21:59:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-25 21:59:47 → tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-25 22:00:08 × Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Remote host closed the connection)
2020-10-25 22:01:21 × tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-25 22:01:24 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-10-25 22:02:15 <koz_> ddellacosta: What's persistent-generated?
2020-10-25 22:02:31 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-25 22:02:40 <Uniaika> koz_: generated by the 'persistent' library I'd say?
2020-10-25 22:02:40 × ixlun quits (~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-25 22:02:43 × AceNovo quits (~chris@184.101.197.134) (Quit: Konversation terminated!)
2020-10-25 22:02:57 <ddellacosta> oh yeah, I mean the stuff that the quasi-quoter boilerplate spits out
2020-10-25 22:03:00 <koz_> Uniaika: Ah, well, I assumed the all-lower-case-and-hyphen referred to a package.
2020-10-25 22:03:08 → AceNovo joins (~chris@184.101.197.134)
2020-10-25 22:03:15 <ddellacosta> yeah I can understand, sorry for the confusing way I wrote that
2020-10-25 22:03:39 × vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-10-25 22:03:46 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds)
2020-10-25 22:04:08 <koz_> If you want 'generated lenses' in general, you might look at generic-lens.
2020-10-25 22:04:16 <koz_> However I cannot in good conscience recommend the use of that package.
2020-10-25 22:04:32 <koz_> (but then again, you're already using persistent so what's one more...)
2020-10-25 22:04:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-25 22:05:05 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-25 22:05:18 <koz_> s/might look/might wanna look/
2020-10-25 22:05:27 <ddellacosta> koz_: why would you not recommend generic-lens? (I actually just ended up there myself)
2020-10-25 22:05:38 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-25 22:05:38 <koz_> ddellacosta: Because it's type errors are unreadable gore.
2020-10-25 22:05:43 <koz_> s/it's/its/
2020-10-25 22:05:44 <ddellacosta> ah, fair enough
2020-10-25 22:05:49 <ddellacosta> I can imagine actually
2020-10-25 22:06:02 → Katarushisu joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-25 22:06:08 <koz_> And the entire premise of the library is _extremely_ flawed IMHO, since once you derive Generic for something, you can wave goodbye to _any_ internal invariants.
2020-10-25 22:06:38 <koz_> And honestly, most of the 'automagic via Generic' designs are at best confusing.
2020-10-25 22:06:41 <ddellacosta> koz_: what do you mean by "internal invariants?" Or I guess "internal" in particular
2020-10-25 22:06:54 <koz_> (and quite questionable anyway, since there isn't typically a One True Way to be a type class instance)
2020-10-25 22:07:14 <koz_> ddellacosta: Consider something like 'I have an Int in this data structure and it's always positive'.
2020-10-25 22:07:37 <koz_> You can do that with smart constructors easily, but once you have a Generic instance, it's basically broken (or breakable) and there's nothing you can do about it.
2020-10-25 22:07:49 → p3n joins (~p3n@217.198.124.246)
2020-10-25 22:07:50 <koz_> For a less trivial example, consider the internal representation of Data.Map.
2020-10-25 22:08:08 <koz_> It's a self-balancing binary tree, but the type system can't guarantee that its invariants hold.
2020-10-25 22:08:23 <koz_> Derive Generic for something like that, and those invariants are now breakable by _anyone_.
2020-10-25 22:08:44 × taurux quits (~taurux@net-130-25-114-248.cust.vodafonedsl.it) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 856 857 858 859 860 861 862 863 864 865 866 .. 5022

All times are in UTC.