Newest at the top
2024-05-14 20:38:52 +0200 | <cheater> | ph88: the question is why you want that |
2024-05-14 20:38:46 +0200 | <mauke> | hmm, actually ... |
2024-05-14 20:38:39 +0200 | <cheater> | ph88: yes, that is something that is done |
2024-05-14 20:38:25 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-14 20:38:17 +0200 | <ph88> | cheater, `getSomething :: forall b. Something b => a -> Maybe b` |
2024-05-14 20:38:15 +0200 | <yin> | cheater: if you're using vim and think 'apt i fzf' is adding too much complexity to your life, the :find and :vim commands are your friends |
2024-05-14 20:38:14 +0200 | <mauke> | data Box = forall a. (Animal a) => MkBox a |
2024-05-14 20:37:58 +0200 | <cheater> | this type signature tells you that the return type, a, will implement MyClass |
2024-05-14 20:37:42 +0200 | <cheater> | but what you're really trying to say is something like myfunction :: (MyClass a) => a -> SomeOtherType -> a |
2024-05-14 20:37:40 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-14 20:37:16 +0200 | <ncf> | what |
2024-05-14 20:37:03 +0200 | <cheater> | ph88: you don't want those here |
2024-05-14 20:36:53 +0200 | <cheater> | ph88: you're talking about uh, factories |
2024-05-14 20:36:35 +0200 | <ncf> | sounds like existentials |
2024-05-14 20:36:24 +0200 | <cheater> | blinded by greed, i am unable to :) |
2024-05-14 20:36:22 +0200 | <ph88> | mauke, ncf rust has something similar https://doc.rust-lang.org/rust-by-example/trait/dyn.html how to explain ?? in OO languages you return a type that implements an interface |
2024-05-14 20:35:47 +0200 | <yin> | i'm sure you can see that |
2024-05-14 20:35:41 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2024-05-14 20:35:39 +0200 | <yin> | cheater: i think that would introduce a lot of problems to other unsuspecting users |
2024-05-14 20:35:29 +0200 | <mauke> | this feels like an XY problem |
2024-05-14 20:35:17 +0200 | <mauke> | what does that even mean |
2024-05-14 20:34:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-14 20:34:32 +0200 | <ph88> | mauke, i'm trying to have a function that given a data which implements a typeclass can return another data that implements the same type class |
2024-05-14 20:33:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-14 20:32:46 +0200 | <cheater> | one line in the cabal file saves a million lines typed over the lifespan of a programmer |
2024-05-14 20:32:26 +0200 | <cheater> | yin: in the cabal file, under "test-suite test", have "hs-source-dir-prefix: MyCompany/MyProduct/MyProject/Test" |
2024-05-14 20:32:00 +0200 | <mauke> | I'm as confused as the compiler |
2024-05-14 20:31:52 +0200 | <mauke> | ph88: I can't tell what you're trying to do |
2024-05-14 20:31:49 +0200 | <ncf> | ph88: i can't guess what you're trying to do from just this |
2024-05-14 20:31:04 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-14 20:30:55 +0200 | <mauke> | https://howfuckedismydatabase.com/nosql/ |
2024-05-14 20:30:38 +0200 | <ph88> | is there another way to write code for what i'm trying to do? https://play.haskell.org/saved/d94XX4WG |
2024-05-14 20:30:23 +0200 | <yin> | what would your solution to your problem be? |
2024-05-14 20:30:04 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:50c2:30a5:77d8:a72f) |
2024-05-14 20:29:44 +0200 | <yin> | i don't mean to be rude |
2024-05-14 20:29:43 +0200 | <cheater> | lol |
2024-05-14 20:29:30 +0200 | <cheater> | i will be very unhappy if it's anyone else |
2024-05-14 20:29:25 +0200 | <cheater> | yes. specifically you |
2024-05-14 20:29:11 +0200 | <cheater> | yes. if we want to speak nonsense, nothing's stopping me from rewriting everything in cobol |
2024-05-14 20:29:11 +0200 | <yin> | cheater: so you want others to craft a solution to your measure? |
2024-05-14 20:28:49 +0200 | <yin> | or a single .hs file |
2024-05-14 20:28:44 +0200 | <cheater> | well, it does, because people still want to be able to discriminate code local to a company or to a project from code that is not such |
2024-05-14 20:28:07 +0200 | <yin> | nothing stops you from having a single root directory with no subfolders where all your files live |
2024-05-14 20:27:53 +0200 | <cheater> | in my suggestion, they don't. you don't need to do anything every time you want to open a file |
2024-05-14 20:27:40 +0200 | <cheater> | in your paradigm fuzzy finders need to be invoked every single time you want to open a file |
2024-05-14 20:27:32 +0200 | <yin> | you're supposed to automate your tasks, that's why computers are programmable |
2024-05-14 20:27:17 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-14 20:27:14 +0200 | <yin> | cheater: the fact that fuzzy finders exist prove that as programmers we didn't accept anything |
2024-05-14 20:27:10 +0200 | <cheater> | and then 5 years down the line you're doing nothing but "you can just"s |
2024-05-14 20:26:44 +0200 | <cheater> | it's about the fact that as programmers we are eager to accept all those "you can just"s |