Newest at the top
| 2024-10-06 20:22:38 +0200 | <tomsmeding> | "solution in want of a problem" is multiple times more explicit and clear than those other phrases :p |
| 2024-10-06 20:22:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-06 20:22:31 +0200 | <int-e> | monochrom: "smells like blockchain" |
| 2024-10-06 20:22:22 +0200 | <Inst> | monochrom: how often do people parse those phrases incorrectly? |
| 2024-10-06 20:22:09 +0200 | <monochrom> | or "solution in want of a problem" |
| 2024-10-06 20:21:46 +0200 | <monochrom> | Likewise for polite negative thesis/paper review. "solves a much needed problem". |
| 2024-10-06 20:21:26 +0200 | <tomsmeding> | * :p |
| 2024-10-06 20:21:24 +0200 | <tomsmeding> | or any of the zillion variations on this idea, without a clearly most-general option that is workable p |
| 2024-10-06 20:21:19 +0200 | <monochrom> | If you want to politely write a negative book review, you can write "this book fills a much needed gap". I think someone actually did that. |
| 2024-10-06 20:21:18 +0200 | <Inst> | monochrom: survivorship bias? |
| 2024-10-06 20:21:04 +0200 | <tomsmeding> | I was thinking of class Functor' f where { type FConstr f ; fmap' :: (FConstr a, FConstr b) => (a -> b) -> f a -> f b } |
| 2024-10-06 20:20:42 +0200 | <monochrom> | Oh let me just tell you jokes about reviews that roast, in closing. |
| 2024-10-06 20:20:27 +0200 | <geekosaur> | iirc it is |
| 2024-10-06 20:20:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-06 20:19:50 +0200 | <tomsmeding> | geekosaur: if you mean this https://hackage.haskell.org/package/indexed-0.1.3/docs/Data-Functor-Indexed.html , that's not quite the same, is it? |
| 2024-10-06 20:19:44 +0200 | <monochrom> | And that actually tells you a lot about the economics of how many people actually care. |
| 2024-10-06 20:19:22 +0200 | <monochrom> | probably also unmaintained. |
| 2024-10-06 20:19:12 +0200 | <geekosaur> | (look for "indexed functors"/"indexed monads"/etc.) |
| 2024-10-06 20:18:53 +0200 | <geekosaur> | it's on Hackage but unlikely to make base |
| 2024-10-06 20:18:33 +0200 | <tomsmeding> | but it's generally considered not worth it for the sheer carnage of backwards incompatibility it would incur |
| 2024-10-06 20:18:26 +0200 | <monochrom> | For that, you can go back to: <geekosaur> have you ever looked at EdisonCore? |
| 2024-10-06 20:18:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-06 20:18:15 +0200 | <tomsmeding> | there have been proposals for a modified Functor class that admits additional constraints on fmap |
| 2024-10-06 20:17:57 +0200 | <Inst> | Set isn't a functor, can't be made into a functor |
| 2024-10-06 20:17:48 +0200 | <tomsmeding> | well, then I guess that, yes |
| 2024-10-06 20:17:45 +0200 | <tomsmeding> | oh I see |
| 2024-10-06 20:17:37 +0200 | <Inst> | tomsmeding: Set a |
| 2024-10-06 20:17:35 +0200 | <tomsmeding> | unless what you want out is indeed a list :p |
| 2024-10-06 20:17:28 +0200 | <tomsmeding> | the toList is pointless in that expression |
| 2024-10-06 20:17:23 +0200 | <geekosaur> | honestly, all I am seeing here is "it's not done the way I prefer from other languages, this!must!be!fixed!!" |
| 2024-10-06 20:17:14 +0200 | <Inst> | ehhh, honestly, probably just traverse f . toList solves all the problems I'm whining about |
| 2024-10-06 20:17:14 +0200 | <yahb2> | type Traversable :: (* -> *) -> Constraint ; class (Functor t, Foldable t) => Traversable t where ; traverse :: Applicative f => (a -> f b) -> t a -> f (t b) ; sequenceA :: Applicative f => t (... |
| 2024-10-06 20:17:14 +0200 | <tomsmeding> | % :i Traversable |
| 2024-10-06 20:16:48 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-10-06 20:16:47 +0200 | <tomsmeding> | :t fmap |
| 2024-10-06 20:16:42 +0200 | <Inst> | Container c => (a -> b) -> c a -> c b |
| 2024-10-06 20:16:36 +0200 | <tomsmeding> | note that Functor (with fmap) is a superclass of Traversable |
| 2024-10-06 20:16:33 +0200 | <geekosaur> | (f)map is Traversable |
| 2024-10-06 20:16:16 +0200 | <int-e> | don't say "unreadable" when you mean "ugly" |
| 2024-10-06 20:16:15 +0200 | <tomsmeding> | Inst: what would its type be? |
| 2024-10-06 20:16:14 +0200 | <Inst> | wait, does foldable now come with a fmap like action? |
| 2024-10-06 20:15:54 +0200 | <geekosaur> | Inst, that's where FOldable and Traversable come in |
| 2024-10-06 20:15:47 +0200 | <monochrom> | Even COBOL requires English education to read. |
| 2024-10-06 20:15:45 +0200 | <Franciman> | of expertise |
| 2024-10-06 20:15:38 +0200 | <Franciman> | haskell people come in various levels... |
| 2024-10-06 20:15:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-06 20:15:23 +0200 | <Inst> | so what's wrong with having a single cMap that does a fmap-like action over any container? |
| 2024-10-06 20:15:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-06 20:14:53 +0200 | <monochrom> | I'm only obliged to write Haskell code for Haskell people, Python code for Python people. |
| 2024-10-06 20:14:26 +0200 | <monochrom> | If I'm writing Haskell code I'm not obliged to make it comprehensible to Python people. Or vice versa. |