Newest at the top
| 2025-02-12 23:14:59 +0100 | tnt2 | tnt1 |
| 2025-02-12 23:14:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-12 23:14:38 +0100 | <tomsmeding> | euouae: thanks :) |
| 2025-02-12 23:14:35 +0100 | <merijn> | the does not accept quotes seems suspect, as the quotes generally are eaten by the shell, no? |
| 2025-02-12 23:14:25 +0100 | <euouae> | tomsmeding: I say go ahead, I can't review further because I have some stuff to do away from computer now |
| 2025-02-12 23:13:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-12 23:13:38 +0100 | <tomsmeding> | github (tm) |
| 2025-02-12 23:13:35 +0100 | <tomsmeding> | ah yes |
| 2025-02-12 23:13:29 +0100 | <merijn> | ah, no the ...was part of the url xD |
| 2025-02-12 23:13:19 +0100 | <tomsmeding> | merijn: doesn't for me |
| 2025-02-12 23:12:59 +0100 | <merijn> | tomsmeding: that shows empty? |
| 2025-02-12 23:12:54 +0100 | <tomsmeding> | euouae: no thanks this is great |
| 2025-02-12 23:12:48 +0100 | <tomsmeding> | --PROG-options has OPTS, so let's use that |
| 2025-02-12 23:12:40 +0100 | <euouae> | :< am I too nitpicky |
| 2025-02-12 23:12:29 +0100 | <tomsmeding> | lol |
| 2025-02-12 23:12:22 +0100 | <euouae> | right now it has the singular form FLAG |
| 2025-02-12 23:12:18 +0100 | <euouae> | or even =OPTIONS |
| 2025-02-12 23:12:15 +0100 | <euouae> | tomsmeding: --repl-options=FLAGS is better |
| 2025-02-12 23:11:29 +0100 | <tomsmeding> | shall I PR this? |
| 2025-02-12 23:11:25 +0100 | <tomsmeding> | merijn: euouae: I further clarified the "quoting" behaviour https://github.com/tomsmeding/cabal/compare/595d0238c97e6e63d992f35f2047691da2460602...options-docs |
| 2025-02-12 23:11:07 +0100 | <monochrom> | Ah OK. Back in my days it was always monad. :) |
| 2025-02-12 23:10:45 +0100 | <tomsmeding> | magic_rb: nice :) |
| 2025-02-12 23:10:18 +0100 | <tomsmeding> | it's actually `traverse` |
| 2025-02-12 23:10:15 +0100 | <tomsmeding> | monochrom: it's just the observation that surprisingly often, when you're looking for something that does this particular combination of fmap and sequence, or perhaps concatMap, or perhaps yet some other thing that looks totally different |
| 2025-02-12 23:10:06 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2025-02-12 23:09:13 +0100 | <haskellbridge> | <magic_rb> tomsmeding: got it, thankfully tomland backtracks properly. would be pretty bad after convincing my boss to allow me to do this in haskell to be like: "yeah so i spend 2 hours trying to get the fucking CLI to work, only to not be able to do it, because, uh, math reason" |
| 2025-02-12 23:08:51 +0100 | <monochrom> | Why is it always traverse? |
| 2025-02-12 23:08:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-12 23:07:50 +0100 | <merijn> | the other heathens still need to accept our lord and saviour |
| 2025-02-12 23:07:43 +0100 | <tomsmeding> | (: |
| 2025-02-12 23:07:32 +0100 | <merijn> | I have converted at least one colleague to the one true faith of traverse |
| 2025-02-12 23:07:15 +0100 | <tomsmeding> | ah |
| 2025-02-12 23:07:11 +0100 | <merijn> | tomsmeding: it's always traverse |
| 2025-02-12 23:07:09 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-12 23:06:59 +0100 | <tomsmeding> | merijn: what is? |
| 2025-02-12 23:06:42 +0100 | <merijn> | tomsmeding: Funnily enough still true in scala, although not always as easily implemented :p |
| 2025-02-12 23:06:21 +0100 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2025-02-12 23:04:40 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-12 23:04:22 +0100 | <monochrom> | Interesting. |
| 2025-02-12 23:03:29 +0100 | <tomsmeding> | "it's always `traverse`"? |
| 2025-02-12 23:03:21 +0100 | <tomsmeding> | what even is this ordering, why is it alphabetically ordered except that Traversable is first |
| 2025-02-12 23:02:33 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-02-12 23:02:30 +0100 | <yahb2> | Traversable Applicative Bounded Enum Eq Floating Foldable Fractional Functor Integral Monad Monoid Num Ord Read RealFloat RealFrac Real Semigroup Show ; ExitSuccess |
| 2025-02-12 23:02:30 +0100 | <tomsmeding> | % System.Process.system "ghci -e ':i Data.Functor.Identity.Identity' | grep '^instance' | cut -d' ' -f2 | xargs" |
| 2025-02-12 23:00:50 +0100 | <tomsmeding> | for better or for worse |
| 2025-02-12 23:00:48 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-12 23:00:45 +0100 | <tomsmeding> | Identity implements a lot of type classes! |
| 2025-02-12 23:00:34 +0100 | <monochrom> | fancy |
| 2025-02-12 23:00:29 +0100 | <lambdabot> | Identity 5 |
| 2025-02-12 23:00:27 +0100 | <monochrom> | > Identity 2 + 3 |