| 2023-08-09 00:10:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 00:11:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 00:16:05 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-08-09 00:18:01 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-08-09 00:18:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-09 00:28:03 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-08-09 00:31:15 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-09 00:39:05 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-09 00:41:38 +0200 | nick4 | (~nick@2600:8807:9084:7800:c51f:d18e:8d7:c770) (Ping timeout: 256 seconds) |
| 2023-08-09 00:48:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-09 00:48:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 00:52:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-09 00:54:04 +0200 | niko | (niko@libera/staff/niko) (Ping timeout: 615 seconds) |
| 2023-08-09 00:56:41 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 244 seconds) |
| 2023-08-09 00:58:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 00:58:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-09 01:00:09 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) (Read error: Connection reset by peer) |
| 2023-08-09 01:00:36 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) |
| 2023-08-09 01:06:33 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2023-08-09 01:06:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-09 01:07:12 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-08-09 01:07:54 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-09 01:07:54 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-09 01:07:54 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-09 01:09:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-09 01:09:57 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-08-09 01:09:59 +0200 | cheater_ | cheater |
| 2023-08-09 01:11:34 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-09 01:12:05 +0200 | meejah_ | meejah |
| 2023-08-09 01:13:07 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-09 01:13:07 +0200 | mauke_ | mauke |
| 2023-08-09 01:15:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-09 01:18:34 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-08-09 01:19:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-09 01:22:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-09 01:23:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-09 01:26:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-09 01:30:45 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-08-09 01:36:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 01:40:24 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 246 seconds) |
| 2023-08-09 01:44:50 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) (Quit: Konversation terminated!) |
| 2023-08-09 01:45:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-08-09 01:46:06 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 01:46:16 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-08-09 01:47:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-09 01:48:30 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2023-08-09 01:50:29 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-09 01:55:18 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 256 seconds) |
| 2023-08-09 01:56:48 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-08-09 01:56:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-09 01:57:08 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-08-09 01:59:01 +0200 | Square | (~Square4@user/square) |
| 2023-08-09 01:59:17 +0200 | shapr | (~user@2600:1700:c640:3100:dd94:f31e:b2c8:b749) (Remote host closed the connection) |
| 2023-08-09 01:59:29 +0200 | shapr | (~user@2600:1700:c640:3100:8740:4f93:d0ae:d771) |
| 2023-08-09 02:00:04 +0200 | <Square> | I have numerous functions on the form "f :: a1 -> a2 -> ... -> aN -> x", but in the context I want to call them are left with {m a1, m a2, .. , m aN}. Is there some trick automagically form a "g :: m a1 -> m a2 -> .. m aN -> m x" that invokes f? m would typically be an "Either SomeErrType" |
| 2023-08-09 02:00:24 +0200 | <Square> | s/are left/I'm left/ |
| 2023-08-09 02:01:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-09 02:01:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-09 02:01:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-09 02:02:02 +0200 | <geekosaur> | this sounds like you really want one of the ways to get idiom brackets via qq |
| 2023-08-09 02:02:03 +0200 | <jackdk> | Square: `liftA{2,3,4,...}` functions from `Control.Applicative`. Or, the general idiom using `<$>` and `<*>`: f <$> ma1 <*> ma2 <*> ma3 <*> ma4 <*> ma5 <*> ... |
| 2023-08-09 02:02:24 +0200 | <int-e> | > let x = Just 1; y = Just 2 in (+) <$> x <*> y |
| 2023-08-09 02:02:24 +0200 | <jackdk> | or idiom brackets if you're keen on that |
| 2023-08-09 02:02:25 +0200 | <lambdabot> | Just 3 |
| 2023-08-09 02:03:55 +0200 | <int-e> | (Assuming N doesn't get too large, I'd go with Applicative. If N gets large... hmm... I might revisit how that happened in the first place :)) |
| 2023-08-09 02:03:57 +0200 | <Square> | jackdk, yeah. That's what I'm doing now. The applicative approach. |
| 2023-08-09 02:05:19 +0200 | <jackdk> | I endorse this approach of lifting pure functions over the actual arguments (encased in applicative context) |
| 2023-08-09 02:06:54 +0200 | <Square> | These functions can take 20-30 parameters, so it would be nice if I could just form a plain function |
| 2023-08-09 02:07:49 +0200 | <geekosaur> | uh |
| 2023-08-09 02:09:20 +0200 | m21it | (~m21it@2800:ac:4001:e1d0:812b:6f83:c9f4:cf80) |
| 2023-08-09 02:10:12 +0200 | <Square> | Bigger records, that is |
| 2023-08-09 02:10:18 +0200 | <m21it> | If I want logging from the pure function, what do I use? Some kind of WriterT or something else? |
| 2023-08-09 02:10:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Quit: Lost terminal) |
| 2023-08-09 02:10:27 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-09 02:11:46 +0200 | <jackdk> | what do you mean by "logging"? |
| 2023-08-09 02:12:23 +0200 | <jackdk> | (I'm not being snarky, questions around application logging are different from questions around retrospective execution traces) |
| 2023-08-09 02:14:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-09 02:14:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-09 02:14:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-09 02:15:52 +0200 | <m21it> | jackdk, ok, my real use case is handling some data from third-party dynamic JSON API which does change from time to time, so let's say the result is `[A]`. But in a process a lot of things could and will go wrong with parsing some of A items. However, I want to get back whatever succeeded, but also log the error which should be fixed by human, by improving code or configuration |
| 2023-08-09 02:17:19 +0200 | <m21it> | So things like `Either` are not super handy in this case, because they are not "forgiving" errors. I need to forgive parsing errors, but collect and log them |
| 2023-08-09 02:18:17 +0200 | <jackdk> | Right. My point is, that the collection of parser errors is not exactly application logging - you're not emitting these errors as you go. You might later perform an effectful action to write the list of parse failures to a logfile or whatever |
| 2023-08-09 02:19:02 +0200 | <m21it> | Yes, I mean pure logging, without IO |
| 2023-08-09 02:19:11 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-09 02:19:20 +0200 | <m21it> | Just remembering errors to log later, in main loop |
| 2023-08-09 02:19:38 +0200 | <m21it> | Where there is IO and we could do side effects like logging |
| 2023-08-09 02:20:22 +0200 | <jackdk> | I think you want to consider either (lol) a `Validation` type (which is a semi-common name given to a type that's isomorphic to `Either` but accumulates errors with its `instance Semigroup e => Applicative (Validation e)`). I like package `validation-selective` for this, but it does not and cannot have a lawful `Monad` instance. |
| 2023-08-09 02:21:40 +0200 | <jackdk> | You can mitigate this somewhat by using `{-# LANGAUGE ApplicativeDo #-}` which lets GHC desugar some `do`-blocks into `Applicative` operations. Essentially anything where no variable appears on both the LHS and RHS of an `<-` |
| 2023-08-09 02:22:28 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-08-09 02:23:04 +0200 | <m21it> | Thanks, jackdk! I actually do prefer a normal Applicative, looks cleaner without single-use variable pollution of namespace |
| 2023-08-09 02:23:36 +0200 | <jackdk> | Or, you can use `ChronicleT` from package `monad-chronicle`, which is like `WriterT` but instead of using `Either`, it's built on the data type `data These a b = This a | These a b | That b`. This gives you accumulation of errors and a lawful `Monad` instance, but will suffer the same space-leak troubles that `WriterT` can (if you don't use the CPS version) |
| 2023-08-09 02:24:44 +0200 | <jackdk> | (ew... I hadn't noticed `MonadChronicle's` `disclose :: Default a => c -> m a` before) |
| 2023-08-09 02:25:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-09 02:27:01 +0200 | <m21it> | Actually `Validation e a = Failure e | Success a` is not what I need, because I need both, not either. So more or less the problem is `parseXS :: [RawX] -> Result [Failure] [X]` So some of `RawX` are expected to cause `Failure` which I want to get and log later |
| 2023-08-09 02:27:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2023-08-09 02:27:05 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-09 02:27:06 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-09 02:27:06 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-09 02:27:37 +0200 | dobblego | dibblego |
| 2023-08-09 02:28:18 +0200 | <jackdk> | Then you may want to use `These e a` as your result type? |
| 2023-08-09 02:29:49 +0200 | <m21it> | Probably.. Not sure how convenient would be to compose a bunch of `[e]` from every result in do notation by hand.. Would like this to be done automatically |
| 2023-08-09 02:30:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 2023-08-09 02:30:26 +0200 | Alex_test | (~al_test@178.34.161.41) (Ping timeout: 256 seconds) |
| 2023-08-09 02:30:42 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.100) |
| 2023-08-09 02:31:00 +0200 | AlexZenon | (~alzenon@178.34.161.41) (Ping timeout: 256 seconds) |
| 2023-08-09 02:31:09 +0200 | <jackdk> | Well that should be handled by the Applicative/Monad instances for `These a`, right? Note that it has a Semigroup constraint on `a` in the haddocks: `instance Semigroup a => Applicative (These a)` |
| 2023-08-09 02:31:36 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 02:32:39 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-09 02:32:41 +0200 | AlexNoo | (~AlexNoo@178.34.161.41) (Ping timeout: 260 seconds) |
| 2023-08-09 02:33:33 +0200 | <m21it> | Ah, it's kinda cool if it will do it automatically! I'll take a look to the code! Initially I wanted something just like working with `([e], [a])` as result, but it's too much boilerplate to compose all stuff by hand. And what was wrong with normal Writer? |
| 2023-08-09 02:37:00 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-09 02:37:09 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-08-09 02:38:16 +0200 | AlexZenon | (~alzenon@94.233.240.100) |
| 2023-08-09 02:41:37 +0200 | <m21it> | And is there a transformer for `These e a` similar to `ExceptT e m a`? |
| 2023-08-09 02:42:01 +0200 | Alex_test | (~al_test@94.233.240.100) |
| 2023-08-09 02:43:45 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 02:47:01 +0200 | <jackdk> | m21it: Validation may do what you want; see the first example. These appears to discard some information sometimes: https://www.irccloud.com/pastebin/vuNXujzL/ValidationAndThese.hs |
| 2023-08-09 02:47:16 +0200 | <jackdk> | The transformer for `These` is `ChronicleT` provided by package `monad-chronicle` |
| 2023-08-09 02:48:35 +0200 | <jackdk> | The problem with `WriterT` is that unless you're very careful, you build up a big unevaluated thunk for `w` and that uses lots of memory. `Control.Monad.Trans.Writer.CPS` avoids this by basically being `StateT` with a `WriterT` interface (so you can't do state monad things with it), but you can't do the equivalent with `These` as easily because its `>>=` must inspect the constructor. |
| 2023-08-09 02:48:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-09 02:49:40 +0200 | AlexZenon | (~alzenon@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 02:50:29 +0200 | <m21it> | Thanks! It's close, but not exactly what I need. The difference with my case - if there is at least one `Success` in raw list I'm parsing, the result is successful, but I need to keep all info about failures. Validation does not give it. It does collect all failures which is the thing I need, but it does not keep success |
| 2023-08-09 02:52:17 +0200 | AlexZenon | (~alzenon@94.233.240.100) |
| 2023-08-09 02:52:52 +0200 | <jackdk> | Then I don't think the Applicative/Monad instances will work for you - the types will probably imply this fact if I think about them more. You can maybe look for something like `partitionValidations` or even just go back to `base` and use `partitionEithers`, and maybe then convert to whatever type has the instance that you want |
| 2023-08-09 02:54:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-09 02:54:40 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2023-08-09 02:58:41 +0200 | <m21it> | `These e a` actually does look ok I think. According its monad instance seems like the idea is following: `This e` = fatal failure, short circuit, exception. `That a` = success, use it with bind `<-` to evaluate next expression in do notation, `These e a` = non fatal failure, accumulate with other non-fatal failures with Monoid. Is it correct? |
| 2023-08-09 02:58:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-09 02:59:10 +0200 | <m21it> | https://hackage.haskell.org/package/these-1.2/docs/src/Data.These.html#line-283 |
| 2023-08-09 02:59:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 03:00:03 +0200 | <m21it> | If it's correct, it's even better than I need, because I could do fatal and non-fatal failures with it, in pure functions. Or in effectful using transformer you mentioned. |
| 2023-08-09 03:01:02 +0200 | niko | (niko@libera/staff/niko) |
| 2023-08-09 03:03:27 +0200 | <jackdk> | yes, I believe that's what it does. But note that unlike Validation, `This a <*> _ = This a`, which is why my `these` example in the link above did not collect all the failures in the `sequenceA` call |
| 2023-08-09 03:03:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-09 03:06:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 03:06:53 +0200 | AlexNoo | (~AlexNoo@94.233.240.100) |
| 2023-08-09 03:07:35 +0200 | Alex_test | (~al_test@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 03:08:00 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 03:08:24 +0200 | AlexZenon | (~alzenon@94.233.240.100) (Ping timeout: 256 seconds) |
| 2023-08-09 03:09:00 +0200 | <m21it> | Yeah, it's kinda like fatal exception which overtakes the priority of whatever was collected already. Names are confusing, haha. It should really be something like `Result e a = FatalFailure e | NonFatalFailure e a | AbsoluteSuccess a` |
| 2023-08-09 03:10:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-09 03:10:41 +0200 | <jackdk> | Well, yes and no. It's a lawful monad for the data type, and you and I are ascribing meaning to it based on the intended use case. It's like how some people say "monads are not 'for IO'" - the IO type exists, its monad instance exists, it's up to you to decide if and how to use it |
| 2023-08-09 03:11:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-08-09 03:11:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-09 03:13:26 +0200 | <m21it> | True, if I think a bit more `Either e a = Left e | Right a` might be a bit confusing if you are not used to it. In Rust for example they have `Result a e = Either e a`, arguments are swapped, so confusing, but they are used to it |
| 2023-08-09 03:15:51 +0200 | <m21it> | I will memorize it with just `this` context from JS, how bad it was, and will never use `This e` - then `That a` and `These e a` will be my exact use case. |
| 2023-08-09 03:16:00 +0200 | <jackdk> | The fact that we have the "error" on the left is forced by the way kinds work: `class Monad (m :: Type -> Type) where`... means that `Either e` is the natural way to get it to fit. And so we do that because it lets us write more useful code. Though there's a neat paper, Exceptionally Monadic Error Handling, which points out that `catch :: c a -> (e -> c a) -> c a` is a bind operator: https://arxiv.org/pdf/1810.13430.pdf |
| 2023-08-09 03:16:15 +0200 | Guest36 | (~Guest36@2800:810:5ea:34e:1c56:e7eb:4664:3b36) |
| 2023-08-09 03:16:18 +0200 | <jackdk> | As for this/that/these, you can also let the types guide you |
| 2023-08-09 03:16:20 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-08-09 03:16:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-09 03:16:55 +0200 | <jackdk> | You could also define your own `data ParseResult e a = OK a | WithErrors e a` and write your own instances to get exactly what you want |
| 2023-08-09 03:17:36 +0200 | Guest36 | ludat |
| 2023-08-09 03:17:38 +0200 | Alex_test | (~al_test@94.233.240.100) |
| 2023-08-09 03:18:52 +0200 | <jackdk> | But note `ParseResult e a` = `a + (e * a)` = `a * (1 + e)` = `(Maybe e, a)`; we are actually back to a writer monad, using `instance Semigroup g => Monoid (Maybe g)` to get the monoid instance. |
| 2023-08-09 03:20:28 +0200 | <jackdk> | so we could circle alllll the way back to your original question, and accumulate errors in something like a `WriterT (Maybe (NonEmpty Error)) m a` or `Writer (Maybe (NonEmpty Error)) a` if you don't need other effects |
| 2023-08-09 03:21:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-09 03:21:55 +0200 | <m21it> | Yeah, exactly! Isomoprhic to a simple Writer. I actually think `These e a` is cool, and fatal failure is a feature which might be useful. But still might just use simple Writer/WriterT if I don't need a fatal failure |
| 2023-08-09 03:22:14 +0200 | <jackdk> | Well I hope the detour was fun at least |
| 2023-08-09 03:22:29 +0200 | ludat | (~Guest36@2800:810:5ea:34e:1c56:e7eb:4664:3b36) (Quit: Client closed) |
| 2023-08-09 03:22:34 +0200 | <jackdk> | The `These` and `Semialign` universe of packages are cool and underappreciated |
| 2023-08-09 03:23:48 +0200 | ludat | (~ludat@2800:810:5ea:34e:1c56:e7eb:4664:3b36) |
| 2023-08-09 03:24:30 +0200 | <m21it> | Yes! Thanks a lot! |
| 2023-08-09 03:30:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-08-09 03:35:20 +0200 | AlexZenon | (~alzenon@94.233.240.100) |
| 2023-08-09 03:38:26 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2023-08-09 03:42:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-09 03:47:10 +0200 | niko | (niko@libera/staff/niko) (Ping timeout: 600 seconds) |
| 2023-08-09 03:51:43 +0200 | <ludat> | stackage is down? |
| 2023-08-09 03:53:30 +0200 | niko | (niko@libera/staff/niko) |
| 2023-08-09 03:53:31 +0200 | <jackdk> | https://downforeveryoneorjustme.com/stackage.org |
| 2023-08-09 03:53:35 +0200 | <jackdk> | Apparently so |
| 2023-08-09 03:56:11 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-09 04:01:16 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-08-09 04:04:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-08-09 04:12:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-09 04:15:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-09 04:15:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-09 04:15:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-09 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-09 04:15:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-09 04:16:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-09 04:22:26 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-09 04:25:10 +0200 | cptaffe | (~cptaffe@99.47.99.155) |
| 2023-08-09 04:26:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-09 04:31:39 +0200 | cptaffe | (~cptaffe@99.47.99.155) (Ping timeout: 260 seconds) |
| 2023-08-09 04:32:14 +0200 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-09 04:34:02 +0200 | td_ | (~td@i53870903.versanet.de) |
| 2023-08-09 04:34:17 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-09 04:34:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 04:37:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-09 04:40:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-09 04:47:40 +0200 | nick4 | (~nick@2600:8807:9084:7800:c51f:d18e:8d7:c770) |
| 2023-08-09 04:52:02 +0200 | m21it | (~m21it@2800:ac:4001:e1d0:812b:6f83:c9f4:cf80) (Ping timeout: 246 seconds) |
| 2023-08-09 04:54:24 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-08-09 04:54:50 +0200 | troydm | (~troydm@user/troydm) |
| 2023-08-09 04:57:41 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-09 04:57:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-09 04:57:41 +0200 | finn_elija | FinnElija |
| 2023-08-09 04:58:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-09 04:58:55 +0200 | barakk | (~barakk@2a0d:6fc2:68c0:8e00:fbc6:1d6:b64a:3503) |
| 2023-08-09 05:14:13 +0200 | <jackdk> | And it's back |
| 2023-08-09 05:18:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-09 05:19:29 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf5:400:b5db:18ef:729d:b60a) (Ping timeout: 260 seconds) |
| 2023-08-09 05:20:20 +0200 | aforemny | (~aforemny@i59F516C2.versanet.de) |
| 2023-08-09 05:27:42 +0200 | Square2 | (~Square4@user/square) |
| 2023-08-09 05:28:21 +0200 | Square | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2023-08-09 05:30:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-09 05:34:55 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-09 05:34:56 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-09 05:34:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-09 05:36:25 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Remote host closed the connection) |
| 2023-08-09 05:39:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-09 05:46:30 +0200 | razetime | (~quassel@117.254.36.158) (Ping timeout: 256 seconds) |
| 2023-08-09 05:52:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-09 06:04:15 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2023-08-09 06:04:59 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-08-09 06:07:49 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-09 06:08:35 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-09 06:13:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-09 06:16:31 +0200 | trev | (~trev@user/trev) |
| 2023-08-09 06:21:04 +0200 | trev | (~trev@user/trev) (Ping timeout: 256 seconds) |
| 2023-08-09 06:23:20 +0200 | shapr | (~user@2600:1700:c640:3100:8740:4f93:d0ae:d771) (Ping timeout: 256 seconds) |
| 2023-08-09 06:27:42 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 06:27:46 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-09 06:33:33 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Quit: leaving) |
| 2023-08-09 06:42:25 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-09 07:12:26 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-09 07:15:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-09 07:20:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-09 07:22:52 +0200 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-08-09 07:25:56 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-09 07:26:20 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
| 2023-08-09 07:29:04 +0200 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 256 seconds) |
| 2023-08-09 07:30:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-09 07:30:19 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-09 07:35:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 07:37:50 +0200 | ludat31 | (~ludat@2800:810:5ea:34e:1c56:e7eb:4664:3b36) |
| 2023-08-09 07:37:50 +0200 | ludat | (~ludat@2800:810:5ea:34e:1c56:e7eb:4664:3b36) (Remote host closed the connection) |
| 2023-08-09 07:39:17 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-08-09 07:40:10 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) (Client Quit) |
| 2023-08-09 07:40:24 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-08-09 07:45:50 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-08-09 07:46:05 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-08-09 07:58:44 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Remote host closed the connection) |
| 2023-08-09 08:02:11 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-08-09 08:04:45 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-09 08:04:45 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-09 08:11:20 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 245 seconds) |
| 2023-08-09 08:13:13 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Remote host closed the connection) |
| 2023-08-09 08:21:14 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-09 08:43:46 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-08-09 08:46:38 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-09 08:49:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-09 08:58:18 +0200 | acidjnk | (~acidjnk@p200300d6e7072f35c0ee89994173f691.dip0.t-ipconnect.de) |
| 2023-08-09 09:01:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 09:04:10 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-09 09:09:44 +0200 | ludat31 | ludat |
| 2023-08-09 09:12:31 +0200 | <Hecate> | hello hello |
| 2023-08-09 09:14:17 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-09 09:16:57 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-09 09:17:45 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-08-09 09:18:25 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 09:27:54 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-09 09:33:40 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) |
| 2023-08-09 09:38:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-09 09:38:33 +0200 | CiaoSen | (~Jura@2a05:5800:2a1:7d00:664b:f0ff:fe37:9ef) |
| 2023-08-09 09:40:23 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2023-08-09 09:41:04 +0200 | Square2 | (~Square4@user/square) |
| 2023-08-09 09:50:52 +0200 | chele | (~chele@user/chele) |
| 2023-08-09 09:56:58 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2023-08-09 09:57:28 +0200 | raym | (~ray@user/raym) |
| 2023-08-09 09:57:34 +0200 | <juri_> | hio! |
| 2023-08-09 09:59:02 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) |
| 2023-08-09 10:02:57 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-09 10:06:09 +0200 | <Hecate> | heya juri_ :) |
| 2023-08-09 10:06:52 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-09 10:07:35 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-08-09 10:08:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-09 10:09:30 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) |
| 2023-08-09 10:14:46 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-09 10:19:32 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-09 10:20:22 +0200 | <juri_> | Hecate: i heard you were saying good things about me behind my back. you should get to know me better, so you'll stop that. :) |
| 2023-08-09 10:23:14 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-09 10:24:05 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 10:24:25 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-09 10:28:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-09 10:31:20 +0200 | danse-nr3_ | (~francesco@151.46.172.50) |
| 2023-08-09 10:32:25 +0200 | razetime | (~quassel@117.254.36.158) (Ping timeout: 246 seconds) |
| 2023-08-09 10:33:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Ping timeout: 260 seconds) |
| 2023-08-09 10:37:06 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 2023-08-09 10:37:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-09 10:38:57 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-09 10:41:28 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 10:44:59 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-09 10:56:33 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 10:56:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 11:00:03 +0200 | zer0bitz_ | zer0bitz |
| 2023-08-09 11:02:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 11:03:15 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2023-08-09 11:06:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-09 11:06:17 +0200 | <Hecate> | juri_: haha yeah I met with Igor! I mean, I haven't lied one bit! |
| 2023-08-09 11:06:30 +0200 | <Hecate> | All the stuff I have to say about you is your own fault :p |
| 2023-08-09 11:06:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-09 11:09:54 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-09 11:11:13 +0200 | ludat | (~ludat@2800:810:5ea:34e:1c56:e7eb:4664:3b36) (Quit: Client closed) |
| 2023-08-09 11:13:35 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-08-09 11:15:19 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-09 11:23:01 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-09 11:24:51 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-09 11:24:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 11:28:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 11:31:13 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 11:32:10 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-09 11:34:37 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 11:35:21 +0200 | bonz060 | (~quassel@2001:bc8:678:1c48::1) (Quit: No Ping reply in 180 seconds.) |
| 2023-08-09 11:38:20 +0200 | mmhat | (~mmh@p200300f1c73d1934ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-09 11:42:51 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2023-08-09 11:44:19 +0200 | connrs | (~connrs@user/connrs) |
| 2023-08-09 11:44:55 +0200 | ubert | (~Thunderbi@77.119.201.162.wireless.dyn.drei.com) |
| 2023-08-09 11:50:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-09 11:51:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-08-09 11:51:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-09 11:58:39 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Ping timeout: 246 seconds) |
| 2023-08-09 11:58:51 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) (Ping timeout: 246 seconds) |
| 2023-08-09 11:58:52 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-09 11:58:56 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Ping timeout: 246 seconds) |
| 2023-08-09 11:59:11 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 245 seconds) |
| 2023-08-09 11:59:42 +0200 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 260 seconds) |
| 2023-08-09 12:01:38 +0200 | <bwe> | is doctest 0.22 broken for any GHC > 9 code base that specifically uses $setup to import a module? |
| 2023-08-09 12:07:24 +0200 | <danse-nr3_> | this is the only recent open issue i found that might be vaguely related to that https://github.com/sol/doctest/issues/327 |
| 2023-08-09 12:07:57 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-08-09 12:09:34 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 260 seconds) |
| 2023-08-09 12:10:21 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-08-09 12:10:28 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-08-09 12:10:58 +0200 | canta | (~canta@user/canta) (Quit: WeeChat 3.5) |
| 2023-08-09 12:11:47 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-09 12:13:40 +0200 | <bwe> | danse-nr3_: cabal repl --with-ghc=doctest does work! |
| 2023-08-09 12:14:02 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-09 12:15:14 +0200 | siers | (~ij@user/ij) |
| 2023-08-09 12:15:26 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-09 12:15:35 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-09 12:15:51 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-09 12:16:29 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 12:16:31 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 12:17:38 +0200 | bonz060 | (~quassel@2001:bc8:678:1c48::1) |
| 2023-08-09 12:18:32 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-09 12:22:38 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-09 12:24:12 +0200 | razetime | (~quassel@117.254.36.158) (Ping timeout: 260 seconds) |
| 2023-08-09 12:24:48 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6b33:6245:cbff:fe9f:48b1) |
| 2023-08-09 12:29:31 +0200 | <danse-nr3_> | cool |
| 2023-08-09 12:29:32 +0200 | acidjnk | (~acidjnk@p200300d6e7072f35c0ee89994173f691.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-09 12:31:01 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 12:32:32 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-08-09 12:38:40 +0200 | <ncf> | type MaybeIndexedTraversal s t a b = forall p m. (forall i. Indexable (Maybe i) p, Applicative m) => p a (m b) -> s -> m t |
| 2023-08-09 12:38:49 +0200 | <ncf> | QuantifiedConstraints ftw |
| 2023-08-09 12:40:49 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-09 12:43:48 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2023-08-09 12:44:42 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-08-09 12:44:42 +0200 | ripspin | (~chatzilla@1.145.239.146) |
| 2023-08-09 12:45:39 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2023-08-09 12:47:35 +0200 | CiaoSen | (~Jura@2a05:5800:2a1:7d00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-09 12:49:59 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2023-08-09 12:50:26 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-08-09 12:52:50 +0200 | mmhat | (~mmh@p200300f1c73d1934ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-08-09 12:53:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-08-09 12:54:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-09 13:06:45 +0200 | siers | (~ij@user/ij) (Ping timeout: 246 seconds) |
| 2023-08-09 13:10:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c273:dfcc:236d:9211) |
| 2023-08-09 13:14:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-09 13:14:56 +0200 | m21it | (~m21it@2800:ac:c020:aa04:8c7b:1285:3d4:e64f) |
| 2023-08-09 13:15:39 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-09 13:18:01 +0200 | siers | (~ij@user/ij) |
| 2023-08-09 13:18:32 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-09 13:23:00 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-08-09 13:29:04 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-09 13:32:44 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-09 13:34:36 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 245 seconds) |
| 2023-08-09 13:35:15 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2023-08-09 13:36:45 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-09 13:38:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 13:38:24 +0200 | acro | (~acro@user/acro) (Ping timeout: 246 seconds) |
| 2023-08-09 13:38:36 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) |
| 2023-08-09 13:39:25 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Ping timeout: 240 seconds) |
| 2023-08-09 13:41:31 +0200 | acro | (~acro@user/acro) |
| 2023-08-09 13:42:07 +0200 | razetime | (~quassel@117.254.36.158) (Ping timeout: 246 seconds) |
| 2023-08-09 13:45:20 +0200 | danse-nr3_ | (~francesco@151.46.172.50) (Ping timeout: 256 seconds) |
| 2023-08-09 13:48:12 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 13:49:26 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-08-09 13:51:55 +0200 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 240 seconds) |
| 2023-08-09 13:52:16 +0200 | danse-nr3_ | (~francesco@151.46.172.50) |
| 2023-08-09 13:52:38 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-08-09 13:55:55 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 245 seconds) |
| 2023-08-09 13:56:40 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-09 13:56:57 +0200 | danse-nr3_ | (~francesco@151.46.172.50) (Ping timeout: 246 seconds) |
| 2023-08-09 14:00:53 +0200 | ripspin | (~chatzilla@1.145.239.146) (Remote host closed the connection) |
| 2023-08-09 14:00:54 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Read error: Connection reset by peer) |
| 2023-08-09 14:02:00 +0200 | SoF | (~skius@user/skius) |
| 2023-08-09 14:05:19 +0200 | incertia | (~incertia@209.122.71.127) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | drdo | (~drdo@bl5-28-156.dsl.telepac.pt) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | tomjaguarpaw | (~tom@172.104.25.182) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | quintasan | (~quassel@188.226.239.107) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | bsima | (~bsima@143.198.118.179) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | noctux1 | (88FTKVRINY@user/noctux) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | dunj3 | (~dunj3@kingdread.de) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | disconnect3d | (~disconnec@user/disconnect3d) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | apache | (apache2@anubis.0x90.dk) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | Minnozz | (~minnozz@salix.minnozz.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | russruss2 | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:19 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | davl | (~davl@207.154.228.18) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | dragestil | (~znc@user/dragestil) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2023-08-09 14:05:20 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (*.net *.split) |
| 2023-08-09 14:05:38 +0200 | Minnozz | (~minnozz@salix.minnozz.com) |
| 2023-08-09 14:05:38 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2023-08-09 14:05:38 +0200 | incertia | (~incertia@209.122.71.127) |
| 2023-08-09 14:05:38 +0200 | h2t | (~h2t@user/h2t) |
| 2023-08-09 14:05:38 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-09 14:05:38 +0200 | drdo | (~drdo@bl5-28-156.dsl.telepac.pt) |
| 2023-08-09 14:05:38 +0200 | urdh | (~urdh@user/urdh) |
| 2023-08-09 14:05:38 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | quintasan | (~quassel@188.226.239.107) |
| 2023-08-09 14:05:38 +0200 | tomjaguarpaw | (~tom@172.104.25.182) |
| 2023-08-09 14:05:38 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | lisq | (~quassel@lis.moe) |
| 2023-08-09 14:05:38 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2023-08-09 14:05:38 +0200 | bsima | (~bsima@143.198.118.179) |
| 2023-08-09 14:05:38 +0200 | noctux1 | (88FTKVRINY@user/noctux) |
| 2023-08-09 14:05:38 +0200 | dunj3 | (~dunj3@kingdread.de) |
| 2023-08-09 14:05:38 +0200 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-08-09 14:05:38 +0200 | apache | (apache2@anubis.0x90.dk) |
| 2023-08-09 14:05:38 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2023-08-09 14:05:38 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2023-08-09 14:05:38 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-08-09 14:05:38 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2023-08-09 14:05:38 +0200 | russruss2 | (~russruss@my.russellmcc.com) |
| 2023-08-09 14:05:38 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | davl | (~davl@207.154.228.18) |
| 2023-08-09 14:05:38 +0200 | dragestil | (~znc@user/dragestil) |
| 2023-08-09 14:05:38 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2023-08-09 14:05:38 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2023-08-09 14:05:38 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2023-08-09 14:05:38 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) |
| 2023-08-09 14:05:38 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-08-09 14:05:38 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-08-09 14:07:15 +0200 | danse-nr3_ | (~francesco@151.46.172.50) |
| 2023-08-09 14:08:04 +0200 | m21it | (~m21it@2800:ac:c020:aa04:8c7b:1285:3d4:e64f) (Remote host closed the connection) |
| 2023-08-09 14:08:21 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2023-08-09 14:10:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 14:14:20 +0200 | danse-nr3_ | (~francesco@151.46.172.50) (Read error: Connection reset by peer) |
| 2023-08-09 14:14:47 +0200 | danse-nr3_ | (~francesco@151.44.223.34) |
| 2023-08-09 14:14:47 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-09 14:20:00 +0200 | acidjnk | (~acidjnk@p200300d6e7072f350cd3228785a0f2a1.dip0.t-ipconnect.de) |
| 2023-08-09 14:21:39 +0200 | siers | (~ij@user/ij) |
| 2023-08-09 14:28:42 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 245 seconds) |
| 2023-08-09 14:33:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 14:36:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-09 14:36:28 +0200 | <rselim> | damn you put on a couple of Beethoven piano sonatas and all of a sudden it's past midnight and you're implementing typed tagless final interpreters... |
| 2023-08-09 14:38:09 +0200 | <rselim> | the 30 {-# LANGUAGE ... #-} declarations in every file thing drove me away from Haskell for a few years but this, on the other hand, this is fun. |
| 2023-08-09 14:42:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c273:dfcc:236d:9211) (Ping timeout: 244 seconds) |
| 2023-08-09 14:43:08 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-09 14:44:01 +0200 | img | (~img@user/img) |
| 2023-08-09 14:44:09 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2023-08-09 14:44:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 14:44:55 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-09 14:52:31 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 14:55:29 +0200 | <danse-nr3_> | imagine if you had put bach, rselim |
| 2023-08-09 14:55:56 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-08-09 14:56:06 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 14:56:16 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-08-09 14:56:31 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) |
| 2023-08-09 14:58:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c273:dfcc:236d:9211) |
| 2023-08-09 15:06:02 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-09 15:12:44 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-09 15:15:46 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 15:15:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-09 15:20:56 +0200 | Guest45 | (~Guest45@37.163.158.153) |
| 2023-08-09 15:24:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 15:24:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-09 15:29:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) |
| 2023-08-09 15:30:47 +0200 | Guest45 | (~Guest45@37.163.158.153) (Ping timeout: 246 seconds) |
| 2023-08-09 15:34:43 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 15:35:17 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-09 15:41:38 +0200 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) |
| 2023-08-09 15:43:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-09 15:43:29 +0200 | <joel135> | Hi, I was wondering if there is a way to get a repl to interact with an instance of xmonad, in order to get a hang of things. |
| 2023-08-09 15:44:05 +0200 | ystael | (~ystael@user/ystael) |
| 2023-08-09 15:45:16 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 15:46:54 +0200 | <geekosaur> | no, xmonad's internals can't be accessed from outside |
| 2023-08-09 15:47:59 +0200 | <joel135> | Ah too bad. I was looking at `IncMasterNSource` and saw that it instances the `Message` class, so I got the idea that maybe one could add messages manually "from the outside" as you say. |
| 2023-08-09 15:48:33 +0200 | <joel135> | I will just have to look at some more resources to figure out how people actually use this thing. |
| 2023-08-09 15:48:41 +0200 | <geekosaur> | nope, because something inside needs to know about them and you can't push code between instances |
| 2023-08-09 15:48:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-08-09 15:50:00 +0200 | <geekosaur> | haskell isn't erlang |
| 2023-08-09 15:50:13 +0200 | razetime | (~quassel@117.254.36.158) (Ping timeout: 246 seconds) |
| 2023-08-09 15:50:25 +0200 | <joel135> | nor lisp :) |
| 2023-08-09 15:50:29 +0200 | <geekosaur> | (erlang only gets away with it because it compiles to beam, not native code) |
| 2023-08-09 15:51:48 +0200 | <geekosaur> | but even if we could do that, we'd probably prevent it some other way because there are too many invariants that need to be preserved for things to work |
| 2023-08-09 15:51:49 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-08-09 15:52:51 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-09 15:55:05 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-09 15:59:04 +0200 | acidjnk | (~acidjnk@p200300d6e7072f350cd3228785a0f2a1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-09 16:03:24 +0200 | razetime | (~quassel@117.254.36.158) |
| 2023-08-09 16:07:10 +0200 | Alex_test | (~al_test@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 16:07:23 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-09 16:08:00 +0200 | AlexZenon | (~alzenon@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 16:08:25 +0200 | AlexNoo | (~AlexNoo@94.233.240.100) (Ping timeout: 245 seconds) |
| 2023-08-09 16:11:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 16:12:11 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 258 seconds) |
| 2023-08-09 16:12:21 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-09 16:20:18 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 16:24:00 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 256 seconds) |
| 2023-08-09 16:27:27 +0200 | nick4 | (~nick@2600:8807:9084:7800:c51f:d18e:8d7:c770) (Ping timeout: 260 seconds) |
| 2023-08-09 16:27:42 +0200 | ddellacosta | (~ddellacos@146.70.166.219) |
| 2023-08-09 16:29:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-09 16:30:27 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-09 16:32:13 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 16:32:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 16:36:42 +0200 | AlexNoo | (~AlexNoo@178.34.161.177) |
| 2023-08-09 16:39:00 +0200 | Alex_test | (~al_test@178.34.161.177) |
| 2023-08-09 16:39:35 +0200 | nick4 | (~nick@2600:8807:9084:7800:2dab:994f:4b53:9bd3) |
| 2023-08-09 16:44:07 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 16:44:16 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-08-09 16:47:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-09 16:53:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-09 16:54:02 +0200 | nick4 | (~nick@2600:8807:9084:7800:2dab:994f:4b53:9bd3) (Ping timeout: 256 seconds) |
| 2023-08-09 16:54:15 +0200 | AlexZenon | (~alzenon@178.34.161.177) |
| 2023-08-09 16:55:38 +0200 | nick4 | (~nick@2600:8807:9084:7800:2dab:994f:4b53:9bd3) |
| 2023-08-09 16:57:08 +0200 | nyr | (~nyr@user/nyr) |
| 2023-08-09 16:58:45 +0200 | mmhat | (~mmh@p200300f1c73d1934ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-09 16:59:20 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 16:59:38 +0200 | mmhat | (~mmh@p200300f1c73d1934ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-09 17:00:38 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-09 17:01:02 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 17:07:12 +0200 | nyr | (~nyr@user/nyr) (Ping timeout: 246 seconds) |
| 2023-08-09 17:09:38 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-09 17:10:28 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-08-09 17:15:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 17:16:16 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-09 17:17:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-08-09 17:18:29 +0200 | mauke | (~mauke@user/mauke) |
| 2023-08-09 17:20:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-09 17:20:53 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 17:21:12 +0200 | nick4 | (~nick@2600:8807:9084:7800:2dab:994f:4b53:9bd3) (Ping timeout: 246 seconds) |
| 2023-08-09 17:21:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2023-08-09 17:23:04 +0200 | trev | (~trev@user/trev) |
| 2023-08-09 17:27:39 +0200 | trev | (~trev@user/trev) (Ping timeout: 244 seconds) |
| 2023-08-09 17:31:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-09 17:33:04 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-09 17:34:23 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-09 17:34:48 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-09 17:37:10 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 245 seconds) |
| 2023-08-09 17:38:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-09 17:40:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-09 17:42:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown) |
| 2023-08-09 17:45:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-09 17:46:32 +0200 | CiaoSen | (~Jura@2a05:5800:2a1:7d00:664b:f0ff:fe37:9ef) |
| 2023-08-09 17:49:54 +0200 | ripspin | (~chatzilla@1.145.222.186) |
| 2023-08-09 17:51:50 +0200 | ddellacosta | (~ddellacos@146.70.166.219) (Ping timeout: 256 seconds) |
| 2023-08-09 17:52:37 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 260 seconds) |
| 2023-08-09 17:53:59 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-08-09 17:56:16 +0200 | razetime | (~quassel@117.254.36.158) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-09 17:59:36 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2023-08-09 17:59:43 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-09 18:00:00 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 18:00:09 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-09 18:00:59 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-09 18:01:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-09 18:01:18 +0200 | bramhaag3 | (~bramhaag@134.195.121.39) |
| 2023-08-09 18:02:13 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-08-09 18:03:04 +0200 | bramhaag | (~bramhaag@134.195.121.39) (Ping timeout: 260 seconds) |
| 2023-08-09 18:03:04 +0200 | bramhaag3 | bramhaag |
| 2023-08-09 18:04:17 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 260 seconds) |
| 2023-08-09 18:06:17 +0200 | ddellacosta | (~ddellacos@146.70.166.219) |
| 2023-08-09 18:06:56 +0200 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-08-09 18:07:52 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-09 18:10:41 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-09 18:13:25 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-08-09 18:14:45 +0200 | danse-nr3__ | (~francesco@151.46.216.118) |
| 2023-08-09 18:17:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-09 18:17:39 +0200 | danse-nr3_ | (~francesco@151.44.223.34) (Ping timeout: 260 seconds) |
| 2023-08-09 18:20:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-08-09 18:21:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-09 18:26:42 +0200 | ripspin | (~chatzilla@1.145.222.186) (Remote host closed the connection) |
| 2023-08-09 18:30:01 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-09 18:31:42 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-08-09 18:31:52 +0200 | shapr | (~user@2600:1700:c640:3100:40c:ae4c:e272:f9ec) |
| 2023-08-09 18:34:34 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-09 18:34:59 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 18:35:26 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 18:41:50 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-09 18:42:32 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) |
| 2023-08-09 18:46:52 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) (Quit: Konversation terminated!) |
| 2023-08-09 18:50:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 18:53:19 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 19:00:24 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-09 19:04:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-09 19:06:28 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-08-09 19:13:53 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 19:18:17 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::e) |
| 2023-08-09 19:20:47 +0200 | <d34df00d> | Hi! I'm tyring to build a package that depends on openssl ( https://github.com/larskuhtz/hs-hashes ) , and it fails in the preprocessor here: https://github.com/larskuhtz/hs-hashes/blob/main/src/Data/Hash/Internal/OpenSSL.hs#L12 |
| 2023-08-09 19:20:53 +0200 | <d34df00d> | In particular, I get this error: |
| 2023-08-09 19:21:16 +0200 | <d34df00d> | https://bpa.st/R47Q |
| 2023-08-09 19:22:00 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-09 19:22:20 +0200 | <d34df00d> | configuration.h looks like https://bpa.st/JQ5A , so I presume ghc doesn't pass the __x86_64__ define (or it gets undefined somehow) to the C preprocessor. |
| 2023-08-09 19:22:27 +0200 | <d34df00d> | How can I debug/fix this? |
| 2023-08-09 19:22:30 +0200 | danse-nr3__ | (~francesco@151.46.216.118) (Ping timeout: 256 seconds) |
| 2023-08-09 19:23:47 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 19:24:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-09 19:25:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 19:26:26 +0200 | <geekosaur> | typically those are defined internally by the preprocessor or in OS specific headers. I note the error message points you to bugs.gentoo.org, not here; they would know more |
| 2023-08-09 19:27:42 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 246 seconds) |
| 2023-08-09 19:27:46 +0200 | toqueteos | (~toqueteos@228.red-81-35-152.dynamicip.rima-tde.net) |
| 2023-08-09 19:27:54 +0200 | <d34df00d> | Rest of the packages (especially system ones) work ok with this openssl, so I thought this particular haskell package build process might be a more likely culprit. |
| 2023-08-09 19:28:01 +0200 | <d34df00d> | But asking gentoo folks might be a good idea as well. |
| 2023-08-09 19:30:26 +0200 | <mauke> | d34df00d: https://bugs.gentoo.org/531120 ? |
| 2023-08-09 19:32:26 +0200 | <d34df00d> | mauke: yeah, very similar, thanks! |
| 2023-08-09 19:32:40 +0200 | <d34df00d> | So ghc calls cpp with `-undef` |
| 2023-08-09 19:34:47 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-09 19:35:50 +0200 | <geekosaur> | that sounds wrong tbh |
| 2023-08-09 19:37:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-09 19:39:31 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 19:41:04 +0200 | <d34df00d> | I'm curious if it's possible to somehow un-undef this `-undef` |
| 2023-08-09 19:43:25 +0200 | <geekosaur> | looks like you need to edit the settings file |
| 2023-08-09 19:43:32 +0200 | <mauke> | not from the inside, I don't think |
| 2023-08-09 19:43:34 +0200 | <geekosaur> | and indeed it's doing `-undef` |
| 2023-08-09 19:44:13 +0200 | <mauke> | you could work around it if you control both the build commands and the code |
| 2023-08-09 19:44:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 19:44:53 +0200 | <mauke> | idea: cpp -dM /dev/null > platform.h; then #include "platform.h" in the code |
| 2023-08-09 19:49:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-09 19:50:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 19:51:07 +0200 | <d34df00d> | Hmm, that might work for now. |
| 2023-08-09 19:52:47 +0200 | <d34df00d> | I'd say modulo ghc doing this undef thing, it's indeed a gentoo bug and something that could be fixed there. |
| 2023-08-09 19:56:39 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-09 19:58:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f35188440d828d901dc.dip0.t-ipconnect.de) |
| 2023-08-09 20:01:38 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-09 20:10:28 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 20:10:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 20:14:41 +0200 | telser | (~quassel@user/telser) |
| 2023-08-09 20:16:43 +0200 | <mauke> | might be nice to have {-# LANGUAGE CPP' #-} that doesn't -undef |
| 2023-08-09 20:17:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-09 20:20:47 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-09 20:25:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-09 20:31:03 +0200 | nyr | (~nyr@user/nyr) |
| 2023-08-09 20:32:22 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) () |
| 2023-08-09 20:34:10 +0200 | danza | (~francesco@151.46.216.118) |
| 2023-08-09 20:36:02 +0200 | <thyriaen> | A $ B $ C $ D the same as A ( B ( C ( D ))) ? |
| 2023-08-09 20:36:18 +0200 | <int-e> | for most purposes, yes |
| 2023-08-09 20:37:37 +0200 | <int-e> | (there are rare type inference complications from using x $ y instead of x y, because GHC has to figure out a type for ($), not just for x and y) |
| 2023-08-09 20:38:54 +0200 | <int-e> | A . B . C $ D is also equivalent to A (B (C D)) except for those caveats. |
| 2023-08-09 20:39:42 +0200 | <mauke> | % :info ($) |
| 2023-08-09 20:39:42 +0200 | <yahb2> | ($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’ ; infixr 0 $ |
| 2023-08-09 20:39:54 +0200 | <int-e> | (and other mixes of $ and . with $ in the end, like, A $ B . C $ D) |
| 2023-08-09 20:40:06 +0200 | <mauke> | infixr means it's right associative, so a $ b $ c parses as a $ (b $ c) |
| 2023-08-09 20:40:24 +0200 | <mauke> | @src ($) |
| 2023-08-09 20:40:24 +0200 | <lambdabot> | f $ x = f x |
| 2023-08-09 20:40:32 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-08-09 20:40:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-09 20:40:49 +0200 | <int-e> | > let ($) = (+) in 2 $ 3 -- and of course you /can/ redefine ($) and then all bets are off |
| 2023-08-09 20:40:50 +0200 | <lambdabot> | 5 |
| 2023-08-09 20:41:21 +0200 | <mauke> | that's counterfeit $ and it's illegal |
| 2023-08-09 20:41:31 +0200 | <int-e> | not in my country? |
| 2023-08-09 20:41:39 +0200 | <int-e> | (it may be, I have no clue) |
| 2023-08-09 20:43:00 +0200 | <int-e> | thyriaen: I think the important point here is that $ is *not* special syntax; it's just one of many infix operators that comes with Haskell's standard libraries. |
| 2023-08-09 20:43:18 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-08-09 20:43:19 +0200 | cheater_ | cheater |
| 2023-08-09 20:43:27 +0200 | <int-e> | > otherwise |
| 2023-08-09 20:43:28 +0200 | <lambdabot> | True |
| 2023-08-09 20:43:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 20:43:46 +0200 | <int-e> | (that's another one that might be mistaken for special syntax and isn't) |
| 2023-08-09 20:43:50 +0200 | <mauke> | > sqrt $ 2 |
| 2023-08-09 20:43:51 +0200 | <lambdabot> | 1.4142135623730951 |
| 2023-08-09 20:43:54 +0200 | <mauke> | > sqrt `id` 2 |
| 2023-08-09 20:43:56 +0200 | <lambdabot> | 1.4142135623730951 |
| 2023-08-09 20:44:23 +0200 | <d34df00d> | Isn't (the standard) $ also special-cased in the type checker to alleviate some type inference issues? |
| 2023-08-09 20:44:34 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-09 20:44:55 +0200 | <d34df00d> | I remember hitting some bugs where $ was fine for IIRC impredicatively polymorphic things, and my similarly looking custom definitions weren't. |
| 2023-08-09 20:45:02 +0200 | <mauke> | yeah, but we keep that a secret |
| 2023-08-09 20:45:04 +0200 | <d34df00d> | s/bugs/edge cases/, perhaps |
| 2023-08-09 20:46:19 +0200 | <dolio> | Is it still? That quicklook stuff was years ago at this point. |
| 2023-08-09 20:46:32 +0200 | <int-e> | Let's discuss this when somebody asks why `runST $ do ...` works but not if you replace $ by another infix operator with the same definition :) |
| 2023-08-09 20:46:44 +0200 | <int-e> | dolio: I'm not actually certain |
| 2023-08-09 20:46:50 +0200 | <int-e> | and too lazy to check |
| 2023-08-09 20:47:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-09 20:47:09 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 246 seconds) |
| 2023-08-09 20:47:10 +0200 | <geekosaur> | the magic currently is that $ secretly turns on ImpredicativeTypes for that expression |
| 2023-08-09 20:47:40 +0200 | <geekosaur> | it used to have a different kind of magic (it hacked the parse tree to remove the $) but QuickLook made that unnecessary |
| 2023-08-09 20:48:25 +0200 | <mauke> | :t [id, ($), ask, asks, fmap fix pure, pure <*> const] |
| 2023-08-09 20:48:26 +0200 | <lambdabot> | [(a -> b) -> a -> b] |
| 2023-08-09 20:48:31 +0200 | <mauke> | I have many identities |
| 2023-08-09 20:48:46 +0200 | <d34df00d> | > fmap fix pure |
| 2023-08-09 20:48:48 +0200 | <lambdabot> | error: |
| 2023-08-09 20:48:48 +0200 | <lambdabot> | • No instance for (Typeable b0) |
| 2023-08-09 20:48:48 +0200 | <lambdabot> | arising from a use of ‘show_M80332521831079503577’ |
| 2023-08-09 20:48:50 +0200 | <d34df00d> | That requires some processing. |
| 2023-08-09 20:49:06 +0200 | <int-e> | > fmap fix pure id 42 |
| 2023-08-09 20:49:07 +0200 | <lambdabot> | 42 |
| 2023-08-09 20:49:18 +0200 | <int-e> | > fmap fix pure 42 |
| 2023-08-09 20:49:20 +0200 | <lambdabot> | 42 |
| 2023-08-09 20:49:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-09 20:49:45 +0200 | <int-e> | (not sure which one from mauke's list forces a function type into the argument) |
| 2023-08-09 20:49:54 +0200 | <int-e> | asks? |
| 2023-08-09 20:50:01 +0200 | <mauke> | ($) and probably the asks |
| 2023-08-09 20:50:12 +0200 | <mauke> | also SKK |
| 2023-08-09 20:50:25 +0200 | <mauke> | no, strike that |
| 2023-08-09 20:50:25 +0200 | <int-e> | :t ap const const |
| 2023-08-09 20:50:26 +0200 | <lambdabot> | b -> b |
| 2023-08-09 20:52:05 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-08-09 20:52:14 +0200 | <int-e> | Ah, hmpf. I didn't recognize `pure` as `const`. |
| 2023-08-09 20:53:00 +0200 | danza | (~francesco@151.46.216.118) (Ping timeout: 245 seconds) |
| 2023-08-09 20:53:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-09 20:54:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-08-09 20:54:52 +0200 | cheater_ | cheater |
| 2023-08-09 20:55:13 +0200 | <mauke> | always keep the naked Reader in mind |
| 2023-08-09 20:55:56 +0200 | <geekosaur> | is that its official name? I usually call it "primitive Reader" |
| 2023-08-09 20:56:57 +0200 | CiaoSen | (~Jura@2a05:5800:2a1:7d00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-09 20:58:27 +0200 | <Rembane> | Both sounds like a Discovery Channel series |
| 2023-08-09 20:58:50 +0200 | toqueteos | (~toqueteos@228.red-81-35-152.dynamicip.rima-tde.net) (Quit: Client closed) |
| 2023-08-09 21:04:20 +0200 | <mauke> | no, that's just what I call it |
| 2023-08-09 21:04:58 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 21:05:14 +0200 | <geekosaur> | I suppose "function Applicative" is the "right" name |
| 2023-08-09 21:06:02 +0200 | <EvanR> | dependency injection applicative |
| 2023-08-09 21:07:27 +0200 | simikando1 | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Client Quit) |
| 2023-08-09 21:08:34 +0200 | <mauke> | functiunctor |
| 2023-08-09 21:09:50 +0200 | <geekosaur> | functionator |
| 2023-08-09 21:10:03 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 21:11:26 +0200 | <mauke> | "the IO MonadIO" |
| 2023-08-09 21:12:18 +0200 | <monochrom> | "Don't ask to ask, just apply" >:) |
| 2023-08-09 21:14:46 +0200 | <int-e> | > ask ask 42 |
| 2023-08-09 21:14:47 +0200 | <lambdabot> | 42 |
| 2023-08-09 21:16:12 +0200 | <mauke> | don't ask to ask Ask |
| 2023-08-09 21:23:19 +0200 | danza | (~francesco@151.46.216.118) |
| 2023-08-09 21:24:25 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-08-09 21:31:46 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-09 21:33:55 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-08-09 21:34:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 21:35:44 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-08-09 21:38:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-09 21:44:10 +0200 | danza | (~francesco@151.46.216.118) (Ping timeout: 256 seconds) |
| 2023-08-09 21:46:11 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-09 21:46:25 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-09 21:47:16 +0200 | danza | (~francesco@151.46.216.118) |
| 2023-08-09 21:49:27 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-09 22:02:00 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-09 22:07:49 +0200 | ars23 | (~ars23@86.120.205.92) |
| 2023-08-09 22:08:01 +0200 | ars23 | (~ars23@86.120.205.92) (Changing host) |
| 2023-08-09 22:08:01 +0200 | ars23 | (~ars23@user/ars23) |
| 2023-08-09 22:11:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 22:14:11 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-09 22:14:53 +0200 | danza_ | (~francesco@151.46.137.106) |
| 2023-08-09 22:17:10 +0200 | danza | (~francesco@151.46.216.118) (Ping timeout: 245 seconds) |
| 2023-08-09 22:17:59 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 260 seconds) |
| 2023-08-09 22:20:22 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds) |
| 2023-08-09 22:21:10 +0200 | nyr | (~nyr@user/nyr) (Ping timeout: 246 seconds) |
| 2023-08-09 22:24:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Remote host closed the connection) |
| 2023-08-09 22:27:55 +0200 | Square | (~Square@user/square) |
| 2023-08-09 22:28:58 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-09 22:29:28 +0200 | toqueteos | (~toqueteos@228.red-81-35-152.dynamicip.rima-tde.net) |
| 2023-08-09 22:31:39 +0200 | <toqueteos> | Greetings, a bit of a moonshot question but how feasible is to compile something like pandoc as wasm module nowadays? I tried doing it myself but failed miserably (if you are wondering why I want to embed it on a non-Haskell codebase) |
| 2023-08-09 22:32:14 +0200 | Nosrep | (~Nosrep@user/nosrep) (Read error: Connection reset by peer) |
| 2023-08-09 22:32:24 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-08-09 22:33:07 +0200 | ars23 | (~ars23@user/ars23) (Quit: Leaving) |
| 2023-08-09 22:33:44 +0200 | <geekosaur> | not very feasible at all; wasm is still a tech preview, and is known incomplete |
| 2023-08-09 22:34:59 +0200 | <toqueteos> | Ok so failure was pretty much expected, thanks for confirming it! |
| 2023-08-09 22:35:14 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-09 22:40:27 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-09 22:41:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 22:46:20 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-09 22:48:04 +0200 | <geekosaur> | if you want to track progress on wasm there's a roughly weekly update on discourse.haskell.org |
| 2023-08-09 22:49:15 +0200 | <meejah> | is it? I've certainly seen some non-trivial things make it to wasm (but haven't done that myself) |
| 2023-08-09 22:49:20 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-09 22:49:31 +0200 | <meejah> | (oh, sorry you meant "within haskell" ... nevermind ;) |
| 2023-08-09 22:50:35 +0200 | <geekosaur> | right, this is the ghc wasm backend |
| 2023-08-09 22:51:23 +0200 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) |
| 2023-08-09 22:53:22 +0200 | danza_ | (~francesco@151.46.137.106) (Ping timeout: 246 seconds) |
| 2023-08-09 22:55:15 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 246 seconds) |
| 2023-08-09 22:55:36 +0200 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) (Ping timeout: 246 seconds) |
| 2023-08-09 22:56:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-09 22:57:11 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) |
| 2023-08-09 23:00:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-09 23:01:18 +0200 | danza_ | (~francesco@151.46.137.106) |
| 2023-08-09 23:01:20 +0200 | ubert | (~Thunderbi@77.119.201.162.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-08-09 23:03:04 +0200 | gurkenglas | (~gurkengla@46.114.92.142) |
| 2023-08-09 23:04:24 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-09 23:05:30 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 2023-08-09 23:09:15 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 2023-08-09 23:09:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-08-09 23:10:10 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-09 23:10:15 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-08-09 23:12:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 23:14:37 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2023-08-09 23:18:27 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-09 23:19:59 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.177) |
| 2023-08-09 23:20:05 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:7bdd:68ce:a7a:9e71) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2023-08-09 23:20:26 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-08-09 23:21:26 +0200 | AlexNoo | (~AlexNoo@178.34.161.177) (Read error: Connection reset by peer) |
| 2023-08-09 23:31:32 +0200 | danza_ | (~francesco@151.46.137.106) (Ping timeout: 260 seconds) |
| 2023-08-09 23:32:17 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-09 23:39:01 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-08-09 23:39:51 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-08-09 23:42:51 +0200 | acidjnk | (~acidjnk@p200300d6e7072f35188440d828d901dc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-09 23:48:43 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-09 23:49:12 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-09 23:52:21 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-09 23:52:55 +0200 | gurkenglas | (~gurkengla@46.114.92.142) (Ping timeout: 240 seconds) |
| 2023-08-09 23:54:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-09 23:54:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-09 23:57:31 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-08-09 23:58:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-09 23:58:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |