2023-04-04 00:00:13 +0200 | <ski> | you could use `((x,y) :)' and `id' |
2023-04-04 00:01:43 +0200 | <monochrom> | Actually, I have a cunning plan! Use a bicontinuation! |
2023-04-04 00:01:45 +0200 | <ski> | hmm .. i guess it could be nice if one could use `case' (and `if') commands in a list comprehension |
2023-04-04 00:01:54 +0200 | <ski> | bi ? |
2023-04-04 00:01:58 +0200 | <monochrom> | case xs of x:y:_ -> foo x y; _ -> bar |
2023-04-04 00:02:09 +0200 | <ski> | like `ContT o (ContT p m)' ? |
2023-04-04 00:02:28 +0200 | <ski> | ah, alternative continuations |
2023-04-04 00:02:33 +0200 | <sm> | you can use pattern matching and if in list comprehensions, surely |
2023-04-04 00:02:47 +0200 | <ski> | yes, but you can't use `if' *commands* |
2023-04-04 00:02:53 +0200 | <mastarija> | :t skip |
2023-04-04 00:02:54 +0200 | <lambdabot> | error: Variable not in scope: skip |
2023-04-04 00:02:54 +0200 | <ski> | (you can use `if' *expressions*) |
2023-04-04 00:03:00 +0200 | <monochrom> | This is because right now I'm studying LogicT = forall r. (a -> m r -> m r) -> m r -> m r :) |
2023-04-04 00:03:00 +0200 | Midjak | (~Midjak@82.66.147.146) (Client Quit) |
2023-04-04 00:03:14 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:4e5d:6e20:58be:8722) (Quit: WeeChat 3.7.1) |
2023-04-04 00:03:36 +0200 | <ski> | monochrom : right .. i made an arbitrary depth continuation stack version of that |
2023-04-04 00:03:52 +0200 | <ski> | (user determines the depth) |
2023-04-04 00:05:08 +0200 | <ski> | @unmtl ContT () (ContT r m) a |
2023-04-04 00:05:08 +0200 | <lambdabot> | (a -> (() -> m r) -> m r) -> (() -> m r) -> m r |
2023-04-04 00:06:07 +0200 | <monochrom> | That's interesting. Perhaps LogicT is a stack of two Codensities like that. |
2023-04-04 00:06:37 +0200 | <ski> | not quite two `Codensity's |
2023-04-04 00:08:06 +0200 | <ski> | papers "Abstracting Control" and "Representing Control" by Andrzej Filinski & Olivier Danvy are relelvant .. as is a paper about doing logic programming in Haskell by Silvija Seres & Mike Spivey, and a follow-up paper about typed logic variables in Haskell, by Koen Claessen |
2023-04-04 00:08:55 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 268 seconds) |
2023-04-04 00:09:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-04-04 00:10:53 +0200 | gmg | (~user@user/gehmehgeh) |
2023-04-04 00:11:08 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
2023-04-04 00:17:54 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 255 seconds) |
2023-04-04 00:19:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 00:24:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 00:33:27 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
2023-04-04 00:36:35 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 256 seconds) |
2023-04-04 00:36:53 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
2023-04-04 00:39:45 +0200 | son0p | (~ff@181.136.122.143) |
2023-04-04 00:39:57 +0200 | <ph88> | does someone know a function with this signature ? Monad m => (a -> m (Either b c)) -> [a] -> m (Either b [c]) |
2023-04-04 00:42:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-04-04 00:42:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 00:42:58 +0200 | <ski> | @type (runExceptT .) . mapM . (ExceptT .) |
2023-04-04 00:42:59 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m (Either e b)) -> t a -> m (Either e (t b)) |
2023-04-04 00:44:16 +0200 | <ph88> | nice solution ski |
2023-04-04 00:44:23 +0200 | <ph88> | can it be done without the monad transformer ? |
2023-04-04 00:44:40 +0200 | <ski> | manually |
2023-04-04 00:45:01 +0200 | <ph88> | ok i will try to create my own function helps to understand as well |
2023-04-04 00:46:31 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-04-04 00:46:32 +0200 | <c_wraith> | :t \f -> fmap sequence . traverse f |
2023-04-04 00:46:33 +0200 | <lambdabot> | (Traversable t, Monad m, Applicative f) => (a1 -> f (m a2)) -> t a1 -> f (m (t a2)) |
2023-04-04 00:46:46 +0200 | <c_wraith> | I'm half asleep, but that looks... maybe right? |
2023-04-04 00:48:01 +0200 | <geekosaur> | % (\f -> fmap sequence . traverse f) @[] @(Either _) |
2023-04-04 00:48:01 +0200 | <yahb2> | <interactive>:32:1: error: ; • Cannot apply expression of type ‘(a0 -> f0 (m0 a1)) ; -> t0 a0 -> f0 (m0 (t0 a1))’ ; to a visible type argument ‘[]’ ... |
2023-04-04 00:48:11 +0200 | <geekosaur> | ah well |
2023-04-04 00:48:33 +0200 | <geekosaur> | % :set -fprint-explicit-foralls |
2023-04-04 00:48:34 +0200 | <yahb2> | <no output> |
2023-04-04 00:48:52 +0200 | <geekosaur> | % :t \f -> fmap sequence . traverse f |
2023-04-04 00:48:52 +0200 | <yahb2> | \f -> fmap sequence . traverse f ; :: forall {t :: * -> *} {m :: * -> *} {f :: * -> *} {a1} {a2}. ; (Traversable t, Monad m, Applicative f) => ; (a1 -> f (m a2)) -> t a1 -> f (m (t a2)) |
2023-04-04 00:50:14 +0200 | <geekosaur> | % :t \f -> fmap @(Either _) sequence . traverse @[] f |
2023-04-04 00:50:14 +0200 | <yahb2> | \f -> fmap @(Either _) sequence . traverse @[] f ; :: forall {m :: * -> *} {a1} {w} {a2}. ; Monad m => ; (a1 -> Either w (m a2)) -> [a1] -> Either w (m [a2]) |
2023-04-04 00:50:47 +0200 | <[Leary]> | :t \f -> getCompose . traverse (Compose . f) |
2023-04-04 00:50:48 +0200 | <lambdabot> | forall k1 (t :: * -> *) (f :: k1 -> *) (g :: * -> k1) a b. (Traversable t, Applicative (Compose f g)) => (a -> f (g b)) -> t a -> f (g (t b)) |
2023-04-04 00:50:50 +0200 | <ph88> | c_wraith, geekosaur that looks great :) |
2023-04-04 00:51:01 +0200 | <[Leary]> | Applicatives compose. :) |
2023-04-04 00:51:05 +0200 | <ph88> | how could i get to this result myself .. |
2023-04-04 00:52:06 +0200 | <c_wraith> | I looked at the type of traverse, mentally expanded the type variables, went "I just need to flip the part inside the m. Ah, sequence does that." |
2023-04-04 00:52:39 +0200 | <ph88> | c_wraith, alright i'll stare at it some more see if i can see what you saw |
2023-04-04 00:53:27 +0200 | <c_wraith> | as for starting with traverse... I always start with traverse. :) |
2023-04-04 00:54:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-04-04 00:55:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-04-04 00:56:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-04-04 00:58:04 +0200 | <geekosaur> | more to the point, the "schema" if your request looks a lot like a map or traversal ((a -> x b) -> [a] -> x [b]) |
2023-04-04 00:58:07 +0200 | <geekosaur> | for some x |
2023-04-04 00:59:57 +0200 | vlad_ | (~vlad@2a00:23c6:9822:4c01:8d7:7cf6:b928:388c) (Quit: Leaving) |
2023-04-04 01:01:01 +0200 | <c_wraith> | also, don't tell anyone, but mapM and traverse are basically the same thing :) |
2023-04-04 01:05:57 +0200 | <monochrom> | For a new 2023 edition of "what I wish I knew" :) |
2023-04-04 01:06:02 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
2023-04-04 01:06:37 +0200 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2023-04-04 01:06:47 +0200 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) |
2023-04-04 01:07:12 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-04-04 01:10:28 +0200 | trev | (~trev@user/trev) (Remote host closed the connection) |
2023-04-04 01:10:51 +0200 | <c_wraith> | It's worth note that ski's implementation has different semantics than the other ones presented. |
2023-04-04 01:10:55 +0200 | mauke_ | (~mauke@user/mauke) |
2023-04-04 01:11:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
2023-04-04 01:12:49 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 276 seconds) |
2023-04-04 01:12:49 +0200 | mauke_ | mauke |
2023-04-04 01:13:03 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
2023-04-04 01:13:46 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
2023-04-04 01:13:48 +0200 | <c_wraith> | ph88: the type you provided has two major possibilities - do you want it to sequence together actions in the m type even after one produces a Left, or not? |
2023-04-04 01:13:49 +0200 | <ph88> | i'm having trouble to decompose the function. from \f -> fmap sequence . traverse f to \f xs -> <something with dot-operator> |
2023-04-04 01:14:58 +0200 | <c_wraith> | Well, the dot operator goes away. \f xs -> fmap sequence (traverse f xs) |
2023-04-04 01:15:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2023-04-04 01:15:57 +0200 | <ph88> | c_wraith, after the first left there is nothing to "sequence together" .. could still run the function for possible side effects but that is not necessary for my use case |
2023-04-04 01:16:30 +0200 | <c_wraith> | ph88: ski's definition and mine have opposite behavior on that matter |
2023-04-04 01:16:47 +0200 | <ph88> | i would like the one that stops processing as soon as the first Left was found |
2023-04-04 01:17:04 +0200 | <ph88> | either explicitly or by haskell's lazy behavior |
2023-04-04 01:17:30 +0200 | <c_wraith> | lazy evaluation won't help you in an arbitrary m. |
2023-04-04 01:18:32 +0200 | <c_wraith> | anyway, it should be no surprise that ski's version short-circuits, as that's the entire point of ExceptT |
2023-04-04 01:19:30 +0200 | <ph88> | what about my written version .. does it short circuit like i think it does ? https://bpa.st/47I4E |
2023-04-04 01:20:15 +0200 | <c_wraith> | I was slightly surprised to realize [Leary]'s version doesn't short-circuit, until I realized it was restricted to the Applicative interfaces of each portion, which means it can't stop early either. You need Monad for that. |
2023-04-04 01:20:42 +0200 | <ph88> | hmm i see |
2023-04-04 01:21:26 +0200 | notzmv | (~zmv@user/notzmv) |
2023-04-04 01:21:33 +0200 | <c_wraith> | And my version ignored the entire possibility of short-circuiting, as I treated each nesting of types totally independently. |
2023-04-04 01:21:47 +0200 | <c_wraith> | I never composed the two to work together at all |
2023-04-04 01:25:20 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
2023-04-04 01:26:36 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
2023-04-04 01:27:01 +0200 | <tusko> | :t add |
2023-04-04 01:27:02 +0200 | <lambdabot> | error: |
2023-04-04 01:27:02 +0200 | <lambdabot> | • Variable not in scope: add |
2023-04-04 01:27:02 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2023-04-04 01:27:05 +0200 | <[Leary]> | ph88: Your version doesn't look like it can shortcircuit, since the `foldM` is over `m`, not `Either b`. If you write the function with direct recursion instead, you'll probably get it right. |
2023-04-04 01:27:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
2023-04-04 01:27:31 +0200 | <c_wraith> | ph88: I think your version will short-circuit effects, but still traverse the entire list. That's just based on the fact that you manually handle Left as inputs in the folding function |
2023-04-04 01:28:31 +0200 | <geekosaur> | tusko, you may want to play in /query rather than in the channel |
2023-04-04 01:28:38 +0200 | <ph88> | alright guys thanks for the review |
2023-04-04 01:29:32 +0200 | <c_wraith> | [Leary]: I think it does skip effects, as calling f is conditional on whether the computation so far has produced a Left or not |
2023-04-04 01:30:22 +0200 | <c_wraith> | But it does still traverse the rest of the structure - it has no way to bail out of the recursion early. |
2023-04-04 01:30:42 +0200 | <[Leary]> | Ah, right. |
2023-04-04 01:31:33 +0200 | <c_wraith> | ph88: it's also worth note that your code has an O(n^2) blowup hidden in there. |
2023-04-04 01:31:54 +0200 | <c_wraith> | ph88: you're constantly adding elements to the back of a list. That's a very bad case for the list type. |
2023-04-04 01:32:09 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-04-04 01:32:15 +0200 | <ph88> | i do that all the time :/ |
2023-04-04 01:32:31 +0200 | <ph88> | because otherwise the list goes in the wrong order |
2023-04-04 01:32:48 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:5076:d252:60bc:245f) (Quit: caryhartline) |
2023-04-04 01:33:36 +0200 | <ph88> | don't really see a way to avoid that with list type |
2023-04-04 01:33:40 +0200 | <c_wraith> | a call to reverse in a post-processing pass is a lot cheaper than constantly appending to the wrong side |
2023-04-04 01:33:41 +0200 | <geekosaur> | you get better asymptotics if you build it from the front and reverse once at the end |
2023-04-04 01:33:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 01:34:05 +0200 | <monochrom> | Sometimes there are alternative algorithms that only prepend, and still outputs in the right order. For example consider why "map f (x:xs) = f xs : map f xs" does not use tail recursion and it's actually more efficient. |
2023-04-04 01:34:29 +0200 | <c_wraith> | Though usually you can write the code to generate things in the right order if you're careful. as monochrom's example points out |
2023-04-04 01:35:06 +0200 | <ph88> | <3 |
2023-04-04 01:35:20 +0200 | <monochrom> | And in case there is no alternative algorithm, you can then try outputting [X]->[X] instead of [X], so that appending x is "recursive call . (x :)", this helps with efficiency. |
2023-04-04 01:35:32 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 01:36:00 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2023-04-04 01:37:23 +0200 | <ph88> | monochrom, i didn't really get that last point |
2023-04-04 01:37:48 +0200 | <monochrom> | You can read more on that under "diff list". |
2023-04-04 01:38:31 +0200 | <ph88> | ok thanks |
2023-04-04 01:46:08 +0200 | acidjnk | (~acidjnk@p200300d6e715c470b96f59b95ab3d487.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-04-04 01:50:14 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-04-04 01:56:50 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-04-04 01:57:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2023-04-04 01:58:07 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2023-04-04 01:58:07 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-04-04 01:58:43 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Remote host closed the connection) |
2023-04-04 02:04:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2023-04-04 02:05:58 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
2023-04-04 02:07:25 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 276 seconds) |
2023-04-04 02:11:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 02:17:48 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 268 seconds) |
2023-04-04 02:18:20 +0200 | heraldo | (~heraldo@user/heraldo) |
2023-04-04 02:22:33 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
2023-04-04 02:26:53 +0200 | dipper_ | (~dipper@117.61.112.181) |
2023-04-04 02:26:57 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
2023-04-04 02:28:40 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2023-04-04 02:33:26 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 02:35:55 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
2023-04-04 02:36:10 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 265 seconds) |
2023-04-04 02:36:40 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
2023-04-04 02:39:40 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-04-04 02:40:04 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-04-04 02:45:00 +0200 | bollu | (~bollu@159.65.151.13) (Quit: The Lounge - https://thelounge.chat) |
2023-04-04 02:45:30 +0200 | bollu | (~bollu@159.65.151.13) |
2023-04-04 02:45:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
2023-04-04 02:48:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
2023-04-04 02:50:00 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-04-04 02:50:16 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2023-04-04 02:50:54 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-04-04 02:51:01 +0200 | gmg | (~user@user/gehmehgeh) |
2023-04-04 02:51:06 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 02:53:54 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2023-04-04 02:54:16 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610) |
2023-04-04 02:55:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-04-04 02:56:16 +0200 | califax | (~califax@user/califx) |
2023-04-04 03:02:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-04-04 03:02:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-04-04 03:02:17 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-04-04 03:06:02 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
2023-04-04 03:10:28 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
2023-04-04 03:11:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-04-04 03:17:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-04-04 03:23:02 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 03:27:35 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-04-04 03:27:59 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
2023-04-04 03:42:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 03:46:36 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds) |
2023-04-04 03:48:41 +0200 | telser | (~quassel@user/telser) (Ping timeout: 246 seconds) |
2023-04-04 03:49:13 +0200 | telser | (~quassel@user/telser) |
2023-04-04 03:57:27 +0200 | vglfr | (~vglfr@46.96.188.242) (Ping timeout: 250 seconds) |
2023-04-04 04:04:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
2023-04-04 04:06:18 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-04-04 04:06:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-04-04 04:06:18 +0200 | finn_elija | FinnElija |
2023-04-04 04:08:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds) |
2023-04-04 04:16:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2023-04-04 04:16:14 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 04:23:28 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 248 seconds) |
2023-04-04 04:25:09 +0200 | td_ | (~td@i53870905.versanet.de) |
2023-04-04 04:25:38 +0200 | nate1 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
2023-04-04 04:27:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-04-04 04:27:18 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 04:27:23 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-04-04 04:30:26 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 04:31:23 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 04:31:43 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 04:36:16 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 276 seconds) |
2023-04-04 04:36:55 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 276 seconds) |
2023-04-04 04:37:45 +0200 | mei | (~mei@user/mei) (Ping timeout: 250 seconds) |
2023-04-04 04:40:04 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 04:41:06 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-04-04 04:41:37 +0200 | mei | (~mei@user/mei) |
2023-04-04 04:44:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
2023-04-04 04:44:58 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
2023-04-04 04:46:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
2023-04-04 05:02:28 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-04-04 05:04:44 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
2023-04-04 05:12:39 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 05:19:10 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
2023-04-04 05:23:54 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
2023-04-04 05:27:57 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 255 seconds) |
2023-04-04 05:28:19 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
2023-04-04 05:31:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
2023-04-04 05:46:39 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
2023-04-04 06:03:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2023-04-04 06:04:00 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 265 seconds) |
2023-04-04 06:04:59 +0200 | razetime | (~Thunderbi@117.254.35.237) |
2023-04-04 06:05:38 +0200 | tusko | (~yeurt@user/tusko) (Remote host closed the connection) |
2023-04-04 06:05:58 +0200 | tusko | (~yeurt@user/tusko) |
2023-04-04 06:07:06 +0200 | shailangsa_ | (~shailangs@host165-120-169-78.range165-120.btcentralplus.com) (Remote host closed the connection) |
2023-04-04 06:16:07 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-04-04 06:16:28 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 06:17:05 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 06:18:29 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 06:18:59 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-04-04 06:19:10 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-04-04 06:20:55 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
2023-04-04 06:24:15 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-04-04 06:30:42 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
2023-04-04 06:33:16 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
2023-04-04 06:39:45 +0200 | xiliuya | (~xiliuya@user/xiliuya) |
2023-04-04 06:43:19 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 06:56:12 +0200 | Guest8822 | (~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2) |
2023-04-04 06:58:52 +0200 | Guest8822 | (~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2) (Client Quit) |
2023-04-04 06:59:16 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 276 seconds) |
2023-04-04 07:01:01 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 07:01:08 +0200 | Midjak | (~Midjak@82.66.147.146) |
2023-04-04 07:08:18 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 255 seconds) |
2023-04-04 07:12:23 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-04-04 07:13:11 +0200 | corentin | (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Remote host closed the connection) |
2023-04-04 07:13:15 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 255 seconds) |
2023-04-04 07:13:32 +0200 | corentin | (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) |
2023-04-04 07:15:22 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 07:15:55 +0200 | razetime | (~Thunderbi@117.254.35.237) (Ping timeout: 248 seconds) |
2023-04-04 07:16:30 +0200 | razetime | (~Thunderbi@223.187.115.198) |
2023-04-04 07:18:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-04-04 07:47:43 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 07:48:48 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-04-04 07:49:34 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 07:54:20 +0200 | falafel | (~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com) |
2023-04-04 07:55:12 +0200 | razetime | (~Thunderbi@223.187.115.198) (Ping timeout: 248 seconds) |
2023-04-04 07:56:52 +0200 | xiliuya | (~xiliuya@user/xiliuya) (Quit: leaving) |
2023-04-04 08:04:01 +0200 | ridcully_ | (~ridcully@p57b52e16.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-04-04 08:06:11 +0200 | mncheck | (~mncheck@193.224.205.254) |
2023-04-04 08:06:17 +0200 | jerryzihye[m] | (~jerryzihy@2001:470:69fc:105::3:37fb) |
2023-04-04 08:06:40 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2023-04-04 08:07:01 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-04-04 08:13:09 +0200 | razetime | (~Thunderbi@117.193.4.85) |
2023-04-04 08:14:00 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 08:17:48 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) |
2023-04-04 08:23:12 +0200 | kenran | (~user@user/kenran) |
2023-04-04 08:28:12 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
2023-04-04 08:29:25 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) (Remote host closed the connection) |
2023-04-04 08:29:52 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:1881:a83d:c448:7bb6) |
2023-04-04 08:31:24 +0200 | trev | (~trev@user/trev) |
2023-04-04 08:40:45 +0200 | freeside | (~mengwong@122.11.248.245) |
2023-04-04 08:44:59 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
2023-04-04 08:47:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
2023-04-04 08:57:42 +0200 | freeside | (~mengwong@122.11.248.245) |
2023-04-04 08:59:43 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-04-04 09:03:29 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
2023-04-04 09:03:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-04-04 09:04:01 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 09:04:02 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-04-04 09:06:44 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
2023-04-04 09:07:59 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-04-04 09:09:13 +0200 | Unhammer | (~Unhammer@user/unhammer) (WeeChat 2.3) |
2023-04-04 09:10:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798) |
2023-04-04 09:10:19 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
2023-04-04 09:16:13 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 09:16:57 +0200 | michalz | (~michalz@185.246.207.197) |
2023-04-04 09:18:03 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-04-04 09:20:20 +0200 | falafel | (~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com) (Ping timeout: 260 seconds) |
2023-04-04 09:21:03 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
2023-04-04 09:25:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-04-04 09:31:56 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-04-04 09:32:48 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds) |
2023-04-04 09:33:15 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
2023-04-04 09:34:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-04-04 09:34:28 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-04-04 09:37:11 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 256 seconds) |
2023-04-04 09:37:11 +0200 | coot_ | coot |
2023-04-04 09:39:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 09:42:20 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
2023-04-04 09:44:04 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-04-04 09:46:00 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-04-04 09:51:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 09:53:00 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
2023-04-04 09:56:32 +0200 | acidjnk | (~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de) |
2023-04-04 09:57:20 +0200 | razetime | (~Thunderbi@117.193.4.85) (Ping timeout: 248 seconds) |
2023-04-04 09:58:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-04-04 09:58:37 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-04-04 10:06:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
2023-04-04 10:06:57 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-04-04 10:07:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-04-04 10:13:47 +0200 | razetime | (~Thunderbi@117.193.4.85) |
2023-04-04 10:13:58 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2023-04-04 10:17:44 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 10:24:41 +0200 | mauke | (~mauke@user/mauke) (Quit: [TLS] Client upgrade) |
2023-04-04 10:24:53 +0200 | mauke | (~mauke@user/mauke) |
2023-04-04 10:25:58 +0200 | todi | (~snuckls@93.202.87.192) (Ping timeout: 276 seconds) |
2023-04-04 10:26:48 +0200 | mauke | (~mauke@user/mauke) (Client Quit) |
2023-04-04 10:27:08 +0200 | mauke | (~mauke@user/mauke) |
2023-04-04 10:30:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 10:31:32 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
2023-04-04 10:37:17 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
2023-04-04 10:37:51 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
2023-04-04 10:40:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-04-04 10:42:50 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-04-04 10:45:47 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
2023-04-04 10:52:25 +0200 | freeside | (~mengwong@122.11.248.245) |
2023-04-04 10:54:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 10:54:35 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
2023-04-04 10:56:29 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
2023-04-04 10:59:47 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
2023-04-04 11:00:07 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) (Quit: You have been kicked for being idle) |
2023-04-04 11:01:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 11:07:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
2023-04-04 11:13:02 +0200 | kuribas | (~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be) |
2023-04-04 11:15:02 +0200 | a_coll | (~acoll@45.92.120.189) |
2023-04-04 11:16:07 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4) |
2023-04-04 11:16:40 +0200 | dipper_ | (~dipper@117.61.112.181) (Remote host closed the connection) |
2023-04-04 11:28:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-04-04 11:28:54 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4) (Quit: ubert1) |
2023-04-04 11:34:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-04-04 11:40:54 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-04-04 11:45:46 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
2023-04-04 11:45:46 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2023-04-04 11:49:21 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: Client closed) |
2023-04-04 11:51:19 +0200 | vglfr | (~vglfr@88.155.13.69) |
2023-04-04 11:51:39 +0200 | Square | (~Square4@user/square) |
2023-04-04 11:52:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-04-04 11:55:00 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
2023-04-04 12:01:19 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
2023-04-04 12:05:04 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-04-04 12:05:20 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
2023-04-04 12:07:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
2023-04-04 12:11:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 250 seconds) |
2023-04-04 12:19:19 +0200 | razetime | (~Thunderbi@117.193.4.85) (Remote host closed the connection) |
2023-04-04 12:32:35 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-04-04 12:37:36 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
2023-04-04 12:40:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
2023-04-04 12:42:47 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-04-04 12:49:32 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
2023-04-04 12:58:28 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
2023-04-04 13:04:50 +0200 | vglfr | (~vglfr@88.155.13.69) (Ping timeout: 246 seconds) |
2023-04-04 13:16:47 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2023-04-04 13:17:41 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 13:22:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
2023-04-04 13:38:17 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
2023-04-04 13:42:15 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-04-04 13:44:17 +0200 | anpad | (~pandeyan@user/anpad) |
2023-04-04 14:00:58 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer) |
2023-04-04 14:01:09 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
2023-04-04 14:02:14 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-04-04 14:07:42 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
2023-04-04 14:09:18 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-04-04 14:25:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2023-04-04 14:37:57 +0200 | <Square> | I was hoping i could write "(1 + x) where x = 2". But it didn't work. Is there some way to make it work? |
2023-04-04 14:38:11 +0200 | <merijn> | Write that where? |
2023-04-04 14:38:16 +0200 | <Square> | in repl |
2023-04-04 14:38:35 +0200 | <merijn> | where blocks can only be attached to bindings and expressions aren't bindings |
2023-04-04 14:38:41 +0200 | <merijn> | You could do |
2023-04-04 14:38:47 +0200 | <merijn> | > let x = 2 in (1 + x) |
2023-04-04 14:38:49 +0200 | <lambdabot> | 3 |
2023-04-04 14:39:10 +0200 | <Square> | ah ok. thanks |
2023-04-04 14:39:10 +0200 | <mauke> | > let result = 1 + x where x = 2 in result |
2023-04-04 14:39:11 +0200 | <lambdabot> | 3 |
2023-04-04 14:45:19 +0200 | <ski> | > case () of () -> 1 + x where x = 2 |
2023-04-04 14:45:21 +0200 | <lambdabot> | 3 |
2023-04-04 14:45:49 +0200 | <mauke> | nice |
2023-04-04 14:45:53 +0200 | <Square> | sweet |
2023-04-04 14:51:22 +0200 | <_________> | > let 1 = 2 in (1 + 2) |
2023-04-04 14:51:23 +0200 | <lambdabot> | 3 |
2023-04-04 14:51:24 +0200 | <_________> | inaccessible binding |
2023-04-04 14:58:22 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-04-04 15:00:23 +0200 | mei | (~mei@user/mei) |
2023-04-04 15:00:46 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 15:01:52 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 15:03:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-04-04 15:03:36 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-04-04 15:05:02 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
2023-04-04 15:06:44 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-04-04 15:11:25 +0200 | <int-e> | > let !1 = 2 in 42 |
2023-04-04 15:11:27 +0200 | <lambdabot> | *Exception: <interactive>:3:5-10: Non-exhaustive patterns in 1 |
2023-04-04 15:12:35 +0200 | <int-e> | (it's a pattern that doesn't bind anything, and `let` is lazy by default so the pattern is never matched at all.) |
2023-04-04 15:14:13 +0200 | <ncf> | remind me why that's accepted at all |
2023-04-04 15:14:27 +0200 | <ncf> | is it desugared to n | fromInteger n == 1 = 2 or something? |
2023-04-04 15:14:34 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2023-04-04 15:16:35 +0200 | <ncf> | oh wait no, that's a pattern |
2023-04-04 15:16:47 +0200 | <ncf> | so like, case 2 of 1 → ... ? |
2023-04-04 15:24:44 +0200 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
2023-04-04 15:26:10 +0200 | <ski> | > case 2 of 1 -> () |
2023-04-04 15:26:12 +0200 | <lambdabot> | *Exception: <interactive>:(3,1)-(4,22): Non-exhaustive patterns in case |
2023-04-04 15:26:16 +0200 | <ski> | > case 2 of ~1 -> () |
2023-04-04 15:26:18 +0200 | <lambdabot> | () |
2023-04-04 15:32:56 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 15:33:14 +0200 | fj | (~fj@216.147.123.241) |
2023-04-04 15:35:03 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 15:35:23 +0200 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
2023-04-04 15:36:45 +0200 | <fj> | hi! I am new to haskell, and I have a question about cabal-fmt. I have it integrated with neovim to format on save. But whenever I add something new to build-depends, cabal-fmt automatically removes it. If I edit the file with another program, save, exit, and then re-open in neovim with cabal-fmt, it doesn't complain about the newly added line. |
2023-04-04 15:36:46 +0200 | <fj> | What am I doing wrong? |
2023-04-04 15:38:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-04-04 15:38:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-04-04 15:38:30 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-04-04 15:38:54 +0200 | <merijn> | fj: How are you running cabal-fmt? |
2023-04-04 15:39:19 +0200 | <merijn> | Because that sounds like there's something going wrong with how your editor is calling it |
2023-04-04 15:40:05 +0200 | <geekosaur> | sounds to me like it's being called on the original file instead of the new one, in particular |
2023-04-04 15:40:16 +0200 | <merijn> | That's what I was thinking, yes |
2023-04-04 15:41:06 +0200 | <fj> | I have HLS connected to neovim's built in LSP |
2023-04-04 15:41:17 +0200 | <fj> | with cabal-fmt as the on-save format provider |
2023-04-04 15:41:53 +0200 | <fj> | I didn't change the default configuration for it, so I'm not sure what I could do differently |
2023-04-04 15:42:35 +0200 | <fj> | I'll experiment some more to see |
2023-04-04 15:42:56 +0200 | <geekosaur> | this might be more a question for #haskell-language-server |
2023-04-04 15:43:34 +0200 | <fj> | I'm not familiar with what channels there are, thank you geekosaur |
2023-04-04 15:44:53 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-04-04 15:49:19 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
2023-04-04 15:55:30 +0200 | <fj> | it is working now. I had the formatting hook set to happen before saving the file, instead of after, so that I didn't have to save twice. That worked for other formatters, but not for this one. So I just had to set it to format after save, and make neovim save again after the formatting |
2023-04-04 15:55:43 +0200 | <fj> | thank you for help |
2023-04-04 15:58:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
2023-04-04 16:00:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798) (Quit: WeeChat 2.8) |
2023-04-04 16:00:39 +0200 | fj | (~fj@216.147.123.241) (Quit: Client closed) |
2023-04-04 16:08:01 +0200 | michalz | (~michalz@185.246.207.197) (Ping timeout: 240 seconds) |
2023-04-04 16:08:13 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-04-04 16:08:21 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-04-04 16:09:33 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-04-04 16:11:45 +0200 | mestre | (~mestre@191.177.175.117) |
2023-04-04 16:15:30 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
2023-04-04 16:17:40 +0200 | <jean-paul[m]> | Is there a testing tool that will give me a nicer failure report when I assert that two complex structures are equal but they are not? |
2023-04-04 16:18:19 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 265 seconds) |
2023-04-04 16:19:25 +0200 | <monochrom> | A generalized diff algorithm that doesn't know the actual data structure? :) |
2023-04-04 16:19:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
2023-04-04 16:19:52 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 16:21:16 +0200 | <jean-paul[m]> | Sure, it's probably hard or impossible in the most general case, but I'd settle for something quite dumb that required, say, a Show instance or a pretty printer and did a text diff on the result |
2023-04-04 16:21:37 +0200 | <mauke> | Test2::Tools::Compare, but that's not going to help you |
2023-04-04 16:21:47 +0200 | corentin | (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2023-04-04 16:22:38 +0200 | <jean-paul[m]> | Uh yes, sorry I should havev specified "in Haskell" 👅 |
2023-04-04 16:22:45 +0200 | <monochrom> | Then for now you can cobble up one based on pretty-simple. |
2023-04-04 16:22:54 +0200 | <[Leary]> | tree-diff is supposed to be pretty good. |
2023-04-04 16:22:56 +0200 | <jean-paul[m]> | right, I was wondering if someone did already |
2023-04-04 16:23:08 +0200 | <merijn> | tree-diff is fucking magic |
2023-04-04 16:23:32 +0200 | <merijn> | jean-paul[m]: And exactly what you want for your usecase, btw |
2023-04-04 16:23:55 +0200 | <jean-paul[m]> | Okay, looking at tree-diff now, thanks |
2023-04-04 16:24:09 +0200 | <monochrom> | If you can "deriving Generic" then tree-diff does it. |
2023-04-04 16:24:35 +0200 | <monochrom> | I need to bookmark that. :) |
2023-04-04 16:25:46 +0200 | <merijn> | If I'm motivated I should add some "easy docs" to tree-diff |
2023-04-04 16:26:24 +0200 | <merijn> | because it first glance the docs are a bit opaque for first use |
2023-04-04 16:26:49 +0200 | <mauke> | speaking of diff, thanks for reminding me to enable my topic-diff script |
2023-04-04 16:29:08 +0200 | <merijn> | ah, I guess the "prettyEditExpr $ ediff ..." on the contents page captures the usecase for 90% of people :p |
2023-04-04 16:29:41 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-04-04 16:30:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
2023-04-04 16:31:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-04-04 16:32:12 +0200 | <jean-paul[m]> | ediffEq from the QuickCheck module looks useful too |
2023-04-04 16:34:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
2023-04-04 16:36:59 +0200 | mexpr | (~mexpr@user/mexpr) (Ping timeout: 248 seconds) |
2023-04-04 16:38:56 +0200 | mexpr | (~mexpr@user/mexpr) |
2023-04-04 16:39:21 +0200 | mesaoptimizer0 | mesaoptimizer |
2023-04-04 16:43:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-04-04 16:43:15 +0200 | <jean-paul[m]> | ahh yes this is about a thousand times better, thanks |
2023-04-04 16:45:13 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-04-04 16:59:34 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-04-04 17:02:00 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
2023-04-04 17:02:27 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
2023-04-04 17:04:51 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 256 seconds) |
2023-04-04 17:05:26 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 17:12:27 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-04-04 17:15:03 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
2023-04-04 17:16:45 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 17:19:13 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 17:22:13 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.7) |
2023-04-04 17:23:53 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
2023-04-04 17:25:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 17:27:30 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-04-04 17:28:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
2023-04-04 17:29:35 +0200 | Albina_Pavlovna | (~Albina_Pa@047-230-050-118.res.spectrum.com) |
2023-04-04 17:32:44 +0200 | dunj3 | (~dunj3@kingdread.de) |
2023-04-04 17:36:20 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.143) |
2023-04-04 17:38:51 +0200 | Alex_test | (~al_test@178.34.151.91) (Ping timeout: 248 seconds) |
2023-04-04 17:39:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
2023-04-04 17:40:10 +0200 | AlexNoo | (~AlexNoo@178.34.151.91) (Ping timeout: 276 seconds) |
2023-04-04 17:40:20 +0200 | AlexZenon | (~alzenon@178.34.151.91) (Ping timeout: 268 seconds) |
2023-04-04 17:41:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 17:41:45 +0200 | econo | (uid147250@user/econo) |
2023-04-04 17:46:12 +0200 | Alex_test | (~al_test@94.233.240.143) |
2023-04-04 17:46:35 +0200 | AlexNoo_ | AlexZenoo |
2023-04-04 17:48:01 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-04-04 17:48:18 +0200 | AlexZenon | (~alzenon@94.233.240.143) |
2023-04-04 17:50:27 +0200 | mei | (~mei@user/mei) |
2023-04-04 17:53:17 +0200 | AlexZenon | (~alzenon@94.233.240.143) (Ping timeout: 268 seconds) |
2023-04-04 17:54:33 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-04-04 17:54:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-04-04 17:54:53 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-04-04 17:55:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-04-04 17:55:55 +0200 | AlexZenon | (~alzenon@94.233.240.143) |
2023-04-04 17:58:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2023-04-04 18:00:15 +0200 | AlexZenoo | AlexNoo |
2023-04-04 18:02:06 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 18:03:41 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
2023-04-04 18:04:00 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 18:08:27 +0200 | jinsl- | (~jinsl@2408:8207:2552:dc20:211:32ff:fec8:6aea) |
2023-04-04 18:08:43 +0200 | jinsl | (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (Ping timeout: 248 seconds) |
2023-04-04 18:09:31 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 265 seconds) |
2023-04-04 18:12:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 18:12:59 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
2023-04-04 18:16:52 +0200 | acidjnk | (~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2023-04-04 18:17:20 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2023-04-04 18:22:05 +0200 | mesaoptimizer | mesaoptimizer0 |
2023-04-04 18:22:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
2023-04-04 18:23:22 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-04-04 18:24:24 +0200 | mesaoptimizer2 | mesaoptimizer |
2023-04-04 18:25:08 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-04-04 18:25:26 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 265 seconds) |
2023-04-04 18:25:48 +0200 | mei | (~mei@user/mei) |
2023-04-04 18:29:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 18:30:14 +0200 | acidjnk | (~acidjnk@p200300d6e715c473cc0944bf8140cbf6.dip0.t-ipconnect.de) |
2023-04-04 18:33:43 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
2023-04-04 18:34:13 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) |
2023-04-04 18:35:45 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 18:37:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 18:39:13 +0200 | ridcully | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
2023-04-04 18:51:10 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 18:51:54 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Remote host closed the connection) |
2023-04-04 18:54:16 +0200 | ridcully | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2023-04-04 18:58:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2023-04-04 18:59:15 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) |
2023-04-04 18:59:31 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 19:01:48 +0200 | AlexNoo | (~AlexNoo@94.233.240.143) (Read error: Connection reset by peer) |
2023-04-04 19:02:26 +0200 | AlexNoo | (~AlexNoo@94.233.240.143) |
2023-04-04 19:03:49 +0200 | ph88 | (~ph88@91.66.101.83) |
2023-04-04 19:05:46 +0200 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
2023-04-04 19:06:25 +0200 | Sauvin | (~sauvin@user/Sauvin) |
2023-04-04 19:08:48 +0200 | Bocaneri | (~sauvin@user/Sauvin) |
2023-04-04 19:09:12 +0200 | Bocaneri | Guest9137 |
2023-04-04 19:09:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 19:11:39 +0200 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 248 seconds) |
2023-04-04 19:11:52 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 265 seconds) |
2023-04-04 19:12:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 19:12:41 +0200 | sudden | (~cat@user/sudden) |
2023-04-04 19:14:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 19:16:04 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-04-04 19:18:24 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 268 seconds) |
2023-04-04 19:21:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-04-04 19:23:44 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 19:23:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-04-04 19:26:06 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
2023-04-04 19:26:25 +0200 | dcoutts | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2023-04-04 19:26:26 +0200 | mei | (~mei@user/mei) |
2023-04-04 19:36:23 +0200 | ridcully | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
2023-04-04 19:52:12 +0200 | kenran | (~user@user/kenran) |
2023-04-04 19:55:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 19:56:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-04-04 19:56:59 +0200 | califax | (~califax@user/califx) |
2023-04-04 19:58:39 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-04-04 20:02:45 +0200 | mikess | (~sam@user/mikess) |
2023-04-04 20:02:48 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-04-04 20:11:04 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
2023-04-04 20:20:14 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2023-04-04 20:21:29 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
2023-04-04 20:27:43 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-04-04 20:29:31 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2023-04-04 20:35:42 +0200 | Aazam | (~Aazam@103.182.66.28) |
2023-04-04 20:36:15 +0200 | Aazam | (~Aazam@103.182.66.28) (Client Quit) |
2023-04-04 20:40:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-04-04 20:48:51 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) (Ping timeout: 250 seconds) |
2023-04-04 20:56:23 +0200 | Guest9137 | Sauvin |
2023-04-04 20:59:08 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 265 seconds) |
2023-04-04 20:59:44 +0200 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
2023-04-04 21:01:03 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) |
2023-04-04 21:01:16 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
2023-04-04 21:02:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
2023-04-04 21:02:36 +0200 | a_coll | (~acoll@45.92.120.189) (Remote host closed the connection) |
2023-04-04 21:03:20 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-04-04 21:05:10 +0200 | mikess | (~sam@user/mikess) |
2023-04-04 21:08:14 +0200 | heraldo | (~heraldo@user/heraldo) |
2023-04-04 21:11:39 +0200 | __monty__ | (~toonn@user/toonn) |
2023-04-04 21:18:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
2023-04-04 21:20:46 +0200 | nate1 | (~nate@98.45.169.16) |
2023-04-04 21:25:24 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
2023-04-04 21:25:34 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
2023-04-04 21:25:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 21:26:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
2023-04-04 21:30:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 21:30:25 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
2023-04-04 21:31:04 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
2023-04-04 21:31:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 21:35:06 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
2023-04-04 21:35:25 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 265 seconds) |
2023-04-04 21:36:15 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
2023-04-04 21:36:32 +0200 | mechap | (~mechap@user/mechap) |
2023-04-04 21:43:33 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 255 seconds) |
2023-04-04 21:44:09 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-04-04 21:45:15 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de) |
2023-04-04 21:54:34 +0200 | pavonia | (~user@user/siracusa) |
2023-04-04 21:56:04 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-04-04 22:00:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
2023-04-04 22:02:10 +0200 | kuribas | (~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2023-04-04 22:06:59 +0200 | nschoe | (~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3) |
2023-04-04 22:09:23 +0200 | michalz | (~michalz@185.246.207.200) |
2023-04-04 22:11:20 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
2023-04-04 22:14:10 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-04-04 22:18:13 +0200 | mestre | (~mestre@191.177.175.117) (Quit: Lost terminal) |
2023-04-04 22:19:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
2023-04-04 22:24:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 246 seconds) |
2023-04-04 22:25:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-04-04 22:26:54 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-04-04 22:30:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown) |
2023-04-04 22:44:29 +0200 | slack1256 | (~slack1256@186.11.89.67) |
2023-04-04 22:45:28 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds) |
2023-04-04 22:46:12 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-04-04 22:54:47 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-04-04 22:55:57 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
2023-04-04 22:56:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-04-04 22:56:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-04-04 22:56:41 +0200 | ph88 | (~ph88@91.66.101.83) (Ping timeout: 268 seconds) |
2023-04-04 22:57:32 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
2023-04-04 22:57:35 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-04-04 22:57:38 +0200 | Square | (~Square4@user/square) |
2023-04-04 22:57:52 +0200 | <andrewboltachev> | Hello. When using Recursion schemes, is it possible to go back and forth from a form ConsF 1 $ ConsF 2 $ ConsF 3 $ NilF (non-recursive) to [1, 2, 3] (initial one)? |
2023-04-04 22:59:56 +0200 | <TheMatten[m]> | andrewboltachev: You probably want `cata embed`? |
2023-04-04 23:01:26 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
2023-04-04 23:01:51 +0200 | <andrewboltachev> | TheMatten[m]: yes ty! |
2023-04-04 23:02:14 +0200 | <TheMatten[m]> | andrewboltachev: NP 👍 |
2023-04-04 23:02:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-04-04 23:02:52 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
2023-04-04 23:05:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-04-04 23:06:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-04-04 23:10:46 +0200 | <energizer> | i'm looking for a function fl that's just like foldl but produces a list of all the intermediate results at the end. this isn't quite scanl because i don't want the intermediate results to be passed to the op, i just want them to be tracked on the side |
2023-04-04 23:11:18 +0200 | <energizer> | does that have a name? |
2023-04-04 23:11:36 +0200 | <mauke> | :t scanl |
2023-04-04 23:11:38 +0200 | <lambdabot> | (b -> a -> b) -> b -> [a] -> [b] |
2023-04-04 23:12:32 +0200 | <energizer> | oh, maybe it is scanl |
2023-04-04 23:13:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-04-04 23:13:44 +0200 | <ski> | > scanl (+) 1 [2,3,5,7] -- note the length of the list |
2023-04-04 23:13:46 +0200 | <lambdabot> | [1,3,6,11,18] |
2023-04-04 23:14:36 +0200 | Cale_ | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
2023-04-04 23:15:13 +0200 | Cale_ | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2023-04-04 23:16:46 +0200 | nschoe | (~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3) (Quit: Switching off) |
2023-04-04 23:17:24 +0200 | trev | (~trev@user/trev) (Remote host closed the connection) |
2023-04-04 23:18:28 +0200 | <andrewboltachev> | TheMatten[m]: only this: doens't work for me, asks type: https://paste.tomsmeding.com/bxwfjckh |
2023-04-04 23:20:52 +0200 | <andrewboltachev> | (ana project on that doens't work either. I believe it's what the opposite it called) |
2023-04-04 23:23:22 +0200 | <andrewboltachev> | having that MatchPattern is my actual type, not List |
2023-04-04 23:26:37 +0200 | <ncf> | hmm, what result do you want? |
2023-04-04 23:28:09 +0200 | <andrewboltachev> | well just MatchIfThenF MatchNullF "foo" MatchNullF |
2023-04-04 23:29:10 +0200 | fbytez | (~uid@2001:bc8:2117:100::) (Changing host) |
2023-04-04 23:29:10 +0200 | fbytez | (~uid@user/fbytez) |
2023-04-04 23:29:59 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 268 seconds) |
2023-04-04 23:31:04 +0200 | <ncf> | the error could just mean that you need to enable OverloadedStrings, although i'm not sure why it's using ListF there |
2023-04-04 23:31:58 +0200 | <andrewboltachev> | yes, me too. already enabled though |
2023-04-04 23:33:05 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 250 seconds) |
2023-04-04 23:40:16 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2023-04-04 23:40:25 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610) (Quit: caryhartline) |
2023-04-04 23:40:31 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
2023-04-04 23:42:07 +0200 | <andrewboltachev> | https://paste.tomsmeding.com/5mZQ5dcI minimal case sth like this |
2023-04-04 23:43:10 +0200 | caryhartline | (~caryhartl@107.140.218.181) |
2023-04-04 23:43:30 +0200 | <ncf> | main has type IO a |
2023-04-04 23:45:14 +0200 | <ncf> | also it doesn't look like makeBaseFunctor gives you a Show1 instance for the base functor, so you're not going to be able to print anything |
2023-04-04 23:46:56 +0200 | <ncf> | also note that expressions like `A1F True $ A1F False $ A2F` aren't well-typed in general -- or rather, they are all well-typed individually by a deep enough nesting of `T1F`s, but if you want an infinite such nesting you need to use Fix |
2023-04-04 23:48:57 +0200 | <andrewboltachev> | ah true |
2023-04-04 23:49:03 +0200 | <andrewboltachev> | the Fix |
2023-04-04 23:49:23 +0200 | <ncf> | you get an instance Recursive (Fix T1F), with Base (Fix T1F) ~ T1F ~ Base T1, which is why refix works |
2023-04-04 23:49:38 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
2023-04-04 23:50:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-04-04 23:51:48 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-04-04 23:55:25 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-04-04 23:56:46 +0200 | <andrewboltachev> | ncf: thanks. I don't understand Type families yet, so I'd better only use recursion schemes in a standard way. In my project I used cata and para |
2023-04-04 23:56:59 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
2023-04-04 23:57:49 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
2023-04-04 23:58:01 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
2023-04-04 23:58:05 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-04-04 23:58:53 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-04-04 23:59:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |