| 2023-07-08 00:05:48 +0000 | praknak | (~praknak@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-07-08 00:16:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-08 00:16:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2023-07-08 00:22:12 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 00:24:31 +0000 | <EvanR> | I wonder what the actual probability is for + to be associative or not on Double |
| 2023-07-08 00:39:09 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2023-07-08 00:40:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-08 00:46:54 +0000 | falafel | (~falafel@2603-7000-a700-8710-770e-b4b3-5186-ab58.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-08 00:51:56 +0000 | <geekosaur> | isn't there a variant mathematics that accurately characterizes IEEE754? |
| 2023-07-08 00:56:46 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-07-08 01:01:44 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-08 01:06:36 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-08 01:07:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-07-08 01:10:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-08 01:11:58 +0000 | mei | (~mei@user/mei) |
| 2023-07-08 01:16:43 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-08 01:28:14 +0000 | <EvanR> | ViewPatterns, the wiki has tantalizing new syntax which denoise the use of Maybe views. Instead of view -> Just x, view => x. But it doesn't seem to exist yet? |
| 2023-07-08 01:31:16 +0000 | m21it | (~m21it@2800:ac:8012:135a:9aa8:aa:24dc:5f7a) (Remote host closed the connection) |
| 2023-07-08 01:38:11 +0000 | <dolio> | a^(b^c) is handy for writing exponential towers, I guess. Maybe people figure that's the main reason to use repeated exponential. |
| 2023-07-08 01:39:39 +0000 | <dolio> | Most languages don't have n-ary arithmetic operations, so you have to parse them into some binary tree. |
| 2023-07-08 01:46:25 +0000 | <monochrom> | IEEE754 defines floating point plus to be exact plus then rounding. This still induces non-associativity in edge cases. |
| 2023-07-08 01:47:23 +0000 | <monochrom> | As for probability, different users have different distributions of inputs. |
| 2023-07-08 01:52:35 +0000 | <monochrom> | Let e be the machine epsilon. Then (e/2 + e/2) + 1 = e + 1, but e/2 + (e/2 + 1) = e/2 + 1 = 1 |
| 2023-07-08 02:07:14 +0000 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 260 seconds) |
| 2023-07-08 02:10:42 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-08 02:13:16 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 02:13:45 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-08 02:13:45 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-08 02:13:45 +0000 | finn_elija | FinnElija |
| 2023-07-08 02:16:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 02:16:41 +0000 | td_ | (~td@i5387091B.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-08 02:18:06 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 02:18:40 +0000 | td_ | (~td@i53870908.versanet.de) |
| 2023-07-08 02:20:32 +0000 | ceoltb^ | (~cd@24.125.210.85) |
| 2023-07-08 02:27:03 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-08 02:36:54 +0000 | [Reinhilde] | (ellenor@2001:19f0:8001:279::2000:1) (Quit: Bye Open Projects!) |
| 2023-07-08 02:41:55 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-08 02:42:28 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2023-07-08 02:42:39 +0000 | [Reinhilde] | (ellenor@callbox.trd.is) |
| 2023-07-08 02:42:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 02:52:00 +0000 | falafel | (~falafel@2603-7000-a700-8710-8626-7c28-fb33-398f.res6.spectrum.com) |
| 2023-07-08 02:56:59 +0000 | <Inst_> | wait, question about Haddock |
| 2023-07-08 02:57:11 +0000 | <Inst_> | does Haddock support putting haddock comments on the same line as the type declaration? |
| 2023-07-08 02:57:40 +0000 | <Axman6> | type Foo = Bar -- ^ Something? |
| 2023-07-08 02:57:48 +0000 | <Inst_> | erm, type annotation |
| 2023-07-08 02:58:14 +0000 | <Axman6> | fo :: Int -> Bool -- ^ thing? |
| 2023-07-08 02:58:17 +0000 | <Inst_> | myFun :: a -> b {- type annotations can literally be thought of as glorified comments that the type checker will honor -} |
| 2023-07-08 02:58:35 +0000 | <Inst_> | myFun :: a -> b {-| type annotation can literally be thought of as glorified comments that the type checker will honor -} |
| 2023-07-08 02:59:04 +0000 | <Inst_> | also helps with the old Haskell disease of "we really believe that types are sufficient documentatino!" |
| 2023-07-08 02:59:16 +0000 | <Inst_> | now they literally are, because we stuffed the documentation into the type signature |
| 2023-07-08 02:59:49 +0000 | <Axman6> | ... why bother answering if you won't read it? |
| 2023-07-08 03:01:26 +0000 | <Axman6> | I think even this works: foo :: Int {- ^ an int -} -> Bar {- ^ some result -}, but I haven't tried |
| 2023-07-08 03:02:39 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) |
| 2023-07-08 03:03:06 +0000 | <Inst_> | ummm, because -- doesn't generate haddock comments, right? |
| 2023-07-08 03:03:33 +0000 | <Inst_> | oh, -- ^, bleh, should look up Haddock on my own |
| 2023-07-08 03:04:56 +0000 | <Inst_> | ah, thanks Axman6, I understand what you mean, just never saw -- ^ before |
| 2023-07-08 03:07:19 +0000 | <Inst_> | but do we support {-^? |
| 2023-07-08 03:09:08 +0000 | <probie> | Inst_: why not `myFun :: typeAnnotationsCanLiterallyBeThoughtOfAs -> glorifiedCommentsThatTheTypeCheckerWillHonor` :p |
| 2023-07-08 03:09:40 +0000 | <Inst_> | probie_ we don't make expressive use of type variables enough :) |
| 2023-07-08 03:10:10 +0000 | <Inst_> | like, I wish we had standardized on Monad monad => monad a -> (a -> monad b) -> monad b |
| 2023-07-08 03:11:59 +0000 | <geekosaur> | Inst_, `{- ^` should work, `{-^` will probably be a lexical error (likewise `--^` is an operator, not a comment with Haddock markup) |
| 2023-07-08 03:13:31 +0000 | <probie> | That in particular I dislike, because it falls apart when you have two monads :p |
| 2023-07-08 03:13:42 +0000 | <Inst_> | monadA monadB |
| 2023-07-08 03:13:44 +0000 | <Inst_> | what's the problem? |
| 2023-07-08 03:14:15 +0000 | <geekosaur> | or ghc-style, monad monad0 monad1 … |
| 2023-07-08 03:14:18 +0000 | <Inst_> | and I'd love to see some kind of function m a -> n a -> o a |
| 2023-07-08 03:15:26 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-08 03:18:37 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 03:18:54 +0000 | <probie> | Inst_: `weirdLiftM2 :: (Monad m, Monad n, Monad o, LiftsInto m o, LiftsInto n o) => (a -> b -> c) -> m a -> n b -> o c; weirdLiftM2 f x y = liftM2 f (lift x) (lift y)` with a class like `class LiftsInto m n where lift :: m a -> n a` |
| 2023-07-08 03:19:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-08 03:20:22 +0000 | <geekosaur> | perhaps sadly, Haskell types are mathy types and like their single character variables |
| 2023-07-08 03:20:50 +0000 | <monochrom> | > {-^ turns out to be not an error. but I don't know whether haddock honours it -} () |
| 2023-07-08 03:20:51 +0000 | <lambdabot> | () |
| 2023-07-08 03:21:03 +0000 | <geekosaur> | (because `mn` is `m × n`) |
| 2023-07-08 03:30:12 +0000 | liftA2 | (~user@2605:a601:a60d:5400:cdf2:29ba:eca9:602a) (Ping timeout: 245 seconds) |
| 2023-07-08 03:47:12 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-07-08 03:47:33 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:b5e2:1160:553c:b6d1) |
| 2023-07-08 03:52:55 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf3:4100:4e3b:e088:1c2f:d9f3) |
| 2023-07-08 03:52:56 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-08 03:53:39 +0000 | aforemny | (~aforemny@i59F516EE.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-08 03:56:56 +0000 | falafel | (~falafel@2603-7000-a700-8710-8626-7c28-fb33-398f.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-08 04:00:54 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-07-08 04:08:21 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2023-07-08 04:11:49 +0000 | <hololeap> | % :t \f mx -> maybe empty f |
| 2023-07-08 04:11:50 +0000 | <yahb2> | \f mx -> maybe empty f ; :: Alternative f => (a1 -> f a2) -> p -> Maybe a1 -> f a2 |
| 2023-07-08 04:12:08 +0000 | <hololeap> | % :t \f -> maybe empty f |
| 2023-07-08 04:12:08 +0000 | <yahb2> | \f -> maybe empty f ; :: Alternative f => (a1 -> f a2) -> Maybe a1 -> f a2 |
| 2023-07-08 04:12:17 +0000 | <hololeap> | is there a name for this? |
| 2023-07-08 04:13:31 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-08 04:14:52 +0000 | <hololeap> | looks like there's something in relude, but not in any common libs |
| 2023-07-08 04:17:06 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2023-07-08 04:23:10 +0000 | EvanR_ | (~EvanR@user/evanr) |
| 2023-07-08 04:23:48 +0000 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2023-07-08 04:26:33 +0000 | EvanR_ | EvanR |
| 2023-07-08 04:27:33 +0000 | <EvanR> | monochrom, i knew someone would dependency inject the distribution of doubles into the question |
| 2023-07-08 04:27:45 +0000 | <EvanR> | let it be so injected |
| 2023-07-08 04:30:10 +0000 | <EvanR> | as demonstrated by weirdLiftM2 if we used descriptive variable names our type signatures might be even worse than scala |
| 2023-07-08 04:34:16 +0000 | <monochrom> | Monad theMonadWhoMustNotBeName => theBoyWhoLived -> theMonadWhoMustNotBeName theBoyWhoLived |
| 2023-07-08 04:34:31 +0000 | <monochrom> | err, s/Name/Named/ ! |
| 2023-07-08 04:35:21 +0000 | <monochrom> | Conclusion: If we used descriptive names, we would have "variable not in scope" errors left right and centre. |
| 2023-07-08 04:36:52 +0000 | johnw_ | (~johnw@69.62.242.138) (Ping timeout: 245 seconds) |
| 2023-07-08 04:37:12 +0000 | <monochrom> | variable `theBoyWhoLivedAndDefeatedTheDarkLord' not found. Do you mean: `theBoyWhoLivedAndDefaetedTheDarkLord' |
| 2023-07-08 04:39:10 +0000 | johnw | (~johnw@216.93.230.148) |
| 2023-07-08 04:39:31 +0000 | trev | (~trev@user/trev) |
| 2023-07-08 04:39:47 +0000 | <monochrom> | True story: When creating an assignment, I defined a C struct to have 48 bytes: A name field of 44 bytes, an unsigned field of 4 bytes. |
| 2023-07-08 04:40:26 +0000 | <monochrom> | So I was looking for a long name that's kind of meaningful and takes up 44 bytes. |
| 2023-07-08 04:41:38 +0000 | <monochrom> | I started with "The Boy Who Lived" and looked for adding more words, hmm let me just try adding " And Defeated the Dark Lord" and see how far it goes. |
| 2023-07-08 04:41:51 +0000 | <monochrom> | > "The Boy Who Lived And Defeated The Dark Lord" |
| 2023-07-08 04:41:52 +0000 | <lambdabot> | "The Boy Who Lived And Defeated The Dark Lord" |
| 2023-07-08 04:41:57 +0000 | <monochrom> | > length "The Boy Who Lived And Defeated The Dark Lord" |
| 2023-07-08 04:41:58 +0000 | <lambdabot> | 44 |
| 2023-07-08 04:42:13 +0000 | <monochrom> | It worked right away. :) |
| 2023-07-08 04:44:11 +0000 | <EvanR> | that reminds me of when my old boss, who still had a mainframe and SCO unix in the basement, asked how long the name field could be in the database |
| 2023-07-08 04:44:16 +0000 | <EvanR> | in characters |
| 2023-07-08 04:45:27 +0000 | <EvanR> | (type was string, not char(44)) |
| 2023-07-08 04:46:06 +0000 | <EvanR> | your name is exactly as long as the space allocated for it? bold |
| 2023-07-08 04:46:26 +0000 | <monochrom> | Hrm would that be a SQL database? |
| 2023-07-08 04:47:09 +0000 | <monochrom> | Also I don't think I know about string in SQL, as opposed to char(44). |
| 2023-07-08 04:49:27 +0000 | <EvanR> | 'text' in postgres, actually |
| 2023-07-08 04:49:57 +0000 | <monochrom> | Ah. |
| 2023-07-08 04:50:08 +0000 | <EvanR> | they forsaw the coming cultural shift in jargon that haskell would bring forth |
| 2023-07-08 04:50:47 +0000 | <monochrom> | Naw I think it's shell scripting, tcl, and python. |
| 2023-07-08 04:51:46 +0000 | <EvanR> | python is using legacy jargon: string |
| 2023-07-08 04:52:04 +0000 | <monochrom> | Oh oops, right, text, not string. |
| 2023-07-08 04:56:53 +0000 | <EvanR> | martin erwig inductive graph algorithms algorithms paper posits this data type data Graph a b = Empty | Context a b :& Graph a b. Preempting anyone who would say this is just a dang list, says not so fast. Graphs are not freely generated by Empty and :& |
| 2023-07-08 04:58:27 +0000 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-07-08 04:58:43 +0000 | <EvanR> | mildly perplexing argument |
| 2023-07-08 04:58:45 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-08 05:12:22 +0000 | <monochrom> | I am more fond of https://hackage.haskell.org/package/algebraic-graphs . The paper is at https://dl.acm.org/doi/10.1145/3122955.3122956 (don't worry, not walled) |
| 2023-07-08 05:14:09 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-08 05:15:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 05:16:48 +0000 | <EvanR> | oh hell yeah, free papers |
| 2023-07-08 05:19:23 +0000 | johnw | (~johnw@216.93.230.148) (Quit: ZNC - http://znc.in) |
| 2023-07-08 05:20:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-08 05:23:23 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 264 seconds) |
| 2023-07-08 05:28:58 +0000 | passiva | (~passiva@bcdcac82.skybroadband.com) |
| 2023-07-08 05:29:52 +0000 | <mauke> | free-range papers |
| 2023-07-08 05:37:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-08 05:39:52 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-08 05:43:52 +0000 | bilegeek | (~bilegeek@2600:1008:b068:20a1:d82d:ec1b:27cf:aa75) (Quit: Leaving) |
| 2023-07-08 05:57:39 +0000 | <EvanR> | figure 9 of algebraic graphs paper was worth the 11 pages of algebra and borderline category theory |
| 2023-07-08 06:02:37 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-07-08 06:12:51 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-08 06:19:44 +0000 | acidjnk | (~acidjnk@p200300d6e7072f92ad7ea4d90152ea04.dip0.t-ipconnect.de) |
| 2023-07-08 06:20:06 +0000 | johnw | (~johnw@216.93.230.148) |
| 2023-07-08 06:23:17 +0000 | <monochrom> | :) |
| 2023-07-08 06:27:41 +0000 | <tomsmeding> | monochrom: is paywalled here, though I can access it anyway through uni :p |
| 2023-07-08 06:27:54 +0000 | <tomsmeding> | is the paywall region-dependent? Surely not? |
| 2023-07-08 06:46:38 +0000 | myme | (~myme@2a01:799:d60:e400:ad99:fa1a:576b:14a8) (Ping timeout: 258 seconds) |
| 2023-07-08 06:47:39 +0000 | myme | (~myme@2a01:799:d60:e400:a779:7b8:869:aeae) |
| 2023-07-08 06:57:49 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 06:58:11 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 264 seconds) |
| 2023-07-08 06:58:23 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 07:00:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-08 07:00:19 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-08 07:01:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 07:07:12 +0000 | ryantrinkle | (~ryantrink@89.247.249.243) (Ping timeout: 246 seconds) |
| 2023-07-08 07:08:23 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf3:4100:4e3b:e088:1c2f:d9f3) (Ping timeout: 264 seconds) |
| 2023-07-08 07:08:55 +0000 | aforemny | (~aforemny@i59F516C0.versanet.de) |
| 2023-07-08 07:12:38 +0000 | aforemny_ | (~aforemny@i59F516E0.versanet.de) |
| 2023-07-08 07:13:30 +0000 | aforemny | (~aforemny@i59F516C0.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-08 07:13:45 +0000 | <hololeap> | https://hackage.haskell.org/package/attoparsec-0.14.4/docs/Data-Attoparsec-ByteString-Char8.html |
| 2023-07-08 07:13:57 +0000 | <hololeap> | isEndOfLine :: Word8 -> Bool |
| 2023-07-08 07:14:11 +0000 | <hololeap> | how am I supposed to use this? there's nothing that takes a (Word8 -> Bool) |
| 2023-07-08 07:15:37 +0000 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 245 seconds) |
| 2023-07-08 07:19:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 07:19:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 07:19:59 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 07:29:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 07:29:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-07-08 07:31:10 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-08 07:32:06 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-08 07:35:40 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-08 07:36:16 +0000 | <tomsmeding> | hololeap: with `char8` supposedly :p |
| 2023-07-08 07:37:03 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 07:39:50 +0000 | <hololeap> | char8 :: Char -> Parser Word8 |
| 2023-07-08 07:39:54 +0000 | <hololeap> | I don't follow |
| 2023-07-08 07:41:30 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 07:42:28 +0000 | hisa38775 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-07-08 07:44:30 +0000 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-07-08 07:44:30 +0000 | hisa38775 | hisa3877 |
| 2023-07-08 07:44:37 +0000 | <mauke> | hololeap: makes more sense with https://hackage.haskell.org/package/attoparsec-0.14.4/docs/Data-Attoparsec-ByteString.html#v:satisfy |
| 2023-07-08 07:46:42 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-08 07:46:56 +0000 | <hololeap> | mauke: the problem there is that Parser from that module doesn't line up with Parser in the Char8 module |
| 2023-07-08 07:47:18 +0000 | <hololeap> | or at least the compiler yelled at me when I tried that |
| 2023-07-08 07:47:41 +0000 | <mauke> | what does "line up" mean? |
| 2023-07-08 07:48:01 +0000 | <mauke> | also, what are you trying to do? |
| 2023-07-08 07:48:42 +0000 | <hololeap> | hm, never mind. it must have been a fluke since they both use the same ByteString |
| 2023-07-08 07:48:54 +0000 | <hololeap> | I'm trying to match a non-empty line |
| 2023-07-08 07:50:11 +0000 | <hololeap> | I ended up making: notEOL c = not $ c == '\r' || c == '\n' |
| 2023-07-08 07:50:44 +0000 | <hololeap> | but I'll try satisfy from the other module again |
| 2023-07-08 07:51:18 +0000 | <hololeap> | ok, it worked :p |
| 2023-07-08 07:51:28 +0000 | <mauke> | many1 (satisfy (notInClass "\n\r")) ? |
| 2023-07-08 07:52:09 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 07:52:26 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-08 07:53:47 +0000 | <hololeap> | this uses more efficient combinators and seems to work: http://sprunge.us/6P7m0L |
| 2023-07-08 07:54:19 +0000 | <hololeap> | eh, I'll keep working on it |
| 2023-07-08 07:54:58 +0000 | <tomsmeding> | hololeap: guard exists |
| 2023-07-08 07:55:16 +0000 | <tomsmeding> | Control.Monad.Guard (not . isEndOfLine) char8 |
| 2023-07-08 07:55:22 +0000 | <tomsmeding> | er, Control.Monad.guard |
| 2023-07-08 07:55:30 +0000 | <tomsmeding> | surely that's the idea |
| 2023-07-08 07:57:44 +0000 | <hololeap> | back in good old snoyberg land |
| 2023-07-08 08:00:26 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-08 08:01:29 +0000 | dibblego | (~dibblego@116.255.1.157) |
| 2023-07-08 08:01:30 +0000 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
| 2023-07-08 08:01:30 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 08:03:36 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) |
| 2023-07-08 08:06:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 08:09:39 +0000 | sagax | (~sagax_nb@user/sagax) (Read error: Connection reset by peer) |
| 2023-07-08 08:15:12 +0000 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 245 seconds) |
| 2023-07-08 08:19:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9c2:276d:fb2c:5cec) (Remote host closed the connection) |
| 2023-07-08 08:29:41 +0000 | Guest8835 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-08 08:30:36 +0000 | foul_owl | (~kerry@185.219.141.164) |
| 2023-07-08 08:32:10 +0000 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Read error: Connection reset by peer) |
| 2023-07-08 08:35:56 +0000 | stilgart | (~Christoph@chezlefab.net) (Quit: leaving) |
| 2023-07-08 08:36:05 +0000 | stilgart | (~Christoph@chezlefab.net) |
| 2023-07-08 08:36:24 +0000 | ryantrinkle | (~ryantrink@fire.tngtech.com) |
| 2023-07-08 08:37:31 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-08 08:37:37 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-07-08 08:40:49 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 08:40:49 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 08:40:49 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 08:43:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-08 08:46:46 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-08 08:48:43 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-08 08:49:50 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-08 08:56:59 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 08:56:59 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 08:56:59 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 09:01:07 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) (Remote host closed the connection) |
| 2023-07-08 09:03:32 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-08 09:04:02 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 09:06:29 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-07-08 09:13:42 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 09:13:42 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 09:13:42 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 09:16:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 09:20:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 09:20:20 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-08 09:20:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9c2:276d:fb2c:5cec) |
| 2023-07-08 09:21:15 +0000 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 2023-07-08 09:21:29 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-08 09:22:07 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 09:22:08 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 09:22:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 09:24:11 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 2023-07-08 09:24:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9c2:276d:fb2c:5cec) (Ping timeout: 246 seconds) |
| 2023-07-08 09:26:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-07-08 09:28:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-08 09:31:29 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-08 09:33:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-08 09:35:17 +0000 | mathr | (~claude@cpc99374-croy26-2-0-cust100.19-2.cable.virginm.net) |
| 2023-07-08 09:43:18 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-08 09:43:42 +0000 | dibblego | (~dibblego@116.255.1.157) |
| 2023-07-08 09:43:42 +0000 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
| 2023-07-08 09:43:42 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 09:43:50 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-08 09:50:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 09:53:56 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 246 seconds) |
| 2023-07-08 09:57:18 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-08 10:02:23 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-07-08 10:03:33 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 10:04:09 +0000 | tackleton | (~tackleton@services.tilde.club) |
| 2023-07-08 10:05:51 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 10:05:51 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 10:05:51 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 10:12:21 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-08 10:17:26 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 10:17:26 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 10:17:26 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 10:23:10 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-08 10:27:40 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2023-07-08 10:28:44 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-07-08 10:39:09 +0000 | alternateved | (~user@77-254-166-50.dynamic.inetia.pl) |
| 2023-07-08 10:45:09 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-08 10:46:10 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 10:46:16 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-07-08 10:52:14 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-08 10:52:15 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-08 10:52:15 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-08 10:53:59 +0000 | Inst_ | Inst |
| 2023-07-08 11:18:27 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-08 11:19:07 +0000 | alternateved | (~user@77-254-166-50.dynamic.inetia.pl) (Remote host closed the connection) |
| 2023-07-08 11:19:41 +0000 | mathr | (~claude@cpc99374-croy26-2-0-cust100.19-2.cable.virginm.net) (Quit: ->) |
| 2023-07-08 11:20:36 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 11:25:10 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds)) |
| 2023-07-08 11:25:34 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-07-08 11:36:05 +0000 | <Inst> | also, not that this is particularly interesting, but at least on VSC + HLS, Haddock isn't respecting -- ^, -- |, or {- foo on the same line as the type annotation. |
| 2023-07-08 11:39:08 +0000 | acidjnk | (~acidjnk@p200300d6e7072f92ad7ea4d90152ea04.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-08 11:40:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 11:42:41 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-07-08 11:42:56 +0000 | Guest8835 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2023-07-08 11:43:59 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-08 11:48:02 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 11:51:11 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-08 11:55:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-08 11:55:44 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) |
| 2023-07-08 12:05:55 +0000 | <ski> | `a ^ b ^ c' is `a ^ (b ^ c)' because you can already express `(a ^ b) ^ c' as `a ^ (b * c)' |
| 2023-07-08 12:06:17 +0000 | <ski> | `a / b / c' (and mutatis mutandis for `a - b - c') is `(a / b) / c', because you usually want the `a / (b * c)' interpretation, who would want to say `a / (b / c)' (being `(a * c) / b') ? |
| 2023-07-08 12:06:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 12:08:17 +0000 | <ski> | (btw, one reason to have `+' and `*' left-associative, assuming `-' and `*' is, is to allow mixing, like `a - b + c - d' and `a / b * c / d') |
| 2023-07-08 12:27:32 +0000 | Zambyte | (~user@c-73-114-31-74.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2023-07-08 12:36:18 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2023-07-08 12:37:38 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 12:41:26 +0000 | Guest8835 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-08 12:44:05 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-08 12:48:02 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-08 13:00:01 +0000 | pyooque | (~puke@user/puke) |
| 2023-07-08 13:00:01 +0000 | puke | Guest5318 |
| 2023-07-08 13:00:01 +0000 | Guest5318 | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2023-07-08 13:00:01 +0000 | pyooque | puke |
| 2023-07-08 13:00:42 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-07-08 13:01:07 +0000 | puke | (~puke@user/puke) |
| 2023-07-08 13:02:17 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-07-08 13:03:37 +0000 | puke | (~puke@user/puke) |
| 2023-07-08 13:10:59 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 13:18:28 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 13:23:16 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-08 13:30:40 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) |
| 2023-07-08 13:33:39 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-08 13:40:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 13:41:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-08 13:43:52 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-08 13:49:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 13:56:44 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-08 13:58:38 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:06:30 +0000 | aforemny_ | (~aforemny@i59F516E0.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-08 14:06:32 +0000 | aforemny | (~aforemny@2001:9e8:6cf9:2c00:376c:4324:3d32:3d30) |
| 2023-07-08 14:07:59 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-08 14:08:07 +0000 | esph | (~weechat@user/esph) (Ping timeout: 245 seconds) |
| 2023-07-08 14:09:57 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf9:3500:715e:1f57:b282:6674) |
| 2023-07-08 14:10:59 +0000 | aforemny | (~aforemny@2001:9e8:6cf9:2c00:376c:4324:3d32:3d30) (Ping timeout: 246 seconds) |
| 2023-07-08 14:13:58 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Quit: Leaving...) |
| 2023-07-08 14:14:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-07-08 14:14:16 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:14:16 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:14:46 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:14:46 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:15:22 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:15:32 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf9:3500:715e:1f57:b282:6674) (Ping timeout: 246 seconds) |
| 2023-07-08 14:16:04 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:16:21 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:16:29 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:16:45 +0000 | dmgk | (~dmgk@user/dmgk) |
| 2023-07-08 14:16:51 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:16:55 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:17:30 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:18:06 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 14:18:32 +0000 | aforemny | (~aforemny@2001:9e8:6cf9:4f00:3e66:d6cc:bb2d:f731) |
| 2023-07-08 14:22:53 +0000 | aforemny | (~aforemny@2001:9e8:6cf9:4f00:3e66:d6cc:bb2d:f731) (Ping timeout: 246 seconds) |
| 2023-07-08 14:24:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9c2:276d:fb2c:5cec) |
| 2023-07-08 14:26:05 +0000 | ripspin | (~chatzilla@1.145.170.235) |
| 2023-07-08 14:26:35 +0000 | aforemny | (~aforemny@i59F516EA.versanet.de) |
| 2023-07-08 14:28:45 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 14:29:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9c2:276d:fb2c:5cec) (Ping timeout: 246 seconds) |
| 2023-07-08 14:33:09 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-08 14:37:00 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 252 seconds) |
| 2023-07-08 14:39:41 +0000 | <hololeap> | anyone know of combinators for conduit that work similarly to Bifunctor? for instance, splitting the x and y of `ConduitT (x,y) o m a` to their own conduits and then recombining them at the end? |
| 2023-07-08 14:40:20 +0000 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 2023-07-08 14:40:55 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-08 14:41:07 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 14:43:40 +0000 | igghibu | (~igghibu@37.120.201.118) |
| 2023-07-08 14:44:07 +0000 | igghibu | (~igghibu@37.120.201.118) (Client Quit) |
| 2023-07-08 14:45:06 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-08 14:48:36 +0000 | <hololeap> | this is actually looking more like Arrow than Bifunctor |
| 2023-07-08 14:49:21 +0000 | <c_wraith> | that looks like the sort of thing that could use unbounded memory |
| 2023-07-08 14:49:29 +0000 | <c_wraith> | Which is probably why they don't have it. |
| 2023-07-08 14:51:38 +0000 | <hololeap> | ok, I'll make do |
| 2023-07-08 14:53:14 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Quit: Leaving...) |
| 2023-07-08 14:54:02 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-08 14:54:53 +0000 | <hololeap> | I wonder if streamly has an interface for this |
| 2023-07-08 14:55:04 +0000 | <hololeap> | I've never used it |
| 2023-07-08 15:06:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-07-08 15:08:49 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 2023-07-08 15:12:37 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-07-08 15:15:42 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-08 15:16:33 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 15:17:03 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 15:17:23 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-08 15:17:53 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 15:18:19 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-08 15:18:47 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 15:23:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-07-08 15:25:02 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-08 15:28:08 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-08 15:34:16 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-08 15:34:50 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-08 15:38:02 +0000 | ryantrinkle | (~ryantrink@fire.tngtech.com) (Ping timeout: 250 seconds) |
| 2023-07-08 15:38:11 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-08 15:45:18 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-08 15:48:30 +0000 | gry | (quasselcor@botters/gry) (Ping timeout: 240 seconds) |
| 2023-07-08 15:48:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-07-08 15:50:23 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-08 15:51:52 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-07-08 15:52:16 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-07-08 15:52:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 15:56:47 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-08 15:56:47 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-08 15:56:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-08 16:00:10 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-08 16:01:25 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) |
| 2023-07-08 16:01:42 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-08 16:05:30 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 16:06:10 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-08 16:11:48 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-08 16:14:05 +0000 | acidjnk | (~acidjnk@p200300d6e7072f9278793b6e90b80047.dip0.t-ipconnect.de) |
| 2023-07-08 16:19:48 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-07-08 16:20:40 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-07-08 16:20:53 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 16:30:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 16:33:08 +0000 | <EvanR> | newtype GraphMonad a = M { bind :: forall g . Graph g => (a -> g) -> g } |
| 2023-07-08 16:33:54 +0000 | <EvanR> | this algebraic graphs paper is packed with interesting constructions, which don't take up much code |
| 2023-07-08 16:35:14 +0000 | elkcl | (~elkcl@broadband-178-140-133-76.ip.moscow.rt.ru) (Ping timeout: 250 seconds) |
| 2023-07-08 16:46:14 +0000 | Deide | (~deide@user/deide) (Remote host closed the connection) |
| 2023-07-08 16:46:41 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-08 16:49:55 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-08 16:52:34 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 16:52:45 +0000 | ripspin | (~chatzilla@1.145.170.235) (Remote host closed the connection) |
| 2023-07-08 16:53:21 +0000 | <ncf> | is there a quick way to see all the versions of the core libraries for a given GHC version? |
| 2023-07-08 16:54:15 +0000 | <ncf> | i guess it's in the documentation |
| 2023-07-08 16:54:44 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-08 16:55:47 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-07-08 16:56:15 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-07-08 16:56:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 16:59:33 +0000 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-07-08 17:01:10 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-07-08 17:01:13 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Quit: Leaving...) |
| 2023-07-08 17:03:33 +0000 | ystael | (~ystael@user/ystael) |
| 2023-07-08 17:04:48 +0000 | gtf | (~gideon@2a02:8012:2259:0:299:560e:70f9:4290) (Quit: Konversation terminated!) |
| 2023-07-08 17:05:43 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:05:51 +0000 | Deide | (d0130db69a@user/deide) |
| 2023-07-08 17:06:55 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-08 17:08:59 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-07-08 17:09:14 +0000 | <monochrom> | EvanR: Glad you like it. :) |
| 2023-07-08 17:09:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
| 2023-07-08 17:10:32 +0000 | <monochrom> | That is also a very interesting type. (I have only skimmed the paper, didn't notice that one.) |
| 2023-07-08 17:10:50 +0000 | victorivanov | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:11:08 +0000 | victorivanov | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 17:12:02 +0000 | <monochrom> | Normally if someone wrote "T a = forall g. (a -> g) -> g" it would be the same as "T a = a" and it would be the identity monad. But this time, the constraint "Graph g" is standing in the way. That's going to be different. |
| 2023-07-08 17:13:08 +0000 | <monochrom> | Ahhh just unpack the dictionary of Graph. forall g. (Graph methods for g) -> (a -> g) -> g |
| 2023-07-08 17:13:25 +0000 | <dolio> | Yeah, it's essentially the free Graph monad. |
| 2023-07-08 17:14:04 +0000 | <monochrom> | Nice. |
| 2023-07-08 17:15:18 +0000 | Ekho | (~Ekho@user/ekho) (Ping timeout: 258 seconds) |
| 2023-07-08 17:16:11 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:16:34 +0000 | <dolio> | By quantifying over g with the constraint Graph g, you are quantifying over 'graph algebras'. The occurrences of g can be understood as being Ug implicitly, for the 'underlying set' of the algebra. |
| 2023-07-08 17:17:55 +0000 | <dolio> | Then that is the formula for Ran_U U, which is equivalent to the monad of the F ⊣ U adjunction, I think. |
| 2023-07-08 17:17:56 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 17:18:28 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:18:36 +0000 | <dolio> | Which is the free algebra monad. |
| 2023-07-08 17:18:52 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 17:19:21 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:20:45 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-07-08 17:22:31 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 245 seconds) |
| 2023-07-08 17:22:32 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-08 17:22:32 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-08 17:22:32 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-08 17:22:32 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-07-08 17:23:01 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:23:04 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-08 17:23:25 +0000 | <monochrom> | Ah similar to "forall r. (F r -> r) -> (a -> r) -> r" meaning "data M a = Wrap (F (M a)) | Pure a" the free monad for functor F. |
| 2023-07-08 17:23:34 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:23:58 +0000 | <ncf> | why does it say the paper is freely available? i get a "get access" link asking me to log in |
| 2023-07-08 17:24:30 +0000 | <EvanR> | I found preprints on github, linked from the hackage package |
| 2023-07-08 17:24:35 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Quit: WeeChat 3.8) |
| 2023-07-08 17:24:47 +0000 | <monochrom> | Please ignore the "Get Access" button. |
| 2023-07-08 17:25:04 +0000 | <monochrom> | Somewhere on the right edge there should be a "PDF" button. Please use that. |
| 2023-07-08 17:25:49 +0000 | <ncf> | i do not see such a thing |
| 2023-07-08 17:26:00 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-07-08 17:26:03 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-07-08 17:26:28 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:26:33 +0000 | <ncf> | https://f.monade.li/e7Si2J.png |
| 2023-07-08 17:27:01 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:27:42 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-07-08 17:27:47 +0000 | <monochrom> | OK, would this work? https://dl.acm.org/doi/pdf/10.1145/3156695.3122956?casa_token=yVZZocg3JV0AAAAA:r3iLQ7dSL5S0pxwXAy6… |
| 2023-07-08 17:28:13 +0000 | <EvanR> | use DCC to transfer the file directly to ncf xD |
| 2023-07-08 17:28:21 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:28:30 +0000 | <ncf> | nope i get a slightly different page with just as many pdf links |
| 2023-07-08 17:28:39 +0000 | <ncf> | EvanR: i mean i'm reading the preprint, it's fine |
| 2023-07-08 17:28:44 +0000 | <monochrom> | Ahhhhh I see. Use this: https://dl.acm.org/authorize?N46678 |
| 2023-07-08 17:29:02 +0000 | <ncf> | nope that's the link i clicked to begin with |
| 2023-07-08 17:29:24 +0000 | <int-e> | https://github.com/snowleopard/alga-paper has a preprint |
| 2023-07-08 17:29:26 +0000 | <monochrom> | Well OK then I don't know. The author certainly thought that it would do. |
| 2023-07-08 17:31:33 +0000 | <monochrom> | Maybe it is regional... I'm in Canada. |
| 2023-07-08 17:33:16 +0000 | <int-e> | No luck from here either, FWIW... |
| 2023-07-08 17:33:25 +0000 | <int-e> | (EU) |
| 2023-07-08 17:34:41 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 17:35:16 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:37:13 +0000 | <mauke> | can confirm, no pdf link |
| 2023-07-08 17:37:22 +0000 | <mauke> | they want me to pay $15, but their shop doesn't work |
| 2023-07-08 17:38:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-08 17:38:48 +0000 | <EvanR> | locked out |
| 2023-07-08 17:40:38 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 17:41:15 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 17:47:27 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Quit: WeeChat 3.8) |
| 2023-07-08 17:50:20 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:50:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-08 17:51:26 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 17:51:54 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 17:53:54 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Client Quit) |
| 2023-07-08 17:55:37 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 18:00:05 +0000 | Guest8835 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2023-07-08 18:12:27 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 18:12:37 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Quit: WeeChat 3.8) |
| 2023-07-08 18:13:37 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 18:15:16 +0000 | elkcl | (~elkcl@37.204.145.186) |
| 2023-07-08 18:19:10 +0000 | <somerandomnick[m> | DOI? |
| 2023-07-08 18:19:14 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-08 18:20:17 +0000 | <monochrom> | DOI. |
| 2023-07-08 18:21:43 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-08 18:21:52 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::5b03) |
| 2023-07-08 18:22:51 +0000 | <bratwurst> | im finally beginning to understand dependent types |
| 2023-07-08 18:23:12 +0000 | <bratwurst> | i finally read an article that showed dep-types can be done very simply |
| 2023-07-08 18:23:33 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-08 18:23:48 +0000 | <bratwurst> | so i started to think about how all the stuff i have done could be done with just that and now it's starting to click |
| 2023-07-08 18:25:27 +0000 | Guest92 | (~Guest92@87.116.177.139) |
| 2023-07-08 18:28:01 +0000 | <bratwurst> | so of course im going to implement a dep-typed language that generates correct elisp |
| 2023-07-08 18:28:25 +0000 | <bratwurst> | and i'm going to implement ide stuff for haskell in that language |
| 2023-07-08 18:28:56 +0000 | <bratwurst> | yes more big talk from the sausage. just wanted to talk about it with someone |
| 2023-07-08 18:29:39 +0000 | puke | Guest5082 |
| 2023-07-08 18:29:39 +0000 | pyooque | (~puke@user/puke) |
| 2023-07-08 18:29:39 +0000 | Guest5082 | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2023-07-08 18:29:39 +0000 | pyooque | puke |
| 2023-07-08 18:30:13 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::5b03) (Quit: Leaving) |
| 2023-07-08 18:31:10 +0000 | buckwheat | (~buckwheat@209.122.211.192) (Quit: WeeChat 3.8) |
| 2023-07-08 18:31:42 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-08 18:32:31 +0000 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 245 seconds) |
| 2023-07-08 18:32:33 +0000 | Guest92 | (~Guest92@87.116.177.139) (Quit: Client closed) |
| 2023-07-08 18:34:57 +0000 | <EvanR> | dependent types, the world is not ready for such problems |
| 2023-07-08 18:40:14 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 18:45:33 +0000 | <int-e> | psst, try @quote dependable ;-) |
| 2023-07-08 18:45:48 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 18:46:27 +0000 | <monochrom> | @quote dependable |
| 2023-07-08 18:46:27 +0000 | <lambdabot> | int-e says: I want dependable types. |
| 2023-07-08 18:46:31 +0000 | <monochrom> | :) |
| 2023-07-08 18:47:14 +0000 | <EvanR> | the meta level of my trying that in secret first but int-e sees everything done on lambdabot in secret |
| 2023-07-08 18:47:24 +0000 | <EvanR> | as well as already knowing the content |
| 2023-07-08 18:48:34 +0000 | <int-e> | EvanR: I actually don't though I can see that you'll have to take my word for it |
| 2023-07-08 18:48:58 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-08 18:49:04 +0000 | <EvanR> | int-e is the priest, use lambdabot to confess your use of imperative and OOP methodology |
| 2023-07-08 18:49:21 +0000 | alternateved | (~user@77-254-166-50.dynamic.inetia.pl) |
| 2023-07-08 18:49:29 +0000 | <int-e> | @quote oop |
| 2023-07-08 18:49:30 +0000 | <lambdabot> | IceDane says: [on escaping an imperative mindset]: <kmc> i recommend heavy drinking <IceDane> I've tried that. I just have fun and wake up and feel like shit the day after. but still think in loops. |
| 2023-07-08 18:49:53 +0000 | alternateved | (~user@77-254-166-50.dynamic.inetia.pl) (Remote host closed the connection) |
| 2023-07-08 18:49:56 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-08 18:49:57 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-08 18:49:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-08 18:50:23 +0000 | <int-e> | @quote \boop\b |
| 2023-07-08 18:50:24 +0000 | <lambdabot> | oleg says: It is known, albeit not so well, that following the OOP letter and practice may lead to insidious errors. |
| 2023-07-08 18:52:27 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-08 18:53:39 +0000 | <int-e> | FWIW, I truly believe that dependent types make the programmer work too hard for most programming tasks. |
| 2023-07-08 18:54:00 +0000 | <int-e> | Unless you plan on proving your code correct anyway, I guess. |
| 2023-07-08 18:54:24 +0000 | <EvanR> | a circle is an ellipse is a quadruped. A reflexive graph is a graph is a hypergraph. We're ready for the IT section of barnes and noble |
| 2023-07-08 18:55:31 +0000 | <EvanR> | from the beginning Idris was design to let you go ahead with nonsense and prove stuff later* |
| 2023-07-08 18:55:46 +0000 | ddellacosta | (~ddellacos@143.244.47.70) |
| 2023-07-08 18:55:47 +0000 | <EvanR> | division by zero even crashes the program |
| 2023-07-08 18:57:39 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-08 18:57:54 +0000 | <EvanR> | a wishful thinking thought is that libraries exist and can be used that have proofs already |
| 2023-07-08 18:58:05 +0000 | <EvanR> | but I guess that's chicken and egg |
| 2023-07-08 18:59:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-08 19:02:47 +0000 | <int-e> | Which properties do you track and check? You probably get a dozen different list types that are generally useful because of that. (Say, track length, track distinctness of items, track sortedness, track sum according to some weight function...) |
| 2023-07-08 19:03:10 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2023-07-08 19:03:50 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-08 19:03:51 +0000 | <EvanR> | we already do that right |
| 2023-07-08 19:04:32 +0000 | <EvanR> | Vector, Set, Set or Map, (Map, sum), all with different types |
| 2023-07-08 19:04:35 +0000 | <int-e> | True, but there are limits to that in current (mostly non-dependent) Haskell. |
| 2023-07-08 19:04:57 +0000 | <EvanR> | I mean without help from the type system |
| 2023-07-08 19:05:05 +0000 | <int-e> | EvanR: What I had in mind would all be isomorphic in [a] at the value level. |
| 2023-07-08 19:05:29 +0000 | <int-e> | Just tracking different invariants/measurements on the list. |
| 2023-07-08 19:05:52 +0000 | <EvanR> | according to conal, list is terrible and we should be using the right structures for the job xD (in a talk where he said this, he then pulls out something with a dependent type) |
| 2023-07-08 19:06:01 +0000 | <int-e> | Because with dependent types you *can* do that so people will want to do that. |
| 2023-07-08 19:06:31 +0000 | <int-e> | The *same* thing can be done for Vector. |
| 2023-07-08 19:06:49 +0000 | <EvanR> | if something can be treated as a list while remembering something important, that can be part of the API |
| 2023-07-08 19:07:03 +0000 | <EvanR> | otherwise, anything can be listified by forgetting everything |
| 2023-07-08 19:08:02 +0000 | <EvanR> | even in haskell you're discouraged from using list except as a loop |
| 2023-07-08 19:08:10 +0000 | <int-e> | (Of course even Haskell managed to make a small mess out of [a] in the form of NonEmpty) |
| 2023-07-08 19:08:15 +0000 | <int-e> | Or Nonempty? |
| 2023-07-08 19:08:36 +0000 | <EvanR> | I actually like NonEmpty |
| 2023-07-08 19:08:38 +0000 | <[exa]> | NoActuallyEmpty |
| 2023-07-08 19:10:01 +0000 | <int-e> | NonEmpty could be nice if Haskell had subtypes. |
| 2023-07-08 19:10:39 +0000 | <EvanR> | writing realToFrac everywhere is fine, but not toList ? xD |
| 2023-07-08 19:11:10 +0000 | <int-e> | I don't write realToFrac everywhere. |
| 2023-07-08 19:11:26 +0000 | <EvanR> | fromIntegral |
| 2023-07-08 19:11:39 +0000 | <EvanR> | me neither I put let fi = fromIntegral in |
| 2023-07-08 19:11:49 +0000 | <int-e> | (It's mostly fromIntegral and I try to keep that to a minimum too and it's at least mildly annoying.) |
| 2023-07-08 19:12:16 +0000 | <int-e> | (So the last thing I want is more of that.) |
| 2023-07-08 19:12:57 +0000 | <int-e> | But maybe I just haven't been bitten often enough by working with head and tail on lists that turned out to be empty. |
| 2023-07-08 19:14:20 +0000 | <EvanR> | it does add noise to the code, meanwhile this proof here that the list is not empty exists |
| 2023-07-08 19:21:50 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 19:22:37 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb) |
| 2023-07-08 19:26:16 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-08 19:27:40 +0000 | Thorin | (~Thorin@user/Thorin) |
| 2023-07-08 19:28:55 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.) |
| 2023-07-08 19:29:58 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-08 19:30:08 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-07-08 19:30:52 +0000 | img | (~img@user/img) |
| 2023-07-08 19:30:54 +0000 | img | (~img@user/img) (Remote host closed the connection) |
| 2023-07-08 19:31:39 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Client Quit) |
| 2023-07-08 19:31:48 +0000 | img | (~img@user/img) |
| 2023-07-08 19:37:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection) |
| 2023-07-08 19:42:52 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-08 19:43:01 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-08 19:43:57 +0000 | img | (~img@user/img) |
| 2023-07-08 19:45:32 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 19:46:45 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-07-08 19:50:58 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-08 19:52:38 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 260 seconds) |
| 2023-07-08 19:55:37 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-08 19:55:52 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 20:01:54 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-07-08 20:02:54 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-08 20:03:22 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 20:03:46 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-08 20:03:49 +0000 | img | (~img@user/img) |
| 2023-07-08 20:05:02 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-07-08 20:07:29 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-08 20:10:51 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 20:11:34 +0000 | Guest8835 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-08 20:11:58 +0000 | Thorin | (~Thorin@user/Thorin) (Quit: Leaving ...) |
| 2023-07-08 20:16:29 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-08 20:17:56 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-07-08 20:21:15 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-08 20:30:17 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-07-08 20:30:26 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-07-08 20:33:08 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-08 20:34:13 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-07-08 20:37:31 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-08 20:40:55 +0000 | azr4e1 | (~azr4e1@host86-134-72-140.range86-134.btcentralplus.com) (Remote host closed the connection) |
| 2023-07-08 20:41:23 +0000 | gry | (quasselcor@botters/gry) |
| 2023-07-08 20:47:57 +0000 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) |
| 2023-07-08 20:49:43 +0000 | hololeap | wholesomeleap |
| 2023-07-08 20:50:14 +0000 | mmhat | (~mmh@p200300f1c724ae56ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-07-08 20:50:37 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 20:51:08 +0000 | wholesomeleap | hololeap |
| 2023-07-08 20:51:24 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 20:52:54 +0000 | gry | (quasselcor@botters/gry) (Ping timeout: 240 seconds) |
| 2023-07-08 20:53:28 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-07-08 20:55:11 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 20:55:39 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-08 20:56:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2023-07-08 20:56:24 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-08 20:56:58 +0000 | gry | (quasselcor@botters/gry) |
| 2023-07-08 21:08:00 +0000 | pavonia | (~user@user/siracusa) |
| 2023-07-08 21:09:21 +0000 | jargon | (~jargon@184.101.73.95) (Remote host closed the connection) |
| 2023-07-08 21:09:22 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-08 21:09:22 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-08 21:09:22 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-08 21:09:34 +0000 | mmhat | (~mmh@p200300f1c724ae56ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.1) |
| 2023-07-08 21:12:48 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 2023-07-08 21:21:14 +0000 | Buggys | (Buggys@shelltalk.net) |
| 2023-07-08 21:22:50 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-07-08 21:28:20 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-08 21:34:16 +0000 | <L29Ah> | is there a getopt solution similar to optparse-generic, but supporting common options for a command and subcommands with subcommand-specific options at the same time? |
| 2023-07-08 21:34:50 +0000 | <L29Ah> | https://hackage.haskell.org/package/optparse-generic-1.5.0/docs/Options-Generic.html tells it only does subcommand-specific options, and that it can't work with nested records |
| 2023-07-08 21:45:03 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-07-08 21:45:37 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-07-08 21:46:06 +0000 | gry | (quasselcor@botters/gry) (Ping timeout: 240 seconds) |
| 2023-07-08 21:50:37 +0000 | <sm> | I do that with cmdargs at least |
| 2023-07-08 21:50:54 +0000 | <sm> | presumably one of the optparse flavours can do it |
| 2023-07-08 21:53:54 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-08 21:53:54 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-08 21:53:55 +0000 | jinsun | Guest6478 |
| 2023-07-08 21:53:55 +0000 | Guest6478 | (~jinsun@user/jinsun) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-07-08 21:53:55 +0000 | jinsun_ | jinsun |
| 2023-07-08 21:54:27 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 22:00:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-08 22:05:47 +0000 | nick4 | (~nick@98.186.195.59) |
| 2023-07-08 22:07:32 +0000 | ryantrinkle | (~ryantrink@89.247.249.243) |
| 2023-07-08 22:07:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-08 22:08:39 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-07-08 22:12:08 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-08 22:13:08 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-07-08 22:13:46 +0000 | Inst_ | (~Inst@2601:6c4:4081:2fc0:390f:7fa0:d024:ef82) |
| 2023-07-08 22:14:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
| 2023-07-08 22:15:06 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:1933:a56d:b98f:3d34) (Ping timeout: 246 seconds) |
| 2023-07-08 22:17:29 +0000 | acidjnk | (~acidjnk@p200300d6e7072f9278793b6e90b80047.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-08 22:20:17 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-07-08 22:20:37 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-08 22:20:54 +0000 | nick3 | (~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) |
| 2023-07-08 22:21:16 +0000 | nick4 | (~nick@98.186.195.59) (Ping timeout: 245 seconds) |
| 2023-07-08 22:27:01 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-07-08 22:27:08 +0000 | Guest8835 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2023-07-08 22:28:32 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-08 22:29:23 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-07-08 22:30:08 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-08 22:36:16 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-08 22:36:44 +0000 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 240 seconds) |
| 2023-07-08 22:37:39 +0000 | shachaf | (~shachaf@user/shachaf) |
| 2023-07-08 22:37:51 +0000 | <DigitalKiwi> | https://github.com/pcapriotti/optparse-applicative does this do what you want |
| 2023-07-08 22:40:26 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.0) |
| 2023-07-08 22:43:44 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-07-08 22:44:06 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-08 22:54:31 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-08 23:08:24 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-08 23:13:35 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
| 2023-07-08 23:13:49 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-07-08 23:22:51 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-08 23:25:23 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-07-08 23:25:36 +0000 | tackleton | (~tackleton@services.tilde.club) (Leaving) |
| 2023-07-08 23:27:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-07-08 23:33:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-08 23:48:56 +0000 | tureba | (~tureba@tureba.org) (Server closed connection) |
| 2023-07-08 23:49:12 +0000 | tureba | (~tureba@tureba.org) |
| 2023-07-08 23:49:49 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-07-08 23:49:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-08 23:51:16 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-07-08 23:51:17 +0000 | mauke_ | mauke |
| 2023-07-08 23:52:16 +0000 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Server closed connection) |
| 2023-07-08 23:55:15 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-08 23:58:08 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-07-08 23:58:51 +0000 | gry | (quasselcor@botters/gry) |
