| 2024-02-23 00:02:32 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-23 00:03:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-02-23 00:11:52 +0100 | acidjnk | (~acidjnk@p200300d6e737e782ac9b60c7ae9635c4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-02-23 00:15:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-23 00:18:02 +0100 | sinbad | (~sinbad@user/sinbad) () |
| 2024-02-23 00:18:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2024-02-23 00:21:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-23 00:40:16 +0100 | <haskellbridge> | <irregularsphere> chymera: first off, don't hate on object salad; second, think of "class"es as interfaces and "instance"s as implementing the interface |
| 2024-02-23 00:47:07 +0100 | <haskellbridge> | <irregularsphere> int-e: shouldn't it be the same for OOP? what's abstract about an abstractfactory |
| 2024-02-23 00:47:44 +0100 | <haskellbridge> | <irregularsphere> I suspect that these terminologies developed separately on their own and they're coincidentally the same |
| 2024-02-23 00:50:24 +0100 | <int-e> | "shouldn't it be the same" - yes. Many fields just borrow english words (many of which were borrowed from somewhere else) and give them their own specific meaning. |
| 2024-02-23 00:59:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-23 00:59:40 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-02-23 01:01:15 +0100 | <haskellbridge> | <irregularsphere> yeah... ...just blame everyone for using english then xD |
| 2024-02-23 01:01:42 +0100 | <int-e> | or, you know, blame nobody at all :) |
| 2024-02-23 01:02:21 +0100 | <haskellbridge> | <irregularsphere> what a predicament for this conversation |
| 2024-02-23 01:02:21 +0100 | glguy_ | glguy |
| 2024-02-23 01:04:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-23 01:07:40 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-02-23 01:13:19 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-02-23 01:14:22 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-23 01:19:32 +0100 | <dolio> | Jargon is okay, just learn it. |
| 2024-02-23 01:19:49 +0100 | <dolio> | But don't hold me to some other field's jargon. |
| 2024-02-23 01:20:31 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-23 01:20:50 +0100 | <duncan> | dolio: you mentioned alternative names for 'return' above -- there is an alternate name for that function, and it's as arbitrary as return -- the R monad pipeline library calls it 'escape' |
| 2024-02-23 01:21:03 +0100 | <dolio> | No, I didn't. |
| 2024-02-23 01:21:29 +0100 | <duncan> | OK, whatever |
| 2024-02-23 01:21:44 +0100 | <geekosaur> | I think you misunderstood dolio's referent back there |
| 2024-02-23 01:22:59 +0100 | <duncan> | oh well, it's just IRC innit |
| 2024-02-23 01:23:34 +0100 | mmhat | (~mmh@p200300f1c70b4410ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-02-23 01:26:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-02-23 01:26:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-02-23 01:26:35 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-23 01:27:05 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-02-23 01:27:07 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-23 01:27:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-23 01:31:37 +0100 | <EvanR> | yeah I mentioned return and it was mostly a joke, I think return is fine |
| 2024-02-23 01:31:51 +0100 | <EvanR> | but that position is getting more and more unpopular |
| 2024-02-23 01:32:19 +0100 | <int-e> | we've reached the point of no return |
| 2024-02-23 01:32:41 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2024-02-23 01:33:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-23 01:34:58 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-02-23 01:35:26 +0100 | <L29Ah> | pure is the best: two characters less and no urn |
| 2024-02-23 01:44:39 +0100 | Joao[3] | (~Joao003@190.108.99.207) (Read error: Connection reset by peer) |
| 2024-02-23 01:44:49 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:918:53fc:9cd7:86ec) |
| 2024-02-23 01:51:05 +0100 | <duncan> | L29Ah: unless you're in the business of making coffins |
| 2024-02-23 01:51:40 +0100 | <int-e> | "all sales are final" |
| 2024-02-23 02:01:13 +0100 | <cheater> | coming up with a good name for return is intractable in general |
| 2024-02-23 02:01:21 +0100 | <cheater> | due to the halting problem |
| 2024-02-23 02:01:26 +0100 | <cheater> | maybe you want to look at prolog |
| 2024-02-23 02:03:20 +0100 | <int-e> | cheater: have you been possessed by Gemma? |
| 2024-02-23 02:03:28 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 02:08:11 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-02-23 02:38:37 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
| 2024-02-23 02:50:23 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-23 02:52:14 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-23 02:53:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-02-23 02:53:41 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-23 03:02:13 +0100 | <probie> | (bad suggestion) Instead of having the confusing return function, we should have `unit :: Monad m => m ()` and write `foo <$ unit` instead of `return foo` or `pure foo`. |
| 2024-02-23 03:02:45 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-02-23 03:03:29 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-02-23 03:09:55 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-02-23 03:21:16 +0100 | mjs2600_ | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-23 03:23:37 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2024-02-23 03:31:18 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:918:53fc:9cd7:86ec) (Remote host closed the connection) |
| 2024-02-23 03:32:42 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-02-23 03:34:29 +0100 | <zwro> | pure is Applicative though |
| 2024-02-23 03:36:12 +0100 | <geekosaur> | so? |
| 2024-02-23 03:37:30 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:cf8:f10e:31e1:643) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-02-23 03:37:51 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:689a:c37e:cfcb:ba1) |
| 2024-02-23 03:38:45 +0100 | <zwro> | right, it's inconsequent, nvm |
| 2024-02-23 03:39:03 +0100 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-02-23 03:40:03 +0100 | <dmj`> | are there pedagogical HM(X) style implementations where X includes typeclass constraints |
| 2024-02-23 03:40:47 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds) |
| 2024-02-23 03:40:47 +0100 | erisco_ | erisco |
| 2024-02-23 03:43:49 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-02-23 03:45:00 +0100 | <zwro> | why don't we have `IO Void` instead of `IO ()` ? |
| 2024-02-23 03:45:27 +0100 | <zwro> | wouldn't that be possible? |
| 2024-02-23 03:46:41 +0100 | <int-e> | to what end? |
| 2024-02-23 03:46:51 +0100 | <int-e> | Also what exactly is Void here... |
| 2024-02-23 03:46:53 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-23 03:46:54 +0100 | <Axman6> | that just tells you that it never returns |
| 2024-02-23 03:47:08 +0100 | <int-e> | :t forever |
| 2024-02-23 03:47:09 +0100 | <lambdabot> | Applicative f => f a -> f b |
| 2024-02-23 03:47:30 +0100 | <Axman6> | so you could use the type of a webserver as IO Void I guess |
| 2024-02-23 03:48:03 +0100 | <int-e> | (forever also expresses that it never returns with the same potential `undefined` escape hatch) |
| 2024-02-23 03:49:57 +0100 | <zwro> | int-e: https://hackage.haskell.org/package/base-4.19.1.0/docs/Data-Void.html#t:Void |
| 2024-02-23 03:50:14 +0100 | <Axman6> | I'm pretty sure int-e knows what Void is |
| 2024-02-23 03:50:22 +0100 | <Axman6> | zwro: why do you think that would be useful? |
| 2024-02-23 03:50:43 +0100 | <int-e> | Well then `IO Void` instead of `IO ()` aren't the same. The former would be an action that never returns a defined value, which is ugly. |
| 2024-02-23 03:50:53 +0100 | <zwro> | Axman6: int-e asked me what I meant exactly, I was just clarifying |
| 2024-02-23 03:51:08 +0100 | <int-e> | yeah |
| 2024-02-23 03:51:49 +0100 | <Axman6> | ah indeed, sorry |
| 2024-02-23 03:52:41 +0100 | <int-e> | Axman6: It had a purpose too, I wasn't sure whether zwro knows what the standard definition is; it could've been something made up on the spot. |
| 2024-02-23 03:53:19 +0100 | <zwro> | int-e: why is it ugly? are there situations where you would use a returned () ? (for IO actions that return "nothing" i mean) |
| 2024-02-23 03:54:09 +0100 | <geekosaur> | the point is that `IO Void` means "never returns", not "returns nothing" |
| 2024-02-23 03:54:17 +0100 | <zwro> | i haven't thought this through at all, the idea just came to me |
| 2024-02-23 03:54:28 +0100 | <geekosaur> | (ignoring `undefined`) |
| 2024-02-23 03:55:01 +0100 | <zwro> | well, it returns something of type Void, which has no value |
| 2024-02-23 03:55:32 +0100 | <zwro> | isn't it more consisent to not have a value that we can use? |
| 2024-02-23 03:55:44 +0100 | <Axman6> | zwro: if something with IO Void ever returned, you would be able to access a value of type Void, so you could do foo >>= print, to print the Void you received, but there are no values of type Void, it is impossible, therefor IO Void must run forever/throw an exception |
| 2024-02-23 03:55:47 +0100 | <geekosaur> | if it has no values, how can it return a value? |
| 2024-02-23 03:56:31 +0100 | <int-e> | You might want to pass the IO action to a polymorphic function that forces the returned result... that's a no-op with () but would crash the program if you return an undefined value to make a Void. |
| 2024-02-23 03:56:54 +0100 | <zwro> | right... |
| 2024-02-23 03:57:04 +0100 | <Axman6> | printVoid = do { aVoid <- somethingWith :: IO Void; case aVoid of ??? } |
| 2024-02-23 03:57:28 +0100 | <int-e> | Or somebody might print the result. Sure, it's boring, but again, this is something that might happen in code that's polymorphic in the result. Or it might be a progress indicator... |
| 2024-02-23 03:58:03 +0100 | <int-e> | zwro: Oh and it's also not cheaper to return an undefined value. |
| 2024-02-23 03:58:19 +0100 | <zwro> | i'm convinced |
| 2024-02-23 03:58:21 +0100 | <int-e> | The sole () value is statically allocated anyway. |
| 2024-02-23 03:59:20 +0100 | <int-e> | `undefined` will be a static closure; `error ...` is unclear, that might even be a fresh thunk each time. |
| 2024-02-23 04:00:59 +0100 | otto_s | (~user@p4ff27c21.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-23 04:02:45 +0100 | otto_s | (~user@p5de2fe7a.dip0.t-ipconnect.de) |
| 2024-02-23 04:06:13 +0100 | <int-e> | (Ironically there actually is a trick like that deep in the bowels of IO: the `State# RealWorld` token that is passed around internally to ensure the order of operations disappears almost completely at runtime. But that trick can't be used for the polymorphic return value of an IO action.) |
| 2024-02-23 04:08:15 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-23 04:12:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-02-23 04:18:27 +0100 | mulk | (~mulk@p5b2dc887.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-23 04:19:22 +0100 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 255 seconds) |
| 2024-02-23 04:19:43 +0100 | mulk | (~mulk@p5b1128e3.dip0.t-ipconnect.de) |
| 2024-02-23 04:21:06 +0100 | td_ | (~td@i5387091A.versanet.de) |
| 2024-02-23 04:23:37 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-23 04:30:30 +0100 | exolight | (~exolight@176.254.244.83) (Ping timeout: 268 seconds) |
| 2024-02-23 04:30:42 +0100 | benkard | (~mulk@p5b112773.dip0.t-ipconnect.de) |
| 2024-02-23 04:31:03 +0100 | mulk | (~mulk@p5b1128e3.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-23 04:31:03 +0100 | benkard | mulk |
| 2024-02-23 04:40:05 +0100 | mulk | (~mulk@p5b112773.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-23 04:40:45 +0100 | mulk | (~mulk@p5b1127cf.dip0.t-ipconnect.de) |
| 2024-02-23 04:43:34 +0100 | bilegeek | (~bilegeek@2600:1008:b060:46ec:ee43:3ef:aa5a:2476) |
| 2024-02-23 04:45:11 +0100 | mulk | (~mulk@p5b1127cf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-23 04:50:20 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-23 04:59:25 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-02-23 05:03:34 +0100 | mulk | (~mulk@p5b11261a.dip0.t-ipconnect.de) |
| 2024-02-23 05:12:13 +0100 | Guest|80 | (~Guest|80@resnet-nat44-128-114-255-243.ucsc.edu) |
| 2024-02-23 05:12:18 +0100 | <monochrom> | (Belated) People are mislead by C's "void". The correct way according to information theory is: "I have 0 bits of information to give you" = "the type has exactly 1 possible value". Where as "the type has no possible value" = "I have infinitely many bits to tell you". |
| 2024-02-23 05:12:37 +0100 | Guest|80 | (~Guest|80@resnet-nat44-128-114-255-243.ucsc.edu) (Client Quit) |
| 2024-02-23 05:12:40 +0100 | <monochrom> | Not just information theory, but also the Curry-Howard correspondence. |
| 2024-02-23 05:23:04 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
| 2024-02-23 05:23:17 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Client Quit) |
| 2024-02-23 05:23:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-23 05:25:31 +0100 | danza | (~francesco@151.57.252.181) |
| 2024-02-23 05:30:56 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-02-23 05:34:12 +0100 | aforemny | (~aforemny@2001:9e8:6cdc:3e00:1b98:25c3:6ee8:f0cc) |
| 2024-02-23 05:34:37 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf6:db00:17a0:bdf8:4474:7893) (Ping timeout: 264 seconds) |
| 2024-02-23 05:35:14 +0100 | guest114514 | (~guest1145@104.28.245.172) |
| 2024-02-23 05:38:07 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-02-23 05:40:30 +0100 | <EvanR> | (assuming the usual definition of Void), IO a covers IO Void and we love using the most general type |
| 2024-02-23 05:40:43 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-02-23 05:44:59 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-23 05:45:28 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-23 05:49:48 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-23 05:53:53 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-02-23 06:02:55 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-23 06:03:26 +0100 | guest114514 | (~guest1145@104.28.245.172) (Quit: guest114514) |
| 2024-02-23 06:13:28 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 06:15:57 +0100 | danza | (~francesco@151.57.252.181) (Read error: Connection reset by peer) |
| 2024-02-23 06:16:11 +0100 | danza | (~francesco@151.47.235.190) |
| 2024-02-23 06:23:06 +0100 | mulk | (~mulk@p5b11261a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-23 06:31:34 +0100 | mulk | (~mulk@p5b11261a.dip0.t-ipconnect.de) |
| 2024-02-23 06:36:48 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
| 2024-02-23 06:41:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-02-23 06:41:30 +0100 | Square | (~Square@user/square) |
| 2024-02-23 06:41:45 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 06:42:25 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-02-23 06:42:25 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-02-23 06:44:38 +0100 | michalz | (~michalz@185.246.207.217) |
| 2024-02-23 06:44:50 +0100 | michalz | (~michalz@185.246.207.217) (Client Quit) |
| 2024-02-23 06:47:25 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-02-23 07:03:37 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-23 07:04:28 +0100 | benkard | (~mulk@p5b112441.dip0.t-ipconnect.de) |
| 2024-02-23 07:04:37 +0100 | mulk | (~mulk@p5b11261a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-23 07:04:37 +0100 | benkard | mulk |
| 2024-02-23 07:08:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 07:08:32 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2024-02-23 07:08:54 +0100 | connrs | (~connrs@user/connrs) |
| 2024-02-23 07:15:01 +0100 | raoul^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-02-23 07:15:10 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-23 07:15:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-23 07:16:48 +0100 | Rohit70 | (~Rohit@142.231.181.153) |
| 2024-02-23 07:23:13 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-23 07:25:15 +0100 | acidjnk | (~acidjnk@p200300d6e737e78269014d40f6ae7dec.dip0.t-ipconnect.de) |
| 2024-02-23 07:26:07 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-02-23 07:26:12 +0100 | Rohit70 | (~Rohit@142.231.181.153) (Ping timeout: 250 seconds) |
| 2024-02-23 07:31:41 +0100 | rosco | (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 2024-02-23 07:39:46 +0100 | Enviosity | (~Enviosity@176.254.244.83) |
| 2024-02-23 07:44:39 +0100 | CalimeroTeknik | (~calimero@user/calimeroteknik) |
| 2024-02-23 07:48:07 +0100 | <CalimeroTeknik> | hello int-e, I've been called here 'for help' by sprout about the naming that I have opinions about; I don't know how much he has reported of what I contend on that topic, but since I doubt anything would change, the most I can do is discuss why mathematicians "don't like intention-revealing names" as Jim Weirich put it in https://youtu.be/FITJMJjASUs#t=47m23s |
| 2024-02-23 07:52:25 +0100 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-02-23 07:52:46 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds) |
| 2024-02-23 07:52:47 +0100 | erisco_ | erisco |
| 2024-02-23 07:52:53 +0100 | danza | (~francesco@151.47.235.190) (Remote host closed the connection) |
| 2024-02-23 07:53:30 +0100 | <CalimeroTeknik> | and I think they have two reasons for this. The first is that if the names made too much sense, it would distract them from finding common patterns in different things, it would distract them from the abstract pattern. The second is of aesthetics and value systems: when one values abstraction (above all else), applied forms of math are inferior (at least in this sense of 'elegance') and the disgusting analog and contextual world is merely t |
| 2024-02-23 07:53:30 +0100 | <CalimeroTeknik> | he sadly necessary support for pure abstraction. |
| 2024-02-23 07:53:51 +0100 | danza | (~francesco@151.47.235.190) |
| 2024-02-23 07:55:24 +0100 | <CalimeroTeknik> | I contend that we should love and respect the neuron computer in our skulls, and to have even further mind space available, short-circuit indirections where sensical. This has probably been relayed: https://ctk.ht.cx/paste/indirection-considered-harmful.jpg |
| 2024-02-23 07:56:59 +0100 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-02-23 07:57:23 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 272 seconds) |
| 2024-02-23 07:57:23 +0100 | erisco_ | erisco |
| 2024-02-23 07:57:33 +0100 | <CalimeroTeknik> | then again, I understand that an equation with intention-revealing names is at cross-purposes with the desire to keep the real world out of all and any algebraic formula, with the excuse (no longer acceptable in computers, cue Haskell) that because the formula will be copied over and over with transformations, single-letter names are shorter and therefore better/faster |
| 2024-02-23 07:57:55 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-23 07:59:06 +0100 | <CalimeroTeknik> | do you think we can make any progress / fix certain things, or that I have misidentified or misrepresented reasons for intentionally using non-meaningful naming? |
| 2024-02-23 08:01:12 +0100 | <CalimeroTeknik> | if the only problem is meaningful naming, I can help. But I think such help is unwanted. |
| 2024-02-23 08:01:40 +0100 | rosco | (~rosco@175.136.156.77) (Client Quit) |
| 2024-02-23 08:03:48 +0100 | danza | (~francesco@151.47.235.190) (Remote host closed the connection) |
| 2024-02-23 08:04:10 +0100 | danza | (~francesco@151.47.235.190) |
| 2024-02-23 08:14:22 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2024-02-23 08:20:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 08:21:42 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-02-23 08:22:33 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-02-23 08:22:33 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-02-23 08:22:33 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-02-23 08:22:37 +0100 | yoo | (~yo0O0o@104.28.194.106) |
| 2024-02-23 08:22:38 +0100 | yoo | (~yo0O0o@104.28.194.106) (Changing host) |
| 2024-02-23 08:22:38 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-23 08:23:36 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-02-23 08:32:12 +0100 | yoo | (~yo0O0o@user/mobivme) (Max SendQ exceeded) |
| 2024-02-23 08:32:28 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:689a:c37e:cfcb:ba1) (Ping timeout: 256 seconds) |
| 2024-02-23 08:33:09 +0100 | yoo | (~yo0O0o@104.28.194.106) |
| 2024-02-23 08:33:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-23 08:35:14 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-02-23 08:44:15 +0100 | danza | (~francesco@151.47.235.190) (Ping timeout: 272 seconds) |
| 2024-02-23 08:44:46 +0100 | bilegeek | (~bilegeek@2600:1008:b060:46ec:ee43:3ef:aa5a:2476) (Quit: Leaving) |
| 2024-02-23 08:49:32 +0100 | danse-nr3 | (~danse@151.47.235.190) |
| 2024-02-23 08:55:04 +0100 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-02-23 08:56:59 +0100 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 264 seconds) |
| 2024-02-23 08:56:59 +0100 | _xor0 | _xor |
| 2024-02-23 09:00:19 +0100 | vpan | (~vpan@212.117.1.172) |
| 2024-02-23 09:02:29 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-23 09:03:20 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) |
| 2024-02-23 09:04:12 +0100 | sroso | (~sroso@user/SrOso) (Ping timeout: 256 seconds) |
| 2024-02-23 09:06:30 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 09:07:05 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-02-23 09:07:28 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 09:08:07 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-02-23 09:08:30 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 09:12:04 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2024-02-23 09:12:47 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-02-23 09:16:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-23 09:18:57 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-23 09:21:57 +0100 | mmhat | (~mmh@p200300f1c70b4410ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-23 09:22:39 +0100 | micro | (~micro@user/micro) (Ping timeout: 255 seconds) |
| 2024-02-23 09:23:02 +0100 | micro | (~micro@user/micro) |
| 2024-02-23 09:23:53 +0100 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-23 09:26:19 +0100 | michalz | (~michalz@185.246.207.218) |
| 2024-02-23 09:32:21 +0100 | HugoVINCENT | (~HugoVINCE@2a04:cec0:109a:2e54:0:51:e692:3501) |
| 2024-02-23 09:33:12 +0100 | <drdo> | Is there a constant space JSON parsing library available? (something like a SAX style parser) |
| 2024-02-23 09:34:13 +0100 | kuribas | (~user@ptr-17d51eo71p4zihsvf0x.18120a2.ip6.access.telenet.be) |
| 2024-02-23 09:34:43 +0100 | HugoVINCENT | (~HugoVINCE@2a04:cec0:109a:2e54:0:51:e692:3501) (Client Quit) |
| 2024-02-23 09:35:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-23 09:35:54 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Write error: Connection reset by peer) |
| 2024-02-23 09:35:54 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | rselim | (ce261f06ff@user/milesrout) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | duncan | (c6181279e3@user/duncan) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 2024-02-23 09:35:54 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Write error: Broken pipe) |
| 2024-02-23 09:35:54 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Write error: Broken pipe) |
| 2024-02-23 09:35:54 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Write error: Broken pipe) |
| 2024-02-23 09:35:54 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-02-23 09:35:55 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2024-02-23 09:35:55 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 2024-02-23 09:35:55 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
| 2024-02-23 09:35:56 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
| 2024-02-23 09:35:57 +0100 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2024-02-23 09:35:57 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-02-23 09:35:57 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2024-02-23 09:35:57 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 2024-02-23 09:35:57 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Remote host closed the connection) |
| 2024-02-23 09:36:07 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-02-23 09:36:08 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-02-23 09:36:10 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-02-23 09:36:10 +0100 | raghavgururajan | (ea769b8000@2a03:6000:1812:100::242) |
| 2024-02-23 09:36:10 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-02-23 09:36:10 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-02-23 09:36:10 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-02-23 09:36:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-02-23 09:36:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-23 09:36:11 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-02-23 09:36:11 +0100 | probie | (cc0b34050a@user/probie) |
| 2024-02-23 09:36:11 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-02-23 09:36:12 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-02-23 09:36:12 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-02-23 09:36:12 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-02-23 09:36:13 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-02-23 09:36:15 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-02-23 09:36:19 +0100 | raghavgururajan | (ea769b8000@2a03:6000:1812:100::242) (Changing host) |
| 2024-02-23 09:36:19 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-02-23 09:36:19 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-02-23 09:36:20 +0100 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-02-23 09:36:21 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
| 2024-02-23 09:36:22 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-02-23 09:36:24 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-02-23 09:36:25 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-02-23 09:36:28 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-02-23 09:36:29 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-02-23 09:36:29 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 240 seconds) |
| 2024-02-23 09:36:32 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-02-23 09:36:32 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-02-23 09:36:32 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-02-23 09:36:32 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-02-23 09:36:32 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-02-23 09:36:39 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-02-23 09:36:39 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-02-23 09:36:39 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-02-23 09:36:40 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-02-23 09:36:40 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-02-23 09:36:40 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-02-23 09:36:40 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-02-23 09:36:40 +0100 | duncan | (c6181279e3@user/duncan) |
| 2024-02-23 09:36:40 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-02-23 09:36:40 +0100 | rselim | (ce261f06ff@user/milesrout) |
| 2024-02-23 09:36:40 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-02-23 09:38:13 +0100 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2024-02-23 09:38:35 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) |
| 2024-02-23 09:40:06 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 09:41:02 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-23 09:41:11 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-23 09:42:47 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-23 09:46:50 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-23 09:52:28 +0100 | <dminuoso> | Not quite sure how SAX fits into this, but any type of succinct parser will do. |
| 2024-02-23 09:52:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-02-23 09:52:59 +0100 | <dminuoso> | hw-json is an example implementation, but other succinct json parsers exist too |
| 2024-02-23 09:53:39 +0100 | <dminuoso> | (Im not too sure what "constant" exactly means to you, constant over what parameter?) |
| 2024-02-23 09:57:58 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-23 10:06:31 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 10:08:47 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-23 10:12:20 +0100 | HugoVincent | (~HugoVince@10.246-14-84.ripe.coltfrance.com) |
| 2024-02-23 10:12:41 +0100 | chele | (~chele@user/chele) |
| 2024-02-23 10:15:40 +0100 | danse-nr3 | (~danse@151.47.235.190) (Read error: Connection reset by peer) |
| 2024-02-23 10:16:13 +0100 | danse-nr3 | (~danse@151.47.149.250) |
| 2024-02-23 10:20:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-02-23 10:21:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 10:21:43 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-23 10:22:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 10:25:11 +0100 | <danse-nr3> | do you know whether is there a ghc option to print a count of errors at the end of a type check? |
| 2024-02-23 10:30:30 +0100 | xff0x | (~xff0x@om126158206105.30.openmobile.ne.jp) |
| 2024-02-23 10:37:41 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-9b1c-bd74-ecb2-b361.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-02-23 10:38:49 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-04e3-9849-5dc8-0efb.res6.spectrum.com) |
| 2024-02-23 10:46:19 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-23 10:51:33 +0100 | danse-nr3 | (~danse@151.47.149.250) (Ping timeout: 272 seconds) |
| 2024-02-23 10:52:03 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-23 10:52:25 +0100 | yoo | (~yo0O0o@104.28.194.106) (Changing host) |
| 2024-02-23 10:52:25 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-23 10:55:22 +0100 | danse-nr3 | (~danse@151.47.149.250) |
| 2024-02-23 11:07:00 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-23 11:08:05 +0100 | <absence> | Is there a quick way to find out which GHC releases contain this fix? https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10140 |
| 2024-02-23 11:10:04 +0100 | <Hecate> | absence: merged two weeks ago, no backport label, most certainly will be in 9.10 |
| 2024-02-23 11:14:14 +0100 | <absence> | Oh, my brain got stuck on "11 months", so I didn't notice how recent it was. Thanks! |
| 2024-02-23 11:19:38 +0100 | dhil | (~dhil@2001:8e0:2014:3100:2fcc:d4ed:82e:2d04) |
| 2024-02-23 11:24:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-02-23 11:24:11 +0100 | xff0x | (~xff0x@om126158206105.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-02-23 11:36:31 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-23 11:42:47 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) |
| 2024-02-23 11:46:14 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2024-02-23 11:49:34 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2024-02-23 11:55:20 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 256 seconds) |
| 2024-02-23 11:57:09 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-23 11:58:31 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2024-02-23 12:07:37 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 264 seconds) |
| 2024-02-23 12:08:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-02-23 12:11:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-02-23 12:13:06 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2024-02-23 12:22:35 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) (Remote host closed the connection) |
| 2024-02-23 12:28:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-23 12:31:48 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 12:34:37 +0100 | trev | (~trev@user/trev) (Ping timeout: 264 seconds) |
| 2024-02-23 12:36:21 +0100 | trev | (~trev@user/trev) |
| 2024-02-23 12:39:46 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-02-23 12:58:30 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-23 13:04:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-23 13:06:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d6e0:65c4:beb1:1d29) |
| 2024-02-23 13:18:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 13:19:39 +0100 | danse-nr3 | (~danse@151.47.149.250) (Ping timeout: 260 seconds) |
| 2024-02-23 13:20:45 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) |
| 2024-02-23 13:21:30 +0100 | <testusr> | Are you aware of any interesting use cases of haskell in robotics , avionics , space systems? |
| 2024-02-23 13:22:04 +0100 | <sprout> | there used to be an embedded haskell |
| 2024-02-23 13:25:27 +0100 | <[Leary]> | testusr: NASA uses Haskell in Copilot & Ogma. |
| 2024-02-23 13:26:04 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) (Remote host closed the connection) |
| 2024-02-23 13:31:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-02-23 13:31:56 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-23 13:34:29 +0100 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2024-02-23 13:37:36 +0100 | <drdo> | dminuoso: constant for the size of the input |
| 2024-02-23 13:38:07 +0100 | <drdo> | I don't want to load gigs of json into memory |
| 2024-02-23 13:39:40 +0100 | <drdo> | dminuoso: I would imagine something like this https://hackage.haskell.org/package/xml-conduit-1.9.1.3/docs/Text-XML-Stream-Parse.html#v:parseBytes but for JSON |
| 2024-02-23 13:41:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d6e0:65c4:beb1:1d29) (Ping timeout: 272 seconds) |
| 2024-02-23 13:43:05 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) |
| 2024-02-23 13:43:17 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-02-23 13:46:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-23 13:46:45 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) |
| 2024-02-23 13:47:45 +0100 | <sm> | testusr: see the recent Haskell Interlude podcast interview with the NASA engineer |
| 2024-02-23 13:48:20 +0100 | <sm> | there was also someone else using it for european space mission control dashboards IIRC |
| 2024-02-23 13:49:38 +0100 | <sm> | https://www.youtube.com/watch?v=26ViUXHtah0 |
| 2024-02-23 13:50:13 +0100 | danse-nr3 | (~danse@151.37.229.123) |
| 2024-02-23 13:52:01 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-02-23 13:57:59 +0100 | <wagle> | how would i reinstall ghcup from 2019 (0.0.7) on a mac? ghcup upgrade gets a cert error, and ghcup nuke isn't there? |
| 2024-02-23 13:58:52 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) (Remote host closed the connection) |
| 2024-02-23 14:00:41 +0100 | <danse-nr3> | not sure. Does the doc not mention removal? |
| 2024-02-23 14:12:55 +0100 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) |
| 2024-02-23 14:15:15 +0100 | destituion | (~destituio@2a02:2121:6b0:945a:2c8d:377a:a50b:130d) (Ping timeout: 256 seconds) |
| 2024-02-23 14:15:45 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-02-23 14:15:54 +0100 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) () |
| 2024-02-23 14:26:46 +0100 | HugoVincent | (~HugoVince@10.246-14-84.ripe.coltfrance.com) (Quit: Client closed) |
| 2024-02-23 14:30:15 +0100 | Achylles | (~Achylles_@45.182.57.22) |
| 2024-02-23 14:32:53 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 252 seconds) |
| 2024-02-23 14:46:31 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-02-23 14:59:29 +0100 | pretty_dumm_guy | (~trottel@2a02:810b:43bf:aba0:d445:2e50:f3ee:6c69) |
| 2024-02-23 15:05:13 +0100 | pretty_dumm_guy | (~trottel@2a02:810b:43bf:aba0:d445:2e50:f3ee:6c69) (Ping timeout: 264 seconds) |
| 2024-02-23 15:06:48 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-23 15:08:25 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-23 15:10:54 +0100 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-02-23 15:11:24 +0100 | mmhat | (~mmh@p200300f1c70b4410ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-23 15:11:48 +0100 | mmhat | (~mmh@p200300f1c70b4403ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-23 15:15:31 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-23 15:22:43 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-02-23 15:24:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 15:37:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-23 15:39:05 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2024-02-23 15:45:39 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2024-02-23 15:47:06 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) |
| 2024-02-23 15:47:23 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-23 15:47:25 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-02-23 15:49:03 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-02-23 15:49:36 +0100 | average | (uid473595@user/average) |
| 2024-02-23 15:53:16 +0100 | phma_ | (~phma@2001:5b0:210b:91a8:ea0b:f2a2:e3e7:60e3) |
| 2024-02-23 15:53:25 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 256 seconds) |
| 2024-02-23 15:54:09 +0100 | phma | (phma@2001:5b0:212a:9c58:a175:50c1:b8ee:eb0e) (Read error: Connection reset by peer) |
| 2024-02-23 15:57:11 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-23 16:05:18 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-02-23 16:21:10 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-02-23 16:21:28 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-23 16:21:42 +0100 | sabino | (~sabino@user/sabino) |
| 2024-02-23 16:23:44 +0100 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 16:24:49 +0100 | danza | (~francesco@151.37.229.123) |
| 2024-02-23 16:24:54 +0100 | danse-nr3 | (~danse@151.37.229.123) (Ping timeout: 268 seconds) |
| 2024-02-23 16:26:51 +0100 | danse-nr3 | (~danse@151.37.229.123) |
| 2024-02-23 16:27:00 +0100 | danza | (~francesco@151.37.229.123) (Remote host closed the connection) |
| 2024-02-23 16:31:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-23 16:34:28 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-23 16:36:05 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 272 seconds) |
| 2024-02-23 16:46:31 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) |
| 2024-02-23 16:47:51 +0100 | <testusr> | thanks guys. |
| 2024-02-23 16:49:57 +0100 | <testusr> | wagle, did you try removing ~/.ghcup/ completely and doing it all over again? |
| 2024-02-23 17:00:57 +0100 | testusr | (~testusr@host-79-25-222-145.retail.telecomitalia.it) (Changing host) |
| 2024-02-23 17:00:57 +0100 | testusr | (~testusr@user/testusr) |
| 2024-02-23 17:03:04 +0100 | cods | (~fred@tuxee.net) |
| 2024-02-23 17:04:09 +0100 | <zwro> | the good 'ol ritual |
| 2024-02-23 17:05:47 +0100 | phma_ | phma |
| 2024-02-23 17:06:28 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-02-23 17:07:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-23 17:07:46 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-02-23 17:08:41 +0100 | Achylles | (~Achylles_@45.182.57.22) (Read error: Connection reset by peer) |
| 2024-02-23 17:08:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-23 17:13:19 +0100 | dhil | (~dhil@2001:8e0:2014:3100:2fcc:d4ed:82e:2d04) (Ping timeout: 268 seconds) |
| 2024-02-23 17:15:21 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-23 17:15:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 17:16:21 +0100 | destituion | (~destituio@2a02:2121:6b0:945a:2d4c:3eb7:3c10:d518) |
| 2024-02-23 17:16:30 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-23 17:19:41 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-23 17:21:01 +0100 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-02-23 17:26:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-23 17:27:00 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) |
| 2024-02-23 17:27:40 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-23 17:34:13 +0100 | euleritian | (~euleritia@dynamic-176-006-182-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-23 17:34:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 17:37:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-23 17:38:15 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-23 17:40:31 +0100 | danse-nr3 | (~danse@151.37.229.123) (Ping timeout: 260 seconds) |
| 2024-02-23 17:40:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-23 17:45:55 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-23 17:49:43 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-23 17:52:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-02-23 17:56:10 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-23 17:59:21 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-23 18:03:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 18:26:49 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-02-23 18:32:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Excess Flood) |
| 2024-02-23 18:34:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-23 18:35:43 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-02-23 18:39:12 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-23 18:45:19 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-23 18:46:38 +0100 | td_ | (~td@i5387091A.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-02-23 18:47:47 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-23 18:50:27 +0100 | td_ | (~td@i5387091A.versanet.de) |
| 2024-02-23 18:55:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-02-23 18:57:28 +0100 | destituion | (~destituio@2a02:2121:6b0:945a:2d4c:3eb7:3c10:d518) (Ping timeout: 246 seconds) |
| 2024-02-23 18:58:09 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) |
| 2024-02-23 19:05:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2024-02-23 19:12:22 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-23 19:20:22 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-23 19:23:01 +0100 | <shapr> | @quote |
| 2024-02-23 19:23:01 +0100 | <lambdabot> | Badger says: one does not simply >>= into mordor |
| 2024-02-23 19:32:16 +0100 | target_i | (~target_i@217.175.14.39) (Ping timeout: 260 seconds) |
| 2024-02-23 19:32:32 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-23 19:38:33 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-23 19:43:33 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-23 19:44:37 +0100 | mmhat | (~mmh@p200300f1c70b4403ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-02-23 19:51:13 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-23 19:53:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-23 19:54:10 +0100 | fryguybob | (~fryguybob@024-094-050-022.inf.spectrum.com) |
| 2024-02-23 19:54:17 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-23 19:57:06 +0100 | <EvanR> | :big thonk: |
| 2024-02-23 20:03:51 +0100 | testusr | (~testusr@user/testusr) (Remote host closed the connection) |
| 2024-02-23 20:10:48 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-23 20:26:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-23 20:31:31 +0100 | <EvanR> | one does not simply traverse into mordor |
| 2024-02-23 20:32:52 +0100 | yoo | (~yo0O0o@104.28.194.106) |
| 2024-02-23 20:34:04 +0100 | <int-e> | imagine using verbs as function names, what a terrible idea |
| 2024-02-23 20:38:43 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-23 20:41:54 +0100 | <EvanR> | object salad = kingdom of nouns. imperative programming = kingdom of verbs. functional programming = ??? |
| 2024-02-23 20:42:29 +0100 | <EvanR> | in lens, adverbs |
| 2024-02-23 20:42:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-23 20:43:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-23 20:45:45 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2024-02-23 20:46:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 20:46:11 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-23 20:47:33 +0100 | <CalimeroTeknik> | int-e, yeah right! it's been pointed out to me that the author of the Eiffel language had exacly the same naming paradigm as me |
| 2024-02-23 20:48:23 +0100 | <CalimeroTeknik> | EvanR, function names shall be nouns, for example: "the square of 7": square 7 → 49 |
| 2024-02-23 20:49:16 +0100 | <CalimeroTeknik> | one interesting case for functions that produce a variant: use an adjective, e.g. 'sorted' |
| 2024-02-23 20:50:33 +0100 | <CalimeroTeknik> | the sum of a collection? a function called `sum`, or if you will `sum_of`, so you don't confuse that with the verb |
| 2024-02-23 20:50:52 +0100 | <CalimeroTeknik> | a function is a value that is a function of its argument |
| 2024-02-23 20:51:54 +0100 | <c_wraith> | amusingly, "sum" and "square" are also both verbs in those contexts. |
| 2024-02-23 20:52:40 +0100 | <CalimeroTeknik> | yes. so for the needs of the demonstration, I'll use sum_of and square_of |
| 2024-02-23 20:52:59 +0100 | <CalimeroTeknik> | in my pseudocode syntax, function application uses the keyword `of` |
| 2024-02-23 20:53:58 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 2024-02-23 20:57:43 +0100 | <monochrom> | I thought functions were verbs. |
| 2024-02-23 20:58:14 +0100 | <int-e> | but verbs get you into mordor |
| 2024-02-23 21:02:51 +0100 | <johnw> | so when you `return` from Mordor, you're still in Mordor |
| 2024-02-23 21:03:21 +0100 | <monochrom> | :( |
| 2024-02-23 21:05:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-02-23 21:15:22 +0100 | Guest20 | (~Guest20@176-151.dsl.iskon.hr) |
| 2024-02-23 21:15:46 +0100 | Guest20 | (~Guest20@176-151.dsl.iskon.hr) (Client Quit) |
| 2024-02-23 21:31:59 +0100 | degraafk | (sid71464@lymington.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-02-23 21:34:11 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-23 21:34:11 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 252 seconds) |
| 2024-02-23 21:34:27 +0100 | yoo | (~yo0O0o@104.28.194.106) (Changing host) |
| 2024-02-23 21:34:27 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-23 21:34:44 +0100 | bjs | (sid190364@user/bjs) (Ping timeout: 252 seconds) |
| 2024-02-23 21:35:15 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2024-02-23 21:37:41 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2024-02-23 21:38:53 +0100 | bjs | (sid190364@user/bjs) |
| 2024-02-23 21:39:41 +0100 | dy | (sid3438@user/dy) (Ping timeout: 252 seconds) |
| 2024-02-23 21:40:14 +0100 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 252 seconds) |
| 2024-02-23 21:40:44 +0100 | dy | (sid3438@user/dy) |
| 2024-02-23 21:43:39 +0100 | idnar | (sid12240@debian/mithrandi) |
| 2024-02-23 21:43:49 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-23 21:56:35 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) |
| 2024-02-23 22:06:55 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-02-23 22:07:46 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-23 22:12:08 +0100 | PotatoGim | (sid99505@lymington.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-02-23 22:12:41 +0100 | carter | (sid14827@helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-02-23 22:12:41 +0100 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 252 seconds) |
| 2024-02-23 22:15:50 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-02-23 22:16:42 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Changing host) |
| 2024-02-23 22:16:42 +0100 | Angelz | (Angelz@user/angelz) |
| 2024-02-23 22:16:53 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2024-02-23 22:17:02 +0100 | jackdk | (sid373013@cssa/jackdk) |
| 2024-02-23 22:20:39 +0100 | <CalimeroTeknik> | monochrom, in C syntax: void add(int a, int b) { a+b; return; }, and int addition(int a, int b) { return a+b; } |
| 2024-02-23 22:20:50 +0100 | <CalimeroTeknik> | where 'add' is intended to be the verb |
| 2024-02-23 22:21:33 +0100 | komikat | (~akshitkr@218.185.248.66) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-02-23 22:21:39 +0100 | <CalimeroTeknik> | I don't know how to do this nonsense in a sane language like Haskell, and perhaps it's best not to |
| 2024-02-23 22:21:51 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-02-23 22:22:27 +0100 | <CalimeroTeknik> | but it makes the point that adding doesn't say anything about what the return value is, it just promises you the numbers will be added at some point |
| 2024-02-23 22:28:51 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) (Ping timeout: 272 seconds) |
| 2024-02-23 22:29:11 +0100 | b20n | (sid115913@uxbridge.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-02-23 22:29:44 +0100 | SanchayanMaity | (sid478177@hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-02-23 22:29:51 +0100 | fansly | (~fansly@2001:448a:2010:476e:3da0:c778:32ca:b540) |
| 2024-02-23 22:30:02 +0100 | destituion | (~destituio@2a02:2121:6b0:945a:fb41:5f60:ee0c:e724) |
| 2024-02-23 22:31:39 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2024-02-23 22:31:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-23 22:34:11 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
| 2024-02-23 22:34:21 +0100 | <EvanR> | The Lord of the Monoids: The return of no return |
| 2024-02-23 22:34:33 +0100 | <EvanR> | hmm. Monads |
| 2024-02-23 22:34:46 +0100 | <EvanR> | anyway, doubly nouny now |
| 2024-02-23 22:35:30 +0100 | <EvanR> | CalimeroTeknik, I recommend spelling that + in haskell |
| 2024-02-23 22:35:45 +0100 | <EvanR> | much to the chagrine of operator overloading refugees |
| 2024-02-23 22:36:17 +0100 | <EvanR> | about naming it in C, probably "plus" instead of add or addition |
| 2024-02-23 22:37:26 +0100 | <EvanR> | now you know as much as if it were spelled +, instead of too much |
| 2024-02-23 22:37:51 +0100 | <EvanR> | e.g. in javascript you see + and it's not necessarily adding anything |
| 2024-02-23 22:38:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-23 22:38:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-23 22:38:56 +0100 | <EvanR> | I could not tell you if plus is a noun a verb or anything else |
| 2024-02-23 22:40:12 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-02-23 22:46:11 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 22:47:07 +0100 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-23 22:49:37 +0100 | <komikat> | hi, I was interested in https://summer.haskell.org/ideas.html#inlay-hints and wanted to get in touch with the mentor, any help would be appreciated |
| 2024-02-23 22:51:04 +0100 | <d34df00d> | An ordering function for my type needs to live in a monad. Are there any `Set`-like data structures out there that support such orderings (and hence also all their ops live in that monad)? |
| 2024-02-23 22:52:11 +0100 | son0p | (~ff@181.237.199.182) (Ping timeout: 256 seconds) |
| 2024-02-23 22:53:52 +0100 | fansly | (~fansly@2001:448a:2010:476e:3da0:c778:32ca:b540) (Ping timeout: 260 seconds) |
| 2024-02-23 22:55:09 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-23 22:56:37 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 2024-02-23 22:56:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-23 22:57:15 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-23 22:58:47 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-02-23 23:03:00 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Ping timeout: 255 seconds) |
| 2024-02-23 23:04:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-23 23:05:08 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-02-23 23:05:32 +0100 | <c_wraith> | d34df00d: I'm really unsure what you mean by that. do you have some types in mind? |
| 2024-02-23 23:08:09 +0100 | <d34df00d> | c_wraith: sure. Suppose I have `myOrd :: MyType -> MyType -> MyMonad Ordering`, and I'd like to store these in a set. So what I'm looking for is some `SetM :: (Type -> Type) -> Type -> Type`, with ops like `insertM :: OrdM m a => a -> SetM m a -> m (SetM m a)` |
| 2024-02-23 23:08:36 +0100 | <d34df00d> | Where `OrdM` instance is what really uses my `myOrd`. |
| 2024-02-23 23:09:30 +0100 | <d34df00d> | And, for instance,with m ~ Identity this all is equivalent to your usual Ord, Set and so on. |
| 2024-02-23 23:09:40 +0100 | <c_wraith> | Ah, I see. |
| 2024-02-23 23:09:59 +0100 | <c_wraith> | As a generic interface, it's not very conducive to efficient implementations |
| 2024-02-23 23:10:34 +0100 | <c_wraith> | It would only work with a narrow selection of monads |
| 2024-02-23 23:10:47 +0100 | <c_wraith> | so I don't think it's likely that it's been done. |
| 2024-02-23 23:10:56 +0100 | <d34df00d> | Welp, time to make one! |
| 2024-02-23 23:10:58 +0100 | <d34df00d> | Thanks! |
| 2024-02-23 23:11:17 +0100 | <d34df00d> | Just curious — what do you mean by a narrow selection? Like, what might be problematic in this case? |
| 2024-02-23 23:11:26 +0100 | <c_wraith> | well, m can't really be IO |
| 2024-02-23 23:11:48 +0100 | <c_wraith> | (I mean, it could be, but IO can't guarantee stability) |
| 2024-02-23 23:11:51 +0100 | <d34df00d> | Yeah, let's scratch that and anything that would break your usual ordering invariants (like a stateful ordering). |
| 2024-02-23 23:12:12 +0100 | <c_wraith> | Right. That doesn't leave all that many monads. |
| 2024-02-23 23:12:54 +0100 | <c_wraith> | like.. Reader. (Ok, there are some others. But that's the most obviously useful one) |
| 2024-02-23 23:13:36 +0100 | <CalimeroTeknik> | EvanR, 'plus' is a conjunction in English grammar, which might be a nice idea for operators |
| 2024-02-23 23:13:39 +0100 | <d34df00d> | Well, in my use case I care about something like Reader + a-part-of-State-that-doesn't-influence-ordering + Except or something like that. |
| 2024-02-23 23:14:26 +0100 | <CalimeroTeknik> | EvanR, basically all operator names (and, or, over, …) are conjunctions in English |
| 2024-02-23 23:14:59 +0100 | <c_wraith> | d34df00d: Maybe make your interface in terms of MonadReader or something? Then it would be more clear why it's not doing to break things. |
| 2024-02-23 23:15:14 +0100 | <c_wraith> | *going to |
| 2024-02-23 23:15:31 +0100 | <d34df00d> | Hmm, that's an expressive way to do that! |
| 2024-02-23 23:15:38 +0100 | <d34df00d> | I might go that route indeed, thanks! |
| 2024-02-23 23:15:53 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-23 23:17:24 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-23 23:25:57 +0100 | <CalimeroTeknik> | does MonadReader have something to do with "the reader monad"? |
| 2024-02-23 23:26:33 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-23 23:27:59 +0100 | <geekosaur> | you could think of it as "the monadic interface for reader functionality" |
| 2024-02-23 23:28:04 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-23 23:28:13 +0100 | <ncf> | the reader monad is the prototypical example of a MonadReader |
| 2024-02-23 23:28:23 +0100 | <geekosaur> | Reader/ReaderT implements it, as does RWS/RWST, and potentially custom monads |
| 2024-02-23 23:34:34 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-23 23:35:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2024-02-23 23:35:31 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-23 23:41:47 +0100 | sroso | (~sroso@user/SrOso) (Ping timeout: 252 seconds) |
| 2024-02-23 23:42:54 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-23 23:44:03 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2024-02-23 23:47:38 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-23 23:49:03 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-23 23:49:10 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-23 23:52:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
