2025-05-10 00:01:26 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
2025-05-10 00:01:26 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
2025-05-10 00:01:26 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
2025-05-10 00:03:14 +0200 | Guest48 | (~Guest48@104.156.111.174) |
2025-05-10 00:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-10 00:26:36 +0200 | <EvanR> | :t mzero |
2025-05-10 00:26:36 +0200 | <lambdabot> | MonadPlus m => m a |
2025-05-10 00:26:40 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-10 00:26:40 +0200 | <EvanR> | :t fail |
2025-05-10 00:26:41 +0200 | <lambdabot> | MonadFail m => String -> m a |
2025-05-10 00:26:58 +0200 | euleritian | (~euleritia@77.23.248.100) |
2025-05-10 00:27:00 +0200 | <EvanR> | too bad good nails are taken |
2025-05-10 00:27:02 +0200 | <EvanR> | names |
2025-05-10 00:27:36 +0200 | eron | (~eron@179.118.250.144) (Quit: Client closed) |
2025-05-10 00:28:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 00:29:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-05-10 00:30:00 +0200 | <monochrom> | Consider "flouder". >:) |
2025-05-10 00:30:44 +0200 | <monochrom> | err, flounder! |
2025-05-10 00:31:06 +0200 | monochrom | 's spelling skill flounders. |
2025-05-10 00:31:59 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
2025-05-10 00:32:13 +0200 | <monochrom> | I learned that word very recently from the Curry language. |
2025-05-10 00:32:22 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-05-10 00:33:03 +0200 | <EvanR> | flounder, sebastian, scuttle, flotsam, jetsam |
2025-05-10 00:35:38 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Remote host closed the connection) |
2025-05-10 00:36:03 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) manwithluck |
2025-05-10 00:38:35 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
2025-05-10 00:39:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-10 00:41:21 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-05-10 00:41:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
2025-05-10 00:42:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-10 00:52:12 +0200 | <zfnmxt> | I want to write the function "toFunc :: [Either () ()] -> Func a b" where "toFunc (Left () : rest) = Fst "Seq" toFunc rest" and the analogue for "Right ()". My "Func" datatype is something like "data Func a b where Fst :: Func (a, b) a; Snd :: Func (a, b) b; Id Func a a". Obviously this doesn't type, but I'm a bit stuck on what the right approach is for the issue. Instead of "[Either () ()]" I think I could have a type-level "path" and then use TH to... |
2025-05-10 00:52:18 +0200 | <zfnmxt> | ... generate all the different versions of "toFunc" I might need, but I was hoping there's a better/more elegant way. |
2025-05-10 00:53:06 +0200 | <zfnmxt> | Err, forgot the constructor "Seq :: Func a b -> Func b c -> Func a c". |
2025-05-10 00:55:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-10 00:56:59 +0200 | <EvanR> | in toFunc :: [Either () ()] -> Func a b where do you think it's going to get an a or a b from |
2025-05-10 00:59:12 +0200 | <geekosaur> | also I note that `Either () ()` is a funny-looking `Bool` |
2025-05-10 01:00:02 +0200 | <zfnmxt> | I know that's the issue. And you can connect a b to the input "path" using a Path data type along with DataKinds, but then I can no longer have lists of heterogeneous paths, which I also need. |
2025-05-10 01:00:20 +0200 | <zfnmxt> | I used "Either () ()" because "[Left (), Right (), Left(), ...]" etc looks more like a path. :) |
2025-05-10 01:04:35 +0200 | <EvanR> | needs more GADT |
2025-05-10 01:05:06 +0200 | <EvanR> | the path itself can contain the right types |
2025-05-10 01:05:52 +0200 | <zfnmxt> | I tried that too! I.e., I did something like "data Path a b where PEnd :: Path a a; PLeft :: Path a b -> Path (a, c) b; ...". |
2025-05-10 01:06:29 +0200 | <zfnmxt> | And that works for "toFunc", but it breaks my "can no longer have lists of heterogeneous paths" requirement. I.e., I also need something like "[Path a b]" where "a" and "b" vary in the list. |
2025-05-10 01:07:13 +0200 | <EvanR> | the Path needs more types |
2025-05-10 01:07:16 +0200 | <geekosaur> | you can't have that anyway unless you use an HList |
2025-05-10 01:07:17 +0200 | <EvanR> | like a whole list |
2025-05-10 01:08:01 +0200 | <zfnmxt> | Yeah, but every HList is type-leve distinct distinct from every other HList with differently typed elements at each position, right? I.e., aren't HLists just isomorphic to tuples? |
2025-05-10 01:08:22 +0200 | <EvanR> | no, no |
2025-05-10 01:08:39 +0200 | <EvanR> | two hlists with matching type lists are compatible |
2025-05-10 01:08:41 +0200 | <zfnmxt> | This issue is coming up because I'm essentially matching variables in a llittle DSL to arbitrary projection functions. So I have a mapping from variables to paths. So I need to be able to have that mapping AND also convert the paths into the functions, as above. |
2025-05-10 01:08:49 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
2025-05-10 01:09:10 +0200 | <zfnmxt> | Yeah, matching type lists. But the hlists ["foo", 5] and [1, "blah"] are typewise distinct, right? |
2025-05-10 01:09:15 +0200 | <EvanR> | nested tuples would work if you try really hard but it's better to write your own or use HList |
2025-05-10 01:09:34 +0200 | <EvanR> | yes those are differently typed |
2025-05-10 01:09:58 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-05-10 01:10:17 +0200 | <EvanR> | which is good |
2025-05-10 01:10:24 +0200 | <EvanR> | a bogus path would not be accepted |
2025-05-10 01:10:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 01:10:44 +0200 | <zfnmxt> | I'm going to have some translation monad with an variable environment like "Reader [(Var, Path a b)]". So I need one type that goes in there, for arbitrary paths. |
2025-05-10 01:11:08 +0200 | <zfnmxt> | (i.e, "Path a b" definitely doesn't work) |
2025-05-10 01:11:15 +0200 | <EvanR> | what do the a and b even mean there |
2025-05-10 01:11:40 +0200 | <zfnmxt> | Yeah, nothing. I know it doesn't make sense when I write it like that, just trying to communicate the issue. |
2025-05-10 01:12:21 +0200 | <EvanR> | if you want a "collection" of arbitrary paths, it's possible to encapsulated it with operations that work on any path, then hide the type list variable somehow |
2025-05-10 01:12:22 +0200 | <zfnmxt> | I need an environment of arbitrary paths and from those arbitrary paths I must be able to recover arbitrary compositions of projections. |
2025-05-10 01:12:38 +0200 | <zfnmxt> | Like some existential type thing? |
2025-05-10 01:12:49 +0200 | <zfnmxt> | But I also have to actually recover the type in the end =/ |
2025-05-10 01:13:06 +0200 | <EvanR> | to have a collection do anything you need a uniform interface that works for any path |
2025-05-10 01:13:15 +0200 | <EvanR> | in which case no you don't |
2025-05-10 01:13:22 +0200 | <EvanR> | you just recover whatever the of all this is, in the end |
2025-05-10 01:13:26 +0200 | <EvanR> | whatever point is |
2025-05-10 01:13:54 +0200 | <EvanR> | types don't exist at runtime anyway |
2025-05-10 01:13:54 +0200 | <zfnmxt> | The point is to parse into my little "Func a b" DSL. And "Func a b" is parameterized by the inputs and outputs. |
2025-05-10 01:14:18 +0200 | <EvanR> | so that's what a and b are |
2025-05-10 01:15:07 +0200 | <EvanR> | if the output is Func a b, then you don't need to know all the intermediate types in the end |
2025-05-10 01:16:12 +0200 | <zfnmxt> | But there's no way to determine "a" and "b" without those intermediate types, as far as I can tell. |
2025-05-10 01:16:41 +0200 | <EvanR> | note that existential is (maybe not a great) one way to get this "uniform interface among the various elements of a collection" to work, but there are other ways, like type classes is another, but the point is they're all trying to do some uniform thing on a bunch of things that support that interface |
2025-05-10 01:16:49 +0200 | <EvanR> | oh |
2025-05-10 01:16:54 +0200 | <EvanR> | a and b are unknown? |
2025-05-10 01:17:06 +0200 | <zfnmxt> | a and b are determined by the projection mapping, in this case. |
2025-05-10 01:17:46 +0200 | <EvanR> | in snd :: (a,b) -> b, they're known |
2025-05-10 01:17:54 +0200 | <EvanR> | or chosen by you |
2025-05-10 01:17:58 +0200 | Guest48 | (~Guest48@104.156.111.174) (Quit: Client closed) |
2025-05-10 01:18:27 +0200 | <EvanR> | if you're parsing a program, I can see how the type of the program may not be known |
2025-05-10 01:18:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-10 01:18:40 +0200 | <zfnmxt> | Here's an example. Env = [("x", [Left (), Right (), Left ()])]. Now you want to convert the program "Var "x"" into a "Func a b". So you look up ""x"" in the env, and get its path, which corresponds to the "Func" program "Fst "Seq"Snd"Seq" Fst :: Func ((a,(b, c)), d) b". |
2025-05-10 01:19:15 +0200 | <zfnmxt> | So the path completely determines the type of "Func". |
2025-05-10 01:19:16 +0200 | <EvanR> | an environment with a bunch of typed things is a classic GADT exercise |
2025-05-10 01:19:33 +0200 | <EvanR> | which doesn't involve a tree |
2025-05-10 01:20:10 +0200 | <EvanR> | you can do it usually with a straight list |
2025-05-10 01:20:24 +0200 | <zfnmxt> | I don't see what the environment should look like, though, because every variable can have a different path---how can I have a mapping of elements of different types? |
2025-05-10 01:21:09 +0200 | <zfnmxt> | Either you make them all typewise identical, in which case you throw away the required information to convert the path to a "Func". Or you make them typewise different, in which case you can convert to a "Func" but now you can't place them all in the same mapping. |
2025-05-10 01:21:10 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-05-10 01:21:17 +0200 | <zfnmxt> | Do you see the issue? |
2025-05-10 01:21:47 +0200 | <EvanR> | no because I keep thinking of context (or environment) as a mapping of names to types (or values) |
2025-05-10 01:21:49 +0200 | <EvanR> | not paths |
2025-05-10 01:22:07 +0200 | <EvanR> | which doesn't have to be a tree |
2025-05-10 01:22:45 +0200 | <EvanR> | each time something is added to the context it just gets prepended |
2025-05-10 01:22:51 +0200 | <zfnmxt> | What type would such a mapping have? |
2025-05-10 01:22:53 +0200 | jespada_ | (~jespada@r167-61-136-127.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-05-10 01:23:20 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-05-10 01:24:10 +0200 | <EvanR> | a GADT parameterized by a type level list of the types in each component 2 of each pair |
2025-05-10 01:24:22 +0200 | <EvanR> | component 1 being the name |
2025-05-10 01:24:37 +0200 | <EvanR> | or if the names at type level, type level list of type level tuples |
2025-05-10 01:24:46 +0200 | <EvanR> | something like that! |
2025-05-10 01:25:27 +0200 | <zfnmxt> | Something like "data MapElem String (ts :: TypeList) where ...."? |
2025-05-10 01:26:08 +0200 | <EvanR> | no |
2025-05-10 01:28:47 +0200 | <EvanR> | try this narrative... defining Ctx _, well figure out the _ later. Nil is a Ctx [], the empty context. Also, if c is a Ctx ts and name is a string which goes to type t, then Cons name c is a Ctx (t:ts) |
2025-05-10 01:29:16 +0200 | <EvanR> | that's a context but doesn't have the names at type level, and _ is (type level) list of types |
2025-05-10 01:30:06 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-05-10 01:32:05 +0200 | <EvanR> | Cons "z" (Cons "y" (Cons "x" Nil)) would be a Ctx [Char, Int, Bool] for example |
2025-05-10 01:32:43 +0200 | <zfnmxt> | Just have to wrestle my head around it for a sec. |
2025-05-10 01:33:50 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-05-10 01:34:03 +0200 | <EvanR> | for whatever reason you might need the include the names in the list, paired with the type, which then you might be able to use a tuple, or because you're going to do type class shenanigans for computation, define a pair-like type for that |
2025-05-10 01:37:09 +0200 | sprotte24 | (~sprotte24@p200300d16f4c5600f9fedd9f4ccf13a5.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-05-10 01:42:52 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 265 seconds) |
2025-05-10 01:46:33 +0200 | <zfnmxt> | EvanR: So this, basically: https://gist.github.com/zfnmxt/fc11f78c64651d1ab19a41f3d5a9f2a8 |
2025-05-10 01:47:01 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-05-10 01:47:45 +0200 | <zfnmxt> | And then my monad will just be a "Reader Ctx" and hopefully everything should work out 🙃 |
2025-05-10 01:49:19 +0200 | <EvanR> | that looks cromulent |
2025-05-10 01:49:50 +0200 | <zfnmxt> | Okay, I think I get the approach now. Thanks so much for your help! |
2025-05-10 01:50:02 +0200 | <EvanR> | for your next exercise define a thing which says ("x", t) is an element of some ctx ts |
2025-05-10 01:50:07 +0200 | <EvanR> | that works |
2025-05-10 01:50:16 +0200 | <zfnmxt> | Okdoke. |
2025-05-10 01:50:18 +0200 | <EvanR> | lol |
2025-05-10 01:50:41 +0200 | <EvanR> | (not to mention the computation which decides if this is true or not) |
2025-05-10 01:51:07 +0200 | <zfnmxt> | As an aside, are there any good papers to read on typelits/proxy/etc? |
2025-05-10 01:51:27 +0200 | <zfnmxt> | (Specifically in regards to Haskell, not dependent typing in general.) |
2025-05-10 01:51:48 +0200 | <EvanR> | probably oleg's website |
2025-05-10 01:52:06 +0200 | <zfnmxt> | https://okmij.org/ftp/ this? |
2025-05-10 01:52:40 +0200 | <EvanR> | yeah |
2025-05-10 01:59:49 +0200 | <zfnmxt> | Alright, implemented "ctxElem :: String -> Ctx ts -> Bool". I guess a "find" will have to be a type family if I want the actual type, right? |
2025-05-10 02:05:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2025-05-10 02:06:23 +0200 | <EvanR> | or a type class |
2025-05-10 02:07:24 +0200 | <EvanR> | or yet another GADT to express the element of relation |
2025-05-10 02:08:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-10 02:09:45 +0200 | <zfnmxt> | Right right. okay, will do. Thanks again! |
2025-05-10 02:18:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-05-10 02:19:27 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
2025-05-10 02:24:05 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-05-10 02:24:59 +0200 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 260 seconds) |
2025-05-10 02:25:50 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-10 02:28:49 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-10 02:38:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-10 02:39:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-10 02:40:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-10 02:50:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 02:53:53 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-05-10 02:56:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-10 03:06:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 03:08:20 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-10 03:08:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 03:09:03 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-10 03:10:59 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-10 03:11:12 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
2025-05-10 03:11:33 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-10 03:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 03:11:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-10 03:15:39 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-10 03:16:02 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-10 03:22:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 03:26:39 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-10 03:27:01 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-10 03:34:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-05-10 03:39:28 +0200 | beka_ | (~beka@2600:382:7f22:d94d:377b:c2ed:ee02:e087) |
2025-05-10 03:42:18 +0200 | beka | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) (Ping timeout: 276 seconds) |
2025-05-10 03:53:31 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 03:54:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-05-10 03:54:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-05-10 03:56:17 +0200 | img | (~img@user/img) img |
2025-05-10 04:02:46 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
2025-05-10 04:09:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-05-10 04:11:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-05-10 04:13:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-05-10 04:20:33 +0200 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 248 seconds) |
2025-05-10 04:21:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-05-10 04:22:18 +0200 | td_ | (~td@i53870903.versanet.de) td_ |
2025-05-10 04:22:28 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-05-10 04:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-10 04:38:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 04:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-10 04:46:37 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-05-10 04:47:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-10 04:48:36 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
2025-05-10 04:51:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-10 04:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 04:54:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-10 05:09:07 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Read error: Connection reset by peer) |
2025-05-10 05:48:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 252 seconds) |
2025-05-10 06:01:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 06:06:30 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
2025-05-10 06:09:25 +0200 | beka_ | (~beka@2600:382:7f22:d94d:377b:c2ed:ee02:e087) (Ping timeout: 248 seconds) |
2025-05-10 06:11:29 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
2025-05-10 06:12:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 06:12:48 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-05-10 06:17:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 06:17:55 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-05-10 06:20:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
2025-05-10 06:28:09 +0200 | beka_ | (~beka@207-53-253-162.PUBLIC.monkeybrains.net) |
2025-05-10 06:38:36 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 06:39:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-10 06:45:31 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-05-10 07:01:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 248 seconds) |
2025-05-10 07:03:14 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-05-10 07:03:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
2025-05-10 07:13:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2025-05-10 07:14:48 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-05-10 07:14:48 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-05-10 07:14:48 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-05-10 07:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 07:17:22 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-10 07:27:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 07:28:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
2025-05-10 07:29:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 07:29:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-05-10 07:29:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-05-10 07:29:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-05-10 07:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-10 07:37:09 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-05-10 07:45:24 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
2025-05-10 07:47:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 07:50:59 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 07:52:48 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-10 07:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 07:53:42 +0200 | tavare | (~tavare@user/tavare) (Read error: Connection reset by peer) |
2025-05-10 07:55:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-10 07:58:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-05-10 08:04:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 08:10:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 08:11:14 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-10 08:12:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-10 08:23:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 08:26:41 +0200 | Square | (~Square@user/square) Square |
2025-05-10 08:27:05 +0200 | nckx | (nckx@libera/staff/owl/nckx) nckx |
2025-05-10 08:34:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-05-10 08:51:24 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 08:52:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
2025-05-10 08:59:25 +0200 | beka_ | (~beka@207-53-253-162.PUBLIC.monkeybrains.net) (Ping timeout: 276 seconds) |
2025-05-10 08:59:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f36942ae433a8a88c39.dip0.t-ipconnect.de) |
2025-05-10 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-10 09:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-10 09:01:51 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-05-10 09:02:23 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-05-10 09:03:18 +0200 | <ski> | "if an instance of Alternative is also an instance of Monad, then empty >>= k = ..." -- i don't really like laws which don't belong to any particular type class. if there should be a (non-derivable) law relating operations of two type classes, neither of which being a super class of the other, then make a new subclass of both, even if only to host the extra law(s), having zero additional methods. (yes, and |
2025-05-10 09:03:24 +0200 | <ski> | imho, that about `Bounded' and `Enum' is a mistake .. as would be law relating `Read' and `Show' -- without having common subclasses for these) |
2025-05-10 09:05:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-05-10 09:08:53 +0200 | beka_ | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) |
2025-05-10 09:09:20 +0200 | <ski> | mauke : "in OO, is there a term for mutator methods that don't actually mutate the object but return a modified copy?" -- i would probably say "clone method" (the term "functional update" has also been used). cf. "Functional objects" <https://ocaml.org/manual/5.3/objectexamples.html#s:functional-objects>, and the next "Cloning objects" section, in the OCaml manual |
2025-05-10 09:11:32 +0200 | razetime | (~quassel@49.207.228.134) |
2025-05-10 09:15:40 +0200 | beka_ | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) (Ping timeout: 276 seconds) |
2025-05-10 09:21:15 +0200 | <Maxdamantus> | Lombok (Java) originally called them "wither"s I think, corresponding with a `@Wither` annotation. |
2025-05-10 09:21:36 +0200 | <Maxdamantus> | though they apparently changed it to `@With` before it was stabilised. |
2025-05-10 09:22:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-10 09:25:52 +0200 | beka_ | (~beka@170-39-168-234.PUBLIC.monkeybrains.net) |
2025-05-10 09:33:09 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
2025-05-10 09:50:15 +0200 | razetime | (~quassel@49.207.228.134) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-05-10 09:50:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-10 10:03:51 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Remote host closed the connection) |
2025-05-10 10:04:16 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) manwithluck |
2025-05-10 10:06:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-05-10 10:08:33 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-10 10:17:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-05-10 10:18:04 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Ping timeout: 260 seconds) |
2025-05-10 10:18:23 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 10:18:36 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) manwithluck |
2025-05-10 10:25:29 +0200 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
2025-05-10 10:26:36 +0200 | milan | (~milan@88.212.61.169) |
2025-05-10 10:33:39 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-05-10 10:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-05-10 10:45:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 10:48:37 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
2025-05-10 11:01:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 11:01:37 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-05-10 11:46:23 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-10 11:49:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-10 11:49:26 +0200 | pavonia | PavWhoSays`Ni` |
2025-05-10 11:51:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 11:53:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-05-10 12:00:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 12:02:47 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 12:10:28 +0200 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
2025-05-10 12:12:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) alexherbo2 |
2025-05-10 12:22:35 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
2025-05-10 12:23:49 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
2025-05-10 12:28:48 +0200 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Ping timeout: 276 seconds) |
2025-05-10 12:29:03 +0200 | manwithluck | (~manwithlu@104.28.210.121) manwithluck |
2025-05-10 12:30:20 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
2025-05-10 12:58:33 +0200 | <hellwolf> | https://paste.tomsmeding.com/elGjL2Go what do people do without GADT to express such a data type? |
2025-05-10 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-10 13:00:38 +0200 | <int-e> | erase the type argument, hope for the best |
2025-05-10 13:02:06 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-10 13:04:09 +0200 | <hellwolf> | right. runtime asserts or tests. |
2025-05-10 13:04:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 13:08:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 13:14:46 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-10 13:14:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 13:16:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 13:18:36 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
2025-05-10 13:19:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-10 13:28:17 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-05-10 13:35:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 13:36:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) (Remote host closed the connection) |
2025-05-10 13:36:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) alexherbo2 |
2025-05-10 13:39:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) (Remote host closed the connection) |
2025-05-10 13:42:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-05-10 13:45:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 13:45:57 +0200 | floyza | (~gavin@63.238.216.34) gdown |
2025-05-10 13:49:53 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-05-10 13:56:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-05-10 14:11:35 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
2025-05-10 14:12:38 +0200 | euleritian | (~euleritia@dynamic-176-006-131-190.176.6.pool.telefonica.de) |
2025-05-10 14:12:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-10 14:15:32 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-05-10 14:24:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 14:25:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-05-10 14:30:41 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-05-10 14:31:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 14:32:57 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
2025-05-10 14:33:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
2025-05-10 14:33:36 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
2025-05-10 14:34:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-05-10 14:34:26 +0200 | PavWhoSays`Ni` | (~user@user/siracusa) (Quit: Bye!) |
2025-05-10 14:36:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-10 14:36:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-05-10 14:41:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 14:44:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-10 14:48:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 14:52:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-05-10 14:55:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-10 14:56:25 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
2025-05-10 14:58:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 15:00:20 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-05-10 15:01:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-05-10 15:03:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-10 15:03:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 15:06:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 15:14:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-10 15:21:39 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
2025-05-10 15:32:00 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 15:32:11 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-05-10 15:32:17 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-05-10 15:45:40 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 276 seconds) |
2025-05-10 15:47:01 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-05-10 15:47:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 15:48:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-10 15:51:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2025-05-10 15:53:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-10 15:54:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-10 15:55:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 15:58:52 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-05-10 16:04:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 16:39:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 16:43:38 +0200 | euleritian | (~euleritia@dynamic-176-006-131-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-10 16:43:57 +0200 | euleritian | (~euleritia@95.90.209.105) |
2025-05-10 16:59:05 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2025-05-10 16:59:29 +0200 | kmein | (~weechat@user/kmein) kmein |
2025-05-10 17:02:55 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-05-10 17:03:14 +0200 | muham | (~muham@39.37.216.116) |
2025-05-10 17:06:24 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-05-10 17:14:45 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f36942ae433a8a88c39.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-05-10 17:21:11 +0200 | muham | (~muham@39.37.216.116) (Quit: Leaving) |
2025-05-10 17:22:47 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-05-10 17:30:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-10 17:40:49 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
2025-05-10 17:41:25 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-10 17:43:48 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-05-10 17:48:06 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
2025-05-10 17:50:32 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-05-10 17:59:15 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.2) |
2025-05-10 18:00:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 18:07:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-10 18:09:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 18:10:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-05-10 18:11:22 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
2025-05-10 18:15:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 18:16:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-10 18:17:23 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 18:17:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-10 18:22:39 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 18:27:10 +0200 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 252 seconds) |
2025-05-10 18:29:52 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-10 18:31:07 +0200 | kimiamania99 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2025-05-10 18:31:32 +0200 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
2025-05-10 18:33:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-10 18:35:39 +0200 | razetime | (~quassel@49.207.228.134) |
2025-05-10 18:39:02 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-05-10 18:39:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 18:40:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-10 18:40:33 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-05-10 18:47:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-05-10 18:58:04 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
2025-05-10 19:04:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 19:07:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-05-10 19:21:29 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-05-10 19:25:37 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2025-05-10 19:27:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-05-10 19:29:41 +0200 | puke | (~puke@user/puke) puke |
2025-05-10 19:31:40 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-05-10 19:33:35 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 260 seconds) |
2025-05-10 19:38:51 +0200 | jespada | (~jespada@179.26.250.37) jespada |
2025-05-10 19:40:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 19:43:31 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-05-10 19:55:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
2025-05-10 19:59:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-10 20:06:35 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-05-10 20:06:36 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
2025-05-10 20:09:29 +0200 | <hellwolf> | the unused type variable of a type synonym is completely ignored, right? |
2025-05-10 20:10:16 +0200 | hellwolf | is not complete crazy; just touched some grass and came back. |
2025-05-10 20:10:53 +0200 | <geekosaur> | I believe so, since it's the expansion that matters to the typechecker |
2025-05-10 20:11:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 20:11:49 +0200 | <hellwolf> | probably it should be a warning in -Wall |
2025-05-10 20:12:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
2025-05-10 20:12:28 +0200 | <hellwolf> | what would be a sane reason for it even be used? |
2025-05-10 20:13:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-10 20:13:04 +0200 | euleritian | (~euleritia@95.90.209.105) (Ping timeout: 260 seconds) |
2025-05-10 20:13:34 +0200 | <geekosaur> | backward compatibility when something changes such that it's not needed any more? |
2025-05-10 20:14:34 +0200 | <hellwolf> | or fitting some type shape of others API |
2025-05-10 20:14:40 +0200 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
2025-05-10 20:15:56 +0200 | <hellwolf> | I guess newtype wrapper is inevitable. I wasn't 100% sure of it until I tried in playground. |
2025-05-10 20:16:53 +0200 | beka_ | (~beka@170-39-168-234.PUBLIC.monkeybrains.net) (Quit: Leaving) |
2025-05-10 20:19:17 +0200 | <EvanR> | yes unused things are good |
2025-05-10 20:19:42 +0200 | <EvanR> | then you can have an array of things of the same form fit the same shape |
2025-05-10 20:21:13 +0200 | drewr | (~drew@user/drewr) drewr |
2025-05-10 20:21:15 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f36c510993b03445193.dip0.t-ipconnect.de) acidjnk |
2025-05-10 20:21:37 +0200 | <EvanR> | like a zero ohm resistor is pointless because it has no resistance right, but can be handled by the resistor placing robot |
2025-05-10 20:24:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 20:26:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-10 20:31:09 +0200 | PavWhoSays`Ni` | (~user@user/siracusa) siracusa |
2025-05-10 20:32:31 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2025-05-10 20:32:32 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-10 20:38:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 20:38:29 +0200 | <[exa]> | EvanR: "this resistor is 0 ohms, we can omit it!!!" |
2025-05-10 20:40:14 +0200 | <EvanR> | now the board is broken |
2025-05-10 20:40:18 +0200 | <geekosaur> | they're called "jumpers" 😛 |
2025-05-10 20:42:33 +0200 | <geekosaur> | (and they actually make 0-ohm resistors for that purpose, since they can be handled by wave soldering which standard jumpers fail with) |
2025-05-10 20:43:22 +0200 | <EvanR> | I tried to find a "computer chip" emoji but instead found 𓀨 |
2025-05-10 20:43:56 +0200 | <geekosaur> | I think you need one of the add-on packs on discord for that 😛 |
2025-05-10 20:44:06 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-05-10 20:44:24 +0200 | <EvanR> | https://i.imgur.com/qGnzYt8.png |
2025-05-10 20:45:30 +0200 | <[exa]> | EvanR: that looks like integrated circuits way before miniaturization |
2025-05-10 20:45:38 +0200 | <[exa]> | a true hieroglyph |
2025-05-10 20:45:39 +0200 | <geekosaur> | https://en.wikipedia.org/wiki/File:Fear_Factory_Digimortal.jpg |
2025-05-10 20:51:41 +0200 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-10 20:51:59 +0200 | euleritian | (~euleritia@ip5f5ad169.dynamic.kabel-deutschland.de) |
2025-05-10 20:52:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-10 20:53:18 +0200 | <EvanR> | egyptians were ahead of their time, computer chips and emoji |
2025-05-10 20:57:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-10 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-10 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-10 21:04:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-05-10 21:04:54 +0200 | euleritian | (~euleritia@ip5f5ad169.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-05-10 21:05:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-10 21:05:30 +0200 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
2025-05-10 21:09:12 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-10 21:12:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-05-10 21:12:40 +0200 | ljdarj1 | ljdarj |
2025-05-10 21:18:47 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-10 21:19:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-10 21:21:56 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-05-10 21:26:21 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 276 seconds) |
2025-05-10 21:26:28 +0200 | halloy5771 | (~halloy577@205.175.106.139) |
2025-05-10 21:26:53 +0200 | halloy5771 | (~halloy577@205.175.106.139) (Client Quit) |
2025-05-10 21:27:42 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-05-10 21:29:11 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
2025-05-10 21:29:43 +0200 | sprotte24 | (~sprotte24@p200300d16f2ffb009dfc124c182392c1.dip0.t-ipconnect.de) |
2025-05-10 21:30:32 +0200 | <monochrom> | "I tried to find a computer chip. Instead I found a truckload of computer chips." >:) |
2025-05-10 21:32:42 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-05-10 21:38:45 +0200 | <int-e> | Where is this going... the transistor of Gisa? |
2025-05-10 21:43:02 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-05-10 21:52:39 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
2025-05-10 21:54:18 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
2025-05-10 22:00:53 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-05-10 22:04:33 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-05-10 22:05:13 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
2025-05-10 22:09:24 +0200 | rvalue- | rvalue |
2025-05-10 22:11:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-10 22:13:38 +0200 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
2025-05-10 22:14:11 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Read error: Connection reset by peer) |
2025-05-10 22:19:03 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
2025-05-10 22:20:54 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
2025-05-10 22:28:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-10 22:28:46 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-23-234-94-48.cust.tzulo.com) Jeanne-Kamikaze |
2025-05-10 22:29:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-10 22:33:03 +0200 | GuerrillaMonkey | (~Jeanne-Ka@static-23-234-95-175.cust.tzulo.com) Jeanne-Kamikaze |
2025-05-10 22:33:34 +0200 | GuerrillaMonkey | (~Jeanne-Ka@static-23-234-95-175.cust.tzulo.com) (Remote host closed the connection) |
2025-05-10 22:35:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-10 22:35:50 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-23-234-94-48.cust.tzulo.com) (Ping timeout: 252 seconds) |
2025-05-10 22:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-10 22:46:13 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f36c510993b03445193.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-05-10 22:46:13 +0200 | son0p | (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) (Ping timeout: 276 seconds) |
2025-05-10 22:55:20 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f364d32859780c983b8.dip0.t-ipconnect.de) acidjnk |
2025-05-10 22:56:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-10 22:57:41 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-10 22:59:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-10 23:02:08 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-10 23:02:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
2025-05-10 23:03:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-05-10 23:05:52 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-05-10 23:06:20 +0200 | rinaldo | (~rinaldosu@2001:1c00:a01:bc00:14d0:6f82:aff7:2606) |
2025-05-10 23:07:44 +0200 | rinaldo | (~rinaldosu@2001:1c00:a01:bc00:14d0:6f82:aff7:2606) (Client Quit) |
2025-05-10 23:16:09 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-10 23:18:14 +0200 | nckx | (~nckx@libera/staff/owl/nckx) nckx |