| 2024-08-20 00:00:46 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-20 00:11:11 +0200 | esnos | (~user@176.106.34.161) |
| 2024-08-20 00:11:59 +0200 | <esnos> | Hi, do you know why here I get "parser: parse error on input '|'" in this code? |
| 2024-08-20 00:12:08 +0200 | <esnos> | g s = |
| 2024-08-20 00:12:08 +0200 | <esnos> | let result = runParser (Parser f) s |
| 2024-08-20 00:12:08 +0200 | <esnos> | in | isNothing result = Nothing |
| 2024-08-20 00:12:08 +0200 | <esnos> | | otherwise = |
| 2024-08-20 00:12:11 +0200 | <esnos> | let Just (fRest, strRest) = result |
| 2024-08-20 00:12:14 +0200 | <esnos> | in first fRest <$> runParser (Parser a) strRest |
| 2024-08-20 00:13:06 +0200 | <geekosaur> | you can't put guards after "let ... in" |
| 2024-08-20 00:13:53 +0200 | <geekosaur> | what you can do is put the definition of `result` in a `where` clause and use it within guards |
| 2024-08-20 00:14:07 +0200 | <esnos> | So I have to just use guards with where, or let with case of? |
| 2024-08-20 00:14:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-20 00:14:45 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-08-20 00:14:47 +0200 | <ncf> | or let with MultiWayIf |
| 2024-08-20 00:15:35 +0200 | <EvanR> | or guards on top level definitions |
| 2024-08-20 00:16:08 +0200 | <mauke> | why use let at all |
| 2024-08-20 00:17:02 +0200 | <mauke> | g s = case runParser (Parser f) s of { Nothing -> Nothing; Just (fRest, strRest) -> first fRest <$> runParser (Parser a) strRest } |
| 2024-08-20 00:19:49 +0200 | <esnos> | mauke: I just wanted to know if I can do that |
| 2024-08-20 00:21:26 +0200 | <esnos> | I'm trying to read Haskell languare report and there is line |
| 2024-08-20 00:22:09 +0200 | <geekosaur> | guards always come before the = |
| 2024-08-20 00:22:17 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-08-20 00:22:25 +0200 | <esnos> | lexp → let decls in exp, which means that there must be expression after "in", so guards are not expressions and case of are? |
| 2024-08-20 00:22:50 +0200 | <mauke> | guards are attached to a pattern |
| 2024-08-20 00:22:52 +0200 | <geekosaur> | case of is an expression, yes. guards are part of a definition, not an expression |
| 2024-08-20 00:23:02 +0200 | <geekosaur> | or patterns in general, yes |
| 2024-08-20 00:23:31 +0200 | <geekosaur> | (exception: with MultiWayIf you can write `if | ...`, but it only works with `if`) |
| 2024-08-20 00:23:49 +0200 | son0p | (~ff@2800:e2:f80:ee7::5) (Ping timeout: 260 seconds) |
| 2024-08-20 00:24:45 +0200 | <mauke> | > case Just 5 of { Just x | even x -> True; _ -> False } |
| 2024-08-20 00:24:47 +0200 | <lambdabot> | False |
| 2024-08-20 00:27:02 +0200 | <esnos> | Ok, I think I understand now, thanks everyone for help |
| 2024-08-20 00:27:08 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-20 00:27:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-20 00:34:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-08-20 00:41:17 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-08-20 00:47:22 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2024-08-20 00:51:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 00:51:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 01:04:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-20 01:05:13 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 01:05:13 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 01:05:13 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 01:12:49 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Ping timeout: 248 seconds) |
| 2024-08-20 01:13:43 +0200 | raym | (~ray@user/raym) (Ping timeout: 244 seconds) |
| 2024-08-20 01:15:48 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-08-20 01:20:48 +0200 | raym | (~ray@user/raym) |
| 2024-08-20 01:22:26 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 248 seconds) |
| 2024-08-20 01:31:11 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-20 01:32:10 +0200 | Achylles | (~Achylles@45.182.57.14) (Quit: Leaving) |
| 2024-08-20 01:33:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-20 01:33:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-20 01:43:35 +0200 | haritzondo | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-08-20 01:43:42 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-08-20 01:43:46 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) |
| 2024-08-20 01:46:13 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb5259affcc514115865.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-08-20 01:49:26 +0200 | esnos | (~user@176.106.34.161) (Ping timeout: 252 seconds) |
| 2024-08-20 01:53:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 01:53:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-20 02:00:23 +0200 | Bynb87212 | (~Axman6@user/axman6) |
| 2024-08-20 02:03:07 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-20 02:04:39 +0200 | Bynb87212 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-20 02:05:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 02:11:50 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 255 seconds) |
| 2024-08-20 02:24:04 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 02:26:32 +0200 | Bynb55455 | (~Axman6@user/axman6) |
| 2024-08-20 02:28:42 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 02:28:42 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 02:28:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 02:32:46 +0200 | son0p | (~ff@2800:e2:f80:ee7::5) |
| 2024-08-20 02:37:19 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-08-20 02:46:49 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-08-20 02:54:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 03:07:03 +0200 | fuag1_ | (~fuag1@45.14.193.62) |
| 2024-08-20 03:08:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-20 03:10:45 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2024-08-20 03:14:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 03:16:21 +0200 | <albet70> | :t lift |
| 2024-08-20 03:16:23 +0200 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2024-08-20 03:17:42 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2024-08-20 03:20:56 +0200 | <albet70> | fmap lift f into m a? |
| 2024-08-20 03:23:09 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-08-20 03:24:30 +0200 | <albet70> | :t lift id |
| 2024-08-20 03:24:31 +0200 | <lambdabot> | MonadTrans t => t ((->) a) a |
| 2024-08-20 03:26:09 +0200 | fuag1__ | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-08-20 03:29:54 +0200 | fuag1_ | (~fuag1@45.14.193.62) (Ping timeout: 252 seconds) |
| 2024-08-20 03:35:08 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ^C^C^C^C ESC ESC how do i exit this thing) |
| 2024-08-20 03:54:25 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2024-08-20 03:55:22 +0200 | <SrPx> | is GHC WASM still extremely experimental, and expected to have terrible performance (like thousands of times slower than native) or am I doing something wrong? |
| 2024-08-20 03:55:30 +0200 | <SrPx> | SO: https://stackoverflow.com/questions/78890346/simple-recursive-sum-when-compiled-from-haskell-to-wa… |
| 2024-08-20 03:55:54 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 03:55:54 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 03:55:54 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 03:59:10 +0200 | <geekosaur> | definitely still experimental and has performance issues, but that seems excessive |
| 2024-08-20 04:16:49 +0200 | td_ | (~td@83.135.9.9) (Ping timeout: 265 seconds) |
| 2024-08-20 04:17:19 +0200 | <monochrom> | Perhaps traversing a stack is linear-time, so traversing a stack linearly many times is quadratic time. |
| 2024-08-20 04:18:19 +0200 | <monochrom> | I wouldn't worry about the very naive and undesirable approach of "f n = n + f (n-1)". |
| 2024-08-20 04:18:28 +0200 | td_ | (~td@i53870906.versanet.de) |
| 2024-08-20 04:18:54 +0200 | <monochrom> | Show me that `foldl' (+)` exceeds linear time, then I will worry. |
| 2024-08-20 04:19:33 +0200 | <monochrom> | Or binary-search-tree lookup exceeds O(tree height) time. |
| 2024-08-20 04:23:34 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 260 seconds) |
| 2024-08-20 04:23:41 +0200 | <monochrom> | This is what's wrong with people mistaking Project Euler for "learn a new language" by writing brute-forcing algorithms. |
| 2024-08-20 04:24:06 +0200 | <monochrom> | Combined with their entitlement attitudes, they now expect brute-forcing to be constant-time operations! |
| 2024-08-20 04:28:33 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2024-08-20 04:29:22 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 04:30:05 +0200 | <Axman6> | We'll see who's laughing when we finally have quantum computers, HA HA HAAA! |
| 2024-08-20 04:30:18 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) (Quit: WeeChat 4.4.1) |
| 2024-08-20 04:30:22 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 04:30:22 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 04:30:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 04:33:32 +0200 | <monochrom> | That will be people like David Deutsch (creator of the quantum factorization algorithm) and Jonathan Dowling (author of Schrödinger's Killer App: Race to Build the World's First Quantum Computer) who are not afraid of linear algebra with complex numbers and maybe a little bit of number theory. |
| 2024-08-20 04:33:52 +0200 | <monochrom> | which mean none of the brute-forcing code monkeys. |
| 2024-08-20 04:34:32 +0200 | <monochrom> | Quantum computer is just vector spaces over the complex numbers. |
| 2024-08-20 04:34:38 +0200 | <monochrom> | s/computer/computing/ |
| 2024-08-20 04:37:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-20 04:41:11 +0200 | drdo5 | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-08-20 04:42:14 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2024-08-20 04:42:14 +0200 | drdo5 | drdo |
| 2024-08-20 04:49:21 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 276 seconds) |
| 2024-08-20 04:50:15 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-08-20 04:51:11 +0200 | <albet70> | "it's probably worth reminding that lifts should respect that standard laws lift id == id and lift (f . g) == (lift f) . (lift g)" in https://stackoverflow.com/questions/2395697/what-is-lifting-in-haskell, that lift is not from Control.Monad.Trans.Class, right? what he mean is fmap? |
| 2024-08-20 04:52:07 +0200 | <monochrom> | That's fmap. |
| 2024-08-20 04:52:18 +0200 | <dolio> | Depends. |
| 2024-08-20 04:52:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0e6:dea5:baf7:2386) (Ping timeout: 252 seconds) |
| 2024-08-20 04:52:55 +0200 | <dolio> | In a Kleisli category, id = return and (.) = (<=<). Then those are rules for MonadTrans. |
| 2024-08-20 04:53:22 +0200 | <monochrom> | Fortunately, "fmap" is still right for that. >:) |
| 2024-08-20 04:56:00 +0200 | youthlic | (~Thunderbi@122.10.198.116) |
| 2024-08-20 04:56:25 +0200 | <dolio> | I guess they're not quite right, but they're rules if you made the operation (lift .) instead. |
| 2024-08-20 04:56:26 +0200 | youthlic | (~Thunderbi@122.10.198.116) (Client Quit) |
| 2024-08-20 05:01:37 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 05:02:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 2024-08-20 05:02:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-20 05:03:17 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 05:03:17 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 05:03:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 05:03:37 +0200 | euleritian | (~euleritia@dynamic-176-006-131-151.176.6.pool.telefonica.de) |
| 2024-08-20 05:14:32 +0200 | bilegeek | (~bilegeek@2600:1008:b0a9:82d6:950d:cb91:c8d0:13a5) (Quit: Leaving) |
| 2024-08-20 05:18:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-20 05:18:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-20 05:19:29 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-08-20 05:20:26 +0200 | youthlic | (~Thunderbi@122.10.198.116) |
| 2024-08-20 05:22:15 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2024-08-20 05:27:46 +0200 | fuag1__ | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2024-08-20 05:39:41 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
| 2024-08-20 05:48:25 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf6:2a00:de98:d26f:f9ba:34ce) |
| 2024-08-20 05:49:44 +0200 | aforemny | (~aforemny@2001:9e8:6cd5:1b00:72fb:902d:5353:4bcd) (Ping timeout: 258 seconds) |
| 2024-08-20 05:53:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 05:58:00 +0200 | xff0x | (~xff0x@om126253131249.31.openmobile.ne.jp) |
| 2024-08-20 06:02:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-20 06:05:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-08-20 06:10:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-20 06:13:15 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:dd46:b628:cfda:5fd9) |
| 2024-08-20 06:20:14 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-08-20 06:23:01 +0200 | euleritian | (~euleritia@dynamic-176-006-131-151.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-20 06:23:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-20 06:29:07 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 06:29:07 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 06:29:07 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 06:35:57 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 06:49:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 06:56:32 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-08-20 07:00:29 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-20 07:03:04 +0200 | Bynb55455 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-20 07:05:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 07:09:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-20 07:24:34 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-20 07:24:48 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-20 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-20 07:34:13 +0200 | youthlic | (~Thunderbi@122.10.198.116) (Changing host) |
| 2024-08-20 07:34:13 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-20 07:35:16 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-20 07:35:32 +0200 | youthlic | (~Thunderbi@122.10.198.126) |
| 2024-08-20 07:43:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 07:46:43 +0200 | xff0x | (~xff0x@om126253131249.31.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-08-20 07:56:42 +0200 | Square2 | (~Square4@user/square) |
| 2024-08-20 07:59:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-20 07:59:49 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-08-20 08:01:35 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-08-20 08:03:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 08:05:27 +0200 | Bynb83122 | (~Axman6@user/axman6) |
| 2024-08-20 08:08:09 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-20 08:09:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2024-08-20 08:12:46 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-20 08:13:55 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-20 08:17:30 +0200 | CiaoSen | (~Jura@2a05:5800:247:3d00:ca4b:d6ff:fec1:99da) |
| 2024-08-20 08:18:11 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 08:26:44 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-08-20 08:29:41 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-20 08:40:23 +0200 | <dminuoso> | 02:17:19 monochrom │ Perhaps traversing a stack is linear-time, so traversing a stack linearly many times is quadratic time. |
| 2024-08-20 08:41:59 +0200 | <dminuoso> | So I do wonder, whether constant time access of memory is really a useful assumption - and I'm not just referring to things like black hole theorems, but cache hierarchies. |
| 2024-08-20 08:42:13 +0200 | <dminuoso> | (Funnily this extends to not just caches but NUMA architectures as well) |
| 2024-08-20 08:42:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 08:43:14 +0200 | <dminuoso> | Especially since if a discussion starts off with "performance issues" its safe to say that the discussion is clearly centered around real-world hardware and its behavior |
| 2024-08-20 08:43:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 08:43:33 +0200 | <dminuoso> | So we should take real-world implementations and behavior into account for asymptotics. |
| 2024-08-20 08:55:15 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-20 08:56:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 09:04:59 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb84b50e886b917f5a86.dip0.t-ipconnect.de) |
| 2024-08-20 09:06:39 +0200 | <Leary> | dminuoso: There are much more fundamental issues to resolve first, like replacing the irrelevant concept of asymptotics entirely. Let's actually model runtime costs within the applicable finite domain, constants included. |
| 2024-08-20 09:08:40 +0200 | youthlic | (~Thunderbi@122.10.198.126) (Remote host closed the connection) |
| 2024-08-20 09:16:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 09:16:30 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) |
| 2024-08-20 09:18:11 +0200 | youthlic | (~Thunderbi@122.10.198.126) |
| 2024-08-20 09:18:34 +0200 | youthlic | (~Thunderbi@122.10.198.126) (Remote host closed the connection) |
| 2024-08-20 09:21:01 +0200 | youthlic | (~Thunderbi@38.181.79.17) |
| 2024-08-20 09:22:50 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) |
| 2024-08-20 09:31:03 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-08-20 09:34:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-20 09:47:04 +0200 | mixfix41 | (~vputer@user/mixfix41) |
| 2024-08-20 09:47:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 09:50:24 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-20 09:52:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 09:53:10 +0200 | Bynb83122 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-20 09:54:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2024-08-20 09:56:28 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2024-08-20 09:56:51 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-20 09:58:16 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) |
| 2024-08-20 09:58:47 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-20 10:01:33 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-20 10:04:46 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-20 10:04:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-20 10:06:56 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-20 10:07:21 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 10:10:09 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-20 10:12:24 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 276 seconds) |
| 2024-08-20 10:13:33 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-20 10:16:32 +0200 | mixfix41 | (~vputer@user/mixfix41) (Ping timeout: 258 seconds) |
| 2024-08-20 10:18:36 +0200 | <Franciman> | yes monochrom and haskell is just assembly |
| 2024-08-20 10:19:13 +0200 | <Franciman> | lol |
| 2024-08-20 10:22:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-20 10:36:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-20 10:37:23 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 10:39:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 10:42:48 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-20 10:45:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 10:47:49 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-20 10:54:36 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-20 10:58:43 +0200 | haritzondo | haritz |
| 2024-08-20 10:58:43 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-08-20 10:58:43 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-08-20 10:59:04 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 11:00:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 11:02:17 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-20 11:02:45 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 11:03:47 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-20 11:05:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-20 11:06:52 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-20 11:13:17 +0200 | ell | (~ellie@user/ellie) (Quit: Leaving) |
| 2024-08-20 11:15:11 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-20 11:17:24 +0200 | youthlic | (~Thunderbi@38.181.79.17) (Ping timeout: 276 seconds) |
| 2024-08-20 11:17:26 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-20 11:18:14 +0200 | rosco | (~rosco@175.136.158.234) (Client Quit) |
| 2024-08-20 11:23:56 +0200 | youthlic | (~Thunderbi@122.10.198.116) |
| 2024-08-20 11:27:12 +0200 | fut | (~futar@129.234.0.168) |
| 2024-08-20 11:28:32 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-20 11:28:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 11:32:41 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-20 11:33:53 +0200 | CiaoSen | (~Jura@2a05:5800:247:3d00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-08-20 11:40:43 +0200 | <albet70> | whats the function name that fold with initial value? |
| 2024-08-20 11:40:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 11:43:38 +0200 | <albet70> | foldl |
| 2024-08-20 11:45:07 +0200 | <danse-nr3> | or foldr. They have significant differences in terms of the evaluation dynamics, there is a good post on haskell wiki about it |
| 2024-08-20 11:46:00 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2024-08-20 11:51:00 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-20 11:52:04 +0200 | <albet70> | why python function can have variable parameter? I dont see that in haskell, for example, reduce in python take two parameter is behavior like foldl1, but with three parameter is foldl, map in python with two parameter is fmap, with three is zipWith |
| 2024-08-20 11:52:33 +0200 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
| 2024-08-20 11:53:37 +0200 | <albet70> | how that a function can be a binary and unary at the same time |
| 2024-08-20 11:54:08 +0200 | <albet70> | function overloading in other language? |
| 2024-08-20 11:54:12 +0200 | <probie> | All python functions take an extra two hidden parameters; *args and **kwargs, and the syntax "hides" that |
| 2024-08-20 11:56:17 +0200 | <probie> | I `f` excepts one parameter, and I call it like, `f(x,y,z,key=val,magic=bad)` what happens is that `f` is called with that one parameter set to `x`, `*args` set to `[y, z]` and `**kwags` set to `{ "key": val, "magic", bad }` |
| 2024-08-20 11:57:22 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-20 12:00:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-08-20 12:00:44 +0200 | <probie> | Haskell just doesn't support any of this. If you want to take a list of args, add that as a parameter, if you want key->value pairs, add that as a parameter. Implicit optional and named arguments make currying harder |
| 2024-08-20 12:01:31 +0200 | <probie> | that said, it's not impossible to have both; I'm fairly sure OCaml does |
| 2024-08-20 12:01:34 +0200 | <albet70> | variadic functions |
| 2024-08-20 12:05:25 +0200 | <probie> | That said, functions in Haskell _can_ be variadic by (ab)using the type class machinery |
| 2024-08-20 12:05:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 12:05:55 +0200 | <danse-nr3> | i discourage going for that. Just make a sum type with the alternatives |
| 2024-08-20 12:05:59 +0200 | <jackdk> | Variadic functions confuse more than they assist IME |
| 2024-08-20 12:06:34 +0200 | <probie> | > printf "%f %s %d" (pi :: Double) "is not" (3 :: Int) :: String |
| 2024-08-20 12:06:36 +0200 | <lambdabot> | "3.141592653589793 is not 3" |
| 2024-08-20 12:06:43 +0200 | <probie> | :t printf |
| 2024-08-20 12:06:44 +0200 | <lambdabot> | PrintfType r => String -> r |
| 2024-08-20 12:12:33 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 12:12:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 12:16:31 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) |
| 2024-08-20 12:17:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 12:21:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 12:22:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-20 12:24:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-20 12:34:24 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-08-20 12:34:25 +0200 | mauke | (~mauke@user/mauke) |
| 2024-08-20 12:38:35 +0200 | fut | (~futar@129.234.0.168) (Quit: leaving) |
| 2024-08-20 12:38:49 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-08-20 12:39:03 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) |
| 2024-08-20 12:39:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-20 12:39:24 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-08-20 12:39:43 +0200 | youthlic | (~Thunderbi@122.10.198.116) (Ping timeout: 264 seconds) |
| 2024-08-20 12:39:45 +0200 | son0p | (~ff@2800:e2:f80:ee7::5) (Ping timeout: 248 seconds) |
| 2024-08-20 12:41:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 12:42:39 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-08-20 12:43:21 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2024-08-20 12:45:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 12:48:40 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-08-20 12:48:43 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 2024-08-20 12:48:57 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-20 12:58:08 +0200 | oo_miguel1 | (~Thunderbi@78.10.207.46) |
| 2024-08-20 12:59:41 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 252 seconds) |
| 2024-08-20 12:59:41 +0200 | oo_miguel1 | oo_miguel |
| 2024-08-20 13:00:52 +0200 | youthlic | (~Thunderbi@38.181.79.17) |
| 2024-08-20 13:03:26 +0200 | youthlic | (~Thunderbi@38.181.79.17) (Changing host) |
| 2024-08-20 13:03:26 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-20 13:09:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-08-20 13:15:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 13:19:30 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 13:20:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 13:21:52 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-20 13:21:56 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-20 13:22:33 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: break) |
| 2024-08-20 13:27:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-20 13:29:24 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-20 13:32:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3316-aaab-412f-2926-d008-cad4.rev.sfr.net) |
| 2024-08-20 13:35:58 +0200 | <dminuoso> | probie: To call them "hidden parameters" is a bit.. strange. |
| 2024-08-20 13:36:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-20 13:36:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 13:37:09 +0200 | <dminuoso> | And saying that all functions take them is more than an exaggeration too. |
| 2024-08-20 13:37:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 13:37:29 +0200 | <dminuoso> | Because you're heavily conflating internal implementation with external behavior. |
| 2024-08-20 13:37:50 +0200 | <dminuoso> | All haskell functions are variadic because they are just passed on a potentially infinite stack in STG. |
| 2024-08-20 13:37:57 +0200 | <dminuoso> | The haskell syntax just "hides" this. |
| 2024-08-20 13:38:08 +0200 | <dminuoso> | Its also true, but not useful to say. |
| 2024-08-20 13:39:39 +0200 | youthlic | (~Thunderbi@122.10.198.116) |
| 2024-08-20 13:40:00 +0200 | <dminuoso> | Also, nothing stops you from just accepting [Dynamic] and `Map String Dynamic` arguments but your pride. |
| 2024-08-20 13:40:45 +0200 | <dminuoso> | Unless you are also willing to acknoledge that dealing with these unshaped/untyped types is a bad idea. |
| 2024-08-20 13:41:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 13:42:00 +0200 | <kuribas> | In haskell you use combinators instead of variadic functions. |
| 2024-08-20 13:42:05 +0200 | <kuribas> | For example, the format library. |
| 2024-08-20 13:42:21 +0200 | <kuribas> | Each combinator does just a single thing. |
| 2024-08-20 13:43:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-20 13:43:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 13:44:43 +0200 | <dminuoso> | Heck, at least the [Dynamic] thing works relatively easy. You can pattern match a bunch of arguments easily: foo a1:a2:_ = g (fromDyn a1) (fromDyn a2) |
| 2024-08-20 13:44:58 +0200 | <dminuoso> | It blows up about as nicely as python code does. |
| 2024-08-20 13:45:22 +0200 | <kuribas> | probably nicer |
| 2024-08-20 13:48:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 13:59:23 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 14:02:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 14:06:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 14:12:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 14:19:06 +0200 | raym | (~ray@user/raym) |
| 2024-08-20 14:22:11 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-08-20 14:23:56 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 14:25:09 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 260 seconds) |
| 2024-08-20 14:28:46 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2024-08-20 14:29:28 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 14:32:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 14:37:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 14:44:40 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Quit: ;-) |
| 2024-08-20 14:46:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2024-08-20 14:46:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 14:47:14 +0200 | AlexNoo | (~AlexNoo@178.34.162.175) (Quit: Leaving) |
| 2024-08-20 14:53:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 14:57:38 +0200 | merijn | (~merijn@77.242.116.146) |
| 2024-08-20 15:02:30 +0200 | dans70191 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 15:02:38 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-20 15:08:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3316-aaab-412f-2926-d008-cad4.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-20 15:08:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3316-aaab-412f-2926-d008-cad4.rev.sfr.net) |
| 2024-08-20 15:10:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 15:12:12 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-20 15:17:02 +0200 | dans70191 | (~danse-nr3@user/danse-nr3) (Quit: nap) |
| 2024-08-20 15:20:15 +0200 | <Leary> | Unsolicited pro-tip of the day: when disentangling IO from STM for bonus atomicity, `join . atomically`, `Monoid a => Monoid (STM (IO a))` and `$>` are your friends. |
| 2024-08-20 15:20:32 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) (Ping timeout: 244 seconds) |
| 2024-08-20 15:22:36 +0200 | mima_ | mima |
| 2024-08-20 15:25:03 +0200 | AlexNoo | (~AlexNoo@178.34.162.175) |
| 2024-08-20 15:28:13 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-20 15:28:35 +0200 | son0p | (~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) |
| 2024-08-20 15:29:42 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
| 2024-08-20 15:32:57 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-08-20 15:33:36 +0200 | <haskellbridge> | <eldritchcookie> where does cabal look for build tools used in build-tool-depends? |
| 2024-08-20 15:42:43 +0200 | <ncf> | hackage |
| 2024-08-20 15:43:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 15:44:50 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-20 15:48:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3316-aaab-412f-2926-d008-cad4.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-20 15:52:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 15:53:25 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-08-20 15:54:22 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 15:54:22 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 15:54:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 15:58:24 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-20 16:13:20 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-20 16:13:33 +0200 | <haskellbridge> | <eldritchcookie> sorry my mistake, where does cabal store the executables after downloading them? the library dependencies are stored in package databases for which exist tools to manipulate and work with which comba |
| 2024-08-20 16:14:13 +0200 | <haskellbridge> | <eldritchcookie> which combination of format + Env var do i need to manually do that? |
| 2024-08-20 16:19:05 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 16:23:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-20 16:23:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-20 16:24:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-20 16:26:46 +0200 | <rini> | probie: ocaml has optional arguments, but you have to name them when calling: foo ~arg:1 |
| 2024-08-20 16:29:07 +0200 | <rini> | I actually wish haskell had this, but the type system gives you lots of alternatives anyway |
| 2024-08-20 16:29:21 +0200 | <rini> | I really like how blaze-html does attributes for example |
| 2024-08-20 16:30:08 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-20 16:30:19 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-08-20 16:30:43 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-20 16:31:00 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-08-20 16:31:33 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-20 16:32:16 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-20 16:33:12 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-08-20 16:33:44 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) |
| 2024-08-20 16:35:03 +0200 | bravespear|3 | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-08-20 16:35:46 +0200 | <EvanR> | in languages which has 1 API function that takes a random combination of arguments, sometimes a string with an embedded configuration language, I always want differently named functions with different APIs |
| 2024-08-20 16:35:54 +0200 | bravespear|2 | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-08-20 16:36:03 +0200 | <EvanR> | it's great that haskell basically does this, whether or not it is required |
| 2024-08-20 16:37:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3219-ae93-c0e9-c388-82ac-7d17.rev.sfr.net) |
| 2024-08-20 16:38:58 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-20 16:39:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-08-20 16:42:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-20 16:43:37 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 16:43:37 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 16:43:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 16:47:47 +0200 | <merijn> | eldritchcookie: Executables installed by cabal are installed inside the global store (i.e. where the libraries are too) |
| 2024-08-20 16:48:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-08-20 16:49:27 +0200 | <merijn> | ~/.cabal/config should have settings to control where executables are put and whether they are symlinked or copied |
| 2024-08-20 16:54:07 +0200 | <haskellbridge> | <eldritchcookie> so can i assume it will look for the executables in CABAL_DIR? |
| 2024-08-20 16:55:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 2024-08-20 16:59:05 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-20 16:59:36 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2024-08-20 17:05:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 17:06:26 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) |
| 2024-08-20 17:10:33 +0200 | <merijn> | I think the store is by default a sub directory of CABAL_DIR, so kinda? |
| 2024-08-20 17:11:07 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-08-20 17:17:17 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-08-20 17:18:10 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-08-20 17:19:35 +0200 | m1dnight_ | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-20 17:21:18 +0200 | rvalue- | rvalue |
| 2024-08-20 17:21:53 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-08-20 17:28:09 +0200 | youthlic | (~Thunderbi@122.10.198.116) (Ping timeout: 260 seconds) |
| 2024-08-20 17:33:51 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-20 17:34:18 +0200 | nikolice | (~nikolice@151.249.134.246) |
| 2024-08-20 17:35:20 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-08-20 17:35:54 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:a72e:72ce:de20:7681) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-20 17:36:11 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-08-20 17:40:35 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-20 17:43:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 17:45:27 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-08-20 17:45:59 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-08-20 17:47:23 +0200 | ash3en1 | (~Thunderbi@146.70.124.146) |
| 2024-08-20 17:48:37 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) (Ping timeout: 248 seconds) |
| 2024-08-20 17:48:37 +0200 | ash3en1 | ash3en |
| 2024-08-20 17:50:27 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-20 17:51:24 +0200 | m1dnight_ | (~christoph@78-20-63-126.access.telenet.be) (Ping timeout: 244 seconds) |
| 2024-08-20 17:54:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 17:59:07 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-20 18:01:41 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-08-20 18:02:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3219-ae93-c0e9-c388-82ac-7d17.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-20 18:06:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-08-20 18:07:48 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 18:09:02 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-20 18:11:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-20 18:19:35 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-08-20 18:22:59 +0200 | ash3en | (~Thunderbi@146.70.124.146) (Ping timeout: 258 seconds) |
| 2024-08-20 18:23:32 +0200 | ash3en | (~Thunderbi@p200300e7b7398533fab1ad6ec504b8a4.dip0.t-ipconnect.de) |
| 2024-08-20 18:26:23 +0200 | ash3en1 | (~Thunderbi@146.70.124.138) |
| 2024-08-20 18:26:25 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-08-20 18:28:09 +0200 | ash3en | (~Thunderbi@p200300e7b7398533fab1ad6ec504b8a4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-20 18:28:10 +0200 | ash3en1 | ash3en |
| 2024-08-20 18:42:53 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Ping timeout: 245 seconds) |
| 2024-08-20 18:42:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 18:43:12 +0200 | ash3en | (~Thunderbi@p200300e7b7398533fab1ad6ec504b8a4.dip0.t-ipconnect.de) |
| 2024-08-20 18:46:05 +0200 | AlexZenon_2 | (~alzenon@178.34.162.175) |
| 2024-08-20 18:47:40 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 252 seconds) |
| 2024-08-20 18:48:51 +0200 | AlexZenon_2 | AlexZenon |
| 2024-08-20 18:49:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-20 18:49:57 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) |
| 2024-08-20 18:49:57 +0200 | wroathe | (~wroathe@mobile-166-175-184-5.mycingular.net) (Changing host) |
| 2024-08-20 18:49:57 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 18:50:33 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-20 18:54:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-20 18:55:05 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-20 19:00:51 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-08-20 19:01:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-20 19:05:28 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-20 19:06:44 +0200 | son0p | (~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) (Ping timeout: 260 seconds) |
| 2024-08-20 19:06:44 +0200 | <Leary> | A while back I posted my small (~120 loc) incremental computation implementation here. I've since made it more robust and averse to repeating work, if anyone's interested: https://gist.github.com/LSLeary/da963da122946d981b4b143cbcf3dd73 |
| 2024-08-20 19:07:17 +0200 | <Leary> | Disclaimer: I've not yet tested my changes, only handwaved that they're correct. |
| 2024-08-20 19:09:07 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-20 19:10:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 19:10:57 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-20 19:11:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-20 19:14:00 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-20 19:15:08 +0200 | shailangsa | (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 2024-08-20 19:15:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2024-08-20 19:15:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 19:19:31 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-20 19:22:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 19:26:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 19:26:52 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) |
| 2024-08-20 19:31:19 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 264 seconds) |
| 2024-08-20 19:31:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-20 19:38:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 19:41:46 +0200 | <monochrom> | :) |
| 2024-08-20 19:45:49 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-08-20 19:46:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-20 19:49:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-20 19:54:49 +0200 | <lxsameer> | hey folks, does anyone has any nix configuration to build static haskell binaries? |
| 2024-08-20 19:57:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 20:03:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-20 20:07:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-20 20:13:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 20:17:45 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-08-20 20:18:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-20 20:21:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 20:21:44 +0200 | <lxsameer> | I'm trying to build my project statically linked. But it links againt libelf for some reason. Is that normal? |
| 2024-08-20 20:22:11 +0200 | <JuanDaugherty> | on linux |
| 2024-08-20 20:22:39 +0200 | <lxsameer> | yupe |
| 2024-08-20 20:22:47 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) (Quit: WeeChat 4.4.1) |
| 2024-08-20 20:22:58 +0200 | <JuanDaugherty> | i meant elf is the basic executable format there |
| 2024-08-20 20:23:29 +0200 | <lxsameer> | yeah i know, but why to link against it? |
| 2024-08-20 20:24:07 +0200 | <JuanDaugherty> | to so stuff, fancy stuff, this am hs |
| 2024-08-20 20:24:13 +0200 | <JuanDaugherty> | *to do |
| 2024-08-20 20:24:51 +0200 | <JuanDaugherty> | fancy basic in this case |
| 2024-08-20 20:25:10 +0200 | <JuanDaugherty> | maybe if ur llvming |
| 2024-08-20 20:25:24 +0200 | <lxsameer> | no llvm |
| 2024-08-20 20:25:28 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-08-20 20:28:37 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-20 20:29:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 20:31:43 +0200 | <EvanR> | no libelf here |
| 2024-08-20 20:32:33 +0200 | <lxsameer> | hmmm i don't know why, i don't see any like to libelf on my other projects either |
| 2024-08-20 20:33:31 +0200 | Everything | (~Everythin@109.162.122.37) |
| 2024-08-20 20:34:53 +0200 | <geekosaur> | are you using a ghc with dwarf-unwind? I believe it needs -lelf and -ldw in that case |
| 2024-08-20 20:36:51 +0200 | <lxsameer> | geekosaur: probably, is that for debugging mode or something? |
| 2024-08-20 20:37:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-20 20:37:20 +0200 | <geekosaur> | yes |
| 2024-08-20 20:38:17 +0200 | <geekosaur> | it means you get readable backtraces. but it requires a nonstandard ghc/rts build; the standard ones from e.g. ghcup or stack don't include it |
| 2024-08-20 20:39:20 +0200 | <lxsameer> | geekosaur: ah ok, so probably the default ghc in Nixpkgs comes with dwarf data support |
| 2024-08-20 20:42:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-20 20:43:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-20 20:44:41 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-08-20 20:44:57 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-08-20 20:45:07 +0200 | ash3en | (~Thunderbi@p200300e7b7398533fab1ad6ec504b8a4.dip0.t-ipconnect.de) (Quit: ash3en) |
| 2024-08-20 20:45:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 20:48:17 +0200 | CommonParrotBear | RussetParrotBear |
| 2024-08-20 20:48:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 20:49:12 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-20 20:52:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 20:53:20 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-20 20:54:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-20 21:03:44 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-20 21:04:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 21:04:54 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-20 21:07:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 21:09:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-20 21:10:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-08-20 21:11:22 +0200 | Everything | (~Everythin@109.162.122.37) (Quit: leaving) |
| 2024-08-20 21:14:23 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-20 21:15:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 21:18:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 21:21:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 21:26:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-20 21:26:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-08-20 21:35:58 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 252 seconds) |
| 2024-08-20 21:37:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 21:42:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-20 21:42:59 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) |
| 2024-08-20 21:43:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 21:46:12 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) (Client Quit) |
| 2024-08-20 21:48:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2024-08-20 21:51:04 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-20 21:53:48 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
| 2024-08-20 21:57:23 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) |
| 2024-08-20 21:58:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-08-20 21:58:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-08-20 21:59:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 22:01:51 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-08-20 22:04:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-20 22:09:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-20 22:13:43 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) |
| 2024-08-20 22:15:09 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-20 22:15:09 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-20 22:15:09 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 22:15:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 22:17:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 22:20:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-20 22:21:54 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-20 22:28:54 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-20 22:29:03 +0200 | esnos | (~user@176.106.34.161) |
| 2024-08-20 22:30:14 +0200 | <esnos> | How can I hide only Applicative implementation of [], but still have Applicative class and [] defined? |
| 2024-08-20 22:30:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-20 22:31:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 22:31:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-20 22:32:08 +0200 | <glguy> | esnos: no, you can't hide instances |
| 2024-08-20 22:32:22 +0200 | <c_wraith> | esnos: the only real way to do that is put the Applicative instance and all code that uses it in a module that isn't normally imported. instances are exported automatically and transitively, though, so it's very hard for this to end up being worth anything |
| 2024-08-20 22:32:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-08-20 22:39:08 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-20 22:39:26 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2024-08-20 22:39:46 +0200 | <EvanR> | you can use a newtype wrapper / unwrapper to choose an alternate instance for [] |
| 2024-08-20 22:40:05 +0200 | <esnos> | I understand, thanks for answers. I will probably just use wrapper then |
| 2024-08-20 22:40:09 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-08-20 22:40:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-20 22:40:56 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 22:41:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-20 22:43:47 +0200 | ash3en1 | (~Thunderbi@146.70.124.138) |
| 2024-08-20 22:44:15 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-20 22:44:15 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-20 22:44:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 22:44:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-20 22:44:53 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) (Ping timeout: 252 seconds) |
| 2024-08-20 22:44:53 +0200 | ash3en1 | ash3en |
| 2024-08-20 22:47:40 +0200 | wroathe_ | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-20 22:47:48 +0200 | wroathe | (~wroathe@user/wroathe) (Killed (NickServ (GHOST command used by wroathe_!~wroathe@c-66-41-76-89.hsd1.mn.comcast.net))) |
| 2024-08-20 22:47:55 +0200 | wroathe_ | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-20 22:47:55 +0200 | wroathe_ | (~wroathe@user/wroathe) |
| 2024-08-20 22:47:58 +0200 | wroathe_ | wroathe |
| 2024-08-20 22:51:38 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-20 22:54:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 22:55:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-08-20 22:57:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 22:59:09 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-08-20 22:59:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-20 23:00:02 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-20 23:00:15 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-20 23:00:47 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-20 23:02:37 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-08-20 23:04:30 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) |
| 2024-08-20 23:05:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-20 23:06:33 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 276 seconds) |
| 2024-08-20 23:10:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 23:15:09 +0200 | Anon286e5i | (~Anon286e5@81.98.188.70) |
| 2024-08-20 23:15:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-20 23:16:59 +0200 | Anon286e5i | (~Anon286e5@81.98.188.70) (Remote host closed the connection) |
| 2024-08-20 23:16:59 +0200 | Square | (~Square@user/square) |
| 2024-08-20 23:17:44 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-08-20 23:20:50 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) |
| 2024-08-20 23:21:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> could "reflex-dom" eventually become more comfortable than "React" jsx for someone skilled? it feels unwieldy |
| 2024-08-20 23:26:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 23:26:28 +0200 | <c_wraith> | reflex has a very high learning curve |
| 2024-08-20 23:26:56 +0200 | <c_wraith> | I've honestly never made it to the "comfortable" side of it. |
| 2024-08-20 23:27:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> the frp part is one thing, but what I'm wondering about is "reflex-dom" particularly |
| 2024-08-20 23:31:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2024-08-20 23:34:51 +0200 | <c_wraith> | reflex-dom is not really much more to learn that reflex by itself. You need to think more in terms of DOM than HTML, but if you've been doing web stuff for a while that part should be familiar. |
| 2024-08-20 23:35:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 23:36:42 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 2024-08-20 23:36:42 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 2024-08-20 23:36:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-20 23:37:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-08-20 23:39:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2024-08-20 23:39:51 +0200 | ash3en | (~Thunderbi@2a02:3100:7e4e:ce00:6d0b:a05d:3a5f:aa2) (Quit: ash3en) |
| 2024-08-20 23:41:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 23:46:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-08-20 23:47:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-20 23:50:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2024-08-20 23:53:07 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
| 2024-08-20 23:54:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-20 23:55:17 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm I see thanks for comments! |
| 2024-08-20 23:57:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-20 23:58:58 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-20 23:59:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-20 23:59:58 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |