Logs: freenode/#haskell
| 2020-10-14 09:46:57 | hackage | egison 4.1.0 - Programming language with non-linear pattern-matching against non-free data https://hackage.haskell.org/package/egison-4.1.0 (SatoshiEgi) |
| 2020-10-14 09:48:14 | → | alp joins (~alp@2a01:e0a:58b:4920:6576:ffa1:b00c:dfc) |
| 2020-10-14 09:49:19 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2020-10-14 09:54:53 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-14 09:54:58 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-14 10:03:27 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-14 10:04:32 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2020-10-14 10:05:57 | <proofofme> | TIL to pass --lib with `cabal install` ... |
| 2020-10-14 10:09:02 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-14 10:09:13 | × | daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection) |
| 2020-10-14 10:09:36 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) |
| 2020-10-14 10:09:58 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2020-10-14 10:10:16 | → | daGrevis joins (~daGrevis@unaffiliated/dagrevis) |
| 2020-10-14 10:10:26 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-14 10:10:35 | NinjaTrappeur1 | is now known as NinjaTrappeur |
| 2020-10-14 10:12:45 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-14 10:13:04 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Read error: Connection reset by peer) |
| 2020-10-14 10:14:50 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-14 10:15:08 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-10-14 10:16:27 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) |
| 2020-10-14 10:18:35 | <maerwald> | don't :) |
| 2020-10-14 10:19:20 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 258 seconds) |
| 2020-10-14 10:20:46 | → | akegalj joins (~akegalj@93-138-181-26.adsl.net.t-com.hr) |
| 2020-10-14 10:20:58 | × | xff0x quits (~fox@217.110.198.158) (Ping timeout: 246 seconds) |
| 2020-10-14 10:22:10 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-14 10:24:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-14 10:25:25 | × | alp quits (~alp@2a01:e0a:58b:4920:6576:ffa1:b00c:dfc) (Ping timeout: 272 seconds) |
| 2020-10-14 10:26:19 | <merijn> | proofofme: Next step is to learn to not use "cabal install" at all, unless it's an executable ;) |
| 2020-10-14 10:26:40 | <proofofme> | how is that? |
| 2020-10-14 10:27:15 | <merijn> | proofofme: There's very little workflows where installing a library that way really makes sense |
| 2020-10-14 10:27:37 | <proofofme> | for example, how would you install mysql-haskell? |
| 2020-10-14 10:27:57 | <merijn> | proofofme: Why do you need it installed? To use in your own code? |
| 2020-10-14 10:28:04 | <proofofme> | yeah |
| 2020-10-14 10:28:30 | <merijn> | proofofme: You just add it as a dependency to your project and then it gets installed automatically when you run "cabal build" on your code? :) |
| 2020-10-14 10:29:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-14 10:29:08 | → | dhil joins (~dhil@195.213.192.122) |
| 2020-10-14 10:29:29 | <proofofme> | I haven't been using `cabal build`, just `ghc -o _______ _______.hs` |
| 2020-10-14 10:29:54 | <merijn> | ah, then you probably want to make the switch away from that :) |
| 2020-10-14 10:30:08 | <merijn> | proofofme: "cabal init --interactive" in your source directory should help get you started |
| 2020-10-14 10:31:12 | <merijn> | As soon as you start using dependencies or having more than 1 file (or really even with 1 file, tbh), using cabal will be much easier |
| 2020-10-14 10:32:47 | <merijn> | proofofme: See also: https://cabal.readthedocs.io/en/latest/index.html |
| 2020-10-14 10:32:53 | <dminuoso> | proofofme: Also, with `cabal install --lib` you rapidly get into dependency hell |
| 2020-10-14 10:33:20 | <dminuoso> | (I found that the 2nd or 3rd library easily leads to issues) |
| 2020-10-14 10:34:50 | <dminuoso> | I believe, that each library you install that way, essentially pins its own dependencies, and those become constraints for future libraries. |
| 2020-10-14 10:35:00 | <dminuoso> | At least thats what it seemed like |
| 2020-10-14 10:35:02 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:2ccc:ea8:345f:1a82) (Ping timeout: 260 seconds) |
| 2020-10-14 10:35:19 | <proofofme> | yeah... |
| 2020-10-14 10:36:13 | × | rprije quits (~rprije@14-203-72-60.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2020-10-14 10:37:13 | <merijn> | Someone should really update the getting started and nix-style chapter on read the docs to 1) focus on v2 workflows and 2) remove comparisons to sandboxes, now that they're gone. But I fear the only way that will happen is if "someone" equals "me" >.> |
| 2020-10-14 10:38:35 | × | cpressey quits (~cpressey@88.144.93.125) (Quit: WeeChat 1.9.1) |
| 2020-10-14 10:41:39 | × | polyrain quits (~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-14 10:42:01 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-10-14 10:42:31 | → | solonarv joins (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) |
| 2020-10-14 10:42:46 | → | alp joins (~alp@2a01:e0a:58b:4920:c17f:f8fe:bbb9:785b) |
| 2020-10-14 10:45:24 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Quit: cosimone) |
| 2020-10-14 10:45:42 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-14 10:45:58 | → | cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it) |
| 2020-10-14 10:46:06 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-14 10:47:00 | <fendor> | it feels like this situation in a flat share where nobody wants to do the dishes, so it just piles up until someone crumbles and does it for everyone |
| 2020-10-14 10:47:28 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:f5c6:c62b:43fd:4aa2) |
| 2020-10-14 10:48:00 | × | Sanchayan quits (~Sanchayan@122.167.113.238) (Read error: No route to host) |
| 2020-10-14 10:48:31 | <merijn> | fendor: Well, it's also a matter of people having jobs, so contributions in people's spare time are prioritised by how much they affect/appeal to/are wanted by contributors |
| 2020-10-14 10:49:25 | <merijn> | Which is why I haven't done it yet. After 8 hours of work "writing docs" is never going to win from "implement something fun" or "videogames" :) |
| 2020-10-14 10:49:39 | <fendor> | I know, I did not want to say that anyone is being lazy, it is just a lot of work |
| 2020-10-14 10:50:37 | × | proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection) |
| 2020-10-14 10:50:55 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds) |
| 2020-10-14 10:51:03 | × | cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone) |
| 2020-10-14 10:52:14 | <merijn> | Congrats on the multi-home stuff, btw, I've been waiting for that for ages :> |
| 2020-10-14 10:52:44 | → | cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it) |
| 2020-10-14 10:54:28 | <fendor> | merijn, It is not merged yet T_T |
| 2020-10-14 10:54:54 | <fendor> | But I got two minor prs merged for it, so the diff becomes gradually smaller |
| 2020-10-14 10:56:52 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-198.hive.is) |
| 2020-10-14 10:58:06 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2020-10-14 11:01:13 | → | Sanchayan joins (~Sanchayan@122.167.113.238) |
| 2020-10-14 11:02:14 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-10-14 11:02:23 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) |
| 2020-10-14 11:03:04 | <dminuoso> | New record, nullary sum type with 2k constructors! :) |
| 2020-10-14 11:03:42 | <dminuoso> | Given the context, it's quite silly but the only sensible thing to do. |
| 2020-10-14 11:06:44 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-10-14 11:07:13 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds) |
| 2020-10-14 11:07:13 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-14 11:07:28 | → | da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com) |
| 2020-10-14 11:14:15 | → | avdb joins (~avdb@ip-213-49-123-30.dsl.scarlet.be) |
| 2020-10-14 11:16:28 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2020-10-14 11:17:01 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2020-10-14 11:17:09 | × | kl1xto quits (~klixto@49.188.65.219) (Quit: WeeChat 2.9) |
| 2020-10-14 11:18:01 | × | cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone) |
| 2020-10-14 11:21:08 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-14 11:23:35 | → | proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net) |
| 2020-10-14 11:24:42 | × | proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection) |
| 2020-10-14 11:25:25 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds) |
| 2020-10-14 11:28:07 | × | chaosmasttter quits (~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-14 11:29:01 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1) |
| 2020-10-14 11:34:20 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 2020-10-14 11:37:30 | → | WorldControl joins (~niemand@98.4.96.235) |
| 2020-10-14 11:37:31 | × | WorldControl quits (~niemand@98.4.96.235) (Remote host closed the connection) |
| 2020-10-14 11:38:29 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-14 11:38:40 | → | WorldControl joins (~niemand@98.4.96.235) |
| 2020-10-14 11:40:16 | × | WorldControl quits (~niemand@98.4.96.235) (Client Quit) |
| 2020-10-14 11:40:32 | × | connrs_ quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
All times are in UTC.