| 2023-10-03 00:00:08 +0200 | <c_wraith> | hippoid: would it help you to eta-expand it? |
| 2023-10-03 00:00:16 +0200 | <monochrom> | Oh haha this is an abuse of do-notation to save writing "in". |
| 2023-10-03 00:01:03 +0200 | <c_wraith> | hippoid: you can change line 27 to `a x = do` and then line 34 to `x >>= traverse d` |
| 2023-10-03 00:01:17 +0200 | <monochrom> | First eliminate "do" and have instead "a = let b = ... in let c = ... in let d = ... in (>>= traverse d)" |
| 2023-10-03 00:01:38 +0200 | <monochrom> | Then yeah eta expand so it is "a x = let ... in x >>= traverse d" |
| 2023-10-03 00:02:29 +0200 | <monochrom> | What I am disappointed at is that the author didn't know that we need only one "let". |
| 2023-10-03 00:03:00 +0200 | <geekosaur> | that seems common, especially in `do` |
| 2023-10-03 00:03:26 +0200 | <monochrom> | But I guess history may show that the author knew but chose to make it easy-to-add-delete instead. |
| 2023-10-03 00:03:27 +0200 | <haskellbridge> | <jade> im guilty of that too :) |
| 2023-10-03 00:04:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-10-03 00:04:55 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-10-03 00:05:20 +0200 | <monochrom> | You can eta-expand once more to "a x = x >>= \i -> traverse d i" |
| 2023-10-03 00:05:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6150a540857548904b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-03 00:06:06 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-03 00:06:22 +0200 | <monochrom> | So x :: IO [PC.Ref], so i :: [PC.Ref]. |
| 2023-10-03 00:06:25 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-10-03 00:06:25 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-10-03 00:06:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 00:08:15 +0200 | <monochrom> | Who wrote this? You don't design "IO X -> IO Y" unless you plan to call the IO X parameter multiple times. Normally you just design "X -> IO Y". |
| 2023-10-03 00:08:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-03 00:09:12 +0200 | <hippoid> | monochrom: the original is here: https://github.com/Yuras/pdf-toolbox/issues/62. the gist i sent was me altering it and doing bad things |
| 2023-10-03 00:09:46 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-03 00:12:40 +0200 | <hippoid> | monochrom: c_wraith: thanks for the eta-expand tip. I'll remember that next time I'm befuddled. |
| 2023-10-03 00:18:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-daca-00ad-ab5a-9bda-e15a.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 00:23:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 00:27:08 +0200 | vglfr | (~vglfr@88.155.254.210) (Ping timeout: 272 seconds) |
| 2023-10-03 00:27:41 +0200 | <EvanR> | or unless you plan to call IO X zero times |
| 2023-10-03 00:27:58 +0200 | <EvanR> | acme don't |
| 2023-10-03 00:28:06 +0200 | <monochrom> | :) |
| 2023-10-03 00:28:35 +0200 | <EvanR> | exactly once is a waste of an opportunity to use `id' |
| 2023-10-03 00:30:25 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-03 00:32:19 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-10-03 00:35:59 +0200 | <hippoid> | so where e :: IO [T.Text] -> IO T.Text, it's better as e:: T.Text -> IO T.Text? |
| 2023-10-03 00:36:30 +0200 | <monochrom> | [Text] -> IO Text is fine. |
| 2023-10-03 00:38:36 +0200 | <hippoid> | so why is it better to get rid of that first IO? |
| 2023-10-03 00:39:20 +0200 | <monochrom> | I may only know that it is more idiomatic. I may not know that it is better. |
| 2023-10-03 00:39:58 +0200 | <monochrom> | Imagine a world in which putStrLn :: IO String -> IO String. Then you would write like putStrLn getLine. Would you like that? |
| 2023-10-03 00:40:13 +0200 | <monochrom> | Perhaps you might. It would read like C. |
| 2023-10-03 00:40:36 +0200 | <monochrom> | Err IO String -> IO () |
| 2023-10-03 00:41:00 +0200 | <benjaminl> | isn't this what (>>=) is for? |
| 2023-10-03 00:41:05 +0200 | <monochrom> | Then hello world would also read like putStrLn (pure "hello world"). |
| 2023-10-03 00:42:06 +0200 | <hippoid> | a new and pure world, hello :) |
| 2023-10-03 00:42:38 +0200 | <c_wraith> | well, it can be worth taking an IO action that you run only once if you intend to run something before and after it, like bracket does |
| 2023-10-03 00:43:41 +0200 | <c_wraith> | But if your function looks like `f x = x >>= ...` you're not really gaining any expressive power by taking an action as the first argument |
| 2023-10-03 00:44:02 +0200 | <c_wraith> | as *an* argument. Doesn't matter which one it is, I suppose. |
| 2023-10-03 00:44:04 +0200 | <monochrom> | There can be a whole body of interesting theory on programming in this style, which is like a dual to the continuation-passing style. We may call it the procedure-passing style. |
| 2023-10-03 00:44:27 +0200 | <monochrom> | But I doubt that people who actually write that way actually thought of that theory. |
| 2023-10-03 00:45:13 +0200 | <monochrom> | Instead, they wrongly believe "IO taints everything, absolutely everything" and go on to make it a self-inflicted prophecy. |
| 2023-10-03 00:46:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-8083-0452-5336-dc84-53ac.rev.sfr.net) |
| 2023-10-03 00:46:35 +0200 | <EvanR> | how about IO [Text] -> Text, much better |
| 2023-10-03 00:46:37 +0200 | <mauke> | > length [putStrLn "hello", putStrLn "bye"] |
| 2023-10-03 00:46:38 +0200 | <lambdabot> | 2 |
| 2023-10-03 00:49:20 +0200 | vglfr | (~vglfr@149.102.239.226) |
| 2023-10-03 00:49:44 +0200 | vglfr | (~vglfr@149.102.239.226) (Remote host closed the connection) |
| 2023-10-03 00:49:57 +0200 | <monochrom> | "IO X -> IO Y" is a much larger space than "X -> IO Y". Often you choose the smaller space so that other people know you don't need the extra features of the larger space. |
| 2023-10-03 00:50:42 +0200 | vglfr | (~vglfr@149.102.239.226) |
| 2023-10-03 00:50:44 +0200 | <monochrom> | It is the whole point many of us chose Haskell. Haskell's "A -> B" space is yet much smaller than C's "B f(A)" space. |
| 2023-10-03 00:51:55 +0200 | <EvanR> | which some detractors call bondage and discipline |
| 2023-10-03 00:51:56 +0200 | <monochrom> | or even SML's "A -> B" space. |
| 2023-10-03 00:52:42 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-03 00:52:45 +0200 | <mauke> | technically that should be "B (A)" for C |
| 2023-10-03 00:53:09 +0200 | <monochrom> | Yeah except that it would be a syntax error for C, too :) |
| 2023-10-03 00:53:41 +0200 | <mauke> | it is the correct syntax for the type "function taking an A and returning a B" |
| 2023-10-03 00:53:43 +0200 | <monochrom> | C wants at least B (*)(A) |
| 2023-10-03 00:55:08 +0200 | <EvanR> | abstract designator lets you omit the identifier |
| 2023-10-03 00:55:47 +0200 | <mauke> | gcc accepts sizeof (int (double)) |
| 2023-10-03 00:56:04 +0200 | <mauke> | other compilers might reject it, but not because int (double) is a syntax error |
| 2023-10-03 00:56:05 +0200 | <monochrom> | :( |
| 2023-10-03 00:56:16 +0200 | <monochrom> | I mean, nice. :) |
| 2023-10-03 00:56:23 +0200 | <monochrom> | My faith in C is restored. >:) |
| 2023-10-03 00:56:37 +0200 | <monochrom> | But what do you use it for? |
| 2023-10-03 00:56:45 +0200 | <mauke> | pedantry |
| 2023-10-03 00:56:49 +0200 | <monochrom> | haha |
| 2023-10-03 00:56:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-8083-0452-5336-dc84-53ac.rev.sfr.net) (Remote host closed the connection) |
| 2023-10-03 00:57:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-8083-0452-5336-dc84-53ac.rev.sfr.net) |
| 2023-10-03 00:57:25 +0200 | <monochrom> | What does sizeof (int (double)) mean? |
| 2023-10-03 00:57:35 +0200 | <mauke> | 1, according to gcc |
| 2023-10-03 00:57:46 +0200 | <monochrom> | That's strange. |
| 2023-10-03 00:58:07 +0200 | <monochrom> | Although, I don't actually mind. |
| 2023-10-03 00:59:20 +0200 | <EvanR> | is that related to how empty structs have to have at least size 1 so they can be addressable |
| 2023-10-03 01:00:00 +0200 | <mauke> | void sample(int (double)); |
| 2023-10-03 01:00:53 +0200 | <mauke> | that should be accepted everywhere |
| 2023-10-03 01:01:55 +0200 | <monochrom> | Is "void sample2(int f(double));" also legal? |
| 2023-10-03 01:02:30 +0200 | <EvanR> | yes the parameter's type will be adjusted to a pointer to int (double), like array parameters |
| 2023-10-03 01:02:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-10-03 01:02:39 +0200 | <monochrom> | Ah thanks. |
| 2023-10-03 01:08:34 +0200 | euleritian | (~euleritia@185.238.219.28) (Ping timeout: 255 seconds) |
| 2023-10-03 01:15:14 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-03 01:20:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-8083-0452-5336-dc84-53ac.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 01:25:41 +0200 | urparentshor | (~Admin1@47.200.75.232) |
| 2023-10-03 01:31:32 +0200 | urparentshor | (~Admin1@47.200.75.232) (Remote host closed the connection) |
| 2023-10-03 01:31:47 +0200 | <Hecate> | https://twitter.com/flora_haskell/status/1708987542886813846 Flora is becoming the meta-index it was meant to be!! |
| 2023-10-03 01:34:40 +0200 | vglfr | (~vglfr@149.102.239.226) (Ping timeout: 255 seconds) |
| 2023-10-03 01:35:50 +0200 | vglfr | (~vglfr@149.102.239.226) |
| 2023-10-03 01:42:53 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-10-03 01:55:19 +0200 | bilegeek | (~bilegeek@2600:1008:b026:1a87:2ee8:e964:d4e2:13c1) |
| 2023-10-03 01:55:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 01:55:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 01:55:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 01:57:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-03 02:04:54 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-10-03 02:05:15 +0200 | <dibblego> | does this exist somewhere? blah :: Comonad w => (w a -> b) -> w a -> w (a, b); blah f = extend (\t -> (extract t, f t)) |
| 2023-10-03 02:07:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-03 02:14:27 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 02:15:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-10-03 02:15:45 +0200 | <probie> | :t \f t -> fmap (,f t) t |
| 2023-10-03 02:15:46 +0200 | <lambdabot> | Functor f => (f t1 -> t2) -> f t1 -> f (t1, t2) |
| 2023-10-03 02:25:58 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-03 02:27:58 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-03 02:29:05 +0200 | <monochrom> | :) |
| 2023-10-03 02:29:53 +0200 | [itchyjunk] | [spookyJunk] |
| 2023-10-03 02:30:19 +0200 | vglfr | (~vglfr@149.102.239.226) (Ping timeout: 258 seconds) |
| 2023-10-03 02:32:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-10-03 02:32:15 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 02:42:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-10-03 02:42:39 +0200 | euleritian | (~euleritia@185.238.219.45) |
| 2023-10-03 02:43:50 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 02:44:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 02:46:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-10-03 02:47:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-03 02:50:52 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-1916-deb3-136b-cab6.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-10-03 02:54:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-03 03:01:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 03:18:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-10-03 03:18:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 03:22:36 +0200 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2023-10-03 03:26:12 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 03:31:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 03:32:15 +0200 | otto_s | (~user@p5b0445cd.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-03 03:33:47 +0200 | otto_s | (~user@p5b0441b5.dip0.t-ipconnect.de) |
| 2023-10-03 03:40:41 +0200 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) |
| 2023-10-03 03:44:07 +0200 | lisphacker | (~lisphacke@81.2.182.20) |
| 2023-10-03 03:50:32 +0200 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-03 03:59:50 +0200 | lisphacker | (~lisphacke@81.2.182.20) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-10-03 04:09:57 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:11:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) (Remote host closed the connection) |
| 2023-10-03 04:11:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) |
| 2023-10-03 04:13:37 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-03 04:14:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 04:17:07 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-03 04:17:19 +0200 | AlexNoo | (~AlexNoo@94.233.241.182) (Read error: Connection reset by peer) |
| 2023-10-03 04:17:43 +0200 | AlexNoo | (~AlexNoo@94.233.241.182) |
| 2023-10-03 04:17:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-03 04:21:31 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 04:22:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-03 04:31:31 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-03 04:33:17 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-03 04:39:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 04:42:15 +0200 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) (Remote host closed the connection) |
| 2023-10-03 04:42:23 +0200 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) |
| 2023-10-03 04:43:01 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 04:43:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-03 04:50:36 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:57:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 05:00:41 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 05:02:05 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
| 2023-10-03 05:04:00 +0200 | td_ | (~td@i53870920.versanet.de) |
| 2023-10-03 05:04:36 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-10-03 05:06:41 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-03 05:11:31 +0200 | poscat | (~poscat@user/poscat) |
| 2023-10-03 05:11:48 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-10-03 05:16:41 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 05:30:19 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 05:42:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 05:49:32 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-10-03 05:51:08 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 248 seconds) |
| 2023-10-03 05:52:14 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2023-10-03 05:53:41 +0200 | aforemny_ | (~aforemny@i59F516DB.versanet.de) |
| 2023-10-03 05:54:20 +0200 | aforemny | (~aforemny@2001:9e8:6cea:5700:875:b49a:e016:4759) (Ping timeout: 248 seconds) |
| 2023-10-03 05:58:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:01:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) (Remote host closed the connection) |
| 2023-10-03 06:04:42 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 06:05:17 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-03 06:08:53 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:10:41 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 2023-10-03 06:12:23 +0200 | poscat | (~poscat@user/poscat) |
| 2023-10-03 06:13:36 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 06:17:32 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 06:17:43 +0200 | Vajb | (~Vajb@85-76-144-99-nat.elisa-mobile.fi) |
| 2023-10-03 06:18:27 +0200 | Guest12 | (~Guest12@110.54.134.244) |
| 2023-10-03 06:18:37 +0200 | Guest12 | (~Guest12@110.54.134.244) (Client Quit) |
| 2023-10-03 06:21:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 06:29:13 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-03 06:36:42 +0200 | vglfr | (~vglfr@149.102.244.106) |
| 2023-10-03 06:40:18 +0200 | drewjose | (~drewjose@129.154.40.88) (Remote host closed the connection) |
| 2023-10-03 06:41:19 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:41:26 +0200 | vglfr | (~vglfr@149.102.244.106) (Ping timeout: 272 seconds) |
| 2023-10-03 06:41:36 +0200 | vglfr | (~vglfr@88.155.254.59) |
| 2023-10-03 06:41:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 06:45:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-03 06:46:00 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-03 06:47:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:49:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 06:49:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 06:52:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 06:53:55 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-03 06:57:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 07:09:26 +0200 | [spookyJunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-03 07:13:36 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-10-03 07:15:31 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 07:16:57 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 07:18:24 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 07:18:24 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-03 07:18:29 +0200 | michalz | (~michalz@185.246.204.101) |
| 2023-10-03 07:24:02 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-03 07:33:01 +0200 | CiaoSen | (~Jura@2a05:5800:28e:3d00:664b:f0ff:fe37:9ef) |
| 2023-10-03 07:33:30 +0200 | <haskellbridge> | <bozeman_5-0> https://discord.com/invite/Eug7txK6WV |
| 2023-10-03 07:35:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-03 07:37:19 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-03 07:47:27 +0200 | euleritian | (~euleritia@185.238.219.45) (Ping timeout: 240 seconds) |
| 2023-10-03 07:48:15 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 07:54:34 +0200 | euleritian | (~euleritia@185.238.219.49) |
| 2023-10-03 07:55:31 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-10-03 07:58:24 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6250a540857548904b.dip0.t-ipconnect.de) |
| 2023-10-03 07:59:23 +0200 | bilegeek | (~bilegeek@2600:1008:b026:1a87:2ee8:e964:d4e2:13c1) (Quit: Leaving) |
| 2023-10-03 07:59:49 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-03 08:01:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 08:02:48 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-10-03 08:04:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 08:05:22 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2023-10-03 08:05:37 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-03 08:07:34 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 272 seconds) |
| 2023-10-03 08:08:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-03 08:11:10 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 08:17:42 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 08:21:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 08:27:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 08:32:20 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-03 08:32:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 08:32:51 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 08:33:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-03 08:34:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 08:37:10 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 258 seconds) |
| 2023-10-03 08:38:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-03 08:38:43 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-10-03 08:39:28 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-10-03 08:39:56 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 08:40:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f5ba:a242:b43c:a732) |
| 2023-10-03 08:40:27 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6250a540857548904b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 08:40:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 08:44:36 +0200 | euleritian | (~euleritia@185.238.219.49) (Ping timeout: 240 seconds) |
| 2023-10-03 08:45:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-03 08:45:40 +0200 | califax | (~califax@user/califx) |
| 2023-10-03 08:45:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 08:47:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f62a999b01f4585689b.dip0.t-ipconnect.de) |
| 2023-10-03 08:50:23 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-03 08:51:04 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-10-03 08:51:10 +0200 | danza_ | (~francesco@151.47.112.4) |
| 2023-10-03 08:52:46 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 08:53:57 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 08:57:27 +0200 | holsta | (~holsta@user/holsta) (Ping timeout: 240 seconds) |
| 2023-10-03 09:11:57 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-03 09:12:05 +0200 | kuribas | (~user@2a02:1808:80:f0b4:876c:b239:5e6d:47b9) |
| 2023-10-03 09:14:44 +0200 | danza_ | (~francesco@151.47.112.4) (Ping timeout: 258 seconds) |
| 2023-10-03 09:18:52 +0200 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2023-10-03 09:20:26 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-10-03 09:26:37 +0200 | mmhat | (~mmh@p200300f1c74e6f66ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-03 09:26:40 +0200 | mmhat | (~mmh@p200300f1c74e6f66ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-03 09:30:55 +0200 | danza_ | (~francesco@151.47.112.4) |
| 2023-10-03 09:32:38 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) |
| 2023-10-03 09:32:59 +0200 | kuribas | (~user@2a02:1808:80:f0b4:876c:b239:5e6d:47b9) (Ping timeout: 246 seconds) |
| 2023-10-03 09:36:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 09:37:16 +0200 | euleritian | (~euleritia@185.238.219.57) |
| 2023-10-03 09:42:12 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-03 09:42:57 +0200 | kuribas | (~user@2a02:1808:80:f0b4:ee2a:7e1c:5f55:573e) |
| 2023-10-03 09:45:09 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-03 09:46:02 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-03 09:46:04 +0200 | danza_ | (~francesco@151.47.112.4) (Ping timeout: 255 seconds) |
| 2023-10-03 09:47:24 +0200 | kuribas | (~user@2a02:1808:80:f0b4:ee2a:7e1c:5f55:573e) (Ping timeout: 248 seconds) |
| 2023-10-03 09:48:20 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 09:48:36 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-10-03 09:52:47 +0200 | <kuribas`> | https://medium.com/javascript-scene/the-shocking-secret-about-static-types-514d39bf30a3 |
| 2023-10-03 09:53:08 +0200 | <kuribas`> | Supposedly clojure: 8.29% bug density, and haskell 29.72%... |
| 2023-10-03 09:53:16 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 09:54:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-03 09:54:09 +0200 | <kuribas`> | My experience with clojure is that I can write thousands of lines of haskell code with only a few "bugs", and not even a few lines of clojure code without. |
| 2023-10-03 09:54:14 +0200 | <kuribas`> | I'd say this is complete BS. |
| 2023-10-03 09:54:23 +0200 | <kuribas`> | Or I am just terrible at clojure :) |
| 2023-10-03 09:54:56 +0200 | <kuribas`> | But we also have a javascript frontend done by an external team which has been dragging on an has tons of bugs. |
| 2023-10-03 09:56:18 +0200 | <[exa]> | kuribas`: what is this "bug density" metric? #issues slashed by #LoC ? |
| 2023-10-03 09:57:25 +0200 | <kuribas`> | I suppose so. |
| 2023-10-03 09:57:26 +0200 | <[exa]> | anyway yeah the article is nonsense |
| 2023-10-03 09:58:13 +0200 | <[exa]> | (also identified by use of boldface instead of emph) |
| 2023-10-03 09:58:51 +0200 | <kuribas`> | I wonder about these advocates, are they just too lazy to learn types? |
| 2023-10-03 09:59:19 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-10-03 09:59:23 +0200 | <mankyKitty> | As someone that has taught haskell, it's not about laziness, it's often about how people have been exposed to type systems in the past |
| 2023-10-03 09:59:53 +0200 | <kuribas`> | yeah, one of my colleages has a trauma of types due to scala :-0 |
| 2023-10-03 10:00:00 +0200 | <kuribas`> | two of them actually. |
| 2023-10-03 10:00:02 +0200 | <mankyKitty> | if you're only exposure is "the compiler won't let me pass an Int because the type says String" ... then you're not going to see a lot of value |
| 2023-10-03 10:00:10 +0200 | <mankyKitty> | or scala yeah |
| 2023-10-03 10:01:04 +0200 | <kuribas`> | Typed holes are one of my favorite type system features. |
| 2023-10-03 10:01:16 +0200 | <mankyKitty> | But also the thinking that "it only improves things a little sometimes and is therefore a complete and utter waste of time" seems a little ... disigenuous |
| 2023-10-03 10:01:17 +0200 | <kuribas`> | But even just having the squiggly lines while I code or indispensable for me. |
| 2023-10-03 10:01:29 +0200 | <probie> | For a rather useless data point, I'd say that the number of bugs remaining once all my tests are passing doesn't differ much between static and dynamic typing |
| 2023-10-03 10:01:48 +0200 | euleritian | (~euleritia@185.238.219.57) (Ping timeout: 248 seconds) |
| 2023-10-03 10:01:53 +0200 | <mankyKitty> | or thinking that it's purely about helping code linters, there's a fundamental misunderstanding buried in there that hinders a greater understanding of what's on offer |
| 2023-10-03 10:02:09 +0200 | <probie> | The process of getting to "all tests passing" is not the same however |
| 2023-10-03 10:02:09 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-10-03 10:02:21 +0200 | <kuribas`> | I tried linters in clojure, and I found them very lacking. |
| 2023-10-03 10:02:54 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 10:02:54 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 10:02:54 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 10:02:56 +0200 | <kuribas`> | For me it's not about code correctness,but about the ability to understand and reason about code. |
| 2023-10-03 10:03:20 +0200 | <mankyKitty> | ehhh, it's a slanted article meant to push a specific point and then upsell their courses.. If the person shows up we should be helpful |
| 2023-10-03 10:03:33 +0200 | <mankyKitty> | but apart from that, there's others things to do |
| 2023-10-03 10:03:54 +0200 | <int-e> | . o O ( "what does really reduce bug density"... boilerplate! we need more boilerplate! hundreds of lines with little bug potential ) |
| 2023-10-03 10:05:05 +0200 | <kuribas`> | For me, the only good boilerplate is the one that is checked with types, so I don't have to worry about it. |
| 2023-10-03 10:05:14 +0200 | rgw | (~R@2605:a601:a0df:5600:7d17:3b99:a896:2e62) (Read error: Connection reset by peer) |
| 2023-10-03 10:07:32 +0200 | <dibblego> | I write clojure every day for the last 6 months. 100% of our bugs that I have so far encountered would not have existed in Haskell. |
| 2023-10-03 10:07:51 +0200 | <mankyKitty> | we're also hella biased in here, so as much as we're convinced, our `evidence` is still anecdotal ;) *he says poking the bear* |
| 2023-10-03 10:08:04 +0200 | <kuribas`> | I have been doing some Python programming with dataframes, and I think being able to track columns and units would be a great advantage (using phantom/dependent types). |
| 2023-10-03 10:08:23 +0200 | <kuribas`> | mankyKitty: we *are* biased, but I think haskell challenges lie elsewhere. |
| 2023-10-03 10:08:40 +0200 | <probie> | dibblego: how many of them are a sneaky `nil` slipping in? |
| 2023-10-03 10:08:50 +0200 | <dibblego> | the conclusion from that chart is: "python programmers admit their mistakes more often than clojure" |
| 2023-10-03 10:08:58 +0200 | <dibblego> | probie: about 40-60% |
| 2023-10-03 10:09:01 +0200 | <dibblego> | at a guess |
| 2023-10-03 10:09:08 +0200 | <mankyKitty> | kuribas`: exactly. :) |
| 2023-10-03 10:10:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-10-03 10:12:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-03 10:14:04 +0200 | <kuribas`> | There real reason I get from clojure programmers, is that they find learning the types distracting, and they want an easy solution so they can think about the business logic instead. |
| 2023-10-03 10:14:39 +0200 | <kuribas`> | It's a fair tradeoff, but not one it is often communicated honestly. |
| 2023-10-03 10:19:17 +0200 | gehmehgeh | gmg |
| 2023-10-03 10:19:44 +0200 | gmg | gewobag |
| 2023-10-03 10:20:05 +0200 | gewobag | gmg |
| 2023-10-03 10:24:57 +0200 | migas0 | (~migas@astra4961.startdedicated.net) |
| 2023-10-03 10:26:31 +0200 | migas | (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer) |
| 2023-10-03 10:26:32 +0200 | migas0 | migas |
| 2023-10-03 10:34:26 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 10:34:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-10-03 10:39:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 10:41:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 10:42:05 +0200 | danse-nr3 | (~francesco@151.47.112.4) |
| 2023-10-03 10:47:53 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 10:51:10 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 10:55:44 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 10:57:29 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 11:04:16 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-03 11:17:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) (Remote host closed the connection) |
| 2023-10-03 11:19:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 11:28:24 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 11:29:05 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 11:32:28 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-03 11:32:56 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) |
| 2023-10-03 11:33:26 +0200 | todi1 | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 11:33:33 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 11:35:01 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 11:35:48 +0200 | phma | (~phma@2001:5b0:210f:1d68:2eef:5dcd:dc4a:2231) (Read error: Connection reset by peer) |
| 2023-10-03 11:36:56 +0200 | phma | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) |
| 2023-10-03 11:37:01 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-03 11:37:59 +0200 | todi1 | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-03 11:45:06 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-03 11:55:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 12:01:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2382:d87:4dd6:d990) (Read error: Connection reset by peer) |
| 2023-10-03 12:02:15 +0200 | CiaoSen | (~Jura@2a05:5800:28e:3d00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-10-03 12:05:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3903:9332:e66b:72f6) |
| 2023-10-03 12:06:00 +0200 | Square2 | (~Square4@user/square) |
| 2023-10-03 12:08:08 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 12:10:04 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 12:13:32 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 12:15:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 12:19:25 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 12:42:38 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 12:47:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 12:52:15 +0200 | danse-nr3_ | (~francesco@151.43.111.248) |
| 2023-10-03 12:53:08 +0200 | vglfr | (~vglfr@88.155.254.59) (Ping timeout: 255 seconds) |
| 2023-10-03 12:54:51 +0200 | danse-nr3 | (~francesco@151.47.112.4) (Ping timeout: 260 seconds) |
| 2023-10-03 12:57:16 +0200 | drewjose | (~drewjose@129.154.40.88) |
| 2023-10-03 13:06:59 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-03 13:13:34 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2023-10-03 13:14:19 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-10-03 13:21:13 +0200 | vglfr | (~vglfr@88.155.254.59) |
| 2023-10-03 13:24:06 +0200 | danse-nr3_ | (~francesco@151.43.111.248) (Ping timeout: 260 seconds) |
| 2023-10-03 13:37:32 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) (Quit: Leaving) |
| 2023-10-03 13:45:33 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 13:45:53 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 13:50:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-03 13:54:28 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds) |
| 2023-10-03 13:56:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 14:07:13 +0200 | gaff | (~gaff@49.207.212.189) |
| 2023-10-03 14:07:18 +0200 | gaff | (~gaff@49.207.212.189) (Client Quit) |
| 2023-10-03 14:07:35 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-10-03 14:12:00 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 14:17:02 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Read error: Connection reset by peer) |
| 2023-10-03 14:20:33 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-10-03 14:21:27 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 14:27:05 +0200 | ulysses4ever | (~artem@73.145.240.159) |
| 2023-10-03 14:27:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 14:27:48 +0200 | vglfr | (~vglfr@88.155.254.59) (Ping timeout: 240 seconds) |
| 2023-10-03 14:29:07 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 14:31:38 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 14:32:00 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 14:32:00 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2023-10-03 14:32:41 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 14:33:37 +0200 | ulysses4ever | (~artem@73.145.240.159) (Ping timeout: 255 seconds) |
| 2023-10-03 14:35:19 +0200 | danse-nr3 | (~francesco@151.43.111.248) |
| 2023-10-03 14:35:57 +0200 | hugo- | hugo |
| 2023-10-03 14:38:30 +0200 | ulysses4ever | (~artem@73.145.240.159) |
| 2023-10-03 14:39:08 +0200 | shapr | (~user@2600:1700:c640:3100:2ddc:dc2b:d95:69f) (Ping timeout: 248 seconds) |
| 2023-10-03 14:39:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-03 14:47:19 +0200 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-03 14:58:13 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-03 15:05:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-03 15:08:48 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-03 15:09:21 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 15:09:59 +0200 | <elbear> | hello. where can I find an up-to-date AST of Haskell? |
| 2023-10-03 15:10:52 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-03 15:11:13 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-10-03 15:11:42 +0200 | <lortabac> | @hackage ghc -- elbear |
| 2023-10-03 15:11:42 +0200 | <lambdabot> | https://hackage.haskell.org/package/ghc -- elbear |
| 2023-10-03 15:13:01 +0200 | <lortabac> | https://hackage.haskell.org/package/ghc-9.6.3/docs/Language-Haskell-Syntax.html |
| 2023-10-03 15:16:25 +0200 | <elbear> | lortabac: awesome. thank you! |
| 2023-10-03 15:18:45 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-10-03 15:18:52 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 272 seconds) |
| 2023-10-03 15:18:56 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-10-03 15:19:12 +0200 | stites | (~stites@2607:fb91:dc1:c31f:f5a5:ac9:104d:5b91) |
| 2023-10-03 15:20:00 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 15:21:27 +0200 | <tomsmeding> | elbear: see also https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html which is the thing you can use as a user from TemplateHaskell |
| 2023-10-03 15:21:43 +0200 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2023-10-03 15:22:07 +0200 | ulysses4ever | (~artem@73.145.240.159) (Read error: Connection reset by peer) |
| 2023-10-03 15:22:21 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 15:29:17 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-10-03 15:29:17 +0200 | Feuermagier | Guest7216 |
| 2023-10-03 15:29:17 +0200 | Guest7216 | (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-10-03 15:29:17 +0200 | Feuermagier_ | Feuermagier |
| 2023-10-03 15:29:41 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-10-03 15:30:03 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 15:33:44 +0200 | <elbear> | tomsmeding: thanks. this might be useful |
| 2023-10-03 15:37:17 +0200 | phma_ | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) |
| 2023-10-03 15:40:08 +0200 | phma | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) (Ping timeout: 246 seconds) |
| 2023-10-03 15:42:26 +0200 | stites | (~stites@2607:fb91:dc1:c31f:f5a5:ac9:104d:5b91) (Read error: Connection reset by peer) |
| 2023-10-03 15:42:36 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 15:42:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 15:42:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 15:42:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 15:42:45 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 15:44:43 +0200 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 15:45:02 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 15:48:46 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2023-10-03 15:49:21 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 15:51:00 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 15:55:32 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-10-03 15:57:28 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 255 seconds) |
| 2023-10-03 15:58:09 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 16:05:00 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 16:05:06 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 16:09:10 +0200 | pyooque | (~puke@user/puke) |
| 2023-10-03 16:09:10 +0200 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-10-03 16:09:10 +0200 | pyooque | puke |
| 2023-10-03 16:10:03 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 16:10:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-10-03 16:14:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-03 16:14:23 +0200 | califax | (~califax@user/califx) |
| 2023-10-03 16:18:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-10-03 16:21:47 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 16:21:47 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 16:21:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 16:22:46 +0200 | shapr | (~user@2600:1700:c640:3100:f49:558c:8a5a:9e38) |
| 2023-10-03 16:26:45 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-10-03 16:27:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f62a999b01f4585689b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-03 16:29:36 +0200 | acidjnk | (~acidjnk@p200300d6e7072f62c83efacb636187f1.dip0.t-ipconnect.de) |
| 2023-10-03 16:30:36 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 16:31:13 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 16:37:00 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-10-03 16:37:22 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-03 16:38:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f5ba:a242:b43c:a732) (Quit: WeeChat 2.8) |
| 2023-10-03 16:38:58 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 16:40:32 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 16:44:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 16:45:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 16:45:25 +0200 | euleritian | (~euleritia@p200300d40f0c65007af85a5663d6a6ec.dip0.t-ipconnect.de) |
| 2023-10-03 16:45:41 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-03 16:50:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-03 16:52:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 16:52:15 +0200 | danse-nr3 | (~francesco@151.43.111.248) (Read error: Connection reset by peer) |
| 2023-10-03 16:52:18 +0200 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 16:56:13 +0200 | euleritian | (~euleritia@p200300d40f0c65007af85a5663d6a6ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-10-03 16:59:07 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-03 17:03:51 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 17:07:20 +0200 | vglfr | (~vglfr@37.73.22.201) |
| 2023-10-03 17:08:44 +0200 | nullie | (~nullie@amsterdam.nullie.name) (Ping timeout: 255 seconds) |
| 2023-10-03 17:12:04 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 17:12:06 +0200 | vglfr | (~vglfr@37.73.22.201) (Ping timeout: 260 seconds) |
| 2023-10-03 17:16:01 +0200 | euleritian | (~euleritia@p200300d40f0c650004a69dafb9cda176.dip0.t-ipconnect.de) |
| 2023-10-03 17:19:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-03 17:22:17 +0200 | nullie | (~nullie@amsterdam.nullie.name) |
| 2023-10-03 17:22:25 +0200 | Heffalump | (~ganesh@urchin.earth.li) |
| 2023-10-03 17:26:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-03 17:29:42 +0200 | danse-nr3_ | (~francesco@151.43.108.29) (Ping timeout: 255 seconds) |
| 2023-10-03 17:31:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-03 17:34:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 17:35:53 +0200 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 17:36:32 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 17:36:37 +0200 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 17:38:51 +0200 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 17:39:16 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 17:41:16 +0200 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 17:41:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-03 17:41:39 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 17:45:12 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2023-10-03 17:57:01 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::4) |
| 2023-10-03 17:59:01 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-03 17:59:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 18:09:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 18:10:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-10-03 18:11:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-10-03 18:12:40 +0200 | phma_ | phma |
| 2023-10-03 18:20:51 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-10-03 18:21:22 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 258 seconds) |
| 2023-10-03 18:23:10 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-10-03 18:24:05 +0200 | rgw | (~R@2605:a601:a0df:5600:5fc:3a3a:86f0:f33a) |
| 2023-10-03 18:39:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 18:40:18 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-03 18:41:19 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 18:45:13 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.5) |
| 2023-10-03 18:45:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 18:45:56 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-03 18:46:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-03 18:48:03 +0200 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Ping timeout: 245 seconds) |
| 2023-10-03 18:48:20 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-10-03 18:49:48 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 18:49:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-03 18:58:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-03 18:59:19 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-10-03 19:00:01 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-03 19:00:52 +0200 | ski | (~ski@88.131.7.247) |
| 2023-10-03 19:01:14 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 19:05:17 +0200 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 2023-10-03 19:05:25 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 19:05:43 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-03 19:07:43 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 19:16:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3903:9332:e66b:72f6) (Ping timeout: 240 seconds) |
| 2023-10-03 19:16:38 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-03 19:17:59 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-03 19:18:48 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-03 19:20:21 +0200 | Square | (~Square@user/square) |
| 2023-10-03 19:22:28 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-03 19:23:45 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-03 19:26:43 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-03 19:28:35 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 19:28:38 +0200 | zer0bitz_ | zer0bitz |
| 2023-10-03 19:44:15 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 19:45:12 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 19:47:21 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 19:47:24 +0200 | danse-nr3_ | (~francesco@151.43.108.29) (Ping timeout: 272 seconds) |
| 2023-10-03 19:48:00 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 258 seconds) |
| 2023-10-03 19:48:16 +0200 | Square | (~Square@user/square) |
| 2023-10-03 19:49:32 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 258 seconds) |
| 2023-10-03 19:54:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-10-03 19:55:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-10-03 19:56:28 +0200 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Ping timeout: 248 seconds) |
| 2023-10-03 19:58:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-03 20:00:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-03 20:03:44 +0200 | shapr | (~user@2600:1700:c640:3100:f49:558c:8a5a:9e38) (Remote host closed the connection) |
| 2023-10-03 20:03:57 +0200 | shapr | (~user@2600:1700:c640:3100:e1b1:e88e:4412:3c5c) |
| 2023-10-03 20:06:48 +0200 | ubert1 | (~Thunderbi@178.115.77.244.wireless.dyn.drei.com) |
| 2023-10-03 20:07:48 +0200 | ubert | (~Thunderbi@91.141.57.144.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2023-10-03 20:07:48 +0200 | ubert1 | ubert |
| 2023-10-03 20:08:43 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 264 seconds) |
| 2023-10-03 20:08:50 +0200 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 2023-10-03 20:09:08 +0200 | ski | (~ski@88.131.7.247) |
| 2023-10-03 20:10:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-10-03 20:12:02 +0200 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 20:12:50 +0200 | stites | (~stites@155.33.132.39) |
| 2023-10-03 20:12:56 +0200 | kimiamania4 | (~65804703@user/kimiamania) (Ping timeout: 260 seconds) |
| 2023-10-03 20:13:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-03 20:15:56 +0200 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 20:17:29 +0200 | danza | (~francesco@151.43.108.29) |
| 2023-10-03 20:17:36 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-03 20:22:06 +0200 | kimiamania4 | (~65804703@user/kimiamania) |
| 2023-10-03 20:34:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-10-03 20:35:50 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 20:38:09 +0200 | n1essa | fn_lumi |
| 2023-10-03 20:38:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 20:40:05 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 246 seconds) |
| 2023-10-03 20:46:16 +0200 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-10-03 20:49:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 20:52:09 +0200 | danza_ | (~francesco@151.43.122.221) |
| 2023-10-03 20:52:12 +0200 | danse-nr3__ | (~francesco@151.43.122.221) |
| 2023-10-03 20:52:35 +0200 | danse-nr3_ | (~francesco@151.43.108.29) (Read error: Connection reset by peer) |
| 2023-10-03 20:54:14 +0200 | <tomsmeding> | mankyKitty: re "can't pass Int because the type says String" not being very valuable: without a type system catching that, honestly what did you expect would happen? :p |
| 2023-10-03 20:54:46 +0200 | danza | (~francesco@151.43.108.29) (Ping timeout: 255 seconds) |
| 2023-10-03 20:56:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 20:56:35 +0200 | <[exa]> | tomsmeding: PHP |
| 2023-10-03 20:56:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-03 20:57:37 +0200 | <tomsmeding> | @hackage acme-php |
| 2023-10-03 20:57:37 +0200 | <lambdabot> | https://hackage.haskell.org/package/acme-php |
| 2023-10-03 20:58:11 +0200 | <loonycyborg> | you're forced to work with types no matter what, only tradeoff is compile-time vs runtime |
| 2023-10-03 20:59:27 +0200 | <loonycyborg> | even if type isn't something programmer specifies the programming language still have to make sense of data it gets somehow.. |
| 2023-10-03 20:59:43 +0200 | <[exa]> | tomsmeding: I'm still amazed how much 2000's can fit into the acme-php homepage |
| 2023-10-03 21:01:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 21:02:43 +0200 | cpressey88 | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 21:05:07 +0200 | danza_ | (~francesco@151.43.122.221) (Ping timeout: 255 seconds) |
| 2023-10-03 21:06:23 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 21:08:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-03 21:10:53 +0200 | cpressey88 | cpressey |
| 2023-10-03 21:13:16 +0200 | Guest61 | (~Guest10@104.129.159.227) |
| 2023-10-03 21:13:19 +0200 | <Guest61> | [Hi, in C# or OOP, for pubsub pattern, I can have event in a class, and other classes can subscribe to that event by adding many handlers to that events, e.g. adding a delegate to a click event in winform. |
| 2023-10-03 21:13:20 +0200 | <Guest61> | Could anyone show me how I could approach this pub-sub problem in functional programming, and haskell, please? |
| 2023-10-03 21:15:45 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 21:18:43 +0200 | Guest61 | (~Guest10@104.129.159.227) (Quit: Client closed) |
| 2023-10-03 21:19:00 +0200 | <EvanR> | oof |
| 2023-10-03 21:20:35 +0200 | hugo- | hugo |
| 2023-10-03 21:21:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 21:21:43 +0200 | <probie> | Guest61: It really depends on what problem you're trying to solve. That said, if you really need to do something like this, I'd recommend using a `TChan`. Your event publisher creates a broadcast `TChan`, and to subscribe, clients call `dupTChan` |
| 2023-10-03 21:21:52 +0200 | <EvanR> | they left |
| 2023-10-03 21:22:55 +0200 | ulysses4ever | (~artem@73.145.240.168) |
| 2023-10-03 21:23:01 +0200 | <probie> | I know, but I've gone to the effort of typing, so I'm going to hit enter |
| 2023-10-03 21:23:23 +0200 | <probie> | maybe they'll come back and look at the logs |
| 2023-10-03 21:23:32 +0200 | <monochrom> | "sunk cost policy" :) |
| 2023-10-03 21:25:29 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-03 21:26:50 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-03 21:27:28 +0200 | alexherbo2 | (~alexherbo@2a02-8440-b212-1625-0c45-7133-54b7-59c4.rev.sfr.net) |
| 2023-10-03 21:28:20 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 21:28:59 +0200 | reginal | (~reginal@bras-base-otwaon230qw-grc-11-174-94-5-43.dsl.bell.ca) |
| 2023-10-03 21:30:35 +0200 | ulysses4ever | (~artem@73.145.240.168) (Read error: Connection reset by peer) |
| 2023-10-03 21:33:52 +0200 | reginal | (~reginal@bras-base-otwaon230qw-grc-11-174-94-5-43.dsl.bell.ca) (K-Lined) |
| 2023-10-03 21:38:03 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 21:38:16 +0200 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2023-10-03 21:41:42 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 21:42:27 +0200 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
| 2023-10-03 21:44:07 +0200 | danse-nr3__ | (~francesco@151.43.122.221) (Ping timeout: 264 seconds) |
| 2023-10-03 21:45:09 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-10-03 21:50:19 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 21:51:40 +0200 | Reyaina | (~Reyaina@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca) |
| 2023-10-03 21:53:58 +0200 | danse-nr3__ | (~francesco@151.43.122.221) |
| 2023-10-03 21:55:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-b212-1625-0c45-7133-54b7-59c4.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 21:55:21 +0200 | Square | (~Square@user/square) |
| 2023-10-03 21:55:23 +0200 | <Reyaina> | Courtney Rickett Gets Gangbanged by the Braves - The Shitty Clarinet Courtney Rickett takes ecstasy suppositories with Edna Skilton and ends up gangbanged by the Atlanta Braves and consensually sodomized by her trusty clarinet. https://justpaste.it/Courtney_Rickett_Gangbanged |
| 2023-10-03 21:55:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 21:56:40 +0200 | <mauke> | @where ops |
| 2023-10-03 21:56:40 +0200 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2023-10-03 21:58:10 +0200 | ChanServ | +o Cale |
| 2023-10-03 21:58:18 +0200 | Cale | +b *!*@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca |
| 2023-10-03 21:58:18 +0200 | Reyaina | Cale (Reyaina) |
| 2023-10-03 21:58:29 +0200 | Cale | -o Cale |
| 2023-10-03 21:58:31 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 260 seconds) |
| 2023-10-03 22:01:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 22:01:10 +0200 | ChanServ | +o litharge |
| 2023-10-03 22:01:10 +0200 | litharge | -bo *!*@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca litharge |
| 2023-10-03 22:04:43 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Quit: Client closed) |
| 2023-10-03 22:05:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Ping timeout: 260 seconds) |
| 2023-10-03 22:05:41 +0200 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-10-03 22:08:48 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-03 22:09:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 22:09:19 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-10-03 22:12:21 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-03 22:12:31 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 260 seconds) |
| 2023-10-03 22:14:52 +0200 | <EvanR> | wut, your ban was overruled? |
| 2023-10-03 22:15:26 +0200 | <Franciman> | hi, is there any public statistics about haskell adoption in industry and its trends? |
| 2023-10-03 22:19:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-10-03 22:20:22 +0200 | <geekosaur> | EvanR, litharge implements ban timeouts. It will have asked Cale first for a timeout (or a non-timeout response making it permanent) |
| 2023-10-03 22:20:44 +0200 | <geekosaur> | monochrom and I use it |
| 2023-10-03 22:21:20 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 22:21:38 +0200 | <EvanR> | handy |
| 2023-10-03 22:22:01 +0200 | <EvanR> | apparently it was not used in #space just now on that user |
| 2023-10-03 22:22:04 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 2023-10-03 22:22:29 +0200 | <geekosaur> | right, it has to be invited into a channel |
| 2023-10-03 22:22:31 +0200 | danse-nr3__ | (~francesco@151.43.122.221) (Ping timeout: 255 seconds) |
| 2023-10-03 22:23:03 +0200 | ulysses4ever | (~artem@73.145.240.152) |
| 2023-10-03 22:25:48 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-10-03 22:26:47 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-03 22:27:47 +0200 | <Cale> | geekosaur: I asked for 1month |
| 2023-10-03 22:28:11 +0200 | <Cale> | and it said "ack." and then probably interpreted it as 1 minute |
| 2023-10-03 22:28:23 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-10-03 22:28:59 +0200 | <geekosaur> | that sounds about right, I don't think it understands anything longer than days |
| 2023-10-03 22:29:10 +0200 | <geekosaur> | at least I recall having to use days for a 2-week ban |
| 2023-10-03 22:30:43 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 22:32:36 +0200 | ulysses4ever | (~artem@73.145.240.152) (Read error: Connection reset by peer) |
| 2023-10-03 22:35:08 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 258 seconds) |
| 2023-10-03 22:37:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-03 22:43:42 +0200 | cpressey96 | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 22:46:48 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 22:47:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 22:47:18 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 22:47:46 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 22:48:28 +0200 | cpressey96 | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 22:49:22 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 22:49:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-03 22:51:03 +0200 | Jackneill | (~Jackneill@20014C4E1E13B20020A43670487A9903.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-10-03 22:51:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-10-03 22:54:11 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Client Quit) |
| 2023-10-03 22:55:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 23:00:58 +0200 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 23:01:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 23:01:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f62c83efacb636187f1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-10-03 23:01:38 +0200 | Square2 | (~Square4@user/square) |
| 2023-10-03 23:01:59 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-10-03 23:04:39 +0200 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-10-03 23:06:46 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-10-03 23:07:17 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-03 23:07:19 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-03 23:11:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 23:13:35 +0200 | prite | (~pritam@user/pritambaral) |
| 2023-10-03 23:22:17 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-03 23:35:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-03 23:45:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2023-10-03 23:50:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-03 23:57:20 +0200 | stites | (~stites@155.33.132.39) (Ping timeout: 255 seconds) |
| 2023-10-03 23:58:29 +0200 | stites | (~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) |