Logs: liberachat/#haskell
| 2021-07-19 23:29:17 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-19 23:29:55 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-19 23:31:37 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2021-07-19 23:31:58 | → | nova joins (novasenco@user/nova) |
| 2021-07-19 23:32:36 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-07-19 23:33:28 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2021-07-19 23:34:03 | <nova> | I am currently using arch with ghcup and cabal, but cabal takes SO long to install packages that it is simply not usable. I am about to try nixos or gentoo, and I was wondering if anyone here uses their respective package managers to manager haskell packages (pandoc, pandoc-citeproc [this takes forever to recompile pandoc], xmonad, xmobar, etc). If so, does one hold an edge over the other? |
| 2021-07-19 23:35:34 | × | chomwitt quits (~chomwitt@athedsl-32487.home.otenet.gr) (Remote host closed the connection) |
| 2021-07-19 23:36:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-19 23:37:24 | <nova> | I was using pacman, but I had to remove all of my haskell packages because it was even worse than ghcup (but at least it was fast) |
| 2021-07-19 23:38:59 | → | pesada joins (~agua@2804:18:70:635e:1:0:3619:5a18) |
| 2021-07-19 23:39:30 | <sclv> | we’re developers here mainly. compile times are what they are |
| 2021-07-19 23:41:16 | <dsal> | nova: I'm a pretty big fan of nixos. Nonetheless, first compilation can take a bit. |
| 2021-07-19 23:41:29 | <davean> | You compile things once and you're done, meh? |
| 2021-07-19 23:42:35 | <nova> | what about upgrades |
| 2021-07-19 23:42:36 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 255 seconds) |
| 2021-07-19 23:42:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-19 23:42:53 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-19 23:43:12 | <dsal> | Upgrades of what? |
| 2021-07-19 23:43:34 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-07-19 23:43:46 | <yin[m]> | any way we can avoid having to add `Show a =>` to a bunch of type signatures when "No instance for (Show a) arising from a use of ..." just for a quick Debug.trace? |
| 2021-07-19 23:43:53 | <dsal> | I do nix updates all the time because I like giving my computer busy work. heh. They're reversible, though. If things go wrong, I can undo them. |
| 2021-07-19 23:44:17 | <dsal> | yin[m]: You need some way to represent the values you're tracing. |
| 2021-07-19 23:44:49 | <davean> | nova: uh, upgrades do the amount of work in the delta of the packages changed? |
| 2021-07-19 23:45:19 | × | pesada quits (~agua@2804:18:70:635e:1:0:3619:5a18) (Ping timeout: 246 seconds) |
| 2021-07-19 23:45:22 | <nova> | does nix have to rebuild after downloading deltas? |
| 2021-07-19 23:45:44 | <dsal> | nix can use binaries if they're available. It'll build if they're not. |
| 2021-07-19 23:45:45 | <davean> | If it doesn't have the builds cached |
| 2021-07-19 23:46:50 | <yin[m]> | sure, and I know they are, but ghc complains that if what I'm trying to show is an a and the funcion I'm in doesn't have the Show constraint in it, i cant see it. are my only options to comment all the relevant type signatures or add the Show constraint everywhere? isn't there something like an unsafeShow? |
| 2021-07-19 23:47:19 | <yin[m]> | i just want a quick print for debugging purposes |
| 2021-07-19 23:47:48 | <yin[m]> | * sure, and I know they are, but ghc complains that if what I'm trying to show is an a and the funcion I'm in doesn't have the Show a => constraint in it, i cant see it. are my only options to comment all the relevant type signatures or add the Show constraint everywhere? isn't there something like an unsafeShow? |
| 2021-07-19 23:48:46 | → | pesada joins (~agua@2804:18:70:635e:1:0:3619:5a18) |
| 2021-07-19 23:49:32 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-19 23:51:36 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 255 seconds) |
| 2021-07-19 23:51:41 | <geekosaur> | yin[m]: absent a Show constraint there may not even be code to do the Show |
| 2021-07-19 23:54:02 | <geekosaur> | more correctly, without that constraint ghc doesn't know that the type involved has the code to do Show — and more to the point, doesn't have access to that code |
| 2021-07-19 23:54:20 | <geekosaur> | (as ghc implements constraints) |
| 2021-07-19 23:55:13 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 23:56:52 | <geekosaur> | a theoretical unsafeShow would still require some way to get access to the Show code for the type. in particular if it knows the type only at runtime, it would have to be passed in via a dictionary still |
| 2021-07-19 23:59:31 | <davean> | geekosaur: how dirty should I be in answering how to do that? |
| 2021-07-20 00:03:38 | <geekosaur> | oh brother |
| 2021-07-20 00:03:49 | <amesgen[m]> | yin: you might be interested in `anythingToString`: https://hackage.haskell.org/package/recover-rtti-0.4.0.0/docs/Debug-RecoverRTTI.html |
| 2021-07-20 00:04:03 | <davean> | geekosaur: ok, ok I won't break out my dirty tricks |
| 2021-07-20 00:04:23 | <geekosaur> | I'm not surprised there's some kind of hack but I'm not sure handing out hacks is the best idea here |
| 2021-07-20 00:04:38 | <davean> | Oh, its an actively bad idea |
| 2021-07-20 00:04:39 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-07-20 00:09:16 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-20 00:12:48 | <zzz> | bow im curious |
| 2021-07-20 00:12:56 | <zzz> | s/bow/now |
| 2021-07-20 00:13:00 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-20 00:13:07 | <yin[m]> | inpromise I'll ignore it |
| 2021-07-20 00:13:12 | × | pesada quits (~agua@2804:18:70:635e:1:0:3619:5a18) (Ping timeout: 255 seconds) |
| 2021-07-20 00:13:26 | <geekosaur> | there are some evil ways to manufacture dictionaries on the fly |
| 2021-07-20 00:13:33 | → | pesada joins (~agua@2804:18:70:635e:1:0:3619:5a18) |
| 2021-07-20 00:15:54 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 255 seconds) |
| 2021-07-20 00:20:02 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-07-20 00:20:17 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-20 00:21:45 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 00:22:10 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 00:29:10 | × | curiousgay quits (~curiousga@77-120-144-167.kha.volia.net) (Remote host closed the connection) |
| 2021-07-20 00:29:50 | → | curiousgay joins (~curiousga@77-120-144-167.kha.volia.net) |
| 2021-07-20 00:34:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-20 00:34:31 | → | Achylles joins (~Achylles_@2804:431:d725:166d:e1ee:92d4:ae07:dd1e) |
| 2021-07-20 00:35:39 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-20 00:36:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-20 00:36:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-20 00:40:12 | × | pbrisbin quits (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-20 00:40:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-07-20 00:42:11 | → | pbrisbin joins (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) |
| 2021-07-20 00:42:40 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-20 00:43:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-20 00:45:09 | × | pesada quits (~agua@2804:18:70:635e:1:0:3619:5a18) (Ping timeout: 255 seconds) |
| 2021-07-20 00:45:41 | × | Achylles quits (~Achylles_@2804:431:d725:166d:e1ee:92d4:ae07:dd1e) (Quit: Leaving) |
| 2021-07-20 00:46:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-20 00:57:01 | × | phma quits (~phma@host-67-44-208-230.hnremote.net) (Read error: Connection reset by peer) |
| 2021-07-20 00:57:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 00:57:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 00:57:56 | → | phma joins (phma@2001:5b0:211f:e4d8:6e5e:7ad2:e1a9:776d) |
| 2021-07-20 01:00:47 | → | pesada joins (~agua@2804:18:70:635e:1:0:3619:5a18) |
| 2021-07-20 01:01:24 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-20 01:02:42 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 255 seconds) |
| 2021-07-20 01:08:02 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-20 01:10:29 | <oso> | what's this arcane error i'm getting while trying to build and how can i fix it? i've tried a few things like explicitly denoting types but can't get around it https://paste.tomsmeding.com/SIas3Dgn |
| 2021-07-20 01:11:13 | <dsal> | You could use type applications. |
| 2021-07-20 01:11:15 | <dsal> | Or ignore it. |
| 2021-07-20 01:12:03 | <geekosaur> | and stop using -Werrorl or at least turn it off for defaulting |
| 2021-07-20 01:12:28 | <geekosaur> | where it's kinda obnoxious because defaulting basically exists for this use case |
| 2021-07-20 01:12:50 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-20 01:12:51 | <dsal> | Most of the time where I've had defaulting warnings, I've not cared. |
| 2021-07-20 01:13:07 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-20 01:13:41 | <oso> | looking into defaulting, thanks |
| 2021-07-20 01:14:18 | <geekosaur> | the problem is that there are cases where you pretty much can't specify the type |
| 2021-07-20 01:14:51 | × | nuncanada quits (~dude@179.235.162.215) (Read error: Connection reset by peer) |
| 2021-07-20 01:15:50 | <geekosaur> | although here you could, you just have to annotate almost everything with a type |
| 2021-07-20 01:16:10 | <oso> | i only had to annotate the 100 as a double, actually, that got rid of the warning |
| 2021-07-20 01:17:39 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-20 01:18:08 | <oso> | thanks for pointing me in the right direction |
| 2021-07-20 01:19:48 | × | yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 2021-07-20 01:20:20 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-07-20 01:20:41 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
All times are in UTC.