2022-07-24 00:07:57 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 00:11:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-07-24 00:14:34 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-07-24 00:16:15 +0200 | maroloccio | (~marolocci@37.100.36.239) |
2022-07-24 00:16:37 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 00:25:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 00:27:12 +0200 | coot | (~coot@213.134.190.95) (Remote host closed the connection) |
2022-07-24 00:28:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-07-24 00:31:54 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2022-07-24 00:38:38 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 00:39:50 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2022-07-24 00:43:18 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
2022-07-24 00:45:35 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
2022-07-24 00:56:16 +0200 | <qrpnxz> | prisms are pretty nice for parsing! |
2022-07-24 01:01:42 +0200 | cirilla | (~lys@user/lys) |
2022-07-24 01:02:30 +0200 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 272 seconds) |
2022-07-24 01:08:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-07-24 01:12:30 +0200 | Polo | (~textual@user/polo) |
2022-07-24 01:13:55 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
2022-07-24 01:14:03 +0200 | cirilla | (~lys@user/lys) (Quit: Leaving) |
2022-07-24 01:16:51 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
2022-07-24 01:24:48 +0200 | Polo | (~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 01:24:59 +0200 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) |
2022-07-24 01:30:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 01:31:36 +0200 | nate4 | (~nate@98.45.169.16) |
2022-07-24 01:36:33 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-07-24 01:41:10 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2022-07-24 01:42:10 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 01:42:31 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.131) |
2022-07-24 01:42:43 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 01:43:02 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
2022-07-24 01:43:32 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds) |
2022-07-24 01:43:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
2022-07-24 01:44:10 +0200 | Alex_test | (~al_test@178.34.160.206) (Ping timeout: 240 seconds) |
2022-07-24 01:44:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-07-24 01:45:48 +0200 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 268 seconds) |
2022-07-24 01:45:58 +0200 | AlexNoo | (~AlexNoo@178.34.160.206) (Ping timeout: 240 seconds) |
2022-07-24 01:46:22 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Client Quit) |
2022-07-24 01:46:42 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 01:49:25 +0200 | AlexZenon | (~alzenon@178.34.150.131) |
2022-07-24 01:49:30 +0200 | Alex_test | (~al_test@178.34.150.131) |
2022-07-24 01:52:12 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q=) |
2022-07-24 01:52:37 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 01:55:36 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 01:57:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 01:59:50 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-07-24 02:01:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 02:02:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 02:02:43 +0200 | califax | (~califax@user/califx) |
2022-07-24 02:03:53 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
2022-07-24 02:03:53 +0200 | Guest3 | (~textual@user/polo) |
2022-07-24 02:03:57 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-07-24 02:04:11 +0200 | Guest3 | Polo |
2022-07-24 02:04:33 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-07-24 02:04:33 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-07-24 02:04:33 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-07-24 02:06:05 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
2022-07-24 02:09:21 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q=) |
2022-07-24 02:09:50 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 02:11:27 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds) |
2022-07-24 02:11:33 +0200 | nate4 | (~nate@98.45.169.16) |
2022-07-24 02:11:38 +0200 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) (Quit: king_gs) |
2022-07-24 02:11:54 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-07-24 02:15:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 02:16:05 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
2022-07-24 02:18:23 +0200 | lys | (~lys@user/lys) |
2022-07-24 02:20:20 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2022-07-24 02:22:04 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-07-24 02:22:14 +0200 | vysn | (~vysn@user/vysn) |
2022-07-24 02:22:46 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-07-24 02:23:59 +0200 | <dsal> | qrpnxz: prisms for parsing? |
2022-07-24 02:25:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
2022-07-24 02:25:46 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+) |
2022-07-24 02:26:13 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 02:26:54 +0200 | <qrpnxz> | yeah. I have a some data that if it's the right shape i can turn it into a value of a different more specialized type. I don't lose any information in that transformation so i can always transform it back into the more general type. Well I can make a prism out of that. Imagine for example you have JSON (holds any JSON) and JSONObject (Represents only JSON object), you could make prism _JSONObject |
2022-07-24 02:26:56 +0200 | <qrpnxz> | on that |
2022-07-24 02:27:45 +0200 | <qrpnxz> | or _EvenJSONInteger to get slightly more interesting |
2022-07-24 02:28:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 02:29:19 +0200 | <qrpnxz> | In my real code i have this generic tagged struct thing that holds it's members in a vector. I have created now prism to turn that into a particular Object that struct represents. It's pretty nice because the prism end up looking just like a prism for a real constructed of the monolithic data type |
2022-07-24 02:29:35 +0200 | <qrpnxz> | i could even go a step further and create a `pattern` with it |
2022-07-24 02:30:16 +0200 | <qrpnxz> | dsal |
2022-07-24 02:31:42 +0200 | <qrpnxz> | s/constructed/constructor |
2022-07-24 02:32:00 +0200 | lys | (~lys@user/lys) (Quit: brb) |
2022-07-24 02:33:00 +0200 | <dsal> | hmm... I think that makes sense. It sounds like you're doing a few passes at parsing. |
2022-07-24 02:33:17 +0200 | wonkydonky | (~wonkydonk@95.7.166.247) (Read error: Connection reset by peer) |
2022-07-24 02:36:03 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 02:36:21 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+) |
2022-07-24 02:37:52 +0200 | <qrpnxz> | what do you mean a few passes |
2022-07-24 02:42:14 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
2022-07-24 02:44:24 +0200 | <dsal> | Like parsing a bytestring to an Aeson Object and then to something else. |
2022-07-24 02:50:16 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 02:50:47 +0200 | <qrpnxz> | ah right yeah. If you didn't care about that structure in the middle, you could parse directly. But sometimes it makes sense to have multiple stages of representation that you care about. Like raw bytes to utf8, then utf8 to JSON, from JSON to some particular object that you care about with particular fields. It's a pipeline for sure. |
2022-07-24 02:51:58 +0200 | <qrpnxz> | i mean, even if you didn't care to keep around that bit in the middle, still helpful for implementing the upper layers. i wouldn't want to parse some object directly from raw bytes, i'm gonna leverage the parsers in between |
2022-07-24 02:52:12 +0200 | <qrpnxz> | if possible |
2022-07-24 02:52:27 +0200 | <Haskelytic> | quick question: can you have derived instances for your own typeclasses or is derivation some GHC magic |
2022-07-24 02:52:34 +0200 | Polo | (~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 02:53:57 +0200 | <qrpnxz> | GHC can figure out derived instances on non-base classes sometimes. Like if it's just a wrapper, ghc should be able to figure out that the wrapper is an instance if the inner is an instance, even if it's your brand new custom type class |
2022-07-24 02:54:11 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Client Quit) |
2022-07-24 02:54:37 +0200 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) |
2022-07-24 02:56:06 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 268 seconds) |
2022-07-24 02:56:26 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 02:56:49 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 02:58:25 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2022-07-24 02:58:26 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2022-07-24 02:58:29 +0200 | allbery_b | geekosaur |
2022-07-24 03:03:26 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) |
2022-07-24 03:05:58 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
2022-07-24 03:06:06 +0200 | nate4 | (~nate@98.45.169.16) |
2022-07-24 03:06:11 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 272 seconds) |
2022-07-24 03:06:12 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
2022-07-24 03:09:27 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 03:10:00 +0200 | raym | (~raym@user/raym) |
2022-07-24 03:10:15 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Quit: Textual IRC Client: www.textualapp.com) |
2022-07-24 03:10:50 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) (Ping timeout: 240 seconds) |
2022-07-24 03:10:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-07-24 03:12:58 +0200 | <Haskelytic> | If I have an expression for triples like so `(toEnum x1, toEnum x2, toEnum x3)` is there a terser way to write it? |
2022-07-24 03:13:04 +0200 | lys | (~lys@user/lys) |
2022-07-24 03:14:22 +0200 | <Haskelytic> | I was thinking using the Reader applicative but I can't see it...maybe I'm wrong |
2022-07-24 03:14:36 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 268 seconds) |
2022-07-24 03:17:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-07-24 03:19:17 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
2022-07-24 03:19:18 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2022-07-24 03:19:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 03:24:42 +0200 | <monochrom> | No. |
2022-07-24 03:27:03 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 03:29:08 +0200 | <qrpnxz> | he already gone, but that's what i was gonna say too haha |
2022-07-24 03:29:37 +0200 | <monochrom> | Oops didn't notice |
2022-07-24 03:29:50 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 240 seconds) |
2022-07-24 03:31:04 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
2022-07-24 03:31:04 +0200 | Guest3 | (~textual@user/polo) |
2022-07-24 03:31:25 +0200 | Guest3 | Polo |
2022-07-24 03:33:34 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 03:33:36 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer) |
2022-07-24 03:34:10 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 03:36:00 +0200 | zachel | (~zachel@user/zachel) (Ping timeout: 260 seconds) |
2022-07-24 03:37:48 +0200 | zachel | (~zachel@user/zachel) |
2022-07-24 03:38:06 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
2022-07-24 03:38:21 +0200 | Polo | (~textual@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
2022-07-24 03:39:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 03:45:15 +0200 | lys | (~lys@user/lys) (Quit: Leaving) |
2022-07-24 03:47:54 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
2022-07-24 03:49:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 03:49:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 03:54:41 +0200 | lucyy | (~user@user/lucyy) (Ping timeout: 268 seconds) |
2022-07-24 03:55:35 +0200 | lucyy | (~user@user/lucyy) |
2022-07-24 03:59:50 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 04:00:55 +0200 | lucyy | (~user@user/lucyy) (Ping timeout: 268 seconds) |
2022-07-24 04:01:16 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
2022-07-24 04:01:16 +0200 | Guest3 | (~textual@user/polo) |
2022-07-24 04:01:18 +0200 | lucyy | (~user@user/lucyy) |
2022-07-24 04:01:19 +0200 | Guest3 | polo |
2022-07-24 04:02:42 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 268 seconds) |
2022-07-24 04:02:51 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 276 seconds) |
2022-07-24 04:03:08 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 04:03:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2022-07-24 04:06:24 +0200 | lucyy | (~user@user/lucyy) (Ping timeout: 268 seconds) |
2022-07-24 04:15:02 +0200 | polo | (~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 04:17:38 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) (Ping timeout: 240 seconds) |
2022-07-24 04:22:34 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 04:27:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-07-24 04:27:14 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 04:27:14 +0200 | finn_elija | FinnElija |
2022-07-24 04:29:21 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 04:30:16 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com) |
2022-07-24 04:30:37 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 04:34:33 +0200 | notzmv | (~zmv@user/notzmv) |
2022-07-24 04:34:38 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-07-24 04:37:00 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 04:39:02 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Client Quit) |
2022-07-24 04:41:03 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 04:50:19 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2022-07-24 04:51:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
2022-07-24 04:51:37 +0200 | td_ | (~td@muedsl-82-207-238-135.citykom.de) (Ping timeout: 244 seconds) |
2022-07-24 04:53:33 +0200 | td_ | (~td@muedsl-82-207-238-027.citykom.de) |
2022-07-24 04:53:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 04:54:40 +0200 | Guest3 | (~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Quit: Textual IRC Client: www.textualapp.com) |
2022-07-24 04:57:10 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
2022-07-24 04:58:49 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 268 seconds) |
2022-07-24 05:02:37 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-07-24 05:03:03 +0200 | img | (~img@user/img) |
2022-07-24 05:03:43 +0200 | img | (~img@user/img) (Client Quit) |
2022-07-24 05:06:18 +0200 | maroloccio | (~marolocci@37.100.36.239) (Ping timeout: 240 seconds) |
2022-07-24 05:06:42 +0200 | img | (~img@user/img) |
2022-07-24 05:07:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 05:08:48 +0200 | maroloccio | (~marolocci@151.70.159.158) |
2022-07-24 05:10:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 05:12:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 05:16:57 +0200 | <naso> | when i do `cabal run --enable-profiling project-exe --ghc-options="-fprof-auto -rtsopts" -- +RTS -p`, are all the ghc-options (for executable or library) listed in my .cabal also included, or do I have to include them here too? |
2022-07-24 05:19:49 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:9456:dbb2:33e5:f0a2) (Remote host closed the connection) |
2022-07-24 05:25:55 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 05:26:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
2022-07-24 05:27:33 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 05:27:54 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) |
2022-07-24 05:28:52 +0200 | Guest3 | (~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
2022-07-24 05:28:52 +0200 | Guest3 | (~textual@user/polo) |
2022-07-24 05:28:55 +0200 | Guest3 | Polo |
2022-07-24 05:32:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 05:36:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 05:38:17 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 268 seconds) |
2022-07-24 05:38:54 +0200 | lys | (sid194105@user/lys) |
2022-07-24 05:43:38 +0200 | Polo | (~textual@user/polo) (Ping timeout: 240 seconds) |
2022-07-24 05:49:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 05:52:18 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2022-07-24 05:52:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
2022-07-24 05:53:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 05:53:44 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
2022-07-24 05:53:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
2022-07-24 05:54:24 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
2022-07-24 05:54:39 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 05:55:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 05:56:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
2022-07-24 05:56:45 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
2022-07-24 05:59:17 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 244 seconds) |
2022-07-24 05:59:19 +0200 | phma | (phma@2001:5b0:2172:d858:ec5c:8ab7:6325:1bc7) (Read error: Connection reset by peer) |
2022-07-24 06:01:21 +0200 | phma | (~phma@2001:5b0:2172:c678:88c9:3af4:5d5b:cbb2) |
2022-07-24 06:01:48 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 06:05:47 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-07-24 06:06:16 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-07-24 06:06:16 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-07-24 06:06:16 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-07-24 06:06:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-07-24 06:07:21 +0200 | mbuf | (~Shakthi@122.165.55.71) |
2022-07-24 06:08:32 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 06:08:50 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
2022-07-24 06:10:13 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
2022-07-24 06:15:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 06:16:32 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
2022-07-24 06:20:59 +0200 | lys | (sid194105@user/lys) () |
2022-07-24 06:21:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2022-07-24 06:22:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
2022-07-24 06:24:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 06:24:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2022-07-24 06:27:37 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
2022-07-24 06:28:27 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
2022-07-24 06:29:52 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Client Quit) |
2022-07-24 06:46:47 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 06:52:17 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-07-24 06:53:31 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-07-24 06:54:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 06:54:49 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
2022-07-24 06:57:17 +0200 | <wallymathieu> | I'm having a bit of trouble with the size of the Haskell installation. Once I install stack and do write some things it usually ends up at 50+GB. Any hints for how to avoid so many versions? |
2022-07-24 07:01:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-07-24 07:02:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-07-24 07:05:11 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 07:07:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 07:11:23 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2022-07-24 07:12:00 +0200 | <Lycurgus> | others will respond differently, on point |
2022-07-24 07:12:33 +0200 | <Lycurgus> | but i'd say adjust ur expectations, it appears you are using multiple levels of stuff |
2022-07-24 07:13:01 +0200 | <Lycurgus> | 50 GB aint that much these days and haskell isn't a minimalist lang |
2022-07-24 07:13:22 +0200 | <Lycurgus> | famously, it's like a java or cobol for maths |
2022-07-24 07:13:30 +0200 | <dsal> | 50 GB of RAM? |
2022-07-24 07:13:40 +0200 | <Lycurgus> | oh |
2022-07-24 07:14:04 +0200 | <dsal> | My brain completely inserted that and I can't figure out how. heh |
2022-07-24 07:14:18 +0200 | <Lycurgus> | dsal, i don't think so people don't install to RAM |
2022-07-24 07:14:35 +0200 | <Lycurgus> | in general |
2022-07-24 07:15:03 +0200 | <dsal> | I use nix so it's magic and I don't necessarily know how big it is. |
2022-07-24 07:15:42 +0200 | <Lycurgus> | 'magic' isn't a work i ever use, and especially not for nix/nixos of which I'm a known detractor |
2022-07-24 07:15:50 +0200 | <Lycurgus> | *word |
2022-07-24 07:15:57 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 07:16:07 +0200 | <dsal> | Yeah, it either makes things a lot easier, or a bit harder. Depending on perspective. It makes things easier for me. |
2022-07-24 07:16:10 +0200 | <Lycurgus> | since i'm something of a bore about that kind of thinking |
2022-07-24 07:16:26 +0200 | <Lycurgus> | (i.e. magic, spirits, etc.) |
2022-07-24 07:16:31 +0200 | <dsal> | I've got a lot of projects on a lot of versions of a lot of things. |
2022-07-24 07:17:17 +0200 | <Lycurgus> | i used it heavily at the start of the last decade when the problem it was meant to address was still a thing |
2022-07-24 07:17:40 +0200 | <Lycurgus> | and when it started that problem was fulminant |
2022-07-24 07:18:42 +0200 | <Lycurgus> | it's approach tends to be irresistible for haskellers, way back I assumed it would catch on in hs land and it did |
2022-07-24 07:19:27 +0200 | <dsal> | It's helpful for all my projects that have weird stuff. javascript, elm, etc.. Things I don't want to remember how to get the right versions of more than once. |
2022-07-24 07:20:02 +0200 | <Lycurgus> | i do containers under regular LSB |
2022-07-24 07:21:13 +0200 | <Lycurgus> | i may be due for a review of current state of nix/nixos |
2022-07-24 07:21:47 +0200 | <Lycurgus> | the principal fugly was jamming ill conceived ports into nixpkgs |
2022-07-24 07:23:17 +0200 | <EvanR> | 50 gigs, that's all? nice |
2022-07-24 07:23:47 +0200 | <EvanR> | also try ghcup instead of stack to install ghc and see if your milage varies one way or the other |
2022-07-24 07:28:02 +0200 | <dsal> | I don't like containers much, and I am not on Linux or intel chips for a lot of my dev. |
2022-07-24 07:28:59 +0200 | <wallymathieu> | I'll look into ghcup 🙂 |
2022-07-24 07:29:46 +0200 | <dsal> | I believe it was Jay Z who said, "What's 50 gigs, could you please remind me?" |
2022-07-24 07:30:55 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 272 seconds) |
2022-07-24 07:31:03 +0200 | <Lycurgus> | not into rap but I'm guessin that was a ref to competing rapper 50 cent |
2022-07-24 07:31:18 +0200 | <wallymathieu> | 50 gigs of disk. Perhaps it's that I'm kind of stingy in that I've not bought a machine with lots of disk |
2022-07-24 07:31:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 07:31:52 +0200 | <dsal> | Lycurgus: It was "What's 50 grand…" because he has so much money that's not a significant amount. Kind of like disk space. |
2022-07-24 07:32:01 +0200 | <Lycurgus> | ah |
2022-07-24 07:32:03 +0200 | <dsal> | wallymathieu: I've had similar issues in cloud instances, though. |
2022-07-24 07:36:17 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-07-24 07:37:34 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-07-24 07:37:56 +0200 | <wallymathieu> | It's weird. When I was a kid, the problem was to have enough space for games, now it's packages and programming languages |
2022-07-24 07:38:51 +0200 | <dsal> | games aren't much smaller :) My cousin gave me an xbox and I bought Red Dead Redemption. Put the disc in and it said it needed to download 80GB before I could start playing. |
2022-07-24 07:41:42 +0200 | <Lycurgus> | also the situation is different for a deployment target vs a dev host |
2022-07-24 07:42:31 +0200 | <dsal> | Yeah, I've been deploying in the cloud with nixos+cachix. Much easier than trying to build out a build system. |
2022-07-24 07:42:40 +0200 | maroloccio | (~marolocci@151.70.159.158) (Quit: WeeChat 3.0) |
2022-07-24 07:43:01 +0200 | <dsal> | I would actually like to figure out how to build a docker image, but that's an uphill battle I'm not sufficiently motivated to figure out. |
2022-07-24 07:44:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-07-24 07:45:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 07:48:12 +0200 | <Lycurgus> | dockerfiles are no harder than the nix lang |
2022-07-24 07:49:03 +0200 | <Lycurgus> | it's not comparable to learning hs |
2022-07-24 07:49:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 07:51:47 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 07:51:53 +0200 | <dsal> | Sure. I could build a gigantic image that includes all the things. I'd like to be able to build something smaller. I know there are some good tools, but I haven't been bothered to learn them. |
2022-07-24 07:55:27 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 07:56:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
2022-07-24 07:56:38 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 255 seconds) |
2022-07-24 07:58:20 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 07:59:51 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 08:03:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-07-24 08:07:16 +0200 | kk | (uid561904@id-561904.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 08:09:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 08:09:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 08:13:02 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
2022-07-24 08:13:21 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 272 seconds) |
2022-07-24 08:13:46 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Remote host closed the connection) |
2022-07-24 08:14:08 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 08:16:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 08:23:42 +0200 | arahael | (~arahael@203.220.205.108) |
2022-07-24 08:29:53 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 08:31:18 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 276 seconds) |
2022-07-24 08:32:40 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 08:33:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-07-24 08:37:07 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 268 seconds) |
2022-07-24 08:39:20 +0200 | talismanick | (~talismani@2601:644:8300:c010::8544) (Ping timeout: 260 seconds) |
2022-07-24 08:39:46 +0200 | benin0 | (~benin@183.82.24.82) |
2022-07-24 08:45:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 08:45:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 08:46:42 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 244 seconds) |
2022-07-24 08:47:23 +0200 | <sm> | wallymathieu: 50G sounds excessive. You must have a lot of old cruft, use https://hackage.haskell.org/package/stack-clean-old to review and clean up. |
2022-07-24 08:48:25 +0200 | <Haskelytic> | or you could just `rm --no-preserve-root -rf /` |
2022-07-24 08:48:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
2022-07-24 08:49:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 08:49:26 +0200 | <sm> | don't do that |
2022-07-24 08:49:35 +0200 | <Haskelytic> | yeah jk don't run that lol |
2022-07-24 08:49:58 +0200 | <sm> | I wouldn't even write such things as a joke |
2022-07-24 08:50:22 +0200 | <Haskelytic> | i'm pretty sure the `--no-preserve-root` stands out enough to deter anyone |
2022-07-24 08:50:23 +0200 | <sm> | on the day you accidentally paste and run such a thing you'll feel the same :) |
2022-07-24 08:50:53 +0200 | <Haskelytic> | joke's on you, I don't copy paste as a principle :) |
2022-07-24 08:52:23 +0200 | <sm> | but one day you screw up |
2022-07-24 08:52:46 +0200 | kk | (uid561904@id-561904.hampstead.irccloud.com) |
2022-07-24 08:52:49 +0200 | <sm> | ah never mind, I hope not |
2022-07-24 08:53:37 +0200 | <Haskelytic> | imagine one day we have AI assistant to double check commands :) |
2022-07-24 08:53:46 +0200 | <Haskelytic> | kind of like a nanny, but for your terminal |
2022-07-24 08:54:38 +0200 | <Haskelytic> | then it backfires and stops you from running your C compiler because it's unsafe |
2022-07-24 08:54:54 +0200 | <Haskelytic> | and you have to prove to the AI that you know what you're doing |
2022-07-24 08:55:14 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-07-24 08:55:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 08:57:53 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit) |
2022-07-24 08:58:19 +0200 | <Haskelytic> | https://hackage.haskell.org/package/transformers-0.6.0.4/docs/src/Control.Monad.Trans.State.Lazy.h… |
2022-07-24 08:58:25 +0200 | <Haskelytic> | `~(f, s') <- mf s` |
2022-07-24 08:58:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 08:58:59 +0200 | <Haskelytic> | how does this work? `mf :: s -> m (a,s)` so the tuple is wrapped in `m` |
2022-07-24 08:59:04 +0200 | <Haskelytic> | how can you pattern match there |
2022-07-24 08:59:05 +0200 | gmg | (~user@user/gehmehgeh) |
2022-07-24 08:59:22 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 08:59:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2022-07-24 09:00:02 +0200 | <wallymathieu> | Last time I checked "sudo rm -rf /" does plenty of damage |
2022-07-24 09:00:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 09:01:40 +0200 | <Haskelytic> | ah nvm im an idiot |
2022-07-24 09:01:47 +0200 | <Haskelytic> | didn't notice the `<-` lol |
2022-07-24 09:02:45 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
2022-07-24 09:02:48 +0200 | <Haskelytic> | Interesting that the Applicative for `State s a` is implemented in terms of its Monad |
2022-07-24 09:04:29 +0200 | even4void | (even4void@came.here.for-some.fun) () |
2022-07-24 09:06:11 +0200 | even4void[m] | (~even4void@2001:470:69fc:105::2:4b9c) |
2022-07-24 09:06:15 +0200 | <jackdk> | That is often easier than cranking out the `Applicative` instance by hand, and always legal. |
2022-07-24 09:08:52 +0200 | <Haskelytic> | I see. Is that because of the relationship Applicative f => Monad f |
2022-07-24 09:13:24 +0200 | slack1256 | (~slack1256@191.126.99.219) |
2022-07-24 09:14:56 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
2022-07-24 09:16:43 +0200 | <jackdk> | Specifically the law that `m1 <*> m2 = m1 >>= (x1 -> m2 >>= (x2 -> return (x1 x2)))`; the RHS is the definition of `ap` |
2022-07-24 09:17:11 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 255 seconds) |
2022-07-24 09:17:30 +0200 | <Haskelytic> | ah right |
2022-07-24 09:17:37 +0200 | <Haskelytic> | I remember seeing that mentioned in the docs |
2022-07-24 09:20:42 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:bd43:77d0:4f58:e98) (Ping timeout: 276 seconds) |
2022-07-24 09:21:10 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:c77:b8df:327d:c96f) |
2022-07-24 09:23:02 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2022-07-24 09:23:48 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
2022-07-24 09:27:12 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 09:30:30 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
2022-07-24 09:42:20 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-07-24 09:43:08 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
2022-07-24 09:45:01 +0200 | slack1256 | (~slack1256@191.126.99.219) (Remote host closed the connection) |
2022-07-24 09:48:55 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-07-24 09:49:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
2022-07-24 09:49:43 +0200 | gmg | (~user@user/gehmehgeh) |
2022-07-24 09:54:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 272 seconds) |
2022-07-24 09:54:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 09:56:26 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2022-07-24 09:59:08 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
2022-07-24 09:59:32 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 09:59:47 +0200 | vysn | (~vysn@user/vysn) |
2022-07-24 10:00:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-5.elisa-laajakaista.fi) |
2022-07-24 10:03:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 10:04:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-07-24 10:04:23 +0200 | winny | (~weechat@user/winny) (Read error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | gmg | (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
2022-07-24 10:04:23 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer) |
2022-07-24 10:04:43 +0200 | califax | (~califax@user/califx) |
2022-07-24 10:04:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-07-24 10:04:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 10:05:11 +0200 | gmg | (~user@user/gehmehgeh) |
2022-07-24 10:05:13 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2022-07-24 10:05:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 10:05:20 +0200 | winny | (~weechat@user/winny) |
2022-07-24 10:05:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-07-24 10:05:42 +0200 | noteness | (~noteness@user/noteness) |
2022-07-24 10:07:48 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
2022-07-24 10:10:05 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
2022-07-24 10:11:13 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
2022-07-24 10:11:13 +0200 | lys | (sid194105@user/lys) |
2022-07-24 10:16:33 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-07-24 10:19:40 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
2022-07-24 10:20:25 +0200 | winny | (~weechat@user/winny) |
2022-07-24 10:21:16 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
2022-07-24 10:21:49 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
2022-07-24 10:22:30 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
2022-07-24 10:25:49 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-07-24 10:26:23 +0200 | AlexNoo_ | AlexNoo |
2022-07-24 10:32:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 10:32:21 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
2022-07-24 10:32:24 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2022-07-24 10:32:27 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 10:36:03 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Quit: sandydoo) |
2022-07-24 10:36:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 10:37:13 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
2022-07-24 10:43:41 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2022-07-24 10:44:38 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
2022-07-24 10:44:38 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
2022-07-24 10:44:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-07-24 10:44:38 +0200 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
2022-07-24 10:44:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-07-24 10:45:04 +0200 | noteness | (~noteness@user/noteness) |
2022-07-24 10:45:09 +0200 | winny | (~weechat@user/winny) |
2022-07-24 10:45:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 10:45:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 10:46:00 +0200 | califax | (~califax@user/califx) |
2022-07-24 10:51:22 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 10:51:37 +0200 | califax | (~califax@user/califx) |
2022-07-24 10:58:19 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
2022-07-24 11:00:06 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle) |
2022-07-24 11:06:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 11:07:16 +0200 | kk | (uid561904@id-561904.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 11:10:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 11:12:47 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-07-24 11:17:59 +0200 | Pickchea | (~private@user/pickchea) |
2022-07-24 11:18:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
2022-07-24 11:26:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-07-24 11:26:36 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-07-24 11:26:40 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 11:28:09 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
2022-07-24 11:28:27 +0200 | jmjj_ | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 11:30:59 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
2022-07-24 11:32:03 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:7a1a:a15b:364:89d8) |
2022-07-24 11:33:56 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
2022-07-24 11:34:29 +0200 | winny | (~weechat@user/winny) |
2022-07-24 11:39:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 11:39:35 +0200 | lys_ | (~lys@user/lys) |
2022-07-24 11:42:12 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
2022-07-24 11:42:27 +0200 | ubert | (~Thunderbi@77.119.221.210.wireless.dyn.drei.com) |
2022-07-24 11:43:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 11:45:14 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
2022-07-24 11:50:51 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
2022-07-24 11:51:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
2022-07-24 11:51:14 +0200 | vysn | (~vysn@user/vysn) |
2022-07-24 11:51:59 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
2022-07-24 11:54:23 +0200 | jmjj_ | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 272 seconds) |
2022-07-24 11:55:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 244 seconds) |
2022-07-24 11:56:10 +0200 | Everything | (~Everythin@37.115.210.35) |
2022-07-24 11:57:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 11:58:46 +0200 | lys_ | (~lys@user/lys) (Ping timeout: 268 seconds) |
2022-07-24 11:59:40 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-07-24 12:00:48 +0200 | Batzy | (~quassel@user/batzy) |
2022-07-24 12:01:49 +0200 | lys_ | (~lys@user/lys) |
2022-07-24 12:08:04 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
2022-07-24 12:08:34 +0200 | winny | (~weechat@user/winny) |
2022-07-24 12:12:47 +0200 | toluene | (~toluene@user/toulene) (Quit: Ping timeout (120 seconds)) |
2022-07-24 12:14:18 +0200 | toluene | (~toluene@user/toulene) |
2022-07-24 12:14:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-07-24 12:23:23 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
2022-07-24 12:26:14 +0200 | lys_ | (~lys@user/lys) (Quit: Leaving) |
2022-07-24 12:30:41 +0200 | haskl[error] | (~haskl@user/haskl) (Read error: Connection reset by peer) |
2022-07-24 12:32:58 +0200 | haskl | (~haskl@user/haskl) |
2022-07-24 12:35:31 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-07-24 12:35:52 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
2022-07-24 12:38:10 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
2022-07-24 12:38:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
2022-07-24 12:39:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 12:40:39 +0200 | coot | (~coot@213.134.190.95) |
2022-07-24 12:42:26 +0200 | raym | (~raym@user/raym) |
2022-07-24 12:43:27 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
2022-07-24 12:43:30 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-07-24 12:50:41 +0200 | lys_ | (~lys@user/lys) |
2022-07-24 12:53:17 +0200 | zachel | (~zachel@user/zachel) (Ping timeout: 272 seconds) |
2022-07-24 12:55:33 +0200 | zachel | (~zachel@user/zachel) |
2022-07-24 13:00:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 13:06:11 +0200 | _0x47_ | (sid508683@id-508683.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 13:16:01 +0200 | califax | (~califax@user/califx) |
2022-07-24 13:28:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 13:31:55 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
2022-07-24 13:35:07 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
2022-07-24 13:37:06 +0200 | lys_ | (~lys@user/lys) (Quit: Leaving) |
2022-07-24 13:37:09 +0200 | zachel_ | (~zachel@user/zachel) |
2022-07-24 13:37:50 +0200 | zachel | (~zachel@user/zachel) (Ping timeout: 240 seconds) |
2022-07-24 13:40:24 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
2022-07-24 13:42:23 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
2022-07-24 13:43:21 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
2022-07-24 13:47:14 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-07-24 13:47:22 +0200 | Rimas_K | (~Rimas_K@78-58-145-243.static.zebra.lt) |
2022-07-24 13:52:09 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
2022-07-24 13:52:09 +0200 | alp_ | (~alp@user/alp) |
2022-07-24 13:53:32 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
2022-07-24 13:59:40 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) (Quit: WeeChat 3.6) |
2022-07-24 14:00:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-07-24 14:01:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 14:01:37 +0200 | califax | (~califax@user/califx) |
2022-07-24 14:02:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 14:03:20 +0200 | notzmv | (~zmv@user/notzmv) |
2022-07-24 14:11:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 14:12:16 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
2022-07-24 14:12:42 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 14:14:23 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
2022-07-24 14:23:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
2022-07-24 14:24:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 14:31:46 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
2022-07-24 14:33:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 14:34:10 +0200 | zachel_ | (~zachel@user/zachel) (Ping timeout: 268 seconds) |
2022-07-24 14:34:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 14:35:56 +0200 | zachel | (~zachel@user/zachel) |
2022-07-24 14:39:06 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Client Quit) |
2022-07-24 14:44:20 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-07-24 14:45:00 +0200 | idontgetoutmuch | (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
2022-07-24 14:45:08 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 14:46:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 14:50:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 14:50:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 14:53:03 +0200 | califax | (~califax@user/califx) |
2022-07-24 14:53:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
2022-07-24 14:53:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-07-24 14:54:42 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 264 seconds) |
2022-07-24 14:54:53 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
2022-07-24 14:57:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 260 seconds) |
2022-07-24 14:58:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com) (Ping timeout: 260 seconds) |
2022-07-24 14:59:01 +0200 | [itchyjunk] | rips hair |
2022-07-24 15:00:18 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-07-24 15:00:48 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-07-24 15:01:17 +0200 | <geekosaur> | ? |
2022-07-24 15:01:35 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
2022-07-24 15:02:10 +0200 | <[itchyjunk]> | It's a problem i've solved in the past but my brain is refusing to cooperate :x |
2022-07-24 15:05:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 15:05:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 15:06:26 +0200 | califax | (~califax@user/califx) |
2022-07-24 15:10:51 +0200 | <[itchyjunk]> | I managed to produce the same wrong answer 4 different ways. That has to count for something.. |
2022-07-24 15:11:26 +0200 | <[exa]> | what's the problem though |
2022-07-24 15:11:53 +0200 | <[itchyjunk]> | split string based on ' ' |
2022-07-24 15:12:00 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com) |
2022-07-24 15:12:08 +0200 | <[exa]> | as in `wordsOn ' '` ? |
2022-07-24 15:12:22 +0200 | <[exa]> | (uh I mean normal 'words' :D) |
2022-07-24 15:12:36 +0200 | <[itchyjunk]> | https://bpa.st/QUVA |
2022-07-24 15:13:06 +0200 | thiross | (~thiross@173.242.113.143.16clouds.com) |
2022-07-24 15:13:38 +0200 | thiross | (~thiross@173.242.113.143.16clouds.com) (Client Quit) |
2022-07-24 15:13:56 +0200 | <[exa]> | looks like you are trying to solve the problem with "1-level" recursion while it in fact requires 2 levels (as it produces [[Char]]) |
2022-07-24 15:14:20 +0200 | <[itchyjunk]> | hmmmmmm |
2022-07-24 15:14:23 +0200 | <[exa]> | (like, ofc you can do in 1 level but the amount of extra code is just annoying) |
2022-07-24 15:14:59 +0200 | <[itchyjunk]> | two level recursion.. what's a good place to read and introduction to this concept |
2022-07-24 15:15:22 +0200 | <[itchyjunk]> | i know what you mean but it feels like im not familiar with this concept and i should work on that then this problem.. |
2022-07-24 15:15:42 +0200 | <[itchyjunk]> | because i've solved this before but i clearly missed this 2 level recrusion |
2022-07-24 15:15:46 +0200 | <[exa]> | now this is pure guesswork because I didn't see your code, but it looks like you're trying to consume the input string by chars |
2022-07-24 15:16:01 +0200 | <[exa]> | while you in fact want to consume the input string by words, which you can not patternmatch |
2022-07-24 15:16:04 +0200 | <[itchyjunk]> | i tried a few different thing. like use if else, list comprehension etc |
2022-07-24 15:16:20 +0200 | <[exa]> | did you try to use `span` ? |
2022-07-24 15:16:21 +0200 | <[itchyjunk]> | for example [ [x] <- str | x \= ' ' |
2022-07-24 15:16:25 +0200 | <[itchyjunk]> | ] |
2022-07-24 15:16:26 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-07-24 15:16:52 +0200 | <[exa]> | in particular, `span (== ' ')` and `span (/= ' ')` |
2022-07-24 15:17:22 +0200 | <[itchyjunk]> | hm, if that works, my if else should have as well. must be a logical error in my thinking then |
2022-07-24 15:17:24 +0200 | <[exa]> | (span is recursive itself, which hides the inner level for you) |
2022-07-24 15:17:45 +0200 | <[itchyjunk]> | https://bpa.st/277A |
2022-07-24 15:18:08 +0200 | <[itchyjunk]> | ah, maybe i'll try to write a `mySpan` and learn level 2 recursion that way |
2022-07-24 15:18:28 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
2022-07-24 15:18:30 +0200 | <[exa]> | the logic is: 1] if you can cut out a word, cut it out, produce output, continue 2] if you can cut out whitespace, cut it out, produce nothing, continue, 3] if there's nothing left, produce nothing, terminate. |
2022-07-24 15:19:22 +0200 | <[itchyjunk]> | that sounds familiar, hmm |
2022-07-24 15:19:59 +0200 | <[exa]> | hint: case span (== ' ') input { ([], rest) -> ... } |
2022-07-24 15:20:10 +0200 | Pickchea | (~private@user/pickchea) |
2022-07-24 15:20:13 +0200 | <[exa]> | you might find a nice encoding into pattern guards |
2022-07-24 15:20:14 +0200 | <[itchyjunk]> | @_@ |
2022-07-24 15:20:20 +0200 | <[itchyjunk]> | :t span |
2022-07-24 15:20:21 +0200 | <lambdabot> | (a -> Bool) -> [a] -> ([a], [a]) |
2022-07-24 15:20:44 +0200 | <[exa]> | span is basically takeWhile and dropWhile combo |
2022-07-24 15:21:16 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
2022-07-24 15:22:04 +0200 | <[exa]> | btw my hint was probably not legal haskell, I'm too lazy to open ghci, sorry :D |
2022-07-24 15:22:50 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 15:25:25 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 268 seconds) |
2022-07-24 15:27:07 +0200 | KaitoDaumoto | (~KaitoDaum@user/kaitodaumoto) |
2022-07-24 15:27:14 +0200 | <[itchyjunk]> | boh, i'll try this later! |
2022-07-24 15:27:28 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 15:29:46 +0200 | <[exa]> | anyway the main problem in your solution is simply that `go` produces a singleton ("x" for some letter x) that is output and can't be extended later with more letters. You need something that eats the whole word recursively. `span` (or `break`, which is basically the same) is a nice way to do that. :] |
2022-07-24 15:29:53 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-07-24 15:32:13 +0200 | lys_ | (~lys@user/lys) |
2022-07-24 15:33:19 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
2022-07-24 15:36:16 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
2022-07-24 15:36:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
2022-07-24 15:37:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 15:41:41 +0200 | pavonia | (~user@user/siracusa) |
2022-07-24 15:43:24 +0200 | lys_ | (~lys@user/lys) (Quit: Leaving) |
2022-07-24 15:43:38 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
2022-07-24 15:43:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-07-24 15:44:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 15:45:54 +0200 | kenran | (~kenran@200116b82bb10200bec1eae1168003ef.dip.versatel-1u1.de) |
2022-07-24 15:49:39 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
2022-07-24 15:52:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
2022-07-24 15:53:30 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 264 seconds) |
2022-07-24 15:58:21 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-07-24 15:59:02 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 16:00:32 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-07-24 16:00:40 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
2022-07-24 16:00:40 +0200 | Guest3 | (~textual@user/polo) |
2022-07-24 16:00:43 +0200 | Guest3 | Gambino |
2022-07-24 16:00:47 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 16:00:47 +0200 | Gambino | Polo |
2022-07-24 16:01:18 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
2022-07-24 16:01:20 +0200 | kenran | (~kenran@200116b82bb10200bec1eae1168003ef.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
2022-07-24 16:09:34 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 16:10:07 +0200 | Polo | (~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-07-24 16:10:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 16:14:53 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-07-24 16:15:30 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit) |
2022-07-24 16:17:14 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 16:19:07 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2022-07-24 16:21:56 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-07-24 16:26:50 +0200 | ridcully | (~ridcully@pd951f3bf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-07-24 16:28:13 +0200 | ridcully | (~ridcully@p57b5221a.dip0.t-ipconnect.de) |
2022-07-24 16:29:29 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-07-24 16:31:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 16:34:05 +0200 | benin0 | (~benin@183.82.24.82) (Quit: The Lounge - https://thelounge.chat) |
2022-07-24 16:35:34 +0200 | benin0 | (~benin@183.82.27.255) |
2022-07-24 16:37:29 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds) |
2022-07-24 16:37:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-07-24 16:39:01 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
2022-07-24 16:39:01 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
2022-07-24 16:39:01 +0200 | haritz | (~hrtz@user/haritz) |
2022-07-24 16:44:27 +0200 | benin0 | (~benin@183.82.27.255) (Quit: The Lounge - https://thelounge.chat) |
2022-07-24 16:46:15 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:3004:4a55:8393:10a9) |
2022-07-24 16:46:23 +0200 | Pickchea | (~private@user/pickchea) |
2022-07-24 16:51:10 +0200 | lucyy | (~user@user/lucyy) |
2022-07-24 16:53:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
2022-07-24 16:54:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
2022-07-24 16:55:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-07-24 16:56:58 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:3004:4a55:8393:10a9) (Ping timeout: 240 seconds) |
2022-07-24 16:57:54 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
2022-07-24 16:59:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 244 seconds) |
2022-07-24 16:59:05 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-07-24 16:59:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-07-24 16:59:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-07-24 17:02:51 +0200 | acidjnk | (~acidjnk@p200300d6e7058637f54efc3ca710685a.dip0.t-ipconnect.de) |
2022-07-24 17:07:50 +0200 | Guest8714 | (~Guest87@2a01:c22:b1ca:1900:2c43:f2cd:eb0c:7fd7) |
2022-07-24 17:08:15 +0200 | nate4 | (~nate@98.45.169.16) |
2022-07-24 17:10:08 +0200 | Guest8714 | (~Guest87@2a01:c22:b1ca:1900:2c43:f2cd:eb0c:7fd7) (Client Quit) |
2022-07-24 17:11:35 +0200 | lucyy | (~user@user/lucyy) (Remote host closed the connection) |
2022-07-24 17:12:30 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2022-07-24 17:13:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) |
2022-07-24 17:23:45 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 17:24:35 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
2022-07-24 17:24:47 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
2022-07-24 17:25:49 +0200 | zebrag | (~chris@user/zebrag) |
2022-07-24 17:27:06 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
2022-07-24 17:35:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 17:40:05 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:42:19 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:43:07 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:44:46 +0200 | son0p | (~ff@181.136.122.143) |
2022-07-24 17:44:49 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:45:39 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:47:57 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:48:50 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 17:48:58 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:51:10 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:51:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-07-24 17:51:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-07-24 17:51:22 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-07-24 17:51:22 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:52:18 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 244 seconds) |
2022-07-24 17:53:36 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:53:52 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:54:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-07-24 17:56:05 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:56:47 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:57:43 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 17:58:46 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 17:59:05 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
2022-07-24 17:59:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
2022-07-24 18:01:22 +0200 | dextaa | (~DV@user/dextaa) |
2022-07-24 18:03:13 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2022-07-24 18:05:52 +0200 | yroomsd^ | (~yroomsd@73.54.250.255) |
2022-07-24 18:05:54 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
2022-07-24 18:08:18 +0200 | xkuru | (~xkuru@user/xkuru) |
2022-07-24 18:13:44 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-07-24 18:14:25 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2022-07-24 18:15:33 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 244 seconds) |
2022-07-24 18:15:42 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 264 seconds) |
2022-07-24 18:15:50 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
2022-07-24 18:19:45 +0200 | yroomsd^ | (~yroomsd@73.54.250.255) (Ping timeout: 260 seconds) |
2022-07-24 18:20:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 18:21:07 +0200 | yroomsd^ | (~yroomsd@73.54.250.255) |
2022-07-24 18:21:38 +0200 | yroomsd^ | (~yroomsd@73.54.250.255) (Remote host closed the connection) |
2022-07-24 18:21:56 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-07-24 18:23:04 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
2022-07-24 18:23:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 18:26:05 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
2022-07-24 18:31:17 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
2022-07-24 18:32:00 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
2022-07-24 18:35:47 +0200 | alternat` | (~user@staticline-31-183-144-54.toya.net.pl) |
2022-07-24 18:35:50 +0200 | alternat` | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
2022-07-24 18:35:58 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
2022-07-24 18:36:20 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
2022-07-24 18:43:27 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 244 seconds) |
2022-07-24 18:50:04 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
2022-07-24 18:51:12 +0200 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 244 seconds) |
2022-07-24 18:51:40 +0200 | econo | (uid147250@user/econo) |
2022-07-24 18:51:56 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 18:52:30 +0200 | AkechiShiro | (~licht@user/akechishiro) |
2022-07-24 18:55:03 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
2022-07-24 18:57:29 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
2022-07-24 19:01:48 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
2022-07-24 19:02:51 +0200 | sandy_doo | (~sandydoo@185.209.196.146) |
2022-07-24 19:03:39 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 268 seconds) |
2022-07-24 19:05:10 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
2022-07-24 19:05:49 +0200 | vysn | (~vysn@user/vysn) |
2022-07-24 19:11:30 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-07-24 19:11:30 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-07-24 19:11:30 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-07-24 19:21:35 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 260 seconds) |
2022-07-24 19:22:17 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 19:24:07 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
2022-07-24 19:25:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-07-24 19:27:05 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 268 seconds) |
2022-07-24 19:27:16 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
2022-07-24 19:27:35 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
2022-07-24 19:27:36 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
2022-07-24 19:28:13 +0200 | sagittaria | (~sagittari@220.118.98.38) |
2022-07-24 19:32:12 +0200 | Guest79 | (~Guest79@024-205-177-234.res.spectrum.com) |
2022-07-24 19:33:13 +0200 | Guest79 | (~Guest79@024-205-177-234.res.spectrum.com) (Client Quit) |
2022-07-24 19:34:08 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 255 seconds) |
2022-07-24 19:34:35 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 19:38:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2022-07-24 19:39:34 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 19:47:50 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-07-24 19:52:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2022-07-24 19:55:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 19:55:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-07-24 19:56:24 +0200 | gpncarl | (uid562772@id-562772.ilkley.irccloud.com) |
2022-07-24 19:58:20 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2022-07-24 20:02:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 240 seconds) |
2022-07-24 20:04:54 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-07-24 20:07:35 +0200 | sagittaria | (~sagittari@220.118.98.38) (Quit: - bye) |
2022-07-24 20:09:15 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 20:12:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 20:14:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 20:14:31 +0200 | lys | (sid194105@user/lys) () |
2022-07-24 20:15:48 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2022-07-24 20:29:48 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 20:30:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 20:31:52 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 20:34:06 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) () |
2022-07-24 20:34:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 20:43:01 +0200 | mmhat | (~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de) |
2022-07-24 20:43:10 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-07-24 20:44:53 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2022-07-24 20:47:13 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
2022-07-24 20:55:38 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2022-07-24 20:57:11 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
2022-07-24 20:57:34 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2022-07-24 20:58:47 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
2022-07-24 21:01:24 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 272 seconds) |
2022-07-24 21:02:18 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 21:04:29 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
2022-07-24 21:05:45 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
2022-07-24 21:07:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 21:08:01 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2022-07-24 21:11:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 21:12:25 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
2022-07-24 21:17:30 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 264 seconds) |
2022-07-24 21:17:40 +0200 | malte | (~malte@mal.tc) (Ping timeout: 260 seconds) |
2022-07-24 21:17:57 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 21:20:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-07-24 21:24:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 21:26:22 +0200 | |beowulf| | (~ircuser@sourcemage/mage/beowulf) |
2022-07-24 21:33:42 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
2022-07-24 21:33:57 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Ping timeout: 244 seconds) |
2022-07-24 21:44:09 +0200 | alp_ | (~alp@user/alp) |
2022-07-24 21:47:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
2022-07-24 21:48:07 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 256 seconds) |
2022-07-24 21:48:11 +0200 | sandydoo | (~sandydoo@185.209.196.146) |
2022-07-24 21:48:55 +0200 | sandy_doo | (~sandydoo@185.209.196.146) (Ping timeout: 244 seconds) |
2022-07-24 21:49:56 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 21:50:36 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:d86a:adb8:4fbc:a183) |
2022-07-24 21:51:18 +0200 | Pickchea | (~private@user/pickchea) |
2022-07-24 21:52:43 +0200 | <qrpnxz> | I've been comparing different effect stack approaches. As we "know", with MTL you have to define all these pass-through instances. ReaderT dictionary passing is nice because you just define the one Has instance, but it's a bit akward choosing the monad for the actions you pass in and integrating that with the eventual real stack if you don't want to do everything via IO (or if you want control |
2022-07-24 21:52:44 +0200 | <qrpnxz> | monads), and majorly it bothers me that that's what type classes are supposed to be (dictionary passing) and in that case you are just doing what that language feature is specifically designed for which is dictionary passing. I just tried something nice which is to define an overlappable instance for a transformed monad that automatically passes through the effect. Works nice! Tried it with a |
2022-07-24 21:52:46 +0200 | <qrpnxz> | simple greeter class. Defined a couple of different transformer implementations, and indeed i can run one or the other and it works, and i can insert arbitrary transformers below and above them and it works. So if your effect commutes, you can just define a universal pass-through, if it doesn't then you specifically implement the instances that make sense. |
2022-07-24 21:53:33 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
2022-07-24 21:55:17 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 21:55:35 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 21:56:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-07-24 21:56:31 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 21:56:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 21:56:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-07-24 21:57:27 +0200 | califax | (~califax@user/califx) |
2022-07-24 21:57:46 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 21:57:51 +0200 | malte | (~malte@mal.tc) |
2022-07-24 21:58:05 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 21:59:02 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 21:59:20 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:00:17 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:00:32 +0200 | __monty__ | (~toonn@user/toonn) |
2022-07-24 22:00:35 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:01:33 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-07-24 22:01:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:02:33 +0200 | toluene | (~toluene@user/toulene) (Quit: The Lounge - https://thelounge.chat) |
2022-07-24 22:02:41 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Remote host closed the connection) |
2022-07-24 22:02:47 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:03:03 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 22:03:05 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:03:48 +0200 | <qrpnxz> | you could also have passthrough as a default impl in the class then writing the passthroughs can be as easy as `instance Class` |
2022-07-24 22:03:48 +0200 | kenran | (~kenran@200116b82bb10200d7280300c3da7cef.dip.versatel-1u1.de) |
2022-07-24 22:03:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-07-24 22:04:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 22:04:03 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:04:20 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:04:46 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 22:05:17 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:05:34 +0200 | kenran | (~kenran@200116b82bb10200d7280300c3da7cef.dip.versatel-1u1.de) (Client Quit) |
2022-07-24 22:05:35 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:06:04 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) |
2022-07-24 22:06:32 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:06:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:07:47 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:08:05 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:08:18 +0200 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 240 seconds) |
2022-07-24 22:08:21 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:d86a:adb8:4fbc:a183) (Ping timeout: 276 seconds) |
2022-07-24 22:09:01 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:09:18 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:10:16 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:10:33 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:11:31 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:11:49 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:12:53 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-07-24 22:13:14 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:13:47 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) (Ping timeout: 272 seconds) |
2022-07-24 22:17:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:18:07 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:19:07 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:19:25 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:20:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-07-24 22:20:28 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:20:45 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:21:15 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 260 seconds) |
2022-07-24 22:21:50 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2022-07-24 22:21:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:22:08 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:23:18 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:23:21 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) |
2022-07-24 22:23:37 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:24:51 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:25:08 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:26:29 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:26:49 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:27:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-07-24 22:28:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 22:28:18 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:28:34 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:28:36 +0200 | vglfr | (~vglfr@194.9.14.33) |
2022-07-24 22:30:10 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
2022-07-24 22:30:14 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:30:32 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:32:23 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:32:42 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:33:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 22:34:47 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:35:07 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:35:16 +0200 | Rimas_K | (~Rimas_K@78-58-145-243.static.zebra.lt) (Quit: Client closed) |
2022-07-24 22:37:30 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:37:39 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
2022-07-24 22:37:46 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:40:32 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:40:43 +0200 | sandydoo | (~sandydoo@185.209.196.146) (Ping timeout: 268 seconds) |
2022-07-24 22:40:50 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:44:05 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:44:22 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:48:13 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:48:32 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:52:57 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 22:52:59 +0200 | NaturalNumber | (~monadam@137.229.82.64) |
2022-07-24 22:53:16 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection) |
2022-07-24 22:53:33 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 22:55:09 +0200 | NaturalNumber123 | (~monadam@137.229.82.64) (Ping timeout: 276 seconds) |
2022-07-24 22:55:18 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 264 seconds) |
2022-07-24 22:56:58 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-07-24 22:57:46 +0200 | byorgey | (~byorgey@155.138.238.211) (Quit: leaving) |
2022-07-24 22:57:58 +0200 | notzmv | (~zmv@user/notzmv) |
2022-07-24 22:58:18 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 264 seconds) |
2022-07-24 22:59:51 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 23:02:21 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-07-24 23:03:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 23:04:17 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 255 seconds) |
2022-07-24 23:04:39 +0200 | talismanick | (~talismani@2601:644:8300:c010::8544) |
2022-07-24 23:07:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 23:14:12 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2022-07-24 23:15:15 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-07-24 23:15:44 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
2022-07-24 23:16:39 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Remote host closed the connection) |
2022-07-24 23:18:18 +0200 | xkuru | (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
2022-07-24 23:19:21 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2022-07-24 23:19:39 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
2022-07-24 23:19:58 +0200 | jmjj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 240 seconds) |
2022-07-24 23:20:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
2022-07-24 23:20:53 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
2022-07-24 23:20:58 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 23:21:22 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
2022-07-24 23:21:27 +0200 | noteness | (~noteness@user/noteness) |
2022-07-24 23:21:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
2022-07-24 23:21:31 +0200 | califax | (~califax@user/califx) |
2022-07-24 23:22:07 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
2022-07-24 23:22:07 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
2022-07-24 23:22:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
2022-07-24 23:22:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
2022-07-24 23:22:54 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-07-24 23:23:18 +0200 | gmg | (~user@user/gehmehgeh) |
2022-07-24 23:23:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-07-24 23:23:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-07-24 23:27:01 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
2022-07-24 23:27:15 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
2022-07-24 23:27:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 23:28:31 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Remote host closed the connection) |
2022-07-24 23:29:34 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 23:31:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-07-24 23:34:38 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
2022-07-24 23:34:50 +0200 | <qrpnxz> | the `streaming` lib readme is freaking hilarious. I keep re-reading it. |
2022-07-24 23:35:52 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds) |
2022-07-24 23:35:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 23:36:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-07-24 23:36:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-07-24 23:37:34 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
2022-07-24 23:37:56 +0200 | <monochrom> | Hrm, I spotted "_ListT done right/". Note the _ and /. Someone could not make up their mind whether it's _ListT done right_ or /ListT done right/ haha |
2022-07-24 23:38:21 +0200 | <monochrom> | ```markdown done right``` |
2022-07-24 23:38:34 +0200 | <monochrom> | err not funny enough |
2022-07-24 23:38:39 +0200 | <monochrom> | ```markdown done right,,, |
2022-07-24 23:39:57 +0200 | <qrpnxz> | i was wondering about that lol, good hypothesis |
2022-07-24 23:40:12 +0200 | ober | (~ober@c-24-61-81-45.hsd1.ma.comcast.net) |
2022-07-24 23:40:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-07-24 23:40:57 +0200 | <qrpnxz> | maybe they wrote '_ListT done' in vim and 'right/' on emacs :) |
2022-07-24 23:41:00 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
2022-07-24 23:41:55 +0200 | <monochrom> | https://hackage.haskell.org/package/fourmolu has a funny bit too. It roasts ormolu. |
2022-07-24 23:43:25 +0200 | <monochrom> | Hrm the funny bit is gone in recent versions. |
2022-07-24 23:43:54 +0200 | <monochrom> | Go to https://hackage.haskell.org/package/fourmolu-0.0.6.0 and look for "requires you to fork the project to configure it" :) |
2022-07-24 23:44:19 +0200 | <qrpnxz> | "respectful: true"' lmao what |
2022-07-24 23:45:01 +0200 | <qrpnxz> | but in ourmolu "respectful: false" lol |
2022-07-24 23:45:44 +0200 | <monochrom> | hahaha now that's something |
2022-07-24 23:46:08 +0200 | <qrpnxz> | yeah, funny one |
2022-07-24 23:46:24 +0200 | <ober> | Will the constraints field in cabal.project for a package apply to packages the depend on it? |
2022-07-24 23:47:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-07-24 23:47:10 +0200 | <sclv> | no. the project file doesn’t get bundled into a cabal package |
2022-07-24 23:47:23 +0200 | <monochrom> | So basically ormolu hardcoded indent-by-2 or something, so someone forked it to do indent-by-4 and obviously the new name ought to be fourmolu. |
2022-07-24 23:48:31 +0200 | <monochrom> | "like xmonad but for code formatting" |
2022-07-24 23:49:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-07-24 23:50:17 +0200 | <ober> | My usecase is to try to create inline tests and properties. So I will have a flag called tests, and I will enable in in the constraints file for my own project. This means I can run tests locally but packages that depend on it will not compile the tests. This should work right? |
2022-07-24 23:51:34 +0200 | <ober> | Oh also the cabal flag chould set a cpp flag too |
2022-07-24 23:52:25 +0200 | <sclv> | i advise you either use doctests or just a trest stanza and eg tasty |
2022-07-24 23:52:32 +0200 | <sclv> | test stanza |
2022-07-24 23:56:38 +0200 | <qrpnxz> | monochrom: omg hahaha |
2022-07-24 23:57:04 +0200 | johnw | (~johnw@2600:1700:cf00:db0:dc35:4fc6:f087:ce5b) (Quit: ZNC - http://znc.in) |
2022-07-24 23:57:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-07-24 23:57:52 +0200 | <ober> | you mean tasty test stanza in a separate test package right? I really like writing properties in the module, and then you can use allProperties with tasty (I saw this in the agda source code) |
2022-07-24 23:58:35 +0200 | <ober> | But I don't want to add QuickCheck as a dep in a library |
2022-07-24 23:58:36 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-07-24 23:58:36 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-07-24 23:58:36 +0200 | wroathe | (~wroathe@user/wroathe) |