Logs: freenode/#haskell
| 2020-11-03 18:44:57 | <tomsmeding> | perhaps a ghc implementor thought "why not, it's unambiguous"? |
| 2020-11-03 18:45:32 | <dminuoso> | Well its just odd to explicitly state that it was legal Haskell98 |
| 2020-11-03 18:46:06 | <dolio> | It's not that odd for someone to be mistaken. |
| 2020-11-03 18:46:32 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 18:46:49 | <tomsmeding> | probably a conflation of "in the old days" and "Haskell98" |
| 2020-11-03 18:48:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-03 18:48:27 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-03 18:49:50 | <fendor> | can I give cabal a global configuration to use a global store for multiple users? |
| 2020-11-03 18:49:54 | <fendor> | on a remote server |
| 2020-11-03 18:50:34 | → | son0p joins (~son0p@181.136.122.143) |
| 2020-11-03 18:51:08 | <geekosaur> | that sounds like it's inviting permissions issues |
| 2020-11-03 18:51:28 | <fendor> | probably. so, can't really share the package database across multiple users? |
| 2020-11-03 18:51:44 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-03 18:51:53 | <geekosaur> | nope |
| 2020-11-03 18:52:54 | <geekosaur> | betting it'd also uncover bugs if you did find ways around the permissions |
| 2020-11-03 18:53:10 | geekosaur | wonders how well it handles concurrent access, for one |
| 2020-11-03 18:54:04 | <fendor> | well, concurrent accesses might already happen since cabal invocation might happen in parallel |
| 2020-11-03 18:54:41 | × | avdb quits (~avdb@ip-83-134-109-138.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-03 18:55:12 | <dminuoso> | Linux as a multi-user. Hah. As if anyone ever does that! |
| 2020-11-03 18:55:27 | → | patjameson joins (~patjameso@178.239.168.171) |
| 2020-11-03 18:55:37 | <dminuoso> | It's quite interesting how most installations have become de-facto single user. |
| 2020-11-03 18:56:14 | <geekosaur> | servers… although the nature of "user" has changed a bit |
| 2020-11-03 18:56:49 | <fendor> | Then I guess I will v1-install and instruct everyone to use ghci directly |
| 2020-11-03 18:57:18 | <dminuoso> | geekosaur: Right. Instead, we separate with virtualization or containerization nowadays. |
| 2020-11-03 18:57:31 | <tomsmeding> | will it be read-only? that sounds like it would be easier to ensure |
| 2020-11-03 18:57:32 | <dminuoso> | Presumably the reason for this is that the "user" has changed from human to mcahine |
| 2020-11-03 18:58:03 | <geekosaur> | or remote session, which might be either |
| 2020-11-03 18:59:24 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 19:00:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-03 19:00:36 | × | ggole quits (~ggole@2001:8003:8119:7200:4c8:75c2:97ad:422b) (Quit: Leaving) |
| 2020-11-03 19:01:05 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-03 19:01:21 | <dminuoso> | And of course there's the proliferation of computers. |
| 2020-11-03 19:01:31 | <sh9> | exit |
| 2020-11-03 19:02:04 | <dminuoso> | Where once time sharing was done to multiplex rare computers to few people, nowadays the personal laptop is more than enough |
| 2020-11-03 19:02:21 | → | lottaquestions joins (~nick@2607:fa49:5040:d100:d0c0:708:6d52:81c9) |
| 2020-11-03 19:02:28 | <dminuoso> | So time sharing is rarely necessary anymore unless for supercomputers. |
| 2020-11-03 19:02:34 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: sh9) |
| 2020-11-03 19:02:59 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-11-03 19:03:32 | ← | mokulus parts (~mat@176.111.230.96) ("WeeChat 2.9") |
| 2020-11-03 19:03:37 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2020-11-03 19:03:47 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-11-03 19:04:12 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-03 19:04:41 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-03 19:05:01 | ← | lottaquestions parts (~nick@2607:fa49:5040:d100:d0c0:708:6d52:81c9) ("Konversation terminated!") |
| 2020-11-03 19:07:02 | × | u0_a298 quits (~user@47.206.148.226) (Remote host closed the connection) |
| 2020-11-03 19:07:45 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 2020-11-03 19:08:12 | → | akad_ joins (~akad@109107030050.radomsko.vectranet.pl) |
| 2020-11-03 19:08:16 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 19:10:56 | × | roconnor quits (~roconnor@host-192.252-162-14.dyn.295.ca) (Ping timeout: 256 seconds) |
| 2020-11-03 19:11:44 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 19:13:03 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 2020-11-03 19:14:51 | → | atbd joins (~atbd@68.166.138.88.rev.sfr.net) |
| 2020-11-03 19:16:17 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 260 seconds) |
| 2020-11-03 19:16:25 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-03 19:16:25 | × | atbd quits (~atbd@68.166.138.88.rev.sfr.net) (Client Quit) |
| 2020-11-03 19:16:45 | → | atbd joins (~atbd@68.166.138.88.rev.sfr.net) |
| 2020-11-03 19:17:49 | × | atbd quits (~atbd@68.166.138.88.rev.sfr.net) (Client Quit) |
| 2020-11-03 19:20:08 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 19:20:35 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 19:22:22 | → | nuncanada joins (~dude@179.235.160.168) |
| 2020-11-03 19:23:45 | <monochrom> | "cabal itself is already parallel" still makes this assumption: two different cabal-install processes install two different packages, therefore even different directories. |
| 2020-11-03 19:24:05 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 19:24:24 | <monochrom> | So now imagine two users doing "cabal install --lib random-1.2.0.0" at almost but not quite the same time. |
| 2020-11-03 19:24:52 | <monochrom> | and all options and flags and configs are identical so they really hash to the same directory. |
| 2020-11-03 19:25:42 | → | miguelnegrao joins (~miguelneg@2001:818:dc71:d100:fa39:ca92:8ab:783d) |
| 2020-11-03 19:26:52 | <monochrom> | "almost but not quite the same time" means imagine a timing that maximally maximize race conditions. |
| 2020-11-03 19:27:29 | <miguelnegrao> | Hi all. Any hints on to get aeson to encode Maps using nested arrays like [["1","2"]]. I need to interchange maps between haskell (aeson) and purescript (argonaut). |
| 2020-11-03 19:28:10 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-03 19:28:13 | <monochrom> | I haven't checked, but the least worst scenerio is both use open(... O_CREAT) so at least one of the two processes bail out early. |
| 2020-11-03 19:28:42 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-11-03 19:28:52 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-11-03 19:28:59 | <monochrom> | Because the alternative---they both write to the same foo.so file "successfully"---is even worse. |
| 2020-11-03 19:29:55 | <monochrom> | Err need O_EXCL too for the least worst scenerio |
| 2020-11-03 19:30:16 | <monochrom> | See? Just don't count on it. |
| 2020-11-03 19:31:09 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-03 19:31:34 | <geekosaur> | except linkers expect to be able to overwrite an existing file |
| 2020-11-03 19:32:06 | <monochrom> | Ah, then it's maximally racing fun. |
| 2020-11-03 19:32:15 | <geekosaur> | and my worry is the wider this gets, the more possibilities for concurrency bugs to show |
| 2020-11-03 19:32:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-11-03 19:34:15 | <monochrom> | miguelnegrao: Perhaps use an intermediate step of Map.toList |
| 2020-11-03 19:34:52 | <monochrom> | i.e., encode instead the asoociative list [(key1, val1), (key2, val2), ...] |
| 2020-11-03 19:36:22 | <miguelnegrao> | monochrom: yes, that is always a possibility. thanks |
| 2020-11-03 19:36:27 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2020-11-03 19:36:31 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 19:37:04 | <miguelnegrao> | monochrom: was trying to avoid creating additional data types, but i guess it will be needed. |
| 2020-11-03 19:37:18 | → | jtonic joins (bc193ca1@188.25.60.161) |
| 2020-11-03 19:39:03 | × | jtonic quits (bc193ca1@188.25.60.161) (Remote host closed the connection) |
| 2020-11-03 19:39:36 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-03 19:40:23 | CodeKiwi | is now known as DigitalKiwi |
| 2020-11-03 19:40:42 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-11-03 19:41:12 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-03 19:42:34 | <solonarv> | miguelnegrao: that doesn't create an additional data type, though |
| 2020-11-03 19:42:47 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Read error: Connection reset by peer) |
| 2020-11-03 19:42:50 | → | notnatebtw joins (~nate@125.161.131.218) |
| 2020-11-03 19:42:59 | × | son0p quits (~son0p@181.136.122.143) (Remote host closed the connection) |
| 2020-11-03 19:43:31 | <merijn> | miguelnegrao: "avoiding the creation of datatypes" is a good way to write code you regret a year from now ;) |
| 2020-11-03 19:43:32 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-11-03 19:43:34 | <geekosaur> | and we're mostly in favor of more data types because it means the compiler can help you more |
| 2020-11-03 19:43:44 | <miguelnegrao> | solonarv: yes, I know, but I need to create an additional data type record field is changed from map to [(A,B)] to send in json. |
| 2020-11-03 19:43:47 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
All times are in UTC.