| 2022-03-07 00:00:30 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 256 seconds) |
| 2022-03-07 00:03:48 +0100 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-03-07 00:05:35 +0100 | <ProfSimm> | ski when you think of something, you also recall similar things. This implies sets are ordered in your mind |
| 2022-03-07 00:05:48 +0100 | <ProfSimm> | ski: but the same set will have a different order in someone else's mind |
| 2022-03-07 00:06:07 +0100 | <ProfSimm> | ski: this is similar to what I'm trying to replicate here. The consumer sets the order, not the set. |
| 2022-03-07 00:06:42 +0100 | <ski> | what you just said would seem to imply to me the producer, not the consumer, setting the order |
| 2022-03-07 00:07:09 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 00:07:26 +0100 | <ski> | (the individual mind that's procuring the elements) |
| 2022-03-07 00:07:31 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-07 00:07:37 +0100 | <ProfSimm> | ski: the producer thinks of three fruit kinds. It wants to know how you'd order these fruits, so it wants to tell you the three fruits, but without biasing you by giving them in some order. |
| 2022-03-07 00:07:43 +0100 | <ProfSimm> | ski: that's the problem in a nutshell |
| 2022-03-07 00:07:59 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-07 00:08:15 +0100 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-03-07 00:08:34 +0100 | <ski> | the solution is still the same, it seems to me |
| 2022-03-07 00:08:41 +0100 | <ProfSimm> | ski: the consumer can probably ask questions like "do you have a fruit that's yellow" or "tennis ball sizes" |
| 2022-03-07 00:09:02 +0100 | <ProfSimm> | ski: and the producer can answer yes, or no. Or when exactly one fruit matches, it can give you the name of the fruit |
| 2022-03-07 00:10:12 +0100 | <ProfSimm> | ski: so the producer can provide three answers: "0 items match your description" or "more than 1 items match your description" or "exactly 1 item matches: pear" |
| 2022-03-07 00:10:30 +0100 | <ProfSimm> | ski: this would not reveal producer's internal order |
| 2022-03-07 00:10:42 +0100 | <ProfSimm> | ski: how to make the questions efficient? |
| 2022-03-07 00:11:10 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:c731:e273:a007:5879) (Ping timeout: 250 seconds) |
| 2022-03-07 00:11:16 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-03-07 00:11:31 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 00:13:10 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:8911:efbc:6ba0:c242) |
| 2022-03-07 00:13:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 00:13:42 +0100 | <sclv> | reading the scrollback I think you would want `foldUnordered :: CommutativeMonoid m => (a -> m) -> UnorderedSet a -> m` |
| 2022-03-07 00:14:08 +0100 | <sclv> | but of course this relies on people only making valid instances for the commutativemonoid typecleass |
| 2022-03-07 00:14:32 +0100 | <ski> | ProfSimm : what if you have a set for which it's not known whether it has one or two elements ? |
| 2022-03-07 00:14:50 +0100 | <ProfSimm> | sclv: I'll explore that thanks |
| 2022-03-07 00:15:01 +0100 | <ski> | say, it has `0' as an element, and it has a number `x' as an element. and `x' is known to be zero if and only if Goldbach's conjecture is true |
| 2022-03-07 00:15:11 +0100 | <ProfSimm> | ski: out of scope. We know how many items are in the set, that's commutative to the order. |
| 2022-03-07 00:15:35 +0100 | <ProfSimm> | ski: interesting suggestion, but out of scope |
| 2022-03-07 00:15:50 +0100 | <ski> | so, in that case the producer can't answer the question "how many elements are non-zero ?" |
| 2022-03-07 00:16:13 +0100 | <sclv> | the monoid-subclasses lib has a commutativemonoid type fwiw |
| 2022-03-07 00:16:57 +0100 | <ski> | "We know how many items are in the set" -- how ? |
| 2022-03-07 00:17:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 00:17:46 +0100 | <ProfSimm> | ski: the set knows |
| 2022-03-07 00:18:45 +0100 | <ski> | i was just pointing out a set where that isn't the case |
| 2022-03-07 00:19:26 +0100 | <ski> | "the set of all odd perfect numbers" is another example. noone knows whether that's non-empty |
| 2022-03-07 00:24:46 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2022-03-07 00:25:03 +0100 | <ProfSimm> | ski: we're not talking about abstract sets. |
| 2022-03-07 00:25:22 +0100 | <ProfSimm> | ski: think of it as literally a list of values whose interface is a set. |
| 2022-03-07 00:25:28 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:8911:efbc:6ba0:c242) (Ping timeout: 250 seconds) |
| 2022-03-07 00:26:44 +0100 | <ski> | so what if `[0,x]' is such a list of computable reals ? |
| 2022-03-07 00:27:06 +0100 | <ProfSimm> | x is not a real |
| 2022-03-07 00:27:08 +0100 | <ski> | > showCReal 49 pi |
| 2022-03-07 00:27:09 +0100 | <lambdabot> | "3.1415926535897932384626433832795028841971693993751" |
| 2022-03-07 00:27:11 +0100 | <ProfSimm> | it's a letter :P |
| 2022-03-07 00:27:15 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Remote host closed the connection) |
| 2022-03-07 00:27:30 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:7f03:8b0:a81c:56d7) |
| 2022-03-07 00:28:31 +0100 | <ski> | `x' could be defined as the series (infinite sum) of all terms `a_i * 2^(-i)', where `i' ranges over all natural numbers and `a_i' is `0' iff all even natural numbers less than `i' can be written as a sum of two primes, and `1' otherwise |
| 2022-03-07 00:29:31 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d9d2:7af1:5c0a:c9d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 00:29:47 +0100 | <monochrom> | Haha GHC 9.2.2 is "not" available :) |
| 2022-03-07 00:29:48 +0100 | <geekosaur> | I'm confused. the discussion began with Set and HashSet, not abstract sets or concrete sets with abstract values |
| 2022-03-07 00:29:59 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d9d2:7af1:5c0a:c9d9) |
| 2022-03-07 00:30:12 +0100 | <geekosaur> | you're around the third one to notice that one :) |
| 2022-03-07 00:30:34 +0100 | son0p | (~ff@181.136.122.143) |
| 2022-03-07 00:30:53 +0100 | <monochrom> | But it's good news. Does it mean that everything will work out of the box on M1? |
| 2022-03-07 00:31:00 +0100 | <maerwald> | ahaha |
| 2022-03-07 00:31:03 +0100 | <ski> | geekosaur : well, ProfSimm's been asking about sets in ##math and ##programming as well, for some days |
| 2022-03-07 00:32:02 +0100 | <ProfSimm> | ski: I think Set/HashSet is a closer match than uncalculable value x in a set :P |
| 2022-03-07 00:32:18 +0100 | <ski> | `x' is computable |
| 2022-03-07 00:32:26 +0100 | <ProfSimm> | So let's compute it then |
| 2022-03-07 00:32:27 +0100 | <ProfSimm> | :/ |
| 2022-03-07 00:32:50 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-07 00:33:03 +0100 | <ski> | you can compute it to arbitrary precision |
| 2022-03-07 00:33:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 00:34:10 +0100 | <unit73e> | is it a good idea to have 'Data.Binary.Get (Either String [Item])' as a return type instead of 'Data.Binary.Get [Item]' or not really? |
| 2022-03-07 00:34:19 +0100 | <unit73e> | because with either I can get a fail message |
| 2022-03-07 00:34:29 +0100 | <unit73e> | but I guess Get does implement fail properly |
| 2022-03-07 00:34:37 +0100 | <ski> | to compute the `i'th bit of `x', it's enough to have computed all prime numbers up to `i' |
| 2022-03-07 00:34:40 +0100 | <Axman6> | do you have a reason for wanting to have thta type? |
| 2022-03-07 00:34:49 +0100 | <monochrom> | Or even ExceptT String Get [Item]? |
| 2022-03-07 00:35:03 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-543d-a065-e6d9-3062.res6.spectrum.com) (Remote host closed the connection) |
| 2022-03-07 00:35:11 +0100 | <unit73e> | monochrom, hum that might be a good idea |
| 2022-03-07 00:35:36 +0100 | <unit73e> | thanks |
| 2022-03-07 00:35:41 +0100 | <Axman6> | <spiderman meme> ExceptT String Get [Item] -> <- Get (Either String [Item] </spiderman meme> |
| 2022-03-07 00:35:59 +0100 | <unit73e> | lol |
| 2022-03-07 00:36:07 +0100 | <unit73e> | I ugess |
| 2022-03-07 00:36:12 +0100 | <unit73e> | guess* |
| 2022-03-07 00:36:28 +0100 | <Axman6> | @unmtl ExceptT String Get [Item] |
| 2022-03-07 00:36:28 +0100 | <lambdabot> | Get (Either String [Item]) |
| 2022-03-07 00:36:56 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-03-07 00:36:56 +0100 | <unit73e> | what's a unmtl? |
| 2022-03-07 00:37:00 +0100 | <monochrom> | Hrm, runGetOrFail exists and probably wants you to use fail. |
| 2022-03-07 00:37:09 +0100 | <unit73e> | yes that is true monochrom |
| 2022-03-07 00:37:28 +0100 | <unit73e> | might as well use what already is there... |
| 2022-03-07 00:37:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-07 00:38:13 +0100 | <unit73e> | I must be overthinking... I'll just use what Get wants and change later if necessary |
| 2022-03-07 00:38:18 +0100 | <unit73e> | so fail it is |
| 2022-03-07 00:38:43 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-03-07 00:38:44 +0100 | <unit73e> | I was using guard as suggested before but it doesn't give me a message |
| 2022-03-07 00:39:54 +0100 | jrm | (~jrm@156.34.173.250) (Ping timeout: 260 seconds) |
| 2022-03-07 00:39:59 +0100 | <dons> | anyone know a good way to ask cabal for the cached build dir to a local exe? better than e.g. cabal run exe:$(MY_EXE) -v2 2>/dev/null | sed -n 's/Running: \(.*\)/\1/p' |
| 2022-03-07 00:40:22 +0100 | <geekosaur> | did you want cabal find-bin? |
| 2022-03-07 00:40:34 +0100 | <sclv> | list-bin even |
| 2022-03-07 00:40:40 +0100 | <geekosaur> | sorry, that |
| 2022-03-07 00:40:45 +0100 | <dons> | sounds plausible! |
| 2022-03-07 00:41:45 +0100 | <dons> | find-bin is the one. |
| 2022-03-07 00:41:56 +0100 | <unit73e> | I'll just use "when Bool (fail "smth")" for now. thanks |
| 2022-03-07 00:42:14 +0100 | <dons> | cabal --help | grep find | wc -l |
| 2022-03-07 00:42:15 +0100 | <dons> | 0 |
| 2022-03-07 00:42:28 +0100 | <dons> | i wonder if the help is missing something |
| 2022-03-07 00:43:07 +0100 | <sclv> | its list-bin, not find-bin |
| 2022-03-07 00:43:46 +0100 | <dons> | lol. cabal --help | grep list update Updates list of known packages. list List packages matching a search string. list-bin List the path to a single executable. v2-update Updates list of known packages. |
| 2022-03-07 00:43:50 +0100 | <dons> | yes. |
| 2022-03-07 00:44:54 +0100 | <dons> | (caching the path to an exe in a build saves 900ms per invocation compared to cabal run exe:.. |
| 2022-03-07 00:45:04 +0100 | jrm | (~jrm@156.34.173.250) |
| 2022-03-07 00:47:20 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 00:52:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-07 00:53:20 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 00:54:08 +0100 | Guest|56 | (~Guest|56@212.201.44.244) |
| 2022-03-07 00:54:19 +0100 | Guest|56 | (~Guest|56@212.201.44.244) (Client Quit) |
| 2022-03-07 00:55:47 +0100 | pilipilihoho | (~pilipilih@d154-20-227-112.bchsia.telus.net) |
| 2022-03-07 00:56:05 +0100 | pilipilihoho | (~pilipilih@d154-20-227-112.bchsia.telus.net) (Changing host) |
| 2022-03-07 00:56:05 +0100 | pilipilihoho | (~pilipilih@user/pilipilihoho) |
| 2022-03-07 00:56:31 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0ab:3f36:53e6:70a6) |
| 2022-03-07 00:57:36 +0100 | <shapr> | whoa, dons?! |
| 2022-03-07 00:57:36 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0ab:3f36:53e6:70a6) (Client Quit) |
| 2022-03-07 00:57:42 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0ab:3f36:53e6:70a6) |
| 2022-03-07 00:57:49 +0100 | pilipilihoho | (~pilipilih@user/pilipilihoho) (Client Quit) |
| 2022-03-07 00:58:09 +0100 | pilipilihoho | (~pilipilih@user/pilipilihoho) |
| 2022-03-07 00:58:19 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 00:58:45 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:2cc2:d132:f33f:4fd4) |
| 2022-03-07 00:59:11 +0100 | <shapr> | long time no see! |
| 2022-03-07 00:59:12 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-07 01:02:36 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0ab:3f36:53e6:70a6) (Ping timeout: 240 seconds) |
| 2022-03-07 01:02:43 +0100 | <ski> | shapr : since a couple of days :) |
| 2022-03-07 01:02:53 +0100 | <shapr> | wow, I'm out of the loop |
| 2022-03-07 01:04:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 01:08:07 +0100 | InstX1 | Inst |
| 2022-03-07 01:11:20 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 01:12:02 +0100 | acidjnk | (~acidjnk@p200300d0c70d8c985c6dbece2fe5bbc5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-07 01:12:39 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-07 01:14:33 +0100 | shlevy[m] | (~shlevymat@2001:470:69fc:105::1:d3b1) |
| 2022-03-07 01:15:37 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-07 01:16:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 01:16:55 +0100 | <shlevy[m]> | Would it be hard to allow visible dependent quantifiers in types of terms but only allow usage of type variables and type-level constants at the call-site? Basically anything you can currently do with TypeApplications but without requiring the `@`? |
| 2022-03-07 01:17:23 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-07 01:18:07 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-03-07 01:20:04 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-03-07 01:21:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-07 01:23:39 +0100 | pilipilihoho | (~pilipilih@user/pilipilihoho) (Quit: See ya!) |
| 2022-03-07 01:25:55 +0100 | <geekosaur> | I believe that's due in ghc 9.4 |
| 2022-03-07 01:26:03 +0100 | <geekosaur> | forall a -> ... |
| 2022-03-07 01:26:18 +0100 | <shlevy[m]> | geekosaur: We already have that in kinds |
| 2022-03-07 01:26:33 +0100 | <shlevy[m]> | Is there a relaxation to allow it in the type of a term coming? |
| 2022-03-07 01:27:02 +0100 | <geekosaur> | you have it in kinds because there's nodifference between a kind and a type (see TypeInType) |
| 2022-03-07 01:27:36 +0100 | <geekosaur> | 9.4 adds using types as values: given `x :: forall a -> Int -> Int` you can have `x Int 3` |
| 2022-03-07 01:27:47 +0100 | <geekosaur> | (note the arrow instead of `.`) |
| 2022-03-07 01:28:39 +0100 | <shlevy[m]> | geekosaur: My point is we *already* allow the arrow instead of the dot in the types of types, i.e. in kinds. That's why I wanted to confirm that we have something new coming in 9.4 specifically for types of terms |
| 2022-03-07 01:31:54 +0100 | <shlevy[m]> | This works:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2793fe47d70f95bd4f0b04856db57c5ab892…) |
| 2022-03-07 01:32:04 +0100 | <shlevy[m]> | s/// |
| 2022-03-07 01:32:52 +0100 | <shlevy[m]> | This fails:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/5bfbb4cc489d39d6453229737436433bfeb9…) |
| 2022-03-07 01:33:39 +0100 | <geekosaur> | I said 9.4 |
| 2022-03-07 01:33:48 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-03-07 01:33:49 +0100 | <geekosaur> | 9.2.2 was released about an hour ago |
| 2022-03-07 01:34:22 +0100 | <geekosaur> | also, as best I can tell you are asking if Dependent Haskell exists yet. the answer is "no, and it won't for some time yet" |
| 2022-03-07 01:34:33 +0100 | <shlevy[m]> | No, this is not dependent haskell |
| 2022-03-07 01:34:53 +0100 | <shlevy[m]> | As I said, it would be limited to type variables and constants, just like TypeApplications |
| 2022-03-07 01:35:15 +0100 | <shlevy[m]> | This is no more expressive than current invisible dependent quantification except in terms of ergonomics |
| 2022-03-07 01:35:34 +0100 | <shlevy[m]> | Do you have a link for the 9.4 change? |
| 2022-03-07 01:36:21 +0100 | <geekosaur> | https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0081-forall-arrow.rst |
| 2022-03-07 01:36:53 +0100 | <shlevy[m]> | geekosaur: Again, *this is already in 9.2*. Check my first example which does compile, it has the forall arrow |
| 2022-03-07 01:37:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 01:37:34 +0100 | <geekosaur> | okay, then I missed something. I had understood it to be a9.4change |
| 2022-03-07 01:38:08 +0100 | <geekosaur> | you probably want to talk to eisenberg about what you're asking |
| 2022-03-07 01:40:55 +0100 | Goodbye_Vincent | (~Goodbye_V@freakshells.net) |
| 2022-03-07 01:42:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-07 01:47:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 01:47:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-07 01:47:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-07 01:47:44 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-07 01:59:35 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d9d2:7af1:5c0a:c9d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 02:02:26 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-03-07 02:03:09 +0100 | boletales | (~boletales@p98076-ipoefx.ipoe.ocn.ne.jp) (Ping timeout: 250 seconds) |
| 2022-03-07 02:04:16 +0100 | boletales | (~boletales@109.25.3.110.ap.yournet.ne.jp) |
| 2022-03-07 02:04:52 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-07 02:05:55 +0100 | boletales_ | (~boletales@p98076-ipoefx.ipoe.ocn.ne.jp) |
| 2022-03-07 02:08:49 +0100 | boletales | (~boletales@109.25.3.110.ap.yournet.ne.jp) (Ping timeout: 256 seconds) |
| 2022-03-07 02:10:45 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-07 02:11:14 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Remote host closed the connection) |
| 2022-03-07 02:13:50 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-03-07 02:16:51 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-07 02:21:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-07 02:22:07 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-07 02:24:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-07 02:25:09 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-07 02:26:08 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-07 02:28:44 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:2cc2:d132:f33f:4fd4) (Read error: Connection reset by peer) |
| 2022-03-07 02:33:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:33:22 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-07 02:33:56 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:e499:f12d:32a8:5255) |
| 2022-03-07 02:34:44 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-07 02:37:08 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:37:28 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:38:33 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 02:39:38 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-07 02:41:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:41:30 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-07 02:41:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:42:49 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-1c52-7a09-75d4-5be2.res6.spectrum.com) |
| 2022-03-07 02:42:56 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:64f2:c4d3:2ec3:ac49) |
| 2022-03-07 02:43:08 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 02:44:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-07 02:50:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:50:29 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:52:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:52:18 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:64f2:c4d3:2ec3:ac49) (Quit: Leaving) |
| 2022-03-07 02:52:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:54:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:54:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 02:56:27 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 02:56:44 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-07 02:56:49 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:01:02 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:01:16 +0100 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 256 seconds) |
| 2022-03-07 03:01:21 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:03:05 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:03:22 +0100 | Batzy_ | (~quassel@user/batzy) |
| 2022-03-07 03:03:25 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:06:37 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 256 seconds) |
| 2022-03-07 03:09:12 +0100 | ishutin | (~ishutin@92-249-141-199.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-07 03:10:49 +0100 | ishutin | (~ishutin@92-249-150-134.static.digikabel.hu) |
| 2022-03-07 03:13:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:14:21 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:16:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:16:22 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:17:47 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-03-07 03:19:12 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-03-07 03:22:15 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-03-07 03:24:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:25:05 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:25:25 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-07 03:28:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:29:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:30:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:31:00 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:31:19 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 03:31:40 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-07 03:32:19 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Max SendQ exceeded) |
| 2022-03-07 03:34:22 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-07 03:37:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:37:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:37:39 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-07 03:38:49 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 03:40:13 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-07 03:40:19 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Read error: Connection reset by peer) |
| 2022-03-07 03:41:05 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-07 03:42:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-07 03:45:02 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-03-07 03:46:32 +0100 | aeka | (~aeka@user/hiruji) (Ping timeout: 240 seconds) |
| 2022-03-07 03:47:07 +0100 | aeka | (~aeka@user/hiruji) |
| 2022-03-07 03:50:09 +0100 | aeka | (~aeka@user/hiruji) (Client Quit) |
| 2022-03-07 03:50:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 03:50:45 +0100 | aeka | (~aeka@user/hiruji) |
| 2022-03-07 03:52:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:52:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 03:55:17 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-07 03:56:36 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-07 03:58:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 03:59:06 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:01:24 +0100 | mbuf | (~Shakthi@110.225.240.104) |
| 2022-03-07 04:03:16 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:03:36 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:03:53 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-07 04:09:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:10:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:11:21 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 04:12:40 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-03-07 04:17:42 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-03-07 04:18:07 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 04:20:50 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:21:19 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:23:28 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:23:47 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
| 2022-03-07 04:23:48 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:24:57 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 04:27:08 +0100 | Guest|9 | (~Guest|9@fixed-187-190-165-171.totalplay.net) |
| 2022-03-07 04:29:04 +0100 | <dons> | oh man got a 80cm monitor. what a game changer. |
| 2022-03-07 04:29:34 +0100 | <dolio> | What did you have before? |
| 2022-03-07 04:29:47 +0100 | <dons> | oh, i've been on the road for a few months, so living off laptop screens. |
| 2022-03-07 04:30:03 +0100 | <dolio> | Oh yeah. Much nicer than that. :) |
| 2022-03-07 04:30:05 +0100 | <dons> | mostly on 16" macbook |
| 2022-03-07 04:32:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:32:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:32:47 +0100 | <dons> | so at 32"/80cm you can comfortably have 3x2 124col terms in a grid |
| 2022-03-07 04:33:08 +0100 | <dons> | or 4x2 @ 92cols |
| 2022-03-07 04:33:28 +0100 | <dons> | (accounting for fontsize at my aging eyesight) |
| 2022-03-07 04:33:57 +0100 | Guest|9 | (~Guest|9@fixed-187-190-165-171.totalplay.net) (Quit: Connection closed) |
| 2022-03-07 04:34:05 +0100 | <sm> | congrats! |
| 2022-03-07 04:34:31 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2022-03-07 04:39:15 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 04:39:56 +0100 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-03-07 04:40:21 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 245 seconds) |
| 2022-03-07 04:42:37 +0100 | cianky_ | (~cianky@136.206.239.15) |
| 2022-03-07 04:43:24 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 240 seconds) |
| 2022-03-07 04:43:58 +0100 | cianky_ | (~cianky@136.206.239.15) () |
| 2022-03-07 04:45:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:46:06 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:47:47 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:47:50 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 04:48:07 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:49:47 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:50:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:50:10 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 04:50:30 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 04:50:32 +0100 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-07 04:52:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:52:17 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-07 04:52:31 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 04:52:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:56:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 04:56:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 04:58:09 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-07 04:58:09 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 05:00:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:00:50 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:02:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:02:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:04:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:04:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:06:45 +0100 | ishutin | (~ishutin@92-249-150-134.static.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-07 05:08:11 +0100 | ishutin | (~ishutin@92-249-150-134.static.digikabel.hu) |
| 2022-03-07 05:11:51 +0100 | <Axman6> | dons: yeah I couldn't do my current job without a monitor that big, I recently needed to have a 3x2 grid of three different files (each split in two) just to begin to understand the code I'm trying to replace. Turns out you csn write Java in Haskell if you try hard enough |
| 2022-03-07 05:13:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:13:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:15:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:15:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:16:33 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 2022-03-07 05:19:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:20:07 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:21:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-07 05:22:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-07 05:22:12 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 05:25:53 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 05:27:02 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 05:28:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:29:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:29:16 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 05:32:48 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:33:07 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:33:08 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 05:33:52 +0100 | lechner_ | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2022-03-07 05:33:58 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 05:33:58 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 05:34:31 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-03-07 05:35:14 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 05:36:55 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:37:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:38:10 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 05:39:56 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-07 05:43:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:44:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:44:18 +0100 | zero | zzz |
| 2022-03-07 05:46:48 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 05:48:28 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:48:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:49:48 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-07 05:52:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:52:43 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 05:52:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:54:36 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2022-03-07 05:56:36 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 05:56:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 05:57:02 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-03-07 05:57:45 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-03-07 05:58:01 +0100 | <Axman6> | @where ops |
| 2022-03-07 05:58:01 +0100 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2022-03-07 05:58:10 +0100 | <Axman6> | ops: cc123652345762x ^ |
| 2022-03-07 05:59:11 +0100 | <dibblego> | gawn |
| 2022-03-07 05:59:23 +0100 | <Axman6> | flaky connection though |
| 2022-03-07 06:00:19 +0100 | ChanServ | +o litharge |
| 2022-03-07 06:00:20 +0100 | litharge | +b cc123652345762!~cc1236523@116.24.67.150##fix-your-connection |
| 2022-03-07 06:00:27 +0100 | <Axman6> | <3 |
| 2022-03-07 06:00:30 +0100 | litharge | -o litharge |
| 2022-03-07 06:02:28 +0100 | ChanServ | +o litharge |
| 2022-03-07 06:02:30 +0100 | litharge | +b cc123652345762!~cc1236523@116.24.67.150$##fix-your-connection |
| 2022-03-07 06:02:31 +0100 | cc123652345762 | litharge (You are banned from this channel (by ski)) |
| 2022-03-07 06:02:40 +0100 | litharge | -o litharge |
| 2022-03-07 06:05:01 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 06:08:29 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 06:08:45 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 06:09:31 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 2022-03-07 06:11:14 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 06:12:48 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-07 06:13:19 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 06:16:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-07 06:19:02 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2022-03-07 06:19:34 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 06:20:44 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 06:21:06 +0100 | kimjetwav | (~user@2607:fea8:2363:8f00:979b:b492:f897:b694) |
| 2022-03-07 06:21:31 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 06:21:36 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 06:25:14 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-07 06:25:49 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-07 06:30:19 +0100 | ChanServ | +o litharge |
| 2022-03-07 06:30:20 +0100 | litharge | -bo cc123652345762!~cc1236523@116.24.67.150##fix-your-connection litharge |
| 2022-03-07 06:31:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-07 06:31:47 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-07 06:36:53 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-03-07 06:38:25 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-03-07 06:38:41 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-07 06:38:41 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-07 06:38:41 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-07 06:40:48 +0100 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-03-07 06:41:33 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-03-07 06:42:22 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 06:42:25 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-07 06:43:00 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-07 06:44:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-07 06:44:26 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-07 06:44:26 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-07 06:44:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-03-07 06:46:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-03-07 06:47:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-07 06:48:14 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-07 06:48:16 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-07 06:48:17 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 240 seconds) |
| 2022-03-07 06:48:54 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 06:50:46 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-03-07 06:54:43 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 06:55:35 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 06:56:14 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 06:58:11 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-07 06:58:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-07 06:58:54 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:01:23 +0100 | foul_owl | (~kerry@23.82.193.89) (Quit: WeeChat 2.3) |
| 2022-03-07 07:02:30 +0100 | ChanServ | +o litharge |
| 2022-03-07 07:02:31 +0100 | litharge | -bo cc123652345762!~cc1236523@116.24.67.150$##fix-your-connection litharge |
| 2022-03-07 07:03:33 +0100 | foul_owl | (~kerry@174-21-76-71.tukw.qwest.net) |
| 2022-03-07 07:03:48 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 07:04:55 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:06:05 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:11:30 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 07:14:20 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:16:12 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-07 07:18:57 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 07:19:00 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 07:19:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-07 07:20:09 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 07:21:30 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:23:19 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-07 07:23:57 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-07 07:26:08 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:26:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:26:32 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 07:26:43 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 07:27:25 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 07:27:33 +0100 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-03-07 07:28:38 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:b9cc:c9f7:50d2:91bf:feff) |
| 2022-03-07 07:30:07 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 256 seconds) |
| 2022-03-07 07:32:08 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 07:35:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:35:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:37:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:37:14 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:37:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:39:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:39:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:40:13 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-03-07 07:41:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:42:16 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:42:20 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 07:42:46 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:45:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:46:19 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:47:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 07:48:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 07:48:29 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 2022-03-07 07:48:52 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 07:50:12 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-07 07:50:46 +0100 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50) |
| 2022-03-07 07:51:38 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 07:56:31 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 07:57:06 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2022-03-07 07:58:44 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-07 07:59:06 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 08:01:16 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:01:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:01:39 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:02:54 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-07 08:03:50 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-07 08:03:52 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 256 seconds) |
| 2022-03-07 08:05:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:05:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:06:42 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 08:09:40 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 2022-03-07 08:10:53 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-07 08:11:30 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:11:53 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 08:12:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-03-07 08:13:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-07 08:16:20 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 08:17:22 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-07 08:18:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:21:06 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:21:26 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:21:56 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-07 08:25:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-07 08:25:28 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-07 08:27:20 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:27:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:28:08 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 08:28:26 +0100 | boletales_ | (~boletales@p98076-ipoefx.ipoe.ocn.ne.jp) (Remote host closed the connection) |
| 2022-03-07 08:30:33 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:30:49 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:b9cc:c9f7:50d2:91bf:feff) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 08:33:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:33:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:35:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:35:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:37:01 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 08:37:53 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-07 08:37:55 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:38:28 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:4511:759b:ea40:3933) |
| 2022-03-07 08:39:23 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:b9cc:c9f7:50d2:91bf:feff) |
| 2022-03-07 08:42:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 08:42:07 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-07 08:42:23 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 08:42:27 +0100 | <Cheery> | wow. catched a bug with code coverage. |
| 2022-03-07 08:42:28 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:4511:759b:ea40:3933) (Remote host closed the connection) |
| 2022-03-07 08:43:06 +0100 | michalz | (~michalz@185.246.204.65) |
| 2022-03-07 08:43:43 +0100 | <Cheery> | now I'm wondering whether there's a tool to diff code coverage graphs. |
| 2022-03-07 08:43:52 +0100 | <Cheery> | I did it visually by comparing markups. |
| 2022-03-07 08:45:15 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:8ac1:68a6:89a:bc52) |
| 2022-03-07 08:45:52 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:8ac1:68a6:89a:bc52) (Client Quit) |
| 2022-03-07 08:45:57 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 08:47:20 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 08:48:47 +0100 | <dminuoso> | Cheery: You can probably jury rig something together with https://hackage.haskell.org/package/tree-diff |
| 2022-03-07 08:51:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:623a:34aa:5c8e:6872) |
| 2022-03-07 08:52:28 +0100 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-03-07 08:52:38 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:b9cc:c9f7:50d2:91bf:feff) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 08:54:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 08:54:56 +0100 | da39a3ee5e6b4b0d | (~textual@mx-ll-171.5.18-125.dynamic.3bb.co.th) |
| 2022-03-07 08:56:23 +0100 | fendor | (~fendor@91.141.40.111.wireless.dyn.drei.com) |
| 2022-03-07 08:58:46 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-03-07 09:02:24 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-07 09:03:17 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Client Quit) |
| 2022-03-07 09:05:53 +0100 | aiden | (~iceneko@user/iceneko) |
| 2022-03-07 09:08:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:09:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:09:59 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-07 09:10:03 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Ping timeout (120 seconds)) |
| 2022-03-07 09:10:08 +0100 | eriol | (~eriol@user/eriol) (Quit: Ping timeout (120 seconds)) |
| 2022-03-07 09:10:19 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-03-07 09:10:25 +0100 | eriol | (~eriol@user/eriol) |
| 2022-03-07 09:10:26 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-07 09:11:23 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-03-07 09:11:28 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:2121:51c:b67:36c3) |
| 2022-03-07 09:12:23 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 09:12:57 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:e499:f12d:32a8:5255) (Ping timeout: 240 seconds) |
| 2022-03-07 09:14:04 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-03-07 09:14:22 +0100 | alp | (~alp@user/alp) |
| 2022-03-07 09:15:11 +0100 | acidjnk | (~acidjnk@p200300d0c7049f37592e4ec9ecef3fab.dip0.t-ipconnect.de) |
| 2022-03-07 09:15:27 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-03-07 09:16:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2022-03-07 09:18:50 +0100 | jonathanx_ | (~jonathan@c-5eea36c9-74736162.cust.telenor.se) |
| 2022-03-07 09:18:51 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 09:21:30 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-03-07 09:23:32 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 09:24:05 +0100 | InstX1 | Inst |
| 2022-03-07 09:24:37 +0100 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) (Changing host) |
| 2022-03-07 09:24:37 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) |
| 2022-03-07 09:26:17 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:26:35 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-03-07 09:26:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:28:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:28:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:29:25 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-07 09:30:13 +0100 | foul_owl | (~kerry@174-21-76-71.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2022-03-07 09:30:28 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-07 09:30:38 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-03-07 09:31:52 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-07 09:33:49 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-03-07 09:34:08 +0100 | kmein | (~weechat@user/kmein) |
| 2022-03-07 09:37:02 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:37:22 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:39:03 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:39:20 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 09:39:23 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:40:52 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-03-07 09:43:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-07 09:43:49 +0100 | foul_owl | (~kerry@23.82.193.87) |
| 2022-03-07 09:44:26 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 09:45:19 +0100 | da39a3ee5e6b4b0_ | (~textual@2403:6200:8876:d2a9:60e1:b35d:75ca:9100) |
| 2022-03-07 09:46:26 +0100 | da39a3ee5e6b4b0d | (~textual@mx-ll-171.5.18-125.dynamic.3bb.co.th) (Ping timeout: 256 seconds) |
| 2022-03-07 09:47:21 +0100 | da39a3ee5e6b4b0_ | (~textual@2403:6200:8876:d2a9:60e1:b35d:75ca:9100) (Client Quit) |
| 2022-03-07 09:48:02 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-07 09:50:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 09:50:25 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 09:53:56 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-07 09:57:15 +0100 | chele | (~chele@user/chele) |
| 2022-03-07 09:57:26 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 09:58:08 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 09:58:31 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 09:58:57 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-03-07 09:59:21 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-07 09:59:33 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-03-07 10:00:10 +0100 | marijan | (~marijanma@2001:470:69fc:105::1:6cce) (Quit: You have been kicked for being idle) |
| 2022-03-07 10:02:08 +0100 | jonathanx_ | (~jonathan@c-5eea36c9-74736162.cust.telenor.se) (Ping timeout: 268 seconds) |
| 2022-03-07 10:04:34 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 10:06:23 +0100 | kuribas | (~user@ptr-25vy0ia80zmfb26ginl.18120a2.ip6.access.telenet.be) |
| 2022-03-07 10:09:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:10:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:12:16 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-07 10:12:57 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-07 10:18:49 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:19:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:20:07 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 10:22:05 +0100 | aiden | (~iceneko@user/iceneko) (Leaving) |
| 2022-03-07 10:22:42 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-07 10:25:05 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-07 10:26:39 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 10:27:27 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-03-07 10:27:57 +0100 | ishutin | (~ishutin@92-249-150-134.static.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-07 10:29:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:29:56 +0100 | ishutin | (~ishutin@193-110-63-40.cable-modem.hdsnet.hu) |
| 2022-03-07 10:30:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:31:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:31:47 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-07 10:32:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:33:33 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-03-07 10:33:41 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 10:35:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:36:17 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:38:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-03-07 10:41:20 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-07 10:42:04 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-03-07 10:42:17 +0100 | da39a3ee5e6b4b0d | (~textual@171.5.29.46) |
| 2022-03-07 10:46:40 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-07 10:53:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:53:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 10:54:43 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-07 10:56:21 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 272 seconds) |
| 2022-03-07 10:58:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 10:58:24 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 11:00:11 +0100 | <kuribas> | Would it be possible to have an "easy" language, that still has the advantages of haskell? |
| 2022-03-07 11:00:41 +0100 | <kuribas> | Like making side-effects explicit, easy concurrency, function composition, ... |
| 2022-03-07 11:00:53 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 11:00:58 +0100 | <kuribas> | But without requiring everything to be a monad or monad transformer, using folds for everything... |
| 2022-03-07 11:01:41 +0100 | <dminuoso> | Nothing requires you to use monad transformers. |
| 2022-03-07 11:01:47 +0100 | <dminuoso> | That's just a choice people make. |
| 2022-03-07 11:02:01 +0100 | <dminuoso> | Take a look at GHC, its essentially just a big ball of IO |
| 2022-03-07 11:02:10 +0100 | <kuribas> | Well, at least you will want ReaderT r IO, no? |
| 2022-03-07 11:02:15 +0100 | <Inst> | it's just a standard, as some people say, Haskell is more a metalanguage (in the sense that you have 20 different ways to do something) than a language |
| 2022-03-07 11:02:27 +0100 | <dminuoso> | kuribas: You can pass dictionaries/dependencies explicitly or use global IORefs. |
| 2022-03-07 11:02:34 +0100 | <dminuoso> | The same as with any other language. |
| 2022-03-07 11:04:00 +0100 | <kuribas> | so that language is haskell, minus the complicated parts? |
| 2022-03-07 11:04:56 +0100 | <kuribas> | And instead of EitherT use exceptions? |
| 2022-03-07 11:05:12 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-07 11:07:43 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 11:08:09 +0100 | <lortabac> | kuribas: I have thought about this for a long time, I think a "simpler Haskell" would need a couple of built-in features for things that we do at library level |
| 2022-03-07 11:08:27 +0100 | <kuribas> | and be strict probably |
| 2022-03-07 11:09:04 +0100 | <lortabac> | specifically, better support for implicit parameters (to avoid Reader), some syntactic sugar for State (something like Prolog's DCG's) |
| 2022-03-07 11:09:18 +0100 | <lortabac> | and built-in lenses or at least better records |
| 2022-03-07 11:09:37 +0100 | <kuribas> | extensible records like purescript? |
| 2022-03-07 11:09:40 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 11:09:48 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-07 11:10:31 +0100 | <lortabac> | not necessarily extensible, but it should at least allow duplicated fields, maybe through some built-in constraint like HasField |
| 2022-03-07 11:11:17 +0100 | <lortabac> | actually I had started working on such a language, but I don't have the time (nor probably the skills) to complete the work alone |
| 2022-03-07 11:11:38 +0100 | <lortabac> | and I'm not even sure the world needs yet another programming language |
| 2022-03-07 11:12:01 +0100 | <lortabac> | after all, it might be more reasonable to just learn to live with Haskell's quirks |
| 2022-03-07 11:12:46 +0100 | <merijn> | The world needs load more programming languages |
| 2022-03-07 11:12:54 +0100 | <merijn> | As long as they aren't boring reskins of C/Java |
| 2022-03-07 11:13:17 +0100 | <dminuoso> | lortabac: Im not convinced HasField is going to make things better. |
| 2022-03-07 11:13:44 +0100 | <dminuoso> | One of the major issues Haskell has is how we encode these things via typeclasses, at the great cost of extremely poor diagnostics. |
| 2022-03-07 11:13:56 +0100 | <dminuoso> | Rather than "X has no field XYZ" you get failed constrained errors |
| 2022-03-07 11:14:18 +0100 | <lortabac> | dminuoso: to be clear, we are talking about an imaginary new language which is simpler than Haskell |
| 2022-03-07 11:14:27 +0100 | <lortabac> | not about using HasField in Haskell |
| 2022-03-07 11:14:45 +0100 | <kuribas> | merijn: or crappy dynamic languages where proper semantics are an afterthought. |
| 2022-03-07 11:14:50 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 11:15:56 +0100 | <lortabac> | personally I'd just propose a new language if it offers some substantial improvement/advantage/use case over the existing ones |
| 2022-03-07 11:16:16 +0100 | <lortabac> | if it's just Haskell minus transformers I'm hesitant to advertise it to the world |
| 2022-03-07 11:16:32 +0100 | <dminuoso> | I dont think this "minus transformers" proposition is really important. |
| 2022-03-07 11:16:43 +0100 | <kuribas> | Maybe something like f# is more suitable for mainstream? |
| 2022-03-07 11:16:51 +0100 | <dminuoso> | f# is a nasty piece of work |
| 2022-03-07 11:17:03 +0100 | <lortabac> | I do think transformers are a big obstacle to simplicity in Haskell |
| 2022-03-07 11:17:21 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-03-07 11:18:11 +0100 | <dminuoso> | lortabac: transformers are not a necessity. they are just some overhead when deciphering other peoples code. |
| 2022-03-07 11:18:17 +0100 | <dminuoso> | Except ReaderT perhaps |
| 2022-03-07 11:18:34 +0100 | <kuribas> | dminuoso: they are convenient to create parsers for example. |
| 2022-03-07 11:18:45 +0100 | <kuribas> | Not necessary, but they can take away the builerplate. |
| 2022-03-07 11:18:47 +0100 | <dminuoso> | Not as transformers. |
| 2022-03-07 11:18:54 +0100 | <dminuoso> | parsers are usually handcrafted monads. |
| 2022-03-07 11:19:18 +0100 | <dminuoso> | megaparsec is a bit odd since it gives you a whole transformer, but you dont have to actually use it |
| 2022-03-07 11:19:19 +0100 | <kuribas> | Perhaps, but I find it easier to create them using mtl. |
| 2022-03-07 11:19:40 +0100 | <lortabac> | they are a necessity, because whatever abstraction you come up with, you need to know how to compose it with existing abstractions, and that usually involves transformers |
| 2022-03-07 11:19:41 +0100 | <kuribas> | Saves me from the plumbing, plus it's more likely to be correct, easier to adapt, etc... |
| 2022-03-07 11:20:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-07 11:20:03 +0100 | <kuribas> | lortabac: perhaps a language could have effects builtin, and use transformer under the hood? |
| 2022-03-07 11:20:07 +0100 | <dminuoso> | lortabac: I dont know about that, over the past 3 years Ive successfully managed with just ReaderT (and that's just for convenience) |
| 2022-03-07 11:20:19 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-07 11:20:23 +0100 | <dminuoso> | Writing composable software is somewhat orthogonal to transformers |
| 2022-03-07 11:20:35 +0100 | <lortabac> | kuribas: yes, more built-in effects is the idea that I explored with my language |
| 2022-03-07 11:21:26 +0100 | <kuribas> | dminuoso: one problem I found nicely solved with monads and applicatives is validation/error reporting. How would you do it without effects? |
| 2022-03-07 11:21:38 +0100 | maerwald | (~maerwald@user/maerwald) (Quit: gone) |
| 2022-03-07 11:21:51 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-07 11:21:54 +0100 | <kuribas> | Just use a IORef to collect them? |
| 2022-03-07 11:22:00 +0100 | <dminuoso> | Yes. |
| 2022-03-07 11:22:13 +0100 | <kuribas> | Then there is still the problem that I would to collect all errors. |
| 2022-03-07 11:22:18 +0100 | maerwald | (~maerwald@mail.hasufell.de) |
| 2022-03-07 11:22:28 +0100 | <dminuoso> | This is how we have warnings, failable and fatal errors in our large project |
| 2022-03-07 11:22:38 +0100 | <kuribas> | Foo <$> trythis <*> andthat <*> alsoThat. |
| 2022-03-07 11:22:52 +0100 | <dminuoso> | Write a custom monad instance |
| 2022-03-07 11:23:00 +0100 | <dminuoso> | The advantage is nobody has to understand bizarre interactions of monad transformers |
| 2022-03-07 11:23:06 +0100 | <dminuoso> | You can look at what >> does in my code |
| 2022-03-07 11:23:12 +0100 | <kuribas> | If I throw with trythis, I don't see the error of "andthat" and "alsoThat". |
| 2022-03-07 11:23:27 +0100 | <dminuoso> | I also have >|> for example, which only proceeds if no failable erros are set |
| 2022-03-07 11:23:42 +0100 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2022-03-07 11:23:42 +0100 | maerwald | (~maerwald@user/maerwald) |
| 2022-03-07 11:24:12 +0100 | <kuribas> | Isn't that just <*> though? |
| 2022-03-07 11:24:15 +0100 | <merijn> | monad transformers are pretty okay |
| 2022-03-07 11:24:24 +0100 | <merijn> | exposing them as part of your public API is the problem |
| 2022-03-07 11:24:31 +0100 | <dminuoso> | kuribas: No the point is I have this: |
| 2022-03-07 11:25:44 +0100 | <dminuoso> | kuribas: https://gist.github.com/dminuoso/be53ec068306073650802d157ea02e5a |
| 2022-03-07 11:26:53 +0100 | <dminuoso> | So now I have >> which simply proceeds irrespective of errors, and then I construct phases that can only pass if no errors are set using >|> |
| 2022-03-07 11:27:07 +0100 | <dminuoso> | sort of like `(f >> g >> h) >|> (x >> y >> z)` |
| 2022-03-07 11:27:34 +0100 | <dminuoso> | So in my case, I dont even need a custom monad instance. |
| 2022-03-07 11:27:37 +0100 | <dminuoso> | It's just plain IO |
| 2022-03-07 11:28:23 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-07 11:29:42 +0100 | <kuribas> | hmm, something like that could work... |
| 2022-03-07 11:30:11 +0100 | <kuribas> | It'll be more beginner friendly, but still nicely composable. |
| 2022-03-07 11:31:02 +0100 | <kuribas> | maybe I could use a newtype over IO to get validation like behaviour. |
| 2022-03-07 11:31:22 +0100 | <kuribas> | dminuoso: what is Comp? |
| 2022-03-07 11:31:29 +0100 | <kuribas> | Comp is not IO, is it? |
| 2022-03-07 11:31:35 +0100 | <dminuoso> | 1newtype Comp e a = Comp { runComp :: ReaderT (CompEnv e) IO a |
| 2022-03-07 11:32:03 +0100 | <kuribas> | so a transformer :) |
| 2022-03-07 11:32:23 +0100 | <dminuoso> | Sure, but its not really necesary |
| 2022-03-07 11:32:34 +0100 | <dminuoso> | But for the convenience of monad you need either this or global IORefs |
| 2022-03-07 11:32:49 +0100 | <dminuoso> | Or you parametrize everything |
| 2022-03-07 11:33:21 +0100 | <dminuoso> | The key thing is, we just use ReaderT and isomorphic things so we have access to MonadUnliftIO |
| 2022-03-07 11:34:32 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-03-07 11:35:04 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Remote host closed the connection) |
| 2022-03-07 11:35:42 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-07 11:35:44 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-07 11:38:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 11:38:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 11:40:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 11:40:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 11:42:02 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:c0f:a3e3:c787:bf99) |
| 2022-03-07 11:42:37 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-03-07 11:44:01 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:3499:893c:26f0:bcd0) (Remote host closed the connection) |
| 2022-03-07 11:46:14 +0100 | da39a3ee5e6b4b0d | (~textual@171.5.29.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 11:46:59 +0100 | ccntrq | (~Thunderbi@2a01:c22:8df3:2600:efac:1374:1f51:a914) |
| 2022-03-07 11:51:20 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 11:51:39 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 11:53:59 +0100 | jespada | (~jespada@85.255.234.169) (Ping timeout: 272 seconds) |
| 2022-03-07 11:55:18 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-07 11:55:37 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-07 11:56:18 +0100 | jespada | (~jespada@85.255.234.169) |
| 2022-03-07 11:57:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 11:58:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 11:59:55 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-07 12:02:25 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:02:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:02:54 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-07 12:03:13 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-07 12:04:42 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-03-07 12:07:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:07:21 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:09:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:09:20 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:11:00 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:11:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:12:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:13:17 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:14:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:15:16 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:16:57 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:17:15 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:17:50 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 12:18:04 +0100 | fendor_ | (~fendor@178.115.53.79.wireless.dyn.drei.com) |
| 2022-03-07 12:18:18 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-07 12:20:36 +0100 | fendor | (~fendor@91.141.40.111.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-03-07 12:25:21 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-03-07 12:27:15 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-07 12:30:26 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:30:45 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:31:36 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-03-07 12:34:24 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:34:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:34:45 +0100 | ishutin | (~ishutin@193-110-63-40.cable-modem.hdsnet.hu) (Ping timeout: 256 seconds) |
| 2022-03-07 12:35:29 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) |
| 2022-03-07 12:36:33 +0100 | ishutin | (~ishutin@80-95-86-73.pool.digikabel.hu) |
| 2022-03-07 12:38:07 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:c0f:a3e3:c787:bf99) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 12:38:28 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:c0f:a3e3:c787:bf99) |
| 2022-03-07 12:39:05 +0100 | adamcstephens[m] | (~adamcstep@2001:470:69fc:105::1:72a2) () |
| 2022-03-07 12:39:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) (Ping timeout: 240 seconds) |
| 2022-03-07 12:42:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:43:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:46:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 12:47:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 12:48:37 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:c0f:a3e3:c787:bf99) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 12:53:17 +0100 | <kuribas> | is there a "simple" alternative to Endo? |
| 2022-03-07 12:53:22 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:598a:8b0b:9405:6e26) |
| 2022-03-07 12:53:42 +0100 | <kuribas> | I really like Endo, since you can represent partial information in a typesafe way. |
| 2022-03-07 12:56:02 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 272 seconds) |
| 2022-03-07 12:57:07 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 12:57:16 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 12:59:13 +0100 | <byorgey> | kuribas: what is it about Endo that isn't simple enough? |
| 2022-03-07 12:59:28 +0100 | <kuribas> | byorgey: it scares beginners... |
| 2022-03-07 13:02:27 +0100 | <byorgey> | ah. |
| 2022-03-07 13:02:58 +0100 | <kuribas> | But I think there are far more scary things in imperative programs than Endo... |
| 2022-03-07 13:04:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:04:42 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 13:04:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:05:46 +0100 | <maerwald> | kuribas: can you tell me the result of `appEndo "Haskell" $ Endo ("Hello, " ++) <> Endo (++ "?") <> Endo ("!" ++)` without squinting a few times? :p |
| 2022-03-07 13:06:44 +0100 | <kuribas> | type error? |
| 2022-03-07 13:06:58 +0100 | <kuribas> | btw, for strings I would use DList. |
| 2022-03-07 13:07:21 +0100 | <maerwald> | no, it works =) |
| 2022-03-07 13:07:48 +0100 | <maerwald> | tldr: Endo *is* confusing, depending on how you use it |
| 2022-03-07 13:08:05 +0100 | <maerwald> | similarly to ContT |
| 2022-03-07 13:08:11 +0100 | <kuribas> | > appEndo "foo" $ Endo ("bar" ++) |
| 2022-03-07 13:08:12 +0100 | <lambdabot> | error: |
| 2022-03-07 13:08:12 +0100 | <lambdabot> | • Couldn't match expected type ‘Endo (Endo [Char])’ |
| 2022-03-07 13:08:12 +0100 | <lambdabot> | with actual type ‘[Char]’ |
| 2022-03-07 13:08:28 +0100 | <kuribas> | type error |
| 2022-03-07 13:08:43 +0100 | <maerwald> | flip appEndo |
| 2022-03-07 13:08:59 +0100 | <kuribas> | maerwald: so don't do that? Use DList. |
| 2022-03-07 13:09:15 +0100 | <maerwald> | that doesn't make Endo better :p |
| 2022-03-07 13:09:17 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-07 13:09:48 +0100 | <kuribas> | <maerwald> tldr: Endo *is* confusing, depending on how you use it |
| 2022-03-07 13:09:52 +0100 | <kuribas> | So don't use it like that. |
| 2022-03-07 13:09:55 +0100 | <kuribas> | problem solved. |
| 2022-03-07 13:10:08 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-07 13:10:18 +0100 | jespada | (~jespada@85.255.234.169) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-03-07 13:10:32 +0100 | <kuribas> | maerwald: do you hammer nails using a screwdriver? |
| 2022-03-07 13:10:34 +0100 | <maerwald> | well, then you could argue imperative programming is fine as well, if you use it sensibly |
| 2022-03-07 13:10:39 +0100 | <maerwald> | yet, here we are |
| 2022-03-07 13:11:28 +0100 | <kuribas> | I mean, for some cases it "is" fine. |
| 2022-03-07 13:12:57 +0100 | <kuribas> | if you have a proper architecture, people who know what they do, not strong demands on correcness, imperative is also fine. |
| 2022-03-07 13:13:07 +0100 | <kuribas> | Just not something which I personally like to program with. |
| 2022-03-07 13:13:45 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-07 13:13:57 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-07 13:15:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:16:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:17:45 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:18:03 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:20:04 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-03-07 13:22:00 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:22:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:23:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:24:17 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:25:31 +0100 | <dminuoso> | 12:59:13 byorgey | kuribas: what is it about Endo that isn't simple enough? |
| 2022-03-07 13:25:33 +0100 | <dminuoso> | Its uses |
| 2022-03-07 13:25:42 +0100 | <dminuoso> | foldr f z t = appEndo (foldMap (Endo #. f) t) z |
| 2022-03-07 13:26:09 +0100 | <dminuoso> | It's hard to decipher what happens |
| 2022-03-07 13:26:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-07 13:28:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:28:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:31:00 +0100 | akegalj | (~akegalj@78-1-170-211.adsl.net.t-com.hr) |
| 2022-03-07 13:31:03 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-07 13:32:43 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:33:02 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:34:02 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:2121:51c:b67:36c3) (Ping timeout: 240 seconds) |
| 2022-03-07 13:37:43 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:e86b:808f:b5aa:dc47) |
| 2022-03-07 13:39:02 +0100 | acidjnk | (~acidjnk@p200300d0c7049f37592e4ec9ecef3fab.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-07 13:39:28 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-07 13:43:03 +0100 | <int-e> | Well, read (#.) as (.); once you do that, foldr f z [a,b,c] = (f a . f b . f c) z seems to be the hardest step in understanding that. :-P |
| 2022-03-07 13:43:56 +0100 | <int-e> | You have to know about 3 abstractions. That's a serious barrier to understanding it from scratch, obviously. |
| 2022-03-07 13:44:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 13:46:08 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 13:46:27 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 13:46:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: Ping timeout (120 seconds)) |
| 2022-03-07 13:47:24 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-03-07 13:47:59 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-07 13:48:21 +0100 | <kuribas> | dminuoso: But is it the concept of Endo which is difficult, or the use in this case? |
| 2022-03-07 13:48:34 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:8dd6:530e:bda9:6ea2) |
| 2022-03-07 13:48:54 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-07 13:49:34 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-07 13:51:48 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:e86b:808f:b5aa:dc47) (Ping timeout: 240 seconds) |
| 2022-03-07 13:53:06 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-07 13:53:59 +0100 | <dminuoso> | int-e: Of course, if you are able to inline definitions in your head always.. :) |
| 2022-03-07 13:59:42 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-07 14:00:57 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 14:03:25 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-03-07 14:03:42 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-07 14:06:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:06:56 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:08:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:08:55 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:09:01 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Quit: Leaving) |
| 2022-03-07 14:10:12 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:84ab:e3a9:1ea3:da7a) (Ping timeout: 240 seconds) |
| 2022-03-07 14:11:25 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-03-07 14:13:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:13:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:13:54 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-03-07 14:15:38 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:15:44 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Client closed) |
| 2022-03-07 14:15:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:17:39 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:17:57 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:18:41 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-07 14:20:13 +0100 | <maerwald[m]> | dminuoso: even if you can, it's wasted intellectual energy. Wasn't that the reason we abandoned imperative programming because reasoning about global state is just too hard? |
| 2022-03-07 14:21:03 +0100 | Topsi | (~Tobias@dyndsl-095-033-017-136.ewe-ip-backbone.de) |
| 2022-03-07 14:24:20 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:24:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:24:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-03-07 14:25:21 +0100 | ishutin | (~ishutin@80-95-86-73.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-07 14:25:57 +0100 | <merijn> | I mean, you can do imperative programming without global state... |
| 2022-03-07 14:26:01 +0100 | <merijn> | See IO |
| 2022-03-07 14:26:12 +0100 | <kuribas> | It's global complexity vs local complexity. I find often haskell code is locally complex, like it takes some time to understand how a function or abstraction works. However, globally it becomes more modular and easy to reason about. |
| 2022-03-07 14:26:49 +0100 | ishutin | (~ishutin@fibhost-66-106-209.fibernet.hu) |
| 2022-03-07 14:26:53 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-07 14:27:54 +0100 | <dminuoso> | maerwald[m]: There's certainly something to that. The complexity of trying to get LoggingT into servant is quite absurd. |
| 2022-03-07 14:28:31 +0100 | <dminuoso> | If on the other hand we had a logger using global state, things get real simple,. |
| 2022-03-07 14:28:51 +0100 | <kuribas> | logger using ReaderT is pretty easy as well. |
| 2022-03-07 14:28:56 +0100 | <kuribas> | No need for global state |
| 2022-03-07 14:29:04 +0100 | <dminuoso> | kuribas: With servant? |
| 2022-03-07 14:29:10 +0100 | <dminuoso> | If you know how, its easy yes. |
| 2022-03-07 14:29:44 +0100 | <kuribas> | If you already have ReaderT, adding a logger is easy. |
| 2022-03-07 14:29:54 +0100 | <maerwald[m]> | merijn: that's exactly the point. You can do sensible imperative programming, but... you're not forced to. |
| 2022-03-07 14:30:25 +0100 | <dminuoso> | kuribas: That's my point, getting a ReaderT/LoggingT into servant requires special combinators and the code looks incredibly scary. |
| 2022-03-07 14:31:42 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-07 14:31:56 +0100 | <maerwald[m]> | kuribas: global complexity can very easily leak into Haskell programs too, eg when the primary state is your filesystem |
| 2022-03-07 14:32:13 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 14:32:43 +0100 | <maerwald[m]> | Or a blockchain xD |
| 2022-03-07 14:32:56 +0100 | <romesrf> | is there a way to constrain a type family? say: type family F a, but all instances of F a must satisfy Monoid (F a) |
| 2022-03-07 14:33:10 +0100 | <romesrf> | type family (Monoid F a) => F a :P |
| 2022-03-07 14:33:27 +0100 | <maerwald[m]> | dminuoso: you can use your own app monad in servant |
| 2022-03-07 14:33:38 +0100 | <dminuoso> | maerwald[m]: of course, Im not saying its impossible |
| 2022-03-07 14:33:47 +0100 | <dminuoso> | We do this in all our servant apps |
| 2022-03-07 14:33:48 +0100 | <maerwald[m]> | https://docs.servant.dev/en/stable/cookbook/using-custom-monad/UsingCustomMonad.html |
| 2022-03-07 14:33:53 +0100 | <dminuoso> | Yeah I know |
| 2022-03-07 14:34:13 +0100 | <merijn> | romesrf: Not really? |
| 2022-03-07 14:34:14 +0100 | <maerwald[m]> | It gets complicated when there's no existing instance |
| 2022-03-07 14:34:22 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:8dd6:530e:bda9:6ea2) (Ping timeout: 250 seconds) |
| 2022-03-07 14:34:26 +0100 | <dminuoso> | maerwald[m]: So if I was a curious newbie I might be tempted to look at this: |
| 2022-03-07 14:34:33 +0100 | <dminuoso> | genericServeTWithContext :: forall (routes :: * -> *) (m :: * -> *) (ctx :: [*]). (GenericServant routes (AsServerT m), GenericServant routes AsApi, HasServer (ToServantApi routes) ctx, HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters, ServerT (ToServantApi routes) m ~ ToServant routes (AsServerT m)) => (forall a. m a -> Handler a) hoistServer argument to come back to Handler |
| 2022-03-07 14:34:33 +0100 | <maerwald[m]> | dminuoso: see https://github.com/haskell-servant/servant/issues/1544 |
| 2022-03-07 14:34:34 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Remote host closed the connection) |
| 2022-03-07 14:34:35 +0100 | <dminuoso> | -> routes (AsServerT m) your record full of request handlers -> Context ctx the Context to serve the application with -> Application |
| 2022-03-07 14:34:37 +0100 | <romesrf> | I see hahaha |
| 2022-03-07 14:34:44 +0100 | <dminuoso> | And at that point I might as well give up and declare Python is simpler. |
| 2022-03-07 14:34:48 +0100 | <hololeap> | where does the Paths_pkgname module come from? |
| 2022-03-07 14:34:56 +0100 | <dminuoso> | Because writing a flask api certainly doesnt impose these crazy things on me |
| 2022-03-07 14:35:25 +0100 | <maerwald[m]> | First time writing a HasClient instance is confusing |
| 2022-03-07 14:35:50 +0100 | <hololeap> | I see "autogen-modules: Paths_fay" in fay.cabal |
| 2022-03-07 14:36:00 +0100 | <maerwald[m]> | HasServer rather |
| 2022-03-07 14:37:09 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 14:37:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) |
| 2022-03-07 14:37:59 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 14:38:08 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-03-07 14:38:13 +0100 | <geekosaur> | hololeap, cabal generates it |
| 2022-03-07 14:39:20 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/3.6/cabal-package.html#autogenerated-modules-and-includes |
| 2022-03-07 14:39:31 +0100 | <merijn> | hololeap: It's auto-generated by cabal |
| 2022-03-07 14:39:50 +0100 | <hololeap> | geekosaur: my problem is that fay-tests is giving errors about not finding the fay modules in the search locations, which are wrong |
| 2022-03-07 14:40:17 +0100 | <merijn> | hololeap: Can you link the cabal file? |
| 2022-03-07 14:40:19 +0100 | <hololeap> | and the only place I can find where these search locations are coming from is getDataFileName, which I guess is imported from Paths_fay |
| 2022-03-07 14:40:58 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/3.6/cabal-package.html#accessing-data-files-from-package-code |
| 2022-03-07 14:41:06 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Client Quit) |
| 2022-03-07 14:41:40 +0100 | <geekosaur> | I don't think that gives full detail though, there aresome tricks to try to enable it to work with both installed modules and whilee.g. testing |
| 2022-03-07 14:41:48 +0100 | <geekosaur> | those tricks may not always work,sadly |
| 2022-03-07 14:42:15 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) (Ping timeout: 256 seconds) |
| 2022-03-07 14:42:25 +0100 | <geekosaur> | if you're having problems with it, best bet might be to ask in #hackage |
| 2022-03-07 14:43:14 +0100 | <hololeap> | I'm just trying to figure out how to override that function, or at least append the correct path to the source dir |
| 2022-03-07 14:43:27 +0100 | <merijn> | hololeap: You can do so via environment variables |
| 2022-03-07 14:43:43 +0100 | <merijn> | hololeap: But overall: insufficient context |
| 2022-03-07 14:46:52 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving) |
| 2022-03-07 14:48:42 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:48:58 +0100 | <hololeap> | merijn: https://github.com/faylang/fay/blob/master/fay.cabal |
| 2022-03-07 14:49:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:49:23 +0100 | vpan | (~0@212.117.1.172) |
| 2022-03-07 14:49:31 +0100 | <hololeap> | merijn: I'm trying to run the test suite locally, but I'm hitting errors like this, because it's searching for the source in the wrong paths: https://dpaste.com/5LEZ4NDFQ |
| 2022-03-07 14:49:52 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) |
| 2022-03-07 14:51:59 +0100 | <merijn> | How was Fay installed? |
| 2022-03-07 14:52:35 +0100 | <hololeap> | it's just sitting in dist/ |
| 2022-03-07 14:53:04 +0100 | <merijn> | First observation: fay-tests doesn't list an autogen-module for Paths_fay |
| 2022-03-07 14:53:12 +0100 | <merijn> | But does list itself as using it |
| 2022-03-07 14:53:34 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-03-07 14:55:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:55:17 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-07 14:55:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 14:56:13 +0100 | <hololeap> | ok, I think I made a little headway here and found where the paths are actually being pulled from. thanks for the info geekosaur, merijn |
| 2022-03-07 14:56:49 +0100 | <merijn> | hololeap: How are you running the tests, btw? |
| 2022-03-07 14:57:01 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
| 2022-03-07 14:57:13 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:fc09:57a0:d89c:b417) |
| 2022-03-07 14:57:24 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 14:57:52 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-03-07 14:59:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 14:59:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 15:01:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 15:01:33 +0100 | <hololeap> | it's pretty convoluted, but I have fay and fay-base built, and I'm running the fay-tests exe |
| 2022-03-07 15:01:50 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 15:02:47 +0100 | <merijn> | Directly, you mean? |
| 2022-03-07 15:03:04 +0100 | <hololeap> | yes |
| 2022-03-07 15:03:16 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-07 15:04:21 +0100 | <hololeap> | it's actually a PoC to see if I can get a test suite like this working as part of a gentoo package |
| 2022-03-07 15:04:36 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) |
| 2022-03-07 15:05:06 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-07 15:05:32 +0100 | <merijn> | hololeap: Try using "cabal run" instead |
| 2022-03-07 15:05:57 +0100 | <merijn> | It sets up the Paths module correctly for running from the *build* dir, rather than the final install dir |
| 2022-03-07 15:06:34 +0100 | <hololeap> | oh interesting. any idea if there is an equivalent for cabal-v1? |
| 2022-03-07 15:06:48 +0100 | <merijn> | hololeap: If you didn't install then Paths is probably looking in the install dir, where it isn't yet, if you didn't install |
| 2022-03-07 15:07:21 +0100 | <merijn> | oh, you're trying to use Paths from v1 to access stuff without actually installing? My professional assessment is: RIP you |
| 2022-03-07 15:07:42 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 15:08:16 +0100 | <geekosaur> | actually the Paths machinery predates cabal 2+, and there is a cabal v1-run. I'd say try it |
| 2022-03-07 15:08:36 +0100 | <geekosaur> | (including stuff to work from uninstalled state as merijn described) |
| 2022-03-07 15:08:38 +0100 | <reactormonk[m]> | If I have two `Prism a' b'`, both pointing to a different part of an AST, can I smash them together into a single `Prism' a b` or `Traversal' a b`? |
| 2022-03-07 15:08:45 +0100 | <merijn> | geekosaur: I know, but I know hvr did a bunch of working to make Paths work correctly without installing |
| 2022-03-07 15:09:31 +0100 | <geekosaur> | yeh.tbh though I would not be surprised if v1-run is just an alias for v2-run |
| 2022-03-07 15:09:55 +0100 | <geekosaur> | Paths_can't be generated differently for v1 vs. v2 |
| 2022-03-07 15:09:55 +0100 | <hololeap> | there doesn't seem to be any equivalent for ./setup |
| 2022-03-07 15:10:12 +0100 | <geekosaur> | no, setup won't do that |
| 2022-03-07 15:10:16 +0100 | <hololeap> | it's not a big deal though, guys. if I don't get this working I'll just move on |
| 2022-03-07 15:11:06 +0100 | <hololeap> | although if you have any knowledge of an env variable that would override these paths, I would like to know |
| 2022-03-07 15:11:36 +0100 | <geekosaur> | were I you I would want to move away from Setup anyway. it's optional in many packages these days, and cabal has an act-as-setup internal command to replace it |
| 2022-03-07 15:12:08 +0100 | <geekosaur> | there'sa pretty strong move to make Setup go away |
| 2022-03-07 15:12:38 +0100 | <geekosaur> | they may always need to support build-type: custom, but as much as possible they want to avoid it |
| 2022-03-07 15:12:50 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 15:13:28 +0100 | <hololeap> | hm, yeah it's a bummer the main person who set all this gentoo machinery up is gone. but I think the reason why Setup.hs is used is in case cabal-install hasn't been installed |
| 2022-03-07 15:14:05 +0100 | <hololeap> | there's a bootstrapping function in the scripts that generates Setup.hs if it doesn't exist |
| 2022-03-07 15:17:12 +0100 | <merijn> | I mean gentoo's use of Setup.hs is actually the intentional use-case for Setup.hs existing, so... |
| 2022-03-07 15:17:42 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 252 seconds) |
| 2022-03-07 15:19:07 +0100 | <maerwald[m]> | Setup.hs is the only unix style interface there is |
| 2022-03-07 15:19:25 +0100 | <maerwald[m]> | I don't see that ever going away |
| 2022-03-07 15:19:45 +0100 | <maerwald[m]> | Even stack relies on it |
| 2022-03-07 15:22:52 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-07 15:23:54 +0100 | <shapr> | GOOD MORNING |
| 2022-03-07 15:23:57 +0100 | shapr | hops cheerfully |
| 2022-03-07 15:24:58 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-07 15:28:20 +0100 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-03-07 15:30:38 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-03-07 15:32:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 15:33:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 15:34:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 15:35:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 15:35:46 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-07 15:36:49 +0100 | <romesrf> | how could I import a type instance from a module? |
| 2022-03-07 15:36:54 +0100 | <romesrf> | import Module (typeinstance?) |
| 2022-03-07 15:37:02 +0100 | <merijn> | romesrf: What is a type instance? |
| 2022-03-07 15:37:08 +0100 | <romesrf> | type instance F a = Int |
| 2022-03-07 15:37:16 +0100 | <merijn> | Ah, that's a type family |
| 2022-03-07 15:37:16 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-03-07 15:37:26 +0100 | <romesrf> | :-) |
| 2022-03-07 15:37:26 +0100 | <merijn> | And you just import F |
| 2022-03-07 15:37:35 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-03-07 15:37:42 +0100 | <romesrf> | How would I import just the instance? hahahaha |
| 2022-03-07 15:37:50 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-03-07 15:38:05 +0100 | <geekosaur> | is the instance even meaningful without the family? |
| 2022-03-07 15:38:16 +0100 | <merijn> | I'm not sure what you mean by "just the instance". F is a type family instance is just the implementation |
| 2022-03-07 15:38:22 +0100 | <romesrf> | say, I have module A that declares type family, module B that declares an instance and then Monoid (F Somthng), and then module C which wants to know that F Somthn instances monoid |
| 2022-03-07 15:38:28 +0100 | <merijn> | 'F' is the only relevant part you can import |
| 2022-03-07 15:38:38 +0100 | <romesrf> | I see I see |
| 2022-03-07 15:39:31 +0100 | <lechner> | Hi, is anyone aware of a Perl module to parse Cabal files? |
| 2022-03-07 15:39:37 +0100 | <romesrf> | ty :) |
| 2022-03-07 15:39:37 +0100 | <merijn> | romesrf: If you have 'F' imported from A that is all you need to do "Monoid (F Something) =>" afaik |
| 2022-03-07 15:40:05 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/type_families.html#import-and-… |
| 2022-03-07 15:40:06 +0100 | <romesrf> | merijn: Indeed, I was trying to avoid the many of constraints |
| 2022-03-07 15:40:50 +0100 | <romesrf> | thank you geekosaur |
| 2022-03-07 15:41:25 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-07 15:42:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-07 15:44:57 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-07 15:45:14 +0100 | <geekosaur> | lechner, afaik the only reliable way to parse a cabal file is via the cabal library |
| 2022-03-07 15:45:24 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-07 15:45:49 +0100 | <geekosaur> | a perl module trying to parse a cabal file would be … scary |
| 2022-03-07 15:46:17 +0100 | <geekosaur> | (not that parsing in perl 5 isn't scary to start with… I like raku more for that) |
| 2022-03-07 15:47:00 +0100 | <lechner> | it would be okay to use an intermediary Haskell executable. Is there such a Swiss army knife? |
| 2022-03-07 15:47:48 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-03-07 15:48:47 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 256 seconds) |
| 2022-03-07 15:49:13 +0100 | <geekosaur> | doesn't seem to be |
| 2022-03-07 15:49:13 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-07 15:49:22 +0100 | <geekosaur> | looks like hvr started to write one but abandoned it |
| 2022-03-07 15:49:30 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-07 15:51:21 +0100 | <lechner> | okay, thanks! |
| 2022-03-07 15:52:12 +0100 | <merijn> | There's a work-in-progress parser for cabal |
| 2022-03-07 15:52:21 +0100 | <lechner> | Hi, what was the default value for 'cabal-version' when the field was not required, please? |
| 2022-03-07 15:53:25 +0100 | <merijn> | It was always required I'm pretty sure |
| 2022-03-07 15:53:42 +0100 | <merijn> | Or if it wasn't, then that was only in the way earliest days |
| 2022-03-07 15:54:12 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2022-03-07 15:54:15 +0100 | <merijn> | (as in, more than 15-20 years ago) |
| 2022-03-07 15:54:25 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-03-07 15:57:16 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 15:57:23 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-03-07 15:57:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 15:57:38 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) |
| 2022-03-07 15:58:30 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-07 16:00:15 +0100 | bahamas | (~lucian@188.24.153.252) |
| 2022-03-07 16:03:34 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:ddf8:a02:d4a2:e78f) |
| 2022-03-07 16:05:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 16:06:05 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 16:07:36 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-07 16:08:29 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-07 16:08:30 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-07 16:10:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 16:10:29 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 16:10:36 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-07 16:11:49 +0100 | <lechner> | merijn: thanks! |
| 2022-03-07 16:12:36 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-07 16:13:21 +0100 | <merijn> | The only change I can think of you might be referring to is that change that drops the faux-range notation and requires it as first field in the file |
| 2022-03-07 16:13:27 +0100 | <merijn> | Which is fairly recent |
| 2022-03-07 16:13:51 +0100 | <lechner> | merijn: "now required" https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-cabal-version |
| 2022-03-07 16:14:13 +0100 | <merijn> | By which I mean "from around Cabal-2.0" which was released around 5 years ago |
| 2022-03-07 16:15:12 +0100 | <merijn> | lechner: Note that it says that it changed significantly in Cabal 1.2, which was released in 2007 :) |
| 2022-03-07 16:15:36 +0100 | toulene | (~toulene@user/toulene) |
| 2022-03-07 16:15:40 +0100 | <lechner> | in debian i regularly encounter code written in 1998 |
| 2022-03-07 16:16:25 +0100 | <merijn> | lechner: Note that a bit below it links to the github issue that has the whole discussion/rationale for changing things |
| 2022-03-07 16:17:18 +0100 | <merijn> | lechner: To clarify: the cabal-version field is intended to describe the syntax *of the cabal file* and does not relate to the cabal-install (i.e. cabal executable) used besides indirectly |
| 2022-03-07 16:18:00 +0100 | <sclv> | the approach you should take really depends on what info you want out of cabal files |
| 2022-03-07 16:18:22 +0100 | <merijn> | lechner: cabal-install is backwards compatible with all previous versions of the file-format. So this section only applies to writing/modifying cabal files and shouldn't affect anyone merely *using* cabal files |
| 2022-03-07 16:19:40 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 16:20:35 +0100 | <lechner> | merijn: i thought i needed it for the default build type https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-build-type |
| 2022-03-07 16:20:49 +0100 | <merijn> | lechner: So cabal files wishing to use features of newer cabal specifications must declare an appropriate cabal-version for those features (which, from 2.0 on MUST be using the new format with the version on the first line and no faux-range syntax) |
| 2022-03-07 16:21:56 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) (Quit: Client closed) |
| 2022-03-07 16:21:58 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) (Ping timeout: 256 seconds) |
| 2022-03-07 16:22:03 +0100 | <merijn> | lechner: Well, that depends on why you want to change the default build type for a package? |
| 2022-03-07 16:22:20 +0100 | <lechner> | it's only when there is none |
| 2022-03-07 16:22:31 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-07 16:22:52 +0100 | akegalj | (~akegalj@78-1-170-211.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-03-07 16:22:57 +0100 | <sclv> | there's a lot of tools for translating between cabal files and specifications for various package managers, idk what shape they're in or their approach but eg https://hackage.haskell.org/package/cabal-debian and https://hackage.haskell.org/package/cabal2spec and https://hackage.haskell.org/package/cabal2ebuild |
| 2022-03-07 16:22:57 +0100 | <merijn> | and? |
| 2022-03-07 16:23:11 +0100 | <merijn> | lechner: What are you trying to do? |
| 2022-03-07 16:23:48 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 240 seconds) |
| 2022-03-07 16:25:34 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) |
| 2022-03-07 16:25:41 +0100 | <lechner> | the debian build system provides an appropriate Setup.hs file when none is present |
| 2022-03-07 16:28:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 16:28:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 16:28:54 +0100 | <merijn> | and? |
| 2022-03-07 16:29:12 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-07 16:29:37 +0100 | <merijn> | Why would that require modifying the package? |
| 2022-03-07 16:30:41 +0100 | <lechner> | it requires determining the build type, which depends in part on the cabal-version https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-build-type |
| 2022-03-07 16:30:45 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) (Ping timeout: 272 seconds) |
| 2022-03-07 16:31:10 +0100 | <merijn> | It doesn't really, tbh |
| 2022-03-07 16:31:23 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-03-07 16:31:28 +0100 | <merijn> | Because the only time it can be missing is when it's Simple/Configure/Make |
| 2022-03-07 16:31:47 +0100 | <merijn> | Because Custom requires a Setup.hs exist, else the package is broken to begin with |
| 2022-03-07 16:32:13 +0100 | <merijn> | So you can just always assume that missing setup type + missing Setup.hs == Simple |
| 2022-03-07 16:32:15 +0100 | cailt^ | (~cailt@50.232.121.75) |
| 2022-03-07 16:34:26 +0100 | bahamas | (~lucian@188.24.153.252) (Ping timeout: 256 seconds) |
| 2022-03-07 16:36:20 +0100 | <lechner> | we catch that condition, but i still have to infer the custom build type first |
| 2022-03-07 16:37:47 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) |
| 2022-03-07 16:38:03 +0100 | <merijn> | You can just grep the cabal file for setup type. If grep finds nothing, check for Setup.hs existing and if not infer Simple. Else infer Custom? |
| 2022-03-07 16:40:19 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-07 16:40:45 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-03-07 16:40:47 +0100 | cailt^ | (~cailt@50.232.121.75) (Remote host closed the connection) |
| 2022-03-07 16:41:28 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 16:41:47 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 16:42:10 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-03-07 16:43:36 +0100 | Artyom[m] | (~available@2001:470:69fc:105::1:d429) |
| 2022-03-07 16:43:55 +0100 | <lechner> | merijn: here is what we do presently https://salsa.debian.org/lechner/haskell-devscripts/-/blob/perl-recipes/lib/Debian/Debhelper/Build… |
| 2022-03-07 16:44:13 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-03-07 16:45:19 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 16:46:29 +0100 | <merijn> | I mean, that's basically roughly what I described, no? |
| 2022-03-07 16:46:40 +0100 | <merijn> | (as far as I can guess Perl code anyway) |
| 2022-03-07 16:47:12 +0100 | Artyom[m] | (~available@2001:470:69fc:105::1:d429) () |
| 2022-03-07 16:47:13 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 16:47:43 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 16:49:10 +0100 | ishutin | (~ishutin@fibhost-66-106-209.fibernet.hu) (Ping timeout: 260 seconds) |
| 2022-03-07 16:50:19 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 16:50:38 +0100 | ishutin | (~ishutin@92-249-193-164.pool.digikabel.hu) |
| 2022-03-07 16:53:13 +0100 | <lechner> | thanks for confirming! that's what i was aiming for. |
| 2022-03-07 16:54:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 16:55:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 16:55:48 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-07 16:55:54 +0100 | s4msung | (bZt8T9wHxn@user/s4msung) (Quit: s4msung) |
| 2022-03-07 16:55:56 +0100 | noctuks | (7vrDyCK6LH@user/noctux) (Quit: WeeChat 3.3) |
| 2022-03-07 16:55:56 +0100 | yushyin | (UUdtykrwRM@mail.karif.server-speed.net) (Quit: WeeChat 3.3) |
| 2022-03-07 17:02:51 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 245 seconds) |
| 2022-03-07 17:03:30 +0100 | noctuks | (pS9vLLhgiV@user/noctux) |
| 2022-03-07 17:03:30 +0100 | s4msung | (z4rgS71Nb1@user/s4msung) |
| 2022-03-07 17:03:31 +0100 | yushyin | (NwWjaFh18p@mail.karif.server-speed.net) |
| 2022-03-07 17:03:50 +0100 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 2022-03-07 17:04:22 +0100 | liz | (~liz@2a00:23c5:9680:501:f2d5:bfff:fe6a:5af4) |
| 2022-03-07 17:05:09 +0100 | bahamas | (~lucian@188.24.153.252) |
| 2022-03-07 17:07:01 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 17:09:23 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 17:11:57 +0100 | alp | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-03-07 17:13:48 +0100 | toulene | (~toulene@user/toulene) (Quit: ZNC - https://znc.in) |
| 2022-03-07 17:15:29 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 17:15:48 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 17:16:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:623a:34aa:5c8e:6872) (Quit: WeeChat 2.8) |
| 2022-03-07 17:17:02 +0100 | bahamas | (~lucian@188.24.153.252) (Ping timeout: 252 seconds) |
| 2022-03-07 17:17:30 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-03-07 17:19:26 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 17:19:45 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-03-07 17:19:47 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 17:20:46 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-03-07 17:23:24 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 17:23:30 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-07 17:23:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 17:24:21 +0100 | <Inst> | do you know if there's any newer versions of HLS / GHCup / Cabal? |
| 2022-03-07 17:26:25 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-03-07 17:27:31 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 17:29:34 +0100 | <merijn> | newer than what? |
| 2022-03-07 17:30:31 +0100 | neurocyte0917090 | (~neurocyte@IP-213188113209.dynamic.medianet-world.de) |
| 2022-03-07 17:30:31 +0100 | neurocyte0917090 | (~neurocyte@IP-213188113209.dynamic.medianet-world.de) (Changing host) |
| 2022-03-07 17:30:31 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-03-07 17:32:11 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 17:32:19 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-03-07 17:32:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 17:32:46 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 17:34:07 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2022-03-07 17:36:39 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 17:36:46 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-07 17:36:58 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 17:38:42 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-07 17:39:33 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) |
| 2022-03-07 17:40:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 17:40:42 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2022-03-07 17:41:16 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-07 17:41:17 +0100 | <geekosaur> | ghcup can update itself |
| 2022-03-07 17:41:53 +0100 | <liz> | if there's a new not-bleeding-edge update then it'll be available either through ghcup itself or your package manager |
| 2022-03-07 17:41:56 +0100 | <geekosaur> | Cabal lib 3.6.3.0 was released this morning I believe, but cabal-install is still 3.6.2.0 |
| 2022-03-07 17:42:11 +0100 | <geekosaur> | hls hasn't updated yet |
| 2022-03-07 17:42:42 +0100 | <liz> | is ghcup updated manually bt a team when new things like this come out? |
| 2022-03-07 17:42:47 +0100 | <liz> | by* |
| 2022-03-07 17:42:52 +0100 | <merijn> | "team" |
| 2022-03-07 17:42:53 +0100 | <merijn> | lol |
| 2022-03-07 17:43:01 +0100 | <liz> | or like, one dude |
| 2022-03-07 17:43:07 +0100 | <merijn> | Pretty much :) |
| 2022-03-07 17:43:17 +0100 | <liz> | hehe, is it manual then? |
| 2022-03-07 17:43:36 +0100 | <merijn> | Almost certainly |
| 2022-03-07 17:43:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) (Ping timeout: 240 seconds) |
| 2022-03-07 17:43:59 +0100 | <geekosaur> | ghcup itslef is updated periodically. when you run it it downloads a metadata file with current releases of everything available |
| 2022-03-07 17:43:59 +0100 | <liz> | i can't imagine it'll take too long from now if it's not available yet |
| 2022-03-07 17:44:12 +0100 | <geekosaur> | ghc 9.2.2 is already up, I'm seeing |
| 2022-03-07 17:44:15 +0100 | <liz> | gonna check my ghcup now actually |
| 2022-03-07 17:45:34 +0100 | <liz> | oh yep, ghc 9.2.2 and base 4.16.1.0 are up now |
| 2022-03-07 17:45:45 +0100 | juri_ | (~juri@178.63.35.222) (Remote host closed the connection) |
| 2022-03-07 17:46:24 +0100 | <liz> | and yeah, seems that cabal 3.6.3.0 isn't on ghcup 0.1.17.5 |
| 2022-03-07 17:46:35 +0100 | <liz> | i'm sure it'll go up at some point today |
| 2022-03-07 17:46:58 +0100 | <geekosaur> | it'sonly a library update, won't show in ghcup |
| 2022-03-07 17:47:06 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-03-07 17:47:09 +0100 | <geekosaur> | the command line tool is still 3.6.2.0 |
| 2022-03-07 17:47:50 +0100 | <geekosaur> | (the namingf is admittedly confusing but Cabal the library and cabal(-install) the tool are distinct things) |
| 2022-03-07 17:47:52 +0100 | <liz> | silly question, can cabal 3.6.2.0 use cabal-lib 3.6.3.0? |
| 2022-03-07 17:47:59 +0100 | <geekosaur> | sure |
| 2022-03-07 17:48:19 +0100 | <liz> | okay yeah, i think i was conflating the two |
| 2022-03-07 17:48:26 +0100 | <geekosaur> | they'd have updated cabal-install if it had been needed |
| 2022-03-07 17:49:36 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 17:50:55 +0100 | <geekosaur> | while the two are closely related, the APIs change rarely enough that cabal-install can work with a wide range of Cabal libraries |
| 2022-03-07 17:51:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-03-07 17:51:06 +0100 | ccntrq | (~Thunderbi@2a01:c22:8df3:2600:efac:1374:1f51:a914) (Quit: ccntrq) |
| 2022-03-07 17:51:17 +0100 | <geekosaur> | and has to because the Cabal library is how you interact with packages and package databases |
| 2022-03-07 17:51:17 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 17:51:47 +0100 | <geekosaur> | which also means it's how cabal--install interacts with ghc, so you'd otherwise have to match cabal-install version with ghc version for things to work |
| 2022-03-07 17:56:50 +0100 | juri_ | (~juri@178.63.35.222) |
| 2022-03-07 17:57:35 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 2022-03-07 17:58:09 +0100 | Topsi | (~Tobias@dyndsl-095-033-017-136.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-07 18:01:22 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:01:37 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-07 18:01:44 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:01:50 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-03-07 18:03:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:03:50 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:04:32 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 18:07:23 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 18:07:33 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 18:09:24 +0100 | dschrempf | (~dominik@17-12-190.cgnat.fonira.net) |
| 2022-03-07 18:09:43 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 18:10:12 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-07 18:12:08 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:12:26 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:14:20 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:14:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:16:41 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:17:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:18:41 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:19:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:20:41 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:21:01 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:21:42 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-07 18:22:18 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-07 18:25:08 +0100 | bahamas | (~lucian@188.24.153.252) |
| 2022-03-07 18:26:35 +0100 | rtsn | (~nstr@h-98-128-229-174.NA.cust.bahnhof.se) (Changing host) |
| 2022-03-07 18:26:35 +0100 | rtsn | (~nstr@user/rtsn) |
| 2022-03-07 18:27:48 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 18:29:12 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 18:29:58 +0100 | bahamas | (~lucian@188.24.153.252) (Ping timeout: 260 seconds) |
| 2022-03-07 18:30:19 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 18:30:51 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-03-07 18:31:36 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-07 18:34:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:34:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:35:05 +0100 | dschrempf | (~dominik@17-12-190.cgnat.fonira.net) (Quit: WeeChat 3.3) |
| 2022-03-07 18:38:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:38:13 +0100 | mbuf | (~Shakthi@110.225.240.104) (Quit: Leaving) |
| 2022-03-07 18:38:32 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:40:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 18:40:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 18:41:55 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) |
| 2022-03-07 18:45:54 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-03-07 18:48:32 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 18:50:25 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 18:50:57 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 18:52:10 +0100 | Guest26 | (~Guest26@170.250.76.168) |
| 2022-03-07 18:52:57 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 18:53:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-07 18:55:40 +0100 | Guest26 | (~Guest26@170.250.76.168) (Client Quit) |
| 2022-03-07 18:57:03 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-07 18:58:57 +0100 | ishutin | (~ishutin@92-249-193-164.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-07 19:00:14 +0100 | ishutin | (~ishutin@92-249-150-139.static.digikabel.hu) |
| 2022-03-07 19:02:34 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 19:02:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 19:04:33 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 19:04:51 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 19:05:27 +0100 | Topsi | (~Tobias@dyndsl-095-033-017-136.ewe-ip-backbone.de) |
| 2022-03-07 19:07:07 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 19:07:26 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 19:09:21 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-07 19:09:57 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-07 19:10:08 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 19:11:38 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 19:13:42 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4154:7a97:7f52:6596) |
| 2022-03-07 19:14:29 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-03-07 19:15:07 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-07 19:17:46 +0100 | srk | (~sorki@user/srk) (Ping timeout: 250 seconds) |
| 2022-03-07 19:18:03 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-07 19:19:56 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-07 19:22:27 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 19:22:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 19:23:47 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-03-07 19:24:41 +0100 | <Franciman> | why, in your opinion, haskell is much more successful than standard ml? |
| 2022-03-07 19:24:51 +0100 | <Franciman> | with a lot more private investments and corporate usage? |
| 2022-03-07 19:25:02 +0100 | <Franciman> | with a bigger community and lots of libraries |
| 2022-03-07 19:26:45 +0100 | [exa] | bisects the features |
| 2022-03-07 19:26:50 +0100 | <[exa]> | ah yes, laziness |
| 2022-03-07 19:27:19 +0100 | <Franciman> | in my view laziness is a non feature |
| 2022-03-07 19:27:27 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-03-07 19:27:33 +0100 | anon04088520 | (~anon04088@host-92-19-97-204.as13285.net) |
| 2022-03-07 19:27:33 +0100 | <Franciman> | it makes everything harder |
| 2022-03-07 19:27:36 +0100 | <[exa]> | otoh I wouldn't say it's strictly more successful, esp. compared to other (imo bigger) ML versions |
| 2022-03-07 19:27:50 +0100 | <Franciman> | mlton is able to perform more aggressive optimisations |
| 2022-03-07 19:27:53 +0100 | <[exa]> | it's just kinda more modern, cooler, etc |
| 2022-03-07 19:28:27 +0100 | <Franciman> | like unboxing in all the cases |
| 2022-03-07 19:28:36 +0100 | <Franciman> | thanks to the fact that sml is strict |
| 2022-03-07 19:28:56 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-07 19:29:01 +0100 | tito | (tito@tilde.team) (Quit: zzz) |
| 2022-03-07 19:29:02 +0100 | <anon04088520> | how would I write a status like gameStatus :: [theStatus] -> String and thisPlace is mapped to Yes? |
| 2022-03-07 19:29:05 +0100 | <Franciman> | i would be surprised that it's the determining feature of haskell's success |
| 2022-03-07 19:29:28 +0100 | <[exa]> | anyway laziness really really helps with making all these cool monadic tricks work without much magic, and allows you to just implement complicated stuff without going into details...it's just very practically convenient |
| 2022-03-07 19:29:28 +0100 | <Franciman> | [exa]: ocaml has way fewer libraries than haskell |
| 2022-03-07 19:29:40 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:109e:5fbc:2ca5:978d) |
| 2022-03-07 19:29:42 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 19:29:49 +0100 | <Franciman> | i would say that haskell has a bigger community |
| 2022-03-07 19:29:54 +0100 | <Franciman> | most likely |
| 2022-03-07 19:30:03 +0100 | <[exa]> | depends on how you measure it |
| 2022-03-07 19:30:14 +0100 | <[exa]> | measuring sizes of library repos is probably biased :D |
| 2022-03-07 19:30:21 +0100 | <[exa]> | (towards npm :D ) |
| 2022-03-07 19:30:25 +0100 | <Franciman> | ahah |
| 2022-03-07 19:30:38 +0100 | <Franciman> | i thought it would be a good measure of how much community effort is put in the project |
| 2022-03-07 19:30:44 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-07 19:31:03 +0100 | <Franciman> | but yes, if you write a library for doing the sum of two numbers |
| 2022-03-07 19:31:07 +0100 | <Franciman> | it's unfair |
| 2022-03-07 19:31:11 +0100 | <[exa]> | also, people generally prefer being practical and "on the safe side" to ricing the features |
| 2022-03-07 19:31:15 +0100 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 256 seconds) |
| 2022-03-07 19:31:37 +0100 | aeson_q | (~aeson_q@181.122.131.227) |
| 2022-03-07 19:31:43 +0100 | <aeson_q> | hello |
| 2022-03-07 19:31:52 +0100 | <anon04088520> | hi all, does anyone know how would to write a status like gameStatus :: [theStatus] -> String and thisPlace is mapped to Yes? |
| 2022-03-07 19:31:53 +0100 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-03-07 19:32:09 +0100 | <[exa]> | anon04088520: not sure if we can understand the question, can you provide a bit more context? |
| 2022-03-07 19:32:09 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 19:32:12 +0100 | <Franciman> | hi anon04088520 sorry but i don't understand :( |
| 2022-03-07 19:32:34 +0100 | <Franciman> | [exa]: oh do you have any name i can lookup about «cool monadic tricks» laziness allows |
| 2022-03-07 19:32:36 +0100 | <Franciman> | ? |
| 2022-03-07 19:32:43 +0100 | <geekosaur> | ^ I don't for example see where/how `thisPlace` fits into it |
| 2022-03-07 19:32:55 +0100 | <anon04088520> | for example, gameStatus thisPlace = Yes |
| 2022-03-07 19:33:26 +0100 | <anon04088520> | sorry |
| 2022-03-07 19:33:27 +0100 | <aeson_q> | I want to programatically create an Aeson.Type.Array. I cannot use Array $ fromList [ ...... ] because its value are mixed values. f.e. [1, "foo", false, ["bar", "baz"]]. How can I do that? |
| 2022-03-07 19:33:27 +0100 | <anon04088520> | wait |
| 2022-03-07 19:33:31 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:ddf8:a02:d4a2:e78f) (Ping timeout: 256 seconds) |
| 2022-03-07 19:33:38 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 19:34:01 +0100 | <Franciman> | aeson_q: ah this one is simpler than you think |
| 2022-03-07 19:34:03 +0100 | <Franciman> | one sec |
| 2022-03-07 19:34:08 +0100 | <aeson_q> | thanks |
| 2022-03-07 19:34:22 +0100 | <[exa]> | aeson_q: you need to convert the things into the common wrapper, I guess Franciman is coming with an example |
| 2022-03-07 19:34:24 +0100 | <Franciman> | :t Data.Aeson.Array |
| 2022-03-07 19:34:25 +0100 | <lambdabot> | error: |
| 2022-03-07 19:34:25 +0100 | <lambdabot> | Not in scope: data constructor ‘Data.Aeson.Array’ |
| 2022-03-07 19:34:25 +0100 | <lambdabot> | No module named ‘Data.Aeson’ is imported. |
| 2022-03-07 19:34:29 +0100 | <Franciman> | ouch |
| 2022-03-07 19:34:32 +0100 | <Franciman> | yes |
| 2022-03-07 19:34:34 +0100 | <Franciman> | what [exa] says |
| 2022-03-07 19:34:35 +0100 | <anon04088520> | gameStatus [thisPlace, None, Else] = "Yes - yes" |
| 2022-03-07 19:34:36 +0100 | <Franciman> | :) |
| 2022-03-07 19:34:47 +0100 | <geekosaur> | % :t Data.Aeson.Array -- hailmary |
| 2022-03-07 19:34:48 +0100 | <yahb> | geekosaur: ; <interactive>:1:1: error:; Not in scope: data constructor `Data.Aeson.Array'; No module named `Data.Aeson' is imported. |
| 2022-03-07 19:35:05 +0100 | <aeson_q> | try :t Data.Aeson.Value |
| 2022-03-07 19:35:09 +0100 | <geekosaur> | % import Data.Aeson |
| 2022-03-07 19:35:09 +0100 | <yahb> | geekosaur: ; <no location info>: error:; Could not find module `Data.Aeson'; Perhaps you meant Data.Version (from base-4.15.0.0) |
| 2022-03-07 19:35:17 +0100 | <anon04088520> | does that sort of make sense |
| 2022-03-07 19:35:19 +0100 | <anon04088520> | ? |
| 2022-03-07 19:35:21 +0100 | <geekosaur> | I don';t think either bot has aeson available |
| 2022-03-07 19:35:25 +0100 | <Franciman> | anon04088520: what is your task? |
| 2022-03-07 19:35:58 +0100 | <Franciman> | anon04088520: https://hackage.haskell.org/package/aeson-2.0.3.0/docs/Data-Aeson.html#t:Array as you can see |
| 2022-03-07 19:36:04 +0100 | <Franciman> | it requires a list of values |
| 2022-03-07 19:36:06 +0100 | <anon04088520> | If I get given a [theStatus] I was the map each element to a specific character |
| 2022-03-07 19:36:11 +0100 | <aeson_q> | you need to convert the things into the common wrapper, sorry I can't follow |
| 2022-03-07 19:36:32 +0100 | <Franciman> | aeson_q: https://hackage.haskell.org/package/aeson-2.0.3.0/docs/Data-Aeson.html#t:Value <- this |
| 2022-03-07 19:36:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-07 19:36:58 +0100 | <Franciman> | you have to define a list of Values, like this: [Number 13, Bool "True", String "Hello"] |
| 2022-03-07 19:37:40 +0100 | <[exa]> | aeson_q: actually the "inner" problem is that you can't (easily) create a polymorphic list so stuff like `fmap toJson` can't save you |
| 2022-03-07 19:38:17 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-07 19:38:30 +0100 | srk | (~sorki@user/srk) |
| 2022-03-07 19:38:41 +0100 | <[exa]> | anon04088520: kinda starting to make sense. So you have a functino that converts your type that contains None and Else to strings, and you just want all of them concatenated? |
| 2022-03-07 19:38:52 +0100 | <anon04088520> | Yes |
| 2022-03-07 19:39:32 +0100 | <aeson_q> | exa, Franciman, ok I get a step closer... |
| 2022-03-07 19:39:35 +0100 | <aeson_q> | let me try |
| 2022-03-07 19:39:43 +0100 | <[exa]> | anon04088520: so that's literally the function of concatMap |
| 2022-03-07 19:40:00 +0100 | <energizer> | what is the relationship between Foldable and Monoid? |
| 2022-03-07 19:40:32 +0100 | <[exa]> | anon04088520: I kinda expect that `concatMap gameStatus` could work |
| 2022-03-07 19:40:48 +0100 | <anon04088520> | [exa]: like https://paste.tomsmeding.com/oire7Vgn |
| 2022-03-07 19:40:53 +0100 | <[exa]> | if not, please make a pastebin with a minimal mess... ah there |
| 2022-03-07 19:41:35 +0100 | <[exa]> | anon04088520: maybe if you want the spaces in between, try `intercalate " " . map gameStatus` |
| 2022-03-07 19:41:35 +0100 | <anon04088520> | does that sort of explain it better? |
| 2022-03-07 19:41:38 +0100 | <[exa]> | yes |
| 2022-03-07 19:41:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-07 19:42:02 +0100 | <[exa]> | try the stuff from above, if not please supply at least a minimal definition of the gameStatus function so that we can see how it behaves |
| 2022-03-07 19:42:05 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-07 19:42:08 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-07 19:42:32 +0100 | <anon04088520> | this is meant to be a basic function for a wordle clone project |
| 2022-03-07 19:42:58 +0100 | <anon04088520> | hope that provides some more context |
| 2022-03-07 19:44:32 +0100 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 240 seconds) |
| 2022-03-07 19:45:26 +0100 | <energizer> | is Foldable for if you have a monoid but either it's not declared as a Monoid or it is a Monoid and you want to use a function other than its mappend? |
| 2022-03-07 19:45:48 +0100 | <liz> | you can define a Foldable instance in terms of foldMap |
| 2022-03-07 19:45:50 +0100 | <liz> | :t foldMap |
| 2022-03-07 19:45:51 +0100 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2022-03-07 19:47:05 +0100 | lisk1n | (~liskin@notes.lisk.in) |
| 2022-03-07 19:47:08 +0100 | lisk1n | (~liskin@notes.lisk.in) (Client Quit) |
| 2022-03-07 19:47:30 +0100 | <energizer> | yeah but if that's what it was /for/, `fold` could just be on Monoid itself |
| 2022-03-07 19:47:50 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-03-07 19:48:11 +0100 | <[exa]> | energizer: Foldable things can be interpreted as monoids, but don't need to satisfy monoid laws |
| 2022-03-07 19:48:42 +0100 | <[exa]> | s/as/using/ |
| 2022-03-07 19:48:56 +0100 | <energizer> | [exa]: is there a useful case of Foldable that doesn't satisfy monoid laws? |
| 2022-03-07 19:49:47 +0100 | <aeson_q> | ok, I ran into another problem with this... |
| 2022-03-07 19:49:58 +0100 | econo | (uid147250@user/econo) |
| 2022-03-07 19:50:12 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 19:50:40 +0100 | <liz> | energizer: if you want a small example, i recently used a Foldable to construct a tree from a file, directly from the IO; since reading from the file was non-associative i was folding over a non-monoid, but the fold was a succinct way of constructing the tree |
| 2022-03-07 19:51:34 +0100 | <[exa]> | energizer: I might have mixed up the generalization directions there (*returns to the books*) |
| 2022-03-07 19:51:49 +0100 | <aeson_q> | i have a date (instance of EpochTime) that I need to encode inside: Aeson.Types.Number $ date, seems like I need to convert EpochTime -> Data.Scientific.Scientific, any suggestions? |
| 2022-03-07 19:51:49 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 19:51:53 +0100 | `2jt | (~jtomas@natwalu174-10.wi-fi.upv.es) (Ping timeout: 256 seconds) |
| 2022-03-07 19:52:18 +0100 | <liz> | if the thing you're folding over is a Monoid, then foldl and foldr will be "the same" by the fact that monoids are associative necessarily |
| 2022-03-07 19:52:26 +0100 | <monochrom> | Foldable is for what most people consider "container data structures" and when you want to perform monoid operations (what most people call "aggregate operations") on elements. |
| 2022-03-07 19:53:11 +0100 | <monochrom> | A little bit more precisely, container data structures that feel like sequences. |
| 2022-03-07 19:53:40 +0100 | <monochrom> | or can be downgraded to sequences. |
| 2022-03-07 19:53:51 +0100 | <[exa]> | could you make up a "default" mappend for each Foldable? |
| 2022-03-07 19:55:21 +0100 | <monochrom> | No, Foldable methods aren't enough to produce Foldable instances. Only enough for consuming elements. |
| 2022-03-07 19:55:40 +0100 | <monochrom> | Well, unless you just want to produce a list. |
| 2022-03-07 19:57:26 +0100 | <anon04088520> | so I am writing a function that takes a list of words and concatenates them and returns a string |
| 2022-03-07 19:58:25 +0100 | <geekosaur> | aeson_q, EpochTime is a wrapper for Int64, you can use fromEnum to extract the Int64 and encode it |
| 2022-03-07 19:58:27 +0100 | <anon04088520> | but each item in the list needs to be mapped to a specific work |
| 2022-03-07 19:58:51 +0100 | <[exa]> | anon04088520: did you try the above code I sent? |
| 2022-03-07 19:59:19 +0100 | <anon04088520> | I haven't heard of concatMap |
| 2022-03-07 19:59:29 +0100 | <[exa]> | monochrom: you meant "to produce Monoid instances" ? |
| 2022-03-07 19:59:32 +0100 | <anon04088520> | I couldn't get it to work |
| 2022-03-07 19:59:41 +0100 | <monochrom> | No. No typo there. |
| 2022-03-07 19:59:53 +0100 | <[exa]> | monochrom: oh so okay :D |
| 2022-03-07 20:00:07 +0100 | <anon04088520> | is there a simpler way to do it? |
| 2022-03-07 20:00:13 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-03-07 20:00:18 +0100 | <[exa]> | anon04088520: you can do it with "concat" and "map" separately |
| 2022-03-07 20:00:51 +0100 | aeson_q | (~aeson_q@181.122.131.227) (Remote host closed the connection) |
| 2022-03-07 20:00:53 +0100 | Logio_ | (em@kapsi.fi) (Remote host closed the connection) |
| 2022-03-07 20:00:57 +0100 | <monochrom> | concat, map, and concatMap are all very simple. |
| 2022-03-07 20:01:01 +0100 | <anon04088520> | could you show me an example? |
| 2022-03-07 20:01:31 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-07 20:02:50 +0100 | <[exa]> | anon04088520: see above. Ideally we'd need a type of your `gameStatus` function |
| 2022-03-07 20:04:13 +0100 | <anon04088520> | it's a list for example [Here] maps to "Yes" |
| 2022-03-07 20:04:34 +0100 | <anon04088520> | [Here, Nowhere] maps to " Yes -" |
| 2022-03-07 20:05:07 +0100 | <anon04088520> | gameStatus [Here, Nowhere] should evaluate to "Yes -" |
| 2022-03-07 20:05:20 +0100 | jonathanx_ | (~jonathan@c-5eea36ff-74736162.cust.telenor.se) |
| 2022-03-07 20:06:20 +0100 | <[exa]> | anon04088520: what's the name of the function that translates the things to strings? e.g. maps a single Here to "Yes" ? |
| 2022-03-07 20:06:24 +0100 | <monochrom> | Do you know how to use "map" to go from [Here, Nowhere] to ["Yes", "-"]? |
| 2022-03-07 20:06:51 +0100 | <anon04088520> | gameStatus |
| 2022-03-07 20:06:54 +0100 | <monochrom> | After that, Data.List's intercalate can help you merge the words and insert spaces. |
| 2022-03-07 20:06:58 +0100 | liskin | (~liskin@xmonad/liskin) (Quit: liskin) |
| 2022-03-07 20:07:23 +0100 | <anon04088520> | monochrom: it should return a "Yes -" not ["Yes", "-"] |
| 2022-03-07 20:07:35 +0100 | <monochrom> | Sure, see my second sentence. |
| 2022-03-07 20:07:54 +0100 | liskin | (~liskin@xmonad/liskin) |
| 2022-03-07 20:07:54 +0100 | jonathanx_ | (~jonathan@c-5eea36ff-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2022-03-07 20:08:03 +0100 | <geekosaur> | or unwords? |
| 2022-03-07 20:08:04 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-03-07 20:08:17 +0100 | <monochrom> | Oh, haha, I forgot unwords. |
| 2022-03-07 20:08:23 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 20:09:19 +0100 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-07 20:09:23 +0100 | <anon04088520> | It it possible to that without importing Data.List? |
| 2022-03-07 20:09:33 +0100 | <geekosaur> | unwords is in the Prelude |
| 2022-03-07 20:09:45 +0100 | <geekosaur> | > unwords ["Yes","-"] |
| 2022-03-07 20:09:47 +0100 | <lambdabot> | "Yes -" |
| 2022-03-07 20:10:34 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 20:11:54 +0100 | <anon04088520> | but if I wanted to make the function myself |
| 2022-03-07 20:11:59 +0100 | <anon04088520> | and not use unwords |
| 2022-03-07 20:12:19 +0100 | <monochrom> | Then it is a bit of an annoying recursion you have to write. |
| 2022-03-07 20:12:20 +0100 | <anon04088520> | e.g. gameStatus should map [Here] to "Yes" |
| 2022-03-07 20:12:33 +0100 | <monochrom> | unwords does that already. |
| 2022-03-07 20:12:50 +0100 | <monochrom> | Err, unwords does ["Yes"] to "Yes" already. |
| 2022-03-07 20:12:57 +0100 | <monochrom> | I no longer understand your question. |
| 2022-03-07 20:13:25 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 256 seconds) |
| 2022-03-07 20:13:40 +0100 | <anon04088520> | How would I write it using recursion? |
| 2022-03-07 20:13:49 +0100 | <monochrom> | You demand both "simple" and "write everything from scratch" as far as I can tell. Can't be done. |
| 2022-03-07 20:13:53 +0100 | <anon04088520> | Can I find the source for unwords? |
| 2022-03-07 20:14:00 +0100 | <anon04088520> | im sorry |
| 2022-03-07 20:14:25 +0100 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-03-07 20:15:05 +0100 | <geekosaur> | @src unwords |
| 2022-03-07 20:15:05 +0100 | <lambdabot> | unwords [] = "" |
| 2022-03-07 20:15:05 +0100 | <lambdabot> | unwords ws = foldr1 (\w s -> w ++ ' ':s) ws |
| 2022-03-07 20:15:13 +0100 | liz_ | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 2022-03-07 20:15:41 +0100 | <monochrom> | Heh that just goes down the rabbit hole of foldr1... |
| 2022-03-07 20:15:41 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 20:16:00 +0100 | <geekosaur> | it could go downb the rabbit hole of intercalate instead… |
| 2022-03-07 20:16:54 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-03-07 20:17:15 +0100 | <monochrom> | In elementary terms, the recursion of unwords requires two base cases, not just one. This is because ["yes"] -> "yes" does not fit the general case of ["yes", "no", "maybe"] -> "yes no maybe". I.e., the # of spaces is off by 1. |
| 2022-03-07 20:17:27 +0100 | <geekosaur> | anon04088520, the usual ways to do this is two functions, one to do the mapping and one to do the combining. although in most cases I'd just use unwords or intercalate for the latter rather than writing it |
| 2022-03-07 20:17:41 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-07 20:18:00 +0100 | <monochrom> | But if you are aware of that, it's a garden-variety recursion apart from that. |
| 2022-03-07 20:18:22 +0100 | <anon04088520> | I wasn't aware of it |
| 2022-03-07 20:19:05 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-03-07 20:21:45 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 20:23:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-03-07 20:23:43 +0100 | <anon04088520> | geekosaur: how would I do the mapping? |
| 2022-03-07 20:24:22 +0100 | <geekosaur> | % data Loc = Here | There | Somewhere |
| 2022-03-07 20:24:22 +0100 | <yahb> | geekosaur: |
| 2022-03-07 20:24:32 +0100 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2022-03-07 20:24:54 +0100 | <geekosaur> | % loc Here = "Yes"; loc There = "No"; loc Somewhere = "-" |
| 2022-03-07 20:24:54 +0100 | <yahb> | geekosaur: |
| 2022-03-07 20:25:23 +0100 | <geekosaur> | % unwords (map loc [Here, Somewhere, No] |
| 2022-03-07 20:25:23 +0100 | <yahb> | geekosaur: ; <interactive>:19:39: error: parse error (possibly incorrect indentation or mismatched brackets) |
| 2022-03-07 20:25:28 +0100 | <geekosaur> | % unwords (map loc [Here, Somewhere, No]) |
| 2022-03-07 20:25:28 +0100 | <yahb> | geekosaur: ; <interactive>:20:36: error:; * Data constructor not in scope: No :: Loc; * Perhaps you meant variable `to' (imported from Control.Lens) |
| 2022-03-07 20:25:34 +0100 | <geekosaur> | % unwords (map loc [Here, Somewhere, There]) |
| 2022-03-07 20:25:34 +0100 | <yahb> | geekosaur: "Yes - No" |
| 2022-03-07 20:25:39 +0100 | <geekosaur> | sorry about that last |
| 2022-03-07 20:25:48 +0100 | <geekosaur> | slightly distracted here |
| 2022-03-07 20:27:11 +0100 | <anon04088520> | sorry this is going sound silly, is loc a keyword or just made up? |
| 2022-03-07 20:27:13 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 20:27:21 +0100 | <geekosaur> | I defined a function with three cases |
| 2022-03-07 20:27:30 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 20:28:22 +0100 | <geekosaur> | it's the same as saying: loc place = case place of { Here -> "Yes"; There -> "no"; Somewhere -> "-" } |
| 2022-03-07 20:28:40 +0100 | <anon04088520> | ahhh ok I see |
| 2022-03-07 20:28:48 +0100 | anon04088520 | (~anon04088@host-92-19-97-204.as13285.net) (Remote host closed the connection) |
| 2022-03-07 20:29:07 +0100 | anon04088520 | (~anon04088@host-92-19-97-204.as13285.net) |
| 2022-03-07 20:29:52 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 20:30:30 +0100 | Topsi | (~Tobias@dyndsl-095-033-017-136.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-07 20:32:05 +0100 | Topsi | (~Tobias@dyndsl-095-033-017-136.ewe-ip-backbone.de) |
| 2022-03-07 20:32:27 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-07 20:33:28 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-07 20:34:19 +0100 | simendsjo | (~user@84.211.91.241) |
| 2022-03-07 20:38:47 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-07 20:38:49 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-07 20:40:00 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-07 20:40:06 +0100 | <anon04088520> | geekosaur: is this right? https://replit.com/join/idzzjvapir-sr53 |
| 2022-03-07 20:40:56 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2022-03-07 20:42:01 +0100 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-03-07 20:44:17 +0100 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 240 seconds) |
| 2022-03-07 20:46:49 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 20:46:50 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 20:47:08 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 20:47:24 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-07 20:48:15 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 20:48:55 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-07 20:49:57 +0100 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2022-03-07 20:50:21 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 20:53:04 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 20:53:23 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 20:53:38 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-07 20:54:38 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-07 20:55:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-03-07 20:55:56 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-07 20:56:12 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-07 20:56:14 +0100 | kimjetwav | (~user@2607:fea8:2363:8f00:979b:b492:f897:b694) (Excess Flood) |
| 2022-03-07 20:56:41 +0100 | kimjetwav | (~user@2607:fea8:2363:8f00:3065:9fc7:d58e:fc3e) |
| 2022-03-07 20:56:53 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-07 20:59:46 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:00:05 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:01:45 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:02:03 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:02:57 +0100 | kuribas | (~user@ptr-25vy0ia80zmfb26ginl.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-07 21:04:15 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-07 21:04:15 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-07 21:06:06 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:06:25 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:06:25 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 21:06:41 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-07 21:08:18 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 21:12:22 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:12:43 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:15:21 +0100 | fendor_ | (~fendor@178.115.53.79.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-07 21:17:38 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-07 21:19:18 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:19:37 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:20:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-03-07 21:21:56 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:21:59 +0100 | Logio | (em@kapsi.fi) |
| 2022-03-07 21:22:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:23:24 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) |
| 2022-03-07 21:23:47 +0100 | fockeriz1 | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3) |
| 2022-03-07 21:25:45 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 21:26:46 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-03-07 21:27:58 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.166) (Ping timeout: 256 seconds) |
| 2022-03-07 21:28:20 +0100 | cjb | (~cjb@user/cjb) |
| 2022-03-07 21:30:03 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 21:30:26 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-07 21:32:26 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Remote host closed the connection) |
| 2022-03-07 21:35:00 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:35:19 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:36:59 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:37:19 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:37:50 +0100 | <remexre> | if I'm getting a segfault in FFI code in a largish haskell program, is there a good way to get a haskell stack trace from it? |
| 2022-03-07 21:39:31 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:39:50 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:40:06 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-07 21:40:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-07 21:43:30 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:43:48 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:45:29 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:45:48 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:47:35 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 21:47:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 21:48:17 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 21:49:00 +0100 | vicfred_ | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-03-07 21:49:35 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-07 21:52:30 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 21:52:39 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-07 21:54:07 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-03-07 21:54:33 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-07 21:57:49 +0100 | <geekosaur> | not really |
| 2022-03-07 21:58:23 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-07 21:58:34 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-07 22:00:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-07 22:00:52 +0100 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2022-03-07 22:01:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 22:03:07 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-07 22:05:18 +0100 | acidjnk | (~acidjnk@p200300d0c7049f37592e4ec9ecef3fab.dip0.t-ipconnect.de) |
| 2022-03-07 22:05:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 22:07:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:08:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:09:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:09:58 +0100 | anon04088520 | (~anon04088@host-92-19-97-204.as13285.net) (Remote host closed the connection) |
| 2022-03-07 22:10:11 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:10:37 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:a396:9946:d0cf:5cc0) |
| 2022-03-07 22:10:43 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Read error: Connection reset by peer) |
| 2022-03-07 22:10:50 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 22:10:50 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-07 22:12:25 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 22:13:01 +0100 | srk | (~sorki@user/srk) (Ping timeout: 250 seconds) |
| 2022-03-07 22:13:12 +0100 | nattiestnate | (~nate@202.138.250.10) |
| 2022-03-07 22:16:22 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:16:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:18:21 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:18:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:20:00 +0100 | son0p | (~ff@181.136.122.143) |
| 2022-03-07 22:28:47 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 22:29:24 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:109e:5fbc:2ca5:978d) (Ping timeout: 240 seconds) |
| 2022-03-07 22:30:18 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-03-07 22:30:24 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 22:31:43 +0100 | emf | (~emf@8.46.76.75) |
| 2022-03-07 22:31:56 +0100 | emf | (~emf@8.46.76.75) (Remote host closed the connection) |
| 2022-03-07 22:33:56 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:34:14 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:34:32 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-07 22:34:52 +0100 | emf | (~emf@8.46.76.75) |
| 2022-03-07 22:35:24 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-07 22:35:30 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-07 22:35:32 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-07 22:37:54 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:38:13 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:39:53 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:40:12 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:41:52 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:42:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:42:36 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-07 22:43:22 +0100 | nattiestnate | (~nate@202.138.250.10) (Quit: WeeChat 3.4) |
| 2022-03-07 22:44:41 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-07 22:46:21 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:46:40 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:46:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-03-07 22:46:59 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 22:47:16 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-03-07 22:47:46 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2022-03-07 22:47:51 +0100 | liz_ | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 2022-03-07 22:48:39 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Read error: Connection reset by peer) |
| 2022-03-07 22:49:02 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-07 22:49:13 +0100 | <int-e> | maerwald[m]: Hmm Endo and "wasted intellectual energy" -- how else do you get foldr from fold (or foldMap)? You /need/ an auxiliary monoid, and that monoid happens to be function composition, which is Endo. Unless your plan is to get rid of the Foldable abstraction and go back to lists? I could get behind that... especially for teaching. |
| 2022-03-07 22:50:46 +0100 | <maerwald> | I didn't argue against Endo as an implementation detail |
| 2022-03-07 22:51:04 +0100 | emf | (~emf@8.46.76.75) (Quit: emf) |
| 2022-03-07 22:51:04 +0100 | <maerwald> | just that using it in your own code can look confusing, depending on how you use it |
| 2022-03-07 22:51:23 +0100 | <int-e> | maerwald[m]: Or maybe you want a DList based toList / foldr on list, hmm. But on the library level you'll end up implementing a `build` variant of `toList`, and why not inline that, and after a few steps you'll end up with what's there. |
| 2022-03-07 22:51:39 +0100 | emf | (~emf@8.46.76.75) |
| 2022-03-07 22:51:46 +0100 | <maerwald> | I mean, it's really not that complicated |
| 2022-03-07 22:51:52 +0100 | <maerwald> | just allows some funny obfuscation |
| 2022-03-07 22:52:34 +0100 | <int-e> | It's definitely not something I understood at a glance the first time I saw it, so yes, it costs intellectual energy. I'm just not convinced it's wasted :) |
| 2022-03-07 22:52:40 +0100 | <maerwald> | and the docs could give a more interesting example |
| 2022-03-07 22:53:16 +0100 | <int-e> | (I already knew about Endo and foldMap, so the #. caused me far more trouble.) |
| 2022-03-07 22:53:52 +0100 | <int-e> | @src foldr |
| 2022-03-07 22:53:52 +0100 | <lambdabot> | foldr f z [] = z |
| 2022-03-07 22:53:52 +0100 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2022-03-07 22:54:19 +0100 | <int-e> | And I knew that it was supposed to do this on lists... |
| 2022-03-07 22:54:47 +0100 | <int-e> | But I definitely treat it as an implementation detail. |
| 2022-03-07 22:57:10 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Remote host closed the connection) |
| 2022-03-07 22:57:29 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) |
| 2022-03-07 22:58:11 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-07 22:58:54 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-07 23:00:38 +0100 | <int-e> | I guess I'd only call it obfuscation if it wasn't dictated by necessity (need a monoid (hence the use of Endo), and it's performance critical (justifying the use of #.)) |
| 2022-03-07 23:04:00 +0100 | cc123652345762 | (~cc1236523@116.24.67.150) (Ping timeout: 256 seconds) |
| 2022-03-07 23:05:13 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-03-07 23:05:17 +0100 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-03-07 23:06:50 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:60e1:b35d:75ca:9100) |
| 2022-03-07 23:07:29 +0100 | michalz | (~michalz@185.246.204.65) (Remote host closed the connection) |
| 2022-03-07 23:08:27 +0100 | emf_ | (~emf@2620:10d:c090:400::5:9013) |
| 2022-03-07 23:08:36 +0100 | emf | (~emf@8.46.76.75) (Ping timeout: 240 seconds) |
| 2022-03-07 23:10:48 +0100 | srk | (~sorki@user/srk) |
| 2022-03-07 23:11:30 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 23:11:42 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-03-07 23:12:15 +0100 | dsamperi | (~dsamperi@2603-7000-3b42-5400-e891-6e71-97ff-c3d7.res6.spectrum.com) |
| 2022-03-07 23:15:40 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-07 23:16:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-07 23:17:50 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-07 23:17:55 +0100 | srk | (~sorki@user/srk) (Ping timeout: 256 seconds) |
| 2022-03-07 23:18:04 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-07 23:18:11 +0100 | <dsamperi> | Plutus Playground was not available recently (bad certificate) and now it is up, but the Hello World example leads to "Validation failed." Most of the tutorial videos are months or years old,yet Playground was introduced in January 2022 I think. Current Status? |
| 2022-03-07 23:21:07 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-07 23:21:50 +0100 | <dsamperi> | My bad, I was not logged in. The Plutus Playground Hello World example seems to work. |
| 2022-03-07 23:23:39 +0100 | InstX1_ | (~Liam@2601:6c4:4080:3f80:d810:4ede:3443:87a) |
| 2022-03-07 23:26:33 +0100 | emf | (~emf@8.46.76.75) |
| 2022-03-07 23:26:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-07 23:27:06 +0100 | emf_ | (~emf@2620:10d:c090:400::5:9013) (Read error: Connection reset by peer) |
| 2022-03-07 23:27:32 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-07 23:28:07 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-07 23:29:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) (Remote host closed the connection) |
| 2022-03-07 23:30:05 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3d9b:7fc7:6af0:b7ab) |
| 2022-03-07 23:31:03 +0100 | emf | (~emf@8.46.76.75) (Remote host closed the connection) |
| 2022-03-07 23:31:16 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-07 23:31:17 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-07 23:31:49 +0100 | emf | (~emf@8.46.76.75) |
| 2022-03-07 23:32:48 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-07 23:38:23 +0100 | da39a3ee5e6b4b0d | (~textual@2403:6200:8876:d2a9:60e1:b35d:75ca:9100) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-07 23:38:50 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Remote host closed the connection) |
| 2022-03-07 23:39:04 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-03-07 23:44:17 +0100 | InstX1_ | (~Liam@2601:6c4:4080:3f80:d810:4ede:3443:87a) (Ping timeout: 240 seconds) |
| 2022-03-07 23:46:13 +0100 | anon04088520 | (~anon04088@host-92-19-97-204.as13285.net) |
| 2022-03-07 23:48:56 +0100 | <anon04088520> | any idea how to make it print on a new line? https://paste.tomsmeding.com/gGqLXof2 and also how I can add spaces between the characters during input |
| 2022-03-07 23:49:52 +0100 | <romesrf> | anon04088520: we were talking b4, you should check again how it was said in class to do the getGuess n attempts |
| 2022-03-07 23:52:36 +0100 | emf | (~emf@8.46.76.75) (Quit: emf) |
| 2022-03-07 23:53:00 +0100 | dsamperi | (~dsamperi@2603-7000-3b42-5400-e891-6e71-97ff-c3d7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-03-07 23:54:55 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-07 23:55:09 +0100 | <geekosaur> | https://paste.tomsmeding.com/0dbUOwGG is a way to do it but possibly not what you should be using |
| 2022-03-07 23:55:12 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-07 23:55:47 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2022-03-07 23:56:12 +0100 | <anon04088520> | I'm reviewing a lecture on it |
| 2022-03-07 23:58:04 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-03-07 23:58:41 +0100 | <geekosaur> | oh, I forgot to change getChar back to getChar' |
| 2022-03-07 23:59:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |