| 2023-11-19 00:00:33 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-11-19 00:00:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-19 00:00:58 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-11-19 00:01:53 +0100 | falafel_ | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) (Remote host closed the connection) |
| 2023-11-19 00:02:54 +0100 | falafel | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) |
| 2023-11-19 00:05:19 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-19 00:06:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-19 00:07:03 +0100 | falafel | (~falafel@host86-157-162-120.range86-157.btcentralplus.com) (Read error: Connection reset by peer) |
| 2023-11-19 00:08:15 +0100 | trev | (~trev@user/trev) |
| 2023-11-19 00:11:51 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-11-19 00:15:10 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-19 00:15:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) |
| 2023-11-19 00:16:28 +0100 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2023-11-19 00:22:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-11-19 00:24:10 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2023-11-19 00:24:57 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-19 00:26:18 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
| 2023-11-19 00:26:34 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2023-11-19 00:30:02 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 00:34:49 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 00:37:38 +0100 | cdsloif^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-11-19 00:43:44 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-11-19 00:47:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
| 2023-11-19 00:50:04 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-11-19 00:51:11 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-11-19 00:51:57 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-11-19 00:52:13 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-19 01:04:24 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2023-11-19 01:04:40 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-11-19 01:05:21 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-19 01:12:36 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 01:13:59 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-19 01:15:49 +0100 | <John_Ivan> | for what distro is haskell mainly designed for? |
| 2023-11-19 01:15:57 +0100 | <John_Ivan> | GHCup* |
| 2023-11-19 01:16:34 +0100 | <zero> | why would you think it's designed for a specific distro? |
| 2023-11-19 01:17:03 +0100 | <John_Ivan> | simply because the command to install it that it asks me to copy paste in my terminal doesn't seem to cover the fact that some extra dependencies are needed |
| 2023-11-19 01:17:27 +0100 | <John_Ivan> | indeed it tells me of those dependencies. but I can't be bothered. |
| 2023-11-19 01:17:32 +0100 | <John_Ivan> | to install them manually |
| 2023-11-19 01:17:42 +0100 | <John_Ivan> | I tried this on opensuse, ubuntu and fedora. |
| 2023-11-19 01:17:52 +0100 | <John_Ivan> | all 3 lack the necessary tools on a fresh install |
| 2023-11-19 01:17:53 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 01:18:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2023-11-19 01:18:32 +0100 | <John_Ivan> | as for why I'm doing this; because I like to live in a perfect world where things work out of the box |
| 2023-11-19 01:18:47 +0100 | <zero> | you can see which dependencies are needed for your system here https://www.haskell.org/ghcup/install/ |
| 2023-11-19 01:19:00 +0100 | <John_Ivan> | <John_Ivan> indeed it tells me of those dependencies. but I can't be bothered. |
| 2023-11-19 01:19:18 +0100 | <duncan> | This sounds like it might be a 'you' problem |
| 2023-11-19 01:19:19 +0100 | <John_Ivan> | I need a distro that comes with everything preinstalled offline |
| 2023-11-19 01:19:27 +0100 | <John_Ivan> | nah. it's a policy problem. |
| 2023-11-19 01:19:36 +0100 | <John_Ivan> | my policy versus the development community policy |
| 2023-11-19 01:19:53 +0100 | <John_Ivan> | anyway if no one has an answer, I'll go look around |
| 2023-11-19 01:19:57 +0100 | <duncan> | OK, install the dependencies in accordance with your policy, then |
| 2023-11-19 01:20:28 +0100 | <EvanR> | I've thrown together such a linux distribution for work before |
| 2023-11-19 01:20:30 +0100 | <John_Ivan> | duncan, as good an answer as any then. thanks. |
| 2023-11-19 01:20:33 +0100 | <EvanR> | had everything it needed out of the box |
| 2023-11-19 01:21:02 +0100 | <EvanR> | you can have it if you want |
| 2023-11-19 01:21:04 +0100 | chomwitt | (~chomwitt@ppp-94-67-202-40.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2023-11-19 01:21:04 +0100 | <zero> | John_Ivan: maybe the devs also "can't be bothered" |
| 2023-11-19 01:21:11 +0100 | <zero> | i guess we all have our own motivations |
| 2023-11-19 01:21:22 +0100 | <John_Ivan> | EvanR, I'm sure I could have had it already if you intended in giving it to me. |
| 2023-11-19 01:21:26 +0100 | <zero> | such is life |
| 2023-11-19 01:21:36 +0100 | <John_Ivan> | zero, well, that's why we live in the world we do. |
| 2023-11-19 01:21:41 +0100 | <duncan> | / |
| 2023-11-19 01:21:45 +0100 | <duncan> | er, ignore |
| 2023-11-19 01:21:45 +0100 | <EvanR> | it's on a CD-ROM so no |
| 2023-11-19 01:24:26 +0100 | <John_Ivan> | EvanR, I hear Pop_OS! usually comes with development tools preinstalled |
| 2023-11-19 01:24:28 +0100 | <zero> | it would be nice if everything worked out of the box with minimal effort. unfortunately packaging such a product takes time and (continuous!) effort so unless the dev has a stron motivation for you to run their software, there's little sense in doing so i think. |
| 2023-11-19 01:24:56 +0100 | <John_Ivan> | zero, things not working out of the box is not nice. it's a defacto. |
| 2023-11-19 01:25:05 +0100 | <John_Ivan> | is not "nice". |
| 2023-11-19 01:25:18 +0100 | <EvanR> | I can't see reference to PopOS! without reading PoOpS! |
| 2023-11-19 01:25:32 +0100 | <John_Ivan> | EvanR, :) |
| 2023-11-19 01:25:36 +0100 | <zero> | it's very sensible to assume that the target audience is more than capable of installing software from source and managing dependencies |
| 2023-11-19 01:25:55 +0100 | <EvanR> | I would like microsoft windows to come with development environment already set up |
| 2023-11-19 01:26:07 +0100 | <John_Ivan> | EvanR, I would too. |
| 2023-11-19 01:26:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2023-11-19 01:26:35 +0100 | <zero> | i would like food to magically appear in my mouth, already chewed whenever i'm hungry |
| 2023-11-19 01:26:36 +0100 | <John_Ivan> | in fact, part of my belief is that an OS, whether it's for consumer or developer, should come preinstalled with development kits |
| 2023-11-19 01:26:37 +0100 | <EvanR> | esp if I'm paying for it |
| 2023-11-19 01:26:50 +0100 | <John_Ivan> | zero, you can do that. just buy paste. |
| 2023-11-19 01:27:25 +0100 | <zero> | John_Ivan: you mean leave the house and go to a place searching for paste? that sounds like a lot of work |
| 2023-11-19 01:27:47 +0100 | <monochrom> | Already chewed? Eww. |
| 2023-11-19 01:27:54 +0100 | <John_Ivan> | zero, that's why we have ordering online |
| 2023-11-19 01:28:03 +0100 | <John_Ivan> | so you don't have to do all that work |
| 2023-11-19 01:28:10 +0100 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-11-19 01:28:18 +0100 | <monochrom> | But: good, fast, free: pick two. |
| 2023-11-19 01:28:24 +0100 | <zero> | John_Ivan: they mess up the orders all the time. it's "not nice" |
| 2023-11-19 01:28:50 +0100 | <John_Ivan> | zero, find a different provider. |
| 2023-11-19 01:28:57 +0100 | <John_Ivan> | just like I'm trying to find a different distro. |
| 2023-11-19 01:29:04 +0100 | <zero> | John_Ivan: i guess there's your answer then |
| 2023-11-19 01:29:15 +0100 | <John_Ivan> | doesn't hurt to ask beforehand. |
| 2023-11-19 01:29:49 +0100 | <John_Ivan> | monochrom, in my world, you have all 3 or it's not software. |
| 2023-11-19 01:29:58 +0100 | <zero> | it's a bad answer to a bad question, but if that's the bar you're setting that's the bar you're setting |
| 2023-11-19 01:29:58 +0100 | <John_Ivan> | it's a charlatan project. |
| 2023-11-19 01:30:19 +0100 | <geekosaur> | reality is that developers are a small subset of users so are not considered. and if they were, they would provide Python and JS development tools, not C or Haskell |
| 2023-11-19 01:30:19 +0100 | <John_Ivan> | monochrom, because you *can* have all three. |
| 2023-11-19 01:30:52 +0100 | <John_Ivan> | anyway my question was answered. move along. |
| 2023-11-19 01:30:54 +0100 | <John_Ivan> | \next. |
| 2023-11-19 01:32:21 +0100 | <zero> | John_Ivan: i can't believe you're changing distros instead of installing the missing dependecies |
| 2023-11-19 01:32:33 +0100 | <zero> | tell me you're joking :'D |
| 2023-11-19 01:32:44 +0100 | <monochrom> | I think this "discussion" has outlived its usefulness. |
| 2023-11-19 01:33:00 +0100 | <geekosaur> | if it was ever useful |
| 2023-11-19 01:33:16 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-11-19 01:33:19 +0100 | michalz | (~michalz@185.246.207.201) |
| 2023-11-19 01:36:14 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2023-11-19 01:36:56 +0100 | litharge | (litharge@libera/bot/litharge) (Killed (glguy (reconnect))) |
| 2023-11-19 01:36:58 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2023-11-19 01:41:22 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-11-19 01:43:28 +0100 | Jackneill | (~Jackneill@20014C4E1E1AA200C935E3B989BE2359.dsl.pool.telekom.hu) (Ping timeout: 276 seconds) |
| 2023-11-19 01:49:45 +0100 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 2023-11-19 01:52:21 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-19 01:54:01 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 01:56:35 +0100 | <John_Ivan> | geekosaur, agreed. |
| 2023-11-19 01:59:15 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 02:09:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c99:f3ba:7425:36f4) (Remote host closed the connection) |
| 2023-11-19 02:32:05 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-11-19 02:44:31 +0100 | zero | zzz |
| 2023-11-19 02:45:29 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 02:48:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 02:48:46 +0100 | vilya_ | (~vilya@user/vilya) |
| 2023-11-19 02:48:47 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2023-11-19 02:48:52 +0100 | tomboy65 | (~tomboy64@user/tomboy64) |
| 2023-11-19 02:49:46 +0100 | vilya | (~vilya@user/vilya) (Ping timeout: 276 seconds) |
| 2023-11-19 02:50:15 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 02:53:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Ping timeout: 276 seconds) |
| 2023-11-19 02:54:29 +0100 | ubert1 | (~Thunderbi@91.141.50.137.wireless.dyn.drei.com) |
| 2023-11-19 02:56:23 +0100 | ubert | (~Thunderbi@178.165.183.118.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2023-11-19 02:56:23 +0100 | ubert1 | ubert |
| 2023-11-19 02:59:20 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-11-19 03:00:17 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-11-19 03:00:54 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-19 03:08:14 +0100 | otto_s | (~user@p4ff27872.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-11-19 03:09:36 +0100 | otto_s | (~user@p4ff27599.dip0.t-ipconnect.de) |
| 2023-11-19 03:17:19 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-11-19 03:17:52 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-19 03:28:45 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-11-19 03:29:22 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 03:29:58 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-11-19 03:32:14 +0100 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2023-11-19 03:34:27 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 03:36:09 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 256 seconds) |
| 2023-11-19 03:38:55 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2023-11-19 03:45:14 +0100 | mima | (~mmh@aftr-62-216-211-150.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2023-11-19 03:45:39 +0100 | icaro | (~icaro@45-230-145-51.idealnetfibra.net.br) |
| 2023-11-19 03:46:09 +0100 | icaro | second_player |
| 2023-11-19 03:50:29 +0100 | second_player | (~icaro@45-230-145-51.idealnetfibra.net.br) (Quit: Leaving.) |
| 2023-11-19 03:50:47 +0100 | icaro | (~icaro@45-230-145-51.idealnetfibra.net.br) |
| 2023-11-19 03:50:54 +0100 | icaro | (~icaro@45-230-145-51.idealnetfibra.net.br) (Client Quit) |
| 2023-11-19 03:51:51 +0100 | second_player | (~second_pl@45-230-145-51.idealnetfibra.net.br) |
| 2023-11-19 04:07:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-19 04:11:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-11-19 04:18:34 +0100 | second_player | (~second_pl@45-230-145-51.idealnetfibra.net.br) (Ping timeout: 264 seconds) |
| 2023-11-19 04:18:49 +0100 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 276 seconds) |
| 2023-11-19 04:20:05 +0100 | td_ | (~td@i53870935.versanet.de) |
| 2023-11-19 04:22:13 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-19 04:22:13 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-19 04:22:13 +0100 | finn_elija | FinnElija |
| 2023-11-19 04:29:18 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 04:34:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 04:40:41 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-19 04:45:52 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 04:49:58 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-11-19 04:50:58 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-19 05:06:17 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc8:5c00:9c1a:8ed9:7b58:2dc2) |
| 2023-11-19 05:07:42 +0100 | aforemny | (~aforemny@2001:9e8:6ce3:3d00:71a8:d847:f310:db9e) (Ping timeout: 260 seconds) |
| 2023-11-19 05:39:42 +0100 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-11-19 05:40:49 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-11-19 05:47:15 +0100 | [exa] | (~exa@srv3n.blesmrt.net) (Ping timeout: 268 seconds) |
| 2023-11-19 05:47:23 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-11-19 05:47:55 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-19 05:48:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-11-19 05:49:19 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 05:50:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-19 05:51:09 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-11-19 06:04:32 +0100 | guy | (~guy@250.79-105-213.static.virginmediabusiness.co.uk) |
| 2023-11-19 06:31:34 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-19 06:38:53 +0100 | trev | (~trev@user/trev) |
| 2023-11-19 06:43:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-19 06:45:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-11-19 06:51:10 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 2023-11-19 06:53:51 +0100 | madoff | (~madoff@154.159.237.229) |
| 2023-11-19 06:58:36 +0100 | madoff | (~madoff@154.159.237.229) (Quit: Leaving) |
| 2023-11-19 06:59:08 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-19 07:05:15 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2023-11-19 07:07:11 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-19 07:09:05 +0100 | <haskellbridge> | 14<maerwald> Try stack |
| 2023-11-19 07:09:19 +0100 | <haskellbridge> | 14<maerwald> It invokes sudo for you if you're into that sort of thing |
| 2023-11-19 07:11:15 +0100 | <guy> | sorry, my bad |
| 2023-11-19 07:11:53 +0100 | <guy> | what about chmod 7777 |
| 2023-11-19 07:12:15 +0100 | <c_wraith> | that nearly always breaks things. |
| 2023-11-19 07:12:22 +0100 | <c_wraith> | You probably shouldn't do that. ever. |
| 2023-11-19 07:12:31 +0100 | <guy> | too much dark materia |
| 2023-11-19 07:13:35 +0100 | <guy> | yeah, in the thing its a metaphorical refference for, it just sends the charicter into a repeated frenzy of attacks that each take 7777 health |
| 2023-11-19 07:14:16 +0100 | <guy> | and because it cant be interupted it always defeats the enimy, but it only ever happens if you have 7777 health yourself |
| 2023-11-19 07:14:39 +0100 | <guy> | where then your attack is eaxtly as powerful as it would take to kill you exactly |
| 2023-11-19 07:15:20 +0100 | <guy> | but obviosly you never do it on yourself so its ok |
| 2023-11-19 07:16:27 +0100 | <guy> | by then i think weer into chown territory legit |
| 2023-11-19 07:17:32 +0100 | <guy> | some obscure ff7 reference from the future im *sure* is exactly what its most likely to *actually* be from |
| 2023-11-19 07:20:36 +0100 | guy | (~guy@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 2023-11-19 07:23:56 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-19 07:25:42 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-11-19 07:30:14 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-19 07:39:13 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-19 07:45:57 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-19 08:01:40 +0100 | analoq_ | (~yashi@user/dies) (Ping timeout: 255 seconds) |
| 2023-11-19 08:03:09 +0100 | analoq | (~yashi@user/dies) |
| 2023-11-19 08:30:19 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-11-19 08:38:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-19 08:39:22 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-19 08:48:47 +0100 | acidjnk | (~acidjnk@p200300d6e72b9399e0d3f8384e141d02.dip0.t-ipconnect.de) |
| 2023-11-19 09:03:13 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 09:13:44 +0100 | Allzman | (~Allzman@66.154.104.213) |
| 2023-11-19 09:14:56 +0100 | <Allzman> | Hello |
| 2023-11-19 09:22:54 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-19 09:26:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-19 09:27:26 +0100 | euleritian | (~euleritia@dynamic-002-247-249-092.2.247.pool.telefonica.de) |
| 2023-11-19 09:31:34 +0100 | <Allzman> | hello euleritian |
| 2023-11-19 09:32:18 +0100 | euleritian | (~euleritia@dynamic-002-247-249-092.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-19 09:32:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 09:34:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-11-19 09:34:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 09:40:29 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-19 09:44:18 +0100 | fendor | (~fendor@2a02:8388:1640:be00:2528:5dc7:a36e:9b87) |
| 2023-11-19 09:45:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-19 09:46:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-11-19 09:47:25 +0100 | euleritian | (~euleritia@dynamic-002-247-249-092.2.247.pool.telefonica.de) |
| 2023-11-19 09:47:48 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-19 09:55:33 +0100 | <Axman6> | hello Allzman |
| 2023-11-19 09:55:41 +0100 | <Allzman> | Hi |
| 2023-11-19 09:55:46 +0100 | <Allzman> | Axman6 |
| 2023-11-19 09:56:10 +0100 | <Allzman> | fan of haskell? |
| 2023-11-19 09:56:32 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-19 09:58:41 +0100 | <ski> | do you have any question ? |
| 2023-11-19 10:00:48 +0100 | <Allzman> | i would like to know about example repository of haskell |
| 2023-11-19 10:03:04 +0100 | <Axman6> | There's quite a lot of them on GitHub, is there anything in particular you're inteerested in? |
| 2023-11-19 10:03:23 +0100 | DeFutura | (~DeFutura@2a01:5a8:306:eaf8:192c:25eb:2252:2a8b) |
| 2023-11-19 10:03:26 +0100 | <Allzman> | nothing |
| 2023-11-19 10:03:38 +0100 | <Allzman> | and there is any channel for haskell job seekers? |
| 2023-11-19 10:06:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-19 10:07:13 +0100 | <DeFutura> | Hey all, is there a way to setup a project to implicitly pack and unpack Strings and Text (when function requires String but using Text by default for declarations) . |
| 2023-11-19 10:08:02 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-19 10:08:46 +0100 | <DeFutura> | so if some module exports functions that expect String just to pass to them Text without needing to unpack |
| 2023-11-19 10:10:49 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 10:11:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-19 10:16:04 +0100 | <haskellbridge> | 14<maerwald> only for literals, via OverloadedStrings extension |
| 2023-11-19 10:16:16 +0100 | Jackneill | (~Jackneill@20014C4E1E1AA2000F2D4B0C673AE70E.dsl.pool.telekom.hu) |
| 2023-11-19 10:16:30 +0100 | <haskellbridge> | 14<maerwald> there's no type coercion |
| 2023-11-19 10:21:53 +0100 | fendor | (~fendor@2a02:8388:1640:be00:2528:5dc7:a36e:9b87) (Ping timeout: 256 seconds) |
| 2023-11-19 10:24:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-19 10:28:17 +0100 | <DeFutura> | Ok thx , I already use OverloadedStrings |
| 2023-11-19 10:30:35 +0100 | <haskellbridge> | 14<maerwald> it's buggy on bytestrings btw |
| 2023-11-19 10:31:28 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-11-19 10:33:54 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-11-19 10:36:56 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-19 10:37:23 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-19 10:51:34 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-19 11:02:44 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-19 11:04:47 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-11-19 11:05:37 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-11-19 11:05:41 +0100 | euleritian | (~euleritia@dynamic-002-247-249-092.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-19 11:06:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 11:08:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 11:09:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-19 11:13:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-19 11:13:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 11:13:49 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-19 11:19:38 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 11:22:06 +0100 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-11-19 11:24:31 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 11:33:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 11:34:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-19 11:40:10 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-19 11:43:47 +0100 | misterfish | (~misterfis@46.44.172.198) |
| 2023-11-19 11:45:43 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 11:50:59 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-19 11:54:05 +0100 | Allzman | (~Allzman@66.154.104.213) (Quit: Client closed) |
| 2023-11-19 11:54:53 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-19 11:58:00 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2023-11-19 11:59:44 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-19 12:00:23 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2023-11-19 12:00:41 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-19 12:03:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Ping timeout: 260 seconds) |
| 2023-11-19 12:04:02 +0100 | mima | (~mmh@aftr-62-216-211-96.dynamic.mnet-online.de) |
| 2023-11-19 12:18:41 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 12:21:23 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 12:21:30 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-11-19 12:21:51 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 12:22:43 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-19 12:29:57 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 12:36:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-19 12:37:52 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b240:4be0:6188:1692) (Ping timeout: 246 seconds) |
| 2023-11-19 12:39:19 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 255 seconds) |
| 2023-11-19 12:42:25 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-19 12:44:45 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-11-19 12:45:58 +0100 | CiaoSen | (~Jura@2a05:5800:27e:b500:2a3a:4dff:fe84:dbd5) |
| 2023-11-19 12:49:16 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-19 12:52:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-19 12:52:36 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-19 12:57:38 +0100 | chomwitt | (~chomwitt@ppp-94-67-189-25.home.otenet.gr) |
| 2023-11-19 13:00:39 +0100 | mrmr1553 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-11-19 13:02:04 +0100 | Inst_ | (~Inst@120.244.192.250) |
| 2023-11-19 13:03:06 +0100 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-11-19 13:06:14 +0100 | mrmr15533 | (~mrmr@user/mrmr) |
| 2023-11-19 13:14:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-19 13:18:19 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2023-11-19 13:20:23 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 256 seconds) |
| 2023-11-19 13:24:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-19 13:25:09 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 13:28:19 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 256 seconds) |
| 2023-11-19 13:28:43 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-19 13:28:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-19 13:29:30 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-11-19 13:29:53 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-19 13:32:19 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-19 13:34:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-11-19 13:34:11 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2023-11-19 13:35:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-11-19 13:35:32 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-19 13:37:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-11-19 13:49:10 +0100 | AkshayMankar[m] | (~axemanpub@85.88.23.162) |
| 2023-11-19 13:57:40 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 14:00:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 14:04:00 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2023-11-19 14:07:08 +0100 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) |
| 2023-11-19 14:07:43 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2023-11-19 14:09:44 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 14:11:08 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-11-19 14:11:27 +0100 | EvanR | (~EvanR@user/evanr) |
| 2023-11-19 14:14:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-19 14:15:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Ping timeout: 256 seconds) |
| 2023-11-19 14:15:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-19 14:16:17 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) |
| 2023-11-19 14:21:04 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-11-19 14:24:59 +0100 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 256 seconds) |
| 2023-11-19 14:25:20 +0100 | defanor_ | defanor |
| 2023-11-19 14:26:51 +0100 | DeFutura | (~DeFutura@2a01:5a8:306:eaf8:192c:25eb:2252:2a8b) (Quit: Client closed) |
| 2023-11-19 14:38:31 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-11-19 14:39:09 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 14:42:53 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-11-19 14:44:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-11-19 14:50:06 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-19 14:55:17 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-11-19 14:56:30 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2023-11-19 14:56:30 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2023-11-19 14:56:30 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-11-19 15:04:00 +0100 | dhil | (~dhil@2001:8e0:2014:3100:2371:386b:1960:dc70) |
| 2023-11-19 15:09:23 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-11-19 15:09:52 +0100 | maturana | (~maturana@185.220.103.12) |
| 2023-11-19 15:12:53 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-19 15:13:11 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-11-19 15:13:23 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-19 15:13:51 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-11-19 15:17:14 +0100 | hueso | (~root@user/hueso) |
| 2023-11-19 15:21:22 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2023-11-19 15:25:49 +0100 | nyr | (~nyr@user/nyr) |
| 2023-11-19 15:25:57 +0100 | nyr | (~nyr@user/nyr) (Client Quit) |
| 2023-11-19 15:31:05 +0100 | liamzy__ | (~Inst@120.244.192.250) |
| 2023-11-19 15:31:07 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2023-11-19 15:31:35 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) |
| 2023-11-19 15:31:59 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 15:33:33 +0100 | Inst_ | (~Inst@120.244.192.250) (Ping timeout: 256 seconds) |
| 2023-11-19 15:34:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-11-19 15:38:59 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-19 15:40:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-11-19 15:41:43 +0100 | shapr | (~user@2600:1700:c640:3100:499d:95f3:db58:3df6) (Ping timeout: 268 seconds) |
| 2023-11-19 16:03:11 +0100 | Deide | (d0130db69a@user/deide) |
| 2023-11-19 16:05:30 +0100 | Vajb | (~Vajb@mobile-access-5d6a01-249.dhcp.inet.fi) |
| 2023-11-19 16:06:29 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 16:11:12 +0100 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-11-19 16:11:23 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-19 16:14:52 +0100 | ell | (~ellie@user/ellie) |
| 2023-11-19 16:19:13 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-11-19 16:24:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 16:25:48 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-19 16:26:36 +0100 | maturana | (~maturana@185.220.103.12) (Read error: Connection reset by peer) |
| 2023-11-19 16:26:47 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-11-19 16:27:15 +0100 | Tlsx | (~rscastilh@189.61.140.215) |
| 2023-11-19 16:30:54 +0100 | maturana | (~maturana@37.218.244.249) |
| 2023-11-19 16:33:13 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 16:38:37 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 16:39:17 +0100 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-11-19 16:50:46 +0100 | A_Dragon | (A_D@libera/staff/dragon) |
| 2023-11-19 16:56:55 +0100 | A_Dragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2023-11-19 16:59:07 +0100 | Vajb | (~Vajb@mobile-access-5d6a01-249.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2023-11-19 16:59:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Ping timeout: 276 seconds) |
| 2023-11-19 17:00:41 +0100 | Vajb | (~Vajb@2001:999:785:c11e:a1b8:59fa:dee7:e490) |
| 2023-11-19 17:02:07 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2023-11-19 17:04:23 +0100 | ubert | (~Thunderbi@91.141.50.137.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2023-11-19 17:04:56 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 17:05:18 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 17:09:30 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-19 17:09:48 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 17:10:07 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 17:15:36 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-11-19 17:21:11 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-11-19 17:23:42 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-11-19 17:31:44 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-19 17:32:00 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-11-19 17:32:04 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-19 17:40:25 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-19 17:40:42 +0100 | cdsloif^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-19 17:41:40 +0100 | cdsloif^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-11-19 17:42:13 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-19 17:42:21 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-11-19 17:42:31 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 255 seconds) |
| 2023-11-19 17:42:48 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-11-19 17:43:49 +0100 | trev | (~trev@user/trev) |
| 2023-11-19 17:44:03 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 17:46:14 +0100 | hueso | (~root@user/hueso) |
| 2023-11-19 17:47:46 +0100 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 256 seconds) |
| 2023-11-19 17:52:25 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2023-11-19 17:52:32 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-19 17:52:42 +0100 | hueso | (~root@user/hueso) |
| 2023-11-19 17:52:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-19 17:52:57 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-11-19 17:54:22 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 17:54:52 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 17:55:04 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2023-11-19 17:56:55 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-19 17:57:29 +0100 | CiaoSen | (~Jura@2a05:5800:27e:b500:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds) |
| 2023-11-19 17:58:10 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-11-19 18:00:04 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 18:02:12 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-19 18:02:29 +0100 | maturana | (~maturana@37.218.244.249) (Read error: Connection reset by peer) |
| 2023-11-19 18:06:14 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.219) |
| 2023-11-19 18:07:17 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-19 18:07:52 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-19 18:09:41 +0100 | AlexNoo | (~AlexNoo@178.34.162.228) (Ping timeout: 240 seconds) |
| 2023-11-19 18:10:05 +0100 | AlexZenon | (~alzenon@178.34.162.228) (Ping timeout: 240 seconds) |
| 2023-11-19 18:10:41 +0100 | foul_owl | (~kerry@157.97.134.165) |
| 2023-11-19 18:10:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-19 18:11:16 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) |
| 2023-11-19 18:12:14 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-11-19 18:14:24 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 18:14:28 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-19 18:17:44 +0100 | AlexZenon | (~alzenon@94.233.240.219) |
| 2023-11-19 18:19:41 +0100 | AlexNoo_ | AlexNoo |
| 2023-11-19 18:19:52 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 18:21:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 18:32:37 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-19 18:33:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 18:36:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-11-19 18:36:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 18:38:19 +0100 | Pickchea | (~private@user/pickchea) |
| 2023-11-19 18:41:28 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-11-19 18:41:41 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-19 18:41:51 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 18:44:17 +0100 | euleritian | (~euleritia@dynamic-002-247-250-074.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-19 18:44:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-19 18:46:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-19 18:47:14 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2023-11-19 18:51:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Remote host closed the connection) |
| 2023-11-19 18:59:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 18:59:46 +0100 | hueso | (~root@user/hueso) |
| 2023-11-19 19:01:13 +0100 | Maxlelyonai | (~Maxlelyon@19.red-88-23-210.staticip.rima-tde.net) |
| 2023-11-19 19:01:14 +0100 | <Maxlelyonai> | hello community |
| 2023-11-19 19:01:20 +0100 | <Maxlelyonai> | may I ask a question |
| 2023-11-19 19:01:26 +0100 | <Maxlelyonai> | Because I am having a problem reading a list |
| 2023-11-19 19:01:53 +0100 | <Maxlelyonai> | the problem is that I have stored a series of values. However, when I try to read it, it returns me one in each of the case |
| 2023-11-19 19:02:05 +0100 | <Maxlelyonai> | The code is a bit long |
| 2023-11-19 19:02:24 +0100 | <idgaen> | on irc, we often say: don't ask to ask :) |
| 2023-11-19 19:02:54 +0100 | <monochrom> | @where paste |
| 2023-11-19 19:02:55 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-11-19 19:03:02 +0100 | <monochrom> | You can put your code there. |
| 2023-11-19 19:03:17 +0100 | <Maxlelyonai> | it is line 84 and 85 |
| 2023-11-19 19:03:25 +0100 | <Maxlelyonai> | 85/86 |
| 2023-11-19 19:03:26 +0100 | <Maxlelyonai> | sorry |
| 2023-11-19 19:03:44 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-11-19 19:04:34 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-11-19 19:05:19 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-19 19:09:09 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 19:10:10 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-19 19:10:47 +0100 | <ski> | Maxlelyonai : you also need to give us the link of the new paste that you made |
| 2023-11-19 19:11:00 +0100 | <Maxlelyonai> | ah |
| 2023-11-19 19:11:01 +0100 | <Maxlelyonai> | xD |
| 2023-11-19 19:11:13 +0100 | <Maxlelyonai> | https://paste.tomsmeding.com/zPtTHObi |
| 2023-11-19 19:11:18 +0100 | <Maxlelyonai> | sorry |
| 2023-11-19 19:11:21 +0100 | <Maxlelyonai> | I have never used it before |
| 2023-11-19 19:12:56 +0100 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.1.1) |
| 2023-11-19 19:14:19 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-19 19:15:55 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-19 19:18:22 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-11-19 19:20:20 +0100 | <mauke> | Maxlelyonai: I don't understand the problem description |
| 2023-11-19 19:21:52 +0100 | <ski> | getreviewText = reviewText |
| 2023-11-19 19:22:00 +0100 | <ski> | getoverall = overall |
| 2023-11-19 19:22:19 +0100 | <ski> | copyReviewsToCleanData reviews reviewTexts = reviews {reviewTexts = reviewTexts} |
| 2023-11-19 19:22:24 +0100 | <ski> | s/Prelude.map toLower/toLower2/ |
| 2023-11-19 19:22:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-19 19:22:35 +0100 | <ski> | createMap = nub |
| 2023-11-19 19:22:39 +0100 | <ski> | matchOverallsWithTokens = zip |
| 2023-11-19 19:22:56 +0100 | <Maxlelyonai> | I have a programm where I have two variables. store2, where I store the frequency of a word in separate etiquettes. And store 3, where the frequency of a word is the sum of the frequency in each etiquettes store2. My problem is that in function calculateProbabilityOfEachTokenInEachEtiquette, when I read store3 all the frequency is one |
| 2023-11-19 19:22:59 +0100 | <Maxlelyonai> | Which is incorrect |
| 2023-11-19 19:23:00 +0100 | <ski> | storeAllWordsInEachEtiquette = foldr (\(x,y) -> insertWith (++) x y) Map.empty |
| 2023-11-19 19:23:44 +0100 | <mauke> | how do you know? |
| 2023-11-19 19:23:50 +0100 | <Maxlelyonai> | Because I debug it |
| 2023-11-19 19:23:52 +0100 | <mauke> | store4 is never used |
| 2023-11-19 19:23:59 +0100 | <Maxlelyonai> | yea |
| 2023-11-19 19:24:11 +0100 | <Maxlelyonai> | But previously I debug with other instruction |
| 2023-11-19 19:24:20 +0100 | <Maxlelyonai> | Where I acces the value in store3 and print the value |
| 2023-11-19 19:25:53 +0100 | <ski> | if you replace `import Data.Map' by `import Data.Map (Map)', and add prefix `Map.' to the relevant operations, you can skip the `Prelude.' prefices |
| 2023-11-19 19:26:32 +0100 | <Maxlelyonai> | thx |
| 2023-11-19 19:26:50 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 19:28:20 +0100 | <mauke> | I'm not sure what kind of help you're looking for |
| 2023-11-19 19:28:29 +0100 | <Maxlelyonai> | https://paste.tomsmeding.com/jEj9qU5X |
| 2023-11-19 19:28:32 +0100 | <Maxlelyonai> | this is the code to debug |
| 2023-11-19 19:28:43 +0100 | <Maxlelyonai> | I want to access the value in store3 correctly |
| 2023-11-19 19:29:09 +0100 | <Maxlelyonai> | because I want to calculate frequency of each word in each etiquette in comparison with the total frequency(store4= |
| 2023-11-19 19:29:28 +0100 | <mauke> | you're assuming the bug is in getFrequencyOfEachTokenInRelationWithTheTotal, which is not in evidence |
| 2023-11-19 19:29:48 +0100 | <Maxlelyonai> | Well |
| 2023-11-19 19:29:54 +0100 | <Maxlelyonai> | There is not other way |
| 2023-11-19 19:30:00 +0100 | <Maxlelyonai> | Because when I print store4 |
| 2023-11-19 19:30:07 +0100 | <Maxlelyonai> | The values are correctly stored |
| 2023-11-19 19:30:19 +0100 | <Maxlelyonai> | The unique place that it is not working correctly is in the function |
| 2023-11-19 19:30:54 +0100 | <mauke> | so why post all the other stuff? |
| 2023-11-19 19:31:16 +0100 | <Maxlelyonai> | In order to have a context |
| 2023-11-19 19:31:20 +0100 | <mauke> | you should be able to reduce the problem to a single function or three that demonstrates the issue |
| 2023-11-19 19:31:37 +0100 | <Maxlelyonai> | okey |
| 2023-11-19 19:31:42 +0100 | <mauke> | what you posted is incomplete (so I can't reproduce the issue myself) and mostly irrelevant |
| 2023-11-19 19:31:55 +0100 | <Maxlelyonai> | Why incomplete? |
| 2023-11-19 19:32:20 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-19 19:32:35 +0100 | <mauke> | I have downloaded the code. what do I do with it? |
| 2023-11-19 19:33:03 +0100 | <Maxlelyonai> | use ghci? |
| 2023-11-19 19:33:09 +0100 | <Maxlelyonai> | I do not what you are saying |
| 2023-11-19 19:33:17 +0100 | <Maxlelyonai> | Okey |
| 2023-11-19 19:33:22 +0100 | <Maxlelyonai> | I know what you want to say |
| 2023-11-19 19:33:26 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-19 19:33:37 +0100 | Pickchea | (~private@user/pickchea) |
| 2023-11-19 19:33:41 +0100 | <mauke> | it says: Error: Could not load module ‘Data.ByteString.Lazy’ It is a member of the hidden package ‘bytestring-0.11.4.0’. |
| 2023-11-19 19:33:57 +0100 | <Maxlelyonai> | well, type :set -package containers |
| 2023-11-19 19:34:03 +0100 | <Maxlelyonai> | and :ser -package bytestring |
| 2023-11-19 19:34:05 +0100 | <Maxlelyonai> | and also |
| 2023-11-19 19:34:10 +0100 | <mauke> | reviews_Video_GamesFinal.json: openBinaryFile: does not exist (No such file or directory) |
| 2023-11-19 19:34:12 +0100 | <Maxlelyonai> | this is the document |
| 2023-11-19 19:35:15 +0100 | <Maxlelyonai> | how can I post it? |
| 2023-11-19 19:36:21 +0100 | <mauke> | depends on how big it is, I guess |
| 2023-11-19 19:36:50 +0100 | <mauke> | because if it is not huge, just like any other text file, I'd say |
| 2023-11-19 19:36:57 +0100 | <Maxlelyonai> | its 287 kb |
| 2023-11-19 19:37:11 +0100 | <mauke> | should be fine, then |
| 2023-11-19 19:37:57 +0100 | <Maxlelyonai> | so, where can I post it? |
| 2023-11-19 19:39:46 +0100 | <ski> | Maxlelyonai : are you sure `map2 ! k' is right ? shouldn't it be using the key of the inner map, not the outer ? |
| 2023-11-19 19:40:08 +0100 | <Maxlelyonai> | I was also thinking about it |
| 2023-11-19 19:40:15 +0100 | <Maxlelyonai> | the k is not using the inner map? |
| 2023-11-19 19:40:28 +0100 | <ski> | calculateProbabilityOfEachTokenInEachEtiquette map1 map2 = Map.mapWithKey (\k v -> Map.map (\x -> fromIntegral x / fromIntegral (map2 ! k)) v) map1 |
| 2023-11-19 19:40:34 +0100 | <Maxlelyonai> | how can i acces the inner map |
| 2023-11-19 19:40:44 +0100 | <ski> | `mapWithKey' is for the outer, `map' for the inner |
| 2023-11-19 19:40:51 +0100 | <ski> | try instead swapping those ? |
| 2023-11-19 19:40:56 +0100 | <Maxlelyonai> | ? |
| 2023-11-19 19:40:57 +0100 | <Maxlelyonai> | so |
| 2023-11-19 19:41:04 +0100 | <Maxlelyonai> | map to access the content of outer |
| 2023-11-19 19:41:05 +0100 | <ski> | calculateProbabilityOfEachTokenInEachEtiquette map1 map2 = Map.map (\v -> Map.mapWithKey (\k x -> fromIntegral x / fromIntegral (map2 ! k)) v) map1 |
| 2023-11-19 19:41:12 +0100 | <Maxlelyonai> | and then use WithKey |
| 2023-11-19 19:41:19 +0100 | <Maxlelyonai> | So I can have the key in the innvermap? |
| 2023-11-19 19:41:20 +0100 | <Maxlelyonai> | innermap? |
| 2023-11-19 19:41:29 +0100 | <ski> | outer map is indexed by `overalls'. inner map is indexed by words |
| 2023-11-19 19:41:38 +0100 | <ski> | `store3' is also indexed by words |
| 2023-11-19 19:42:07 +0100 | <Maxlelyonai> | OMG |
| 2023-11-19 19:42:09 +0100 | <Maxlelyonai> | it's working |
| 2023-11-19 19:42:11 +0100 | <Maxlelyonai> | OMG |
| 2023-11-19 19:42:12 +0100 | <Maxlelyonai> | thx |
| 2023-11-19 19:42:15 +0100 | <Maxlelyonai> | So |
| 2023-11-19 19:42:25 +0100 | <ski> | Maxlelyonai : also see my other comments, from twenty minutes ago |
| 2023-11-19 19:42:43 +0100 | <Maxlelyonai> | I use map to iterate through outside map? |
| 2023-11-19 19:43:22 +0100 | <ski> | huh ? |
| 2023-11-19 19:43:23 +0100 | <Maxlelyonai> | because i am not using the value from the key? |
| 2023-11-19 19:43:36 +0100 | <Maxlelyonai> | Why WithKey works fine in innermap? |
| 2023-11-19 19:43:41 +0100 | <Maxlelyonai> | I read the documentation |
| 2023-11-19 19:43:50 +0100 | <ski> | you might be able to use some kind of `zipWith' for the inner map .. but i don't see any in `Data.Map' :/ |
| 2023-11-19 19:44:06 +0100 | <Maxlelyonai> | understandable |
| 2023-11-19 19:44:46 +0100 | <ski> | Maxlelyonai : you want to match one map indexed by words, `store3', with each inner map in `store2', which are all also indexed by words |
| 2023-11-19 19:44:55 +0100 | <Maxlelyonai> | yes |
| 2023-11-19 19:45:15 +0100 | <Maxlelyonai> | Okey, I remembered |
| 2023-11-19 19:45:45 +0100 | <ski> | .. however, instead of splitting up `reviewTexts' and `overallsEtiquete' to begin with, it may be nicer to just work all inside a single large `Prelude.map', until close to the end |
| 2023-11-19 19:46:05 +0100 | <Maxlelyonai> | So map it just apply the funcion to all the values in the outside map. Meanwhile, the MapWithKey it applies the function but also it gives me the key from the inner Map that I am refering to? |
| 2023-11-19 19:46:28 +0100 | <ski> | until `store3', i guess |
| 2023-11-19 19:46:33 +0100 | <Maxlelyonai> | ohh |
| 2023-11-19 19:46:36 +0100 | <Maxlelyonai> | yeah, makes sense |
| 2023-11-19 19:46:46 +0100 | <Maxlelyonai> | And I will have avoided problems |
| 2023-11-19 19:46:58 +0100 | <Maxlelyonai> | might* |
| 2023-11-19 19:47:30 +0100 | <Maxlelyonai> | Danke, thank, gracias, 谢谢. I was stuck in this problem for almost one day |
| 2023-11-19 19:47:48 +0100 | <Maxlelyonai> | I think that using chat GPT can be sometimes contra productive hahaha |
| 2023-11-19 19:47:52 +0100 | <SrPx> | Are there Haskell-like languages where equations allow for arbitrary left-hand sides? |
| 2023-11-19 19:47:54 +0100 | <SrPx> | https://stackoverflow.com/questions/77512037/are-there-haskell-like-languages-where-equations-allo… |
| 2023-11-19 19:49:17 +0100 | <ski> | Prelude.map (\review -> let reviewText = getreviewText review; overalls = getoverall review; ...; in (overalls,map)) reviews |
| 2023-11-19 19:49:32 +0100 | <ski> | that gets you `match' |
| 2023-11-19 19:49:45 +0100 | <ski> | Maxlelyonai : you don't say |
| 2023-11-19 19:50:36 +0100 | <ski> | SrPx : arbitrary, how ? |
| 2023-11-19 19:50:50 +0100 | <ski> | SrPx : hm .. Mercury can do that, at least to some extent |
| 2023-11-19 19:51:13 +0100 | <ski> | (it's not too clear the scope of what you're asking for) |
| 2023-11-19 19:51:48 +0100 | CiaoSen | (~Jura@2a05:5800:27e:b500:2a3a:4dff:fe84:dbd5) |
| 2023-11-19 19:51:50 +0100 | maturana | (~maturana@37.218.244.251) |
| 2023-11-19 19:51:52 +0100 | <ski> | :- func double(int) = int. |
| 2023-11-19 19:52:05 +0100 | <ski> | :- mode double(in) = out is det. |
| 2023-11-19 19:52:14 +0100 | <ski> | :- mode double(out) = in is semidet. |
| 2023-11-19 19:52:23 +0100 | <ski> | and then you can say |
| 2023-11-19 19:52:37 +0100 | <ski> | foo(double(X)) = X + 1. |
| 2023-11-19 19:53:01 +0100 | <ski> | of course, you need to implement double/1, but that's possible |
| 2023-11-19 19:57:19 +0100 | <ski> | double(X :: in) :: out = 2 * X. |
| 2023-11-19 19:57:20 +0100 | <ski> | double(X :: out) :: in = Y :- Y mod 2 = 0,Y div 2 = X. |
| 2023-11-19 19:57:22 +0100 | <ski> | i think |
| 2023-11-19 19:57:45 +0100 | <SrPx> | ski: interesting!! thanks for the pointer |
| 2023-11-19 19:58:05 +0100 | <ski> | see <https://www.mercurylang.org/information/doc-latest/mercury_ref/Modes.html#Different-clauses-for-di…> for separate modes of a predicate |
| 2023-11-19 19:58:31 +0100 | <ski> | i think it works for functions as well (maybe slightly different syntax) .. otherwise, you could easily have the function defer to a predicate |
| 2023-11-19 19:58:54 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 2023-11-19 19:59:22 +0100 | <ski> | basically, with multiple (specifically including "reverse" or "sideways") mode declarations for functions, you get something like `PatternSynonyms', except more powerful |
| 2023-11-19 19:59:41 +0100 | <ski> | with `PatternSynonyms' in GHC, you can do |
| 2023-11-19 20:00:04 +0100 | <ski> | pattern Double :: Int -> Int |
| 2023-11-19 20:00:46 +0100 | <ski> | pattern Double x <- ((`divMod` 2) -> (x,0)) |
| 2023-11-19 20:00:48 +0100 | <ski> | where |
| 2023-11-19 20:00:54 +0100 | <ski> | Double x = 2 * x |
| 2023-11-19 20:00:57 +0100 | <ski> | and then you can say |
| 2023-11-19 20:01:07 +0100 | <ski> | foo (Double x) = x + 1 |
| 2023-11-19 20:01:11 +0100 | <ski> | SrPx ^ |
| 2023-11-19 20:01:32 +0100 | <SrPx> | how it compiles that, though? like double can be an arbitrary function and arbitrary functions can't be reversed |
| 2023-11-19 20:01:37 +0100 | <SrPx> | so it is just doing unification at runtime as I said? |
| 2023-11-19 20:01:39 +0100 | <ski> | (you also need `ViewPatterns' for that) |
| 2023-11-19 20:01:41 +0100 | <SrPx> | or is it something different? |
| 2023-11-19 20:02:41 +0100 | <ski> | SrPx : Mercury or Haskell (GHC) ? |
| 2023-11-19 20:02:46 +0100 | <SrPx> | both :) |
| 2023-11-19 20:03:16 +0100 | <ski> | it doesn't work for arbitrary functions, of course |
| 2023-11-19 20:03:36 +0100 | <ski> | but it works in more circumstances in Mercury, i'd say |
| 2023-11-19 20:04:26 +0100 | <ski> | anyway, it works above because double/1 has a reverse mode, saying that if `double(X)' is input, then `X' can be output (and there's at most one such `X') |
| 2023-11-19 20:04:30 +0100 | <ski> | that's what |
| 2023-11-19 20:04:35 +0100 | <ski> | :- mode double(out) = in is semidet. |
| 2023-11-19 20:04:36 +0100 | <ski> | says |
| 2023-11-19 20:04:56 +0100 | <ski> | (`semidet' means "semi-deterministic", means "at most one solution") |
| 2023-11-19 20:05:11 +0100 | <monochrom> | Basically you are right that it comes down to unification. |
| 2023-11-19 20:05:38 +0100 | falafel | (~falafel@2a00:23c6:4812:c301:4277:cef8:5cc2:c442) |
| 2023-11-19 20:06:26 +0100 | Maxlelyonai | (~Maxlelyon@19.red-88-23-210.staticip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2023-11-19 20:07:04 +0100 | <ski> | (i'm not sure if Mercury allowed multi-deterministic matches in the head .. i guess you have to then make sure that the overall number of solutions for the defined function (in forward mode) is at most one (total or partial) .. or else, maybe use committed-choice nondeterminism. that's used when matching on quotient types (types with non-canonical representation, with user-defined equality), e.g. rationals, |
| 2023-11-19 20:07:10 +0100 | <ski> | or maps implemented by some type of balancing trees) |
| 2023-11-19 20:07:55 +0100 | <SrPx> | I'm not sure I get it, reverse mode means that you provide an inverse? |
| 2023-11-19 20:07:59 +0100 | <ski> | similarly, with the pattern synonyms, you must declare `Double' as a pattern synonym, it doesn't work for some arbitrary function (either defined in a module, or being a parameter or intermediate result, say) |
| 2023-11-19 20:08:26 +0100 | <ski> | "reverse mode" meaning that you can run the function backwards, computing the argument(s) from the result |
| 2023-11-19 20:08:39 +0100 | <SrPx> | ah makes sense |
| 2023-11-19 20:08:47 +0100 | <ski> | by "sideways mode", i mean, computing some of the argument(s) from the result, and the remaining argument(s) |
| 2023-11-19 20:08:56 +0100 | <SrPx> | cool! |
| 2023-11-19 20:09:41 +0100 | <ski> | e.g. you can do `foo([2,3] ++ Xs) = ..Xs..' here `[2,3] ++ Xs' and `[2,3]' are input, and `Xs' is output (if it matches, there's no failure) |
| 2023-11-19 20:11:22 +0100 | <ski> | > let foo (stripPrefix [2,3] -> Just xs) = Just xs; foo _ = Nothing in foo [2,3,5,7] |
| 2023-11-19 20:11:23 +0100 | <lambdabot> | Just [5,7] |
| 2023-11-19 20:11:55 +0100 | <ski> | i'd like to be able to say something like |
| 2023-11-19 20:12:14 +0100 | <ski> | pattern Append :: Eq a => [a] -> () => [a] -> [a] |
| 2023-11-19 20:12:32 +0100 | <ski> | pattern Append xs ys = (stripPrefix xs -> Just ys) |
| 2023-11-19 20:12:36 +0100 | <ski> | where |
| 2023-11-19 20:12:39 +0100 | <ski> | Append xs ys = xs ++ ys |
| 2023-11-19 20:12:55 +0100 | <ski> | (er, s/pattern Append xs ys =/pattern Append xs ys <-/) |
| 2023-11-19 20:13:12 +0100 | <ski> | where `xs' is input, `Append xs ys' is input, while `ys' is output |
| 2023-11-19 20:13:23 +0100 | <ski> | then one would be able to say |
| 2023-11-19 20:13:37 +0100 | <ski> | foo (Append [2,3] xs) = Just xs |
| 2023-11-19 20:13:47 +0100 | <ski> | foo _ = Nothing |
| 2023-11-19 20:14:21 +0100 | <SrPx> | ah I see now, in Haskell, to do something like `foo (double x) = x + 1`, you need to explicitly construct the inverse of `double` somewhere. same in mercury. so the compiler isn't doing it "automatically" via unification |
| 2023-11-19 20:14:35 +0100 | <ski> | .. as it is, one must use a view pattern, currently, for this (or else move the stripping of the prefix out of the pattern-matching in the definiendums (left-hand sides) of the defining equations) |
| 2023-11-19 20:15:10 +0100 | <ski> | SrPx : well, only because we needed to employ different algorithms at this point. but you can say |
| 2023-11-19 20:15:17 +0100 | <ski> | pattern Quadruple :: Int -> Int |
| 2023-11-19 20:15:27 +0100 | <ski> | pattern Quadruple x = Double (Double x) |
| 2023-11-19 20:16:00 +0100 | <ski> | without having to provide different algorithms for the two directions here. it's just that when we get down to `Double' itself, we select between one of the two modes (directions) |
| 2023-11-19 20:16:07 +0100 | <ski> | (and the same in Mercury) |
| 2023-11-19 20:16:16 +0100 | <SrPx> | I see what you mean, so basically it is composable |
| 2023-11-19 20:16:20 +0100 | <EvanR> | would pattern synonym help here |
| 2023-11-19 20:16:41 +0100 | <EvanR> | bidirectional pattern synonym |
| 2023-11-19 20:16:49 +0100 | <SrPx> | so I wonder if it would be possible to have a language with primitives and axioms so that every function is invertible. I think I asked that a few years ago on SO, let me check |
| 2023-11-19 20:17:16 +0100 | <ski> | however, the constructs you can use in (implicitly) bidirectional pattern synonyms are restricted (e.g. can't use `let',`case',..) .. so it's somewhat more impoverished |
| 2023-11-19 20:18:08 +0100 | <ski> | EvanR : that's what `Quadruple' is |
| 2023-11-19 20:18:13 +0100 | <EvanR> | oh |
| 2023-11-19 20:18:54 +0100 | <ski> | SrPx : how do you invert `const 0', say ? or `(* 0)' ? |
| 2023-11-19 20:19:04 +0100 | <ski> | let's say the type is `Int -> Int', for concreteness |
| 2023-11-19 20:19:30 +0100 | <EvanR> | that would not be one of the primitives, or derivable |
| 2023-11-19 20:19:35 +0100 | <ski> | even if you can enumerate all possible `Int's (Mercury could do this. pattern synonyms in GHC wouldn't), you probably wouldn't want to |
| 2023-11-19 20:20:01 +0100 | <SrPx> | ski: it wouldn't be expressive in such a language. how haskell patterns deal with that? i suppose you can't implement "const" as a pattern |
| 2023-11-19 20:20:42 +0100 | <EvanR> | unitary haskell, all functions you can write don't gain or lose information |
| 2023-11-19 20:21:17 +0100 | <ski> | (for the same reason, `:- mode append(out,out,out) is nondet.' is *not* a declared mode of append/3 in <https://www.mercurylang.org/information/doc-latest/mercury_library/list.html> .. rather useless to start enumerating infinitely many solutions. escpecially if all of them later fail a test, you now are stuck in an infinite loop) |
| 2023-11-19 20:21:52 +0100 | <ski> | (in Prolog, though, this kind of mistake happens relatively often. because it doesn't have a static mode (and inst) and determinism system, as Mercury has) |
| 2023-11-19 20:22:35 +0100 | <ski> | SrPx : "i suppose you can't implement \"const\" as a pattern" -- right, you don't |
| 2023-11-19 20:23:05 +0100 | <ski> | EvanR : reminds me of some paper about a reversible lambda calculus |
| 2023-11-19 20:24:17 +0100 | <ski> | "every function is invertible" could be taken to mean "every function has an inverse *function*", or just to mean "every function has an inverse (computable) *relation*" |
| 2023-11-19 20:25:03 +0100 | <ski> | in Prolog, and even more so in Mercury, predicates are quite often "invertible", in the sense that you can run them "forwards, backwards, and sideways" |
| 2023-11-19 20:26:37 +0100 | <SrPx> | hmm |
| 2023-11-19 20:27:13 +0100 | <ski> | (even more so in Mercury, because it keeps track of instantiation state, and, if needed, reorders goals according to data dependencies .. while Prolog just always executes goals (conjuncts) in the same order, regardless. you have to do case analysis yourself on the instantiation state, to avoid this, which is verbose/repetitious, and also errorprone (easy to accidentally define a "predicate" which doesn't |
| 2023-11-19 20:27:19 +0100 | <ski> | behave logically at all)) |
| 2023-11-19 20:27:53 +0100 | <monochrom> | I saw some reversible computing papers decades ago, too. (Not my cup of tea.) |
| 2023-11-19 20:27:57 +0100 | <ski> | (a predicate is "steadfast" if, when you provide more information upfront, it can't suddenly give more (or more general |
| 2023-11-19 20:29:30 +0100 | <ski> | ) solutions than before. specifically, conjunction is commutative. `append(Front,Back,[2,3,5,7]),Front = [_|_],Back = [_|_]' is equivalent to `Front = [_|_],Back = [_|_],append(Front,Back,[2,3,5,7])', but the latter is more efficient, it's "constrain-and-generate", rather than "generate-and-test") |
| 2023-11-19 20:30:11 +0100 | <ski> | (logically speaking, a non-steadfast predicate isn't a predicate/relation at all. it has no declarative semantics, just a procedural/operational one) |
| 2023-11-19 20:32:48 +0100 | <SrPx> | I think I've never seen a reversible computing paper fro ma functional programming point of view |
| 2023-11-19 20:33:59 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-11-19 20:33:59 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-11-19 20:33:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-11-19 20:34:31 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
| 2023-11-19 20:36:02 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-19 20:41:04 +0100 | <ski> | "Information Effects" by Roshan P. James,Amr Sabry in 2012-01-2[5-7] at <https://www.cs.indiana.edu/~sabry/papers/information-effects.pdf>,<https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.1460> |
| 2023-11-19 20:41:05 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-19 20:41:14 +0100 | <ski> | "The Computational Content of Isomorphisms" (Ph. D. thesis) by Roshan P. James in 2013-04 at <https://web.archive.org/web/20230613084358/https://media.proquest.com/media/hms/ORIG/2/D49uH?_s=rK…> (mentioned at <https://golem.ph.utexas.edu/category/2009/08/the_pi_calculus.html>, linked from <https://lobste.rs/s/brpilp/computational_content_isomorphisms>) |
| 2023-11-19 20:41:20 +0100 | <ski> | "Embracing the Laws of Physics: Three Reversible Models of Computation" by Jacques Carette,Roshan P. James,Amr Sabry in 2018-(11-08 - 12-10) at <https://arxiv.org/abs/1811.03678v2> |
| 2023-11-19 20:41:31 +0100 | <ski> | (i've only read the first one, just noticed the other two now) |
| 2023-11-19 20:41:50 +0100 | jargon | (~jargon@184.101.69.217) |
| 2023-11-19 20:42:02 +0100 | <ski> | SrPx ^ |
| 2023-11-19 20:42:47 +0100 | <ski> | (i guess lenses, boomerang is also relevant here) |
| 2023-11-19 20:43:03 +0100 | <SrPx> | so an even weirder concept: first-class unification "solve X in A == B". so, for example, `f(x) = x/2+1` could be implemented in a λ-calculus syntax as: `f = λx (S (solve K in (double K) == 10))` |
| 2023-11-19 20:43:13 +0100 | <SrPx> | ski: will have al ook, thanks |
| 2023-11-19 20:44:02 +0100 | <ski> | `10' ? |
| 2023-11-19 20:44:16 +0100 | ChanServ | +o monochrom |
| 2023-11-19 20:44:42 +0100 | <ski> | f(X) = Y + 1 :- X = double(Y). % in Mercury, with the above double/1 |
| 2023-11-19 20:45:03 +0100 | <SrPx> | oops, should be `== x` |
| 2023-11-19 20:45:10 +0100 | <ski> | ok (as i thought) |
| 2023-11-19 20:45:38 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:7550:6245:cbff:fe9f:48b1) |
| 2023-11-19 20:45:44 +0100 | <SrPx> | mercury seems to be the closest |
| 2023-11-19 20:46:33 +0100 | <thyriaen> | SrPx, hmm ? |
| 2023-11-19 20:47:54 +0100 | <zzz> | is there any sensible way of doing `import Relude hiding ( everything_from_mtl )`? |
| 2023-11-19 20:47:57 +0100 | <SrPx> | thyriaen: what? |
| 2023-11-19 20:48:12 +0100 | Jackneill | (~Jackneill@20014C4E1E1AA2000F2D4B0C673AE70E.dsl.pool.telekom.hu) (Ping timeout: 268 seconds) |
| 2023-11-19 20:50:08 +0100 | shailangsa | (~shailangs@host109-152-9-157.range109-152.btcentralplus.com) |
| 2023-11-19 20:52:49 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:7550:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-11-19 20:56:06 +0100 | jargon | (~jargon@184.101.69.217) (Remote host closed the connection) |
| 2023-11-19 20:57:54 +0100 | <ddellacosta> | zzz: assuming you're only doing it in specific namespaces, just import only the things you want from Relude? Otherwise I feel like you're getting dimishing returns on using an alternative prelude, and you'd be better off making your own |
| 2023-11-19 20:58:02 +0100 | <ddellacosta> | namespaces -> modules |
| 2023-11-19 20:58:53 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-19 21:02:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-19 21:02:58 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2023-11-19 21:06:52 +0100 | <zzz> | ddellacosta: yes, just a specific module |
| 2023-11-19 21:07:14 +0100 | <zzz> | another question: do i need fromList when using list comprehensions with OverloadedLists? |
| 2023-11-19 21:15:10 +0100 | ChanServ | (ChanServ@services.libera.chat) (shutting down) |
| 2023-11-19 21:18:35 +0100 | Tlsx | (~rscastilh@189.61.140.215) () |
| 2023-11-19 21:19:39 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2023-11-19 21:19:39 +0100 | tungsten.libera.chat | +o ChanServ |
| 2023-11-19 21:24:57 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-19 21:30:00 +0100 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) () |
| 2023-11-19 21:35:35 +0100 | <zzz> | i was under the impression i didn't but apparently i do |
| 2023-11-19 21:36:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Remote host closed the connection) |
| 2023-11-19 21:36:57 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-19 21:39:00 +0100 | <ski> | depends on whether you want to convert from `[a]' to `l' where `IsList l' and `Item l = a' |
| 2023-11-19 21:40:12 +0100 | <ski> | hm, i guess maybe you want `MonadComprehensions' ? |
| 2023-11-19 21:40:55 +0100 | <geekosaur> | I was wondering about that too, but it wouldn't help if they're using OverloadedLists with e.g. a set |
| 2023-11-19 21:41:09 +0100 | <geekosaur> | or Map |
| 2023-11-19 21:42:46 +0100 | <zzz> | yes, Set and Map in this instance |
| 2023-11-19 21:43:20 +0100 | <zzz> | weird that comprehensions are not supported |
| 2023-11-19 21:45:42 +0100 | <geekosaur> | what's the Monad instance for a Map? |
| 2023-11-19 21:45:51 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-11-19 21:47:06 +0100 | <ski> | hm .. would `instance Monoid k => Monad (Map k)' work ? |
| 2023-11-19 21:47:21 +0100 | <geekosaur> | you can't specify that constraint |
| 2023-11-19 21:47:47 +0100 | <geekosaur> | moreover you can't have an Ord instance on the key, but Map requires one |
| 2023-11-19 21:47:53 +0100 | <ski> | oh, right, add `Ord k' |
| 2023-11-19 21:48:28 +0100 | <zzz> | i was hoping the extension just built the list and then added fromList. no need for Monad instance, and that's how it's documented to work |
| 2023-11-19 21:48:29 +0100 | <geekosaur> | there are indexed monads, but not in base and not supported by MonadComprehensions |
| 2023-11-19 21:49:52 +0100 | <zzz> | s/just built/would just build |
| 2023-11-19 21:51:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) |
| 2023-11-19 21:55:05 +0100 | monochrom | -o monochrom |
| 2023-11-19 21:57:08 +0100 | <ski> | @let instance (Ord k,Monoid k) => Applicative (M.Map k) where {pure = return; (<*>) = ap}; instance (Ord k,Monoid k) => Monad (M.Map k) where {return x = M.fromList [(mempty,x)]; m >>= k = M.unions (M.mapWithKey (\k0 x -> M.mapKeys (\k1 -> k0 <> k1) (k x)) m)} |
| 2023-11-19 21:57:10 +0100 | <lambdabot> | Defined. |
| 2023-11-19 21:57:13 +0100 | <ski> | hm |
| 2023-11-19 21:57:20 +0100 | <ski> | > join ((M.fromList . (map . second) M.fromList) [("a",[("0",0),("1",1)]),("b",[("0",2)])]) |
| 2023-11-19 21:57:21 +0100 | <lambdabot> | fromList [("a0",0),("a1",1),("b0",2)] |
| 2023-11-19 21:57:27 +0100 | <ski> | > join ((M.fromList . (map . second) M.fromList) [("a",[("a",0),("bc",1)]),("ab",[("c",2)])]) |
| 2023-11-19 21:57:28 +0100 | <lambdabot> | fromList [("aa",0),("abc",1)] |
| 2023-11-19 21:57:35 +0100 | <ski> | that latter doesn't look good |
| 2023-11-19 21:57:53 +0100 | <geekosaur> | right, I was under the impression that breaks the laws |
| 2023-11-19 21:58:03 +0100 | <ski> | i'd expect it does |
| 2023-11-19 21:58:19 +0100 | <ski> | you'd need `Monoid' on the monadic result, maybe .. but that's not allowed |
| 2023-11-19 22:10:10 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-19 22:13:02 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-19 22:13:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-11-19 22:14:06 +0100 | <jackdk> | If you think of `Map k` as kinda like a function `k -> Maybe a`, then I start to imagine that it might have to behave similarly to the monad instance for Complex (which is kinda like `Bool -> a`): your `join` might want to take the "diagonal" of the nested maps |
| 2023-11-19 22:17:35 +0100 | CiaoSen | (~Jura@2a05:5800:27e:b500:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds) |
| 2023-11-19 22:22:59 +0100 | vgtw_ | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-11-19 22:25:26 +0100 | dhil | (~dhil@2001:8e0:2014:3100:2371:386b:1960:dc70) (Ping timeout: 256 seconds) |
| 2023-11-19 22:26:57 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-19 22:27:04 +0100 | Jackneill | (~Jackneill@20014C4E1E1AA2000F2D4B0C673AE70E.dsl.pool.telekom.hu) |
| 2023-11-19 22:29:36 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-11-19 22:47:20 +0100 | liamzy__ | Inst |
| 2023-11-19 22:49:10 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-19 22:50:27 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2023-11-19 22:51:27 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-11-19 22:57:32 +0100 | mokee | (~mokee@37.228.215.150) |
| 2023-11-19 23:17:19 +0100 | falafel | (~falafel@2a00:23c6:4812:c301:4277:cef8:5cc2:c442) (Remote host closed the connection) |
| 2023-11-19 23:19:55 +0100 | maturana | (~maturana@37.218.244.251) (Quit: maturana) |
| 2023-11-19 23:22:09 +0100 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2023-11-19 23:23:16 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-19 23:23:37 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-11-19 23:28:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a57c:6e2:236b:24e3) (Remote host closed the connection) |
| 2023-11-19 23:30:25 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-11-19 23:35:19 +0100 | fendor | (~fendor@2a02:8388:1640:be00:8705:c56:c793:802b) (Remote host closed the connection) |
| 2023-11-19 23:37:34 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-11-19 23:39:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-19 23:50:05 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2023-11-19 23:50:49 +0100 | troydm | (~troydm@user/troydm) |
| 2023-11-19 23:51:57 +0100 | ystael | (~ystael@user/ystael) |
| 2023-11-19 23:52:27 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-19 23:55:13 +0100 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-11-19 23:55:58 +0100 | acidjnk | (~acidjnk@p200300d6e72b9399e0d3f8384e141d02.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |