Newest at the top
| 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 |
| 2025-02-12 23:00:01 +0100 | <tomsmeding> | ah or Identity, yes |
| 2025-02-12 22:59:32 +0100 | <merijn> | did lambdabot lose his evil instances? |
| 2025-02-12 22:59:26 +0100 | <euouae> | You can do :: Identity Int |
| 2025-02-12 22:59:24 +0100 | <yahb2> | Sum {getSum = 3} |
| 2025-02-12 22:59:24 +0100 | <tomsmeding> | % fmap (+1) (2 :: Data.Monoid.Sum Int) |
| 2025-02-12 22:59:21 +0100 | <lambdabot> | from the context: (Num t, Num t1, Num (t1 -> t)) |
| 2025-02-12 22:59:21 +0100 | <lambdabot> | • Could not deduce (Num t0) |
| 2025-02-12 22:59:21 +0100 | <lambdabot> | error: |
| 2025-02-12 22:59:19 +0100 | <merijn> | > fmap (+1) 2 3 |
| 2025-02-12 22:59:15 +0100 | <merijn> | aww |
| 2025-02-12 22:59:12 +0100 | <lambdabot> | prevents the constraint ‘(Show (f0 Integer))’ from being solved. |
| 2025-02-12 22:59:12 +0100 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M207628434199... |
| 2025-02-12 22:59:12 +0100 | <lambdabot> | error: |
| 2025-02-12 22:59:11 +0100 | <merijn> | > fmap (+1) 2 |
| 2025-02-12 22:59:07 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-12 22:58:54 +0100 | <merijn> | monochrom: I mean, is it? :p |
| 2025-02-12 22:58:39 +0100 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2025-02-12 22:58:27 +0100 | <monochrom> | Wait, is fmap (+1) 2 supposed to type-check? |
| 2025-02-12 22:56:30 +0100 | <monochrom> | Or worse, you chose the wrong fmap definition, then you rationalized it by misinterpreting the rest of the expression. |
| 2025-02-12 22:56:13 +0100 | <euouae> | justsomeguy: try this instead: `fmap (+1) 2` first |
| 2025-02-12 22:56:12 +0100 | <tomsmeding> | so the "quotes" is indeed accurate, it seems |
| 2025-02-12 22:56:02 +0100 | <tomsmeding> | euouae: experimentally, --ghc-options parses " but passes ' on unchanged |
| 2025-02-12 22:55:33 +0100 | <tomsmeding> | justsomeguy: the order shouldn't matter, which fmap resolves to which definition is determined solely by the types |
| 2025-02-12 22:55:24 +0100 | <monochrom> | You were using the wrong fmap definition. |
| 2025-02-12 22:54:54 +0100 | <justsomeguy> | I'm still confused. Maybe I way trying to apply the outer fmap first, instead of the inner fmap? Figuring out where I went wrong is going to bother me for a while. |
| 2025-02-12 22:54:13 +0100 | <euouae> | tomsmeding: I would say the rest is good, just hold off on the -options variant until more clarification is available |
| 2025-02-12 22:53:31 +0100 | <euouae> | like -W arguments and -f |
| 2025-02-12 22:53:25 +0100 | <euouae> | I guess, realistically, it only gets passed stuff without spaces? |
| 2025-02-12 22:53:23 +0100 | <tomsmeding> | merijn: ? :p |
| 2025-02-12 22:53:09 +0100 | <euouae> | oh... that's not good |
| 2025-02-12 22:52:44 +0100 | <tomsmeding> | --repl-options doesn't even seem to accept " |
| 2025-02-12 22:52:27 +0100 | <euouae> | good catch on C:\Program Files\ typo heh |
| 2025-02-12 22:51:38 +0100 | <tomsmeding> | euouae: good question! |
| 2025-02-12 22:51:14 +0100 | <euouae> | I like how you commented the single option. I agree it's easier to understand now. |
| 2025-02-12 22:50:47 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-02-12 22:50:21 +0100 | <euouae> | tomsmeding: this is dumb, but do 'quotes' also prevent splitting? |
| 2025-02-12 22:50:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |