Logs: freenode/#haskell
| 2020-11-10 18:59:23 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 2020-11-10 18:59:34 | → | plakband joins (~plakband@softbank126126238105.bbtec.net) |
| 2020-11-10 18:59:36 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-10 19:00:41 | × | LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2020-11-10 19:01:44 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 256 seconds) |
| 2020-11-10 19:02:10 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-10 19:02:16 | → | britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) |
| 2020-11-10 19:03:26 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-11-10 19:04:09 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 2020-11-10 19:04:14 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2020-11-10 19:04:31 | hackage | polysemy-extra 0.1.1.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.1.0 (locallycompact) |
| 2020-11-10 19:05:24 | × | conal quits (~conal@198.8.81.208) (Quit: Computer has gone to sleep.) |
| 2020-11-10 19:07:27 | → | conal joins (~conal@198.8.81.208) |
| 2020-11-10 19:07:31 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2020-11-10 19:10:50 | × | solonarv quits (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2020-11-10 19:10:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-10 19:11:37 | × | britva quits (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep) |
| 2020-11-10 19:11:51 | × | conal quits (~conal@198.8.81.208) (Quit: Computer has gone to sleep.) |
| 2020-11-10 19:12:01 | → | lucente joins (~lucente@141.98.255.154) |
| 2020-11-10 19:12:47 | → | LKoen joins (~LKoen@77.174.9.109.rev.sfr.net) |
| 2020-11-10 19:12:53 | × | juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
| 2020-11-10 19:12:55 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2020-11-10 19:13:08 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-10 19:13:14 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-10 19:13:30 | → | conal joins (~conal@198.8.81.208) |
| 2020-11-10 19:14:30 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-10 19:15:33 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-11-10 19:17:50 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-10 19:20:06 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-10 19:20:13 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-11-10 19:20:28 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-10 19:22:42 | × | emptyflask quits (~jon@66.64.40.21) (Ping timeout: 256 seconds) |
| 2020-11-10 19:22:43 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-10 19:23:09 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-10 19:24:44 | → | emptyflask joins (~jon@136.49.71.178) |
| 2020-11-10 19:26:22 | × | elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2020-11-10 19:28:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-10 19:28:29 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-11-10 19:31:02 | → | borne joins (~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de) |
| 2020-11-10 19:32:44 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f622419774f60b4b795d.dip0.t-ipconnect.de) |
| 2020-11-10 19:33:05 | × | bitmagie quits (~Thunderbi@200116b806cd050085d57d49b88c0858.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-10 19:34:09 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2020-11-10 19:35:09 | → | samlamamma joins (~user@h188-122-129-70.cust.a3fiber.se) |
| 2020-11-10 19:36:04 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 2020-11-10 19:36:22 | × | conal quits (~conal@198.8.81.208) (Quit: Computer has gone to sleep.) |
| 2020-11-10 19:36:55 | <samlamamma> | I currently install ghc through my distro's package manager. Can you instead use Cabal or Stackage to upgrade ghc? My ghc gets updated quite slowly |
| 2020-11-10 19:37:15 | <maerwald> | samlamamma: https://www.haskell.org/ghcup/ |
| 2020-11-10 19:37:27 | → | conal joins (~conal@198.8.81.208) |
| 2020-11-10 19:37:49 | <geekosaur> | not presently, but there's ghcup. or stack can install ghc for its own use, and you can get to it indirectly via stack exec |
| 2020-11-10 19:39:11 | <geekosaur> | ghcup is probably the best way currently |
| 2020-11-10 19:39:32 | <maerwald> | merijn: I'm not too convinced of lenient. So all it gives over strict is recursively defined data structures. Then again, I see papers solving that problem in strict languages anyway |
| 2020-11-10 19:39:52 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-10 19:39:53 | → | cgfuh joins (~cgfuh@181.167.191.58) |
| 2020-11-10 19:39:55 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds) |
| 2020-11-10 19:41:37 | <samlamamma> | Thank you! Currently installing :-) |
| 2020-11-10 19:41:58 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-10 19:42:09 | <maerwald> | and the paper makes a few good argument pro lazy, in fact |
| 2020-11-10 19:42:48 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 258 seconds) |
| 2020-11-10 19:43:22 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-10 19:44:03 | × | thc202 quits (~thc202@unaffiliated/thc202) (Remote host closed the connection) |
| 2020-11-10 19:44:25 | <maerwald> | evaluating arguments in parallel sounds like a cool thing though |
| 2020-11-10 19:44:44 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-10 19:45:03 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-10 19:46:27 | <dminuoso> | maerwald: In principle, that's non-strictness though. |
| 2020-11-10 19:46:32 | <maerwald> | yes |
| 2020-11-10 19:46:36 | <maerwald> | lenient is non-strict |
| 2020-11-10 19:46:44 | <dminuoso> | Right, Im just saying GHC could do this as well |
| 2020-11-10 19:46:50 | <maerwald> | potentially |
| 2020-11-10 19:47:05 | <dminuoso> | The language has considerations for that, in fact. |
| 2020-11-10 19:47:11 | <maerwald> | But the error behavior would be more like a strict language that a lazy one |
| 2020-11-10 19:47:19 | <maerwald> | *than |
| 2020-11-10 19:47:30 | <dminuoso> | The way seq is defined for instance, does not guarantee that in x `seq` y x is forced *before* y. |
| 2020-11-10 19:47:44 | <dminuoso> | The report is very careful in that regard, as is the ghc/base implementation |
| 2020-11-10 19:48:08 | <dminuoso> | (That was done to allow for implementations speculatively forcing x) |
| 2020-11-10 19:48:14 | <dminuoso> | perhaps in parallel |
| 2020-11-10 19:48:23 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 2020-11-10 19:48:57 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-10 19:51:02 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-10 19:51:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-10 19:51:27 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-10 19:52:02 | <samlamamma> | Quick question: ghcup asked me if I wanted haskell language server, I said YES. Then I updated my ghc using ghcup, do I then also need to update HLS through ghcup? |
| 2020-11-10 19:52:46 | <maerwald> | samlamamma: it manages HLS too, yes |
| 2020-11-10 19:52:58 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 2020-11-10 19:53:16 | <maerwald> | I don't think hls currently has a self-updater either |
| 2020-11-10 19:53:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2020-11-10 19:54:07 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-11-10 19:55:37 | → | neiluj joins (~jco@167.198.204.77.rev.sfr.net) |
| 2020-11-10 19:55:45 | × | neiluj quits (~jco@167.198.204.77.rev.sfr.net) (Changing host) |
| 2020-11-10 19:55:45 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2020-11-10 19:56:47 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-10 19:56:59 | × | emptyflask quits (~jon@136.49.71.178) (Quit: WeeChat 2.9) |
| 2020-11-10 19:57:42 | <samlamamma> | Yeah, I was just confused because it said the latest version was installed of HLS. Turns out it downloaded all of the binaries of HLS for the varying GHCs that it supports |
| 2020-11-10 19:57:42 | × | tenniscp25 quits (~tenniscp2@134.196.209.118) () |
| 2020-11-10 19:57:56 | <maerwald> | yes |
| 2020-11-10 19:58:14 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2020-11-10 19:58:32 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-10 19:58:53 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2020-11-10 19:59:02 | <samlamamma> | OK, gonna restart Emacs and try out HLS :-)! |
| 2020-11-10 19:59:04 | × | samlamamma quits (~user@h188-122-129-70.cust.a3fiber.se) (Remote host closed the connection) |
| 2020-11-10 19:59:21 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds) |
All times are in UTC.