| 2022-08-05 00:01:21 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-05 00:01:23 +0200 | acidjnk | (~acidjnk@p200300d6e705869994ba3201910e432a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-08-05 00:07:22 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 2022-08-05 00:09:25 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-08-05 00:10:53 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 00:16:18 +0200 | talismanick | (~talismani@96.71.204.25) |
| 2022-08-05 00:26:01 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 268 seconds) |
| 2022-08-05 00:39:39 +0200 | foul_owl | (~kerry@23.82.194.107) |
| 2022-08-05 00:41:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:13b:63d1:e32e:fe38) (Ping timeout: 255 seconds) |
| 2022-08-05 00:41:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-05 00:47:53 +0200 | Milan | (~Milan@46.245.118.112) (Quit: Client closed) |
| 2022-08-05 00:56:39 +0200 | talismanick | (~talismani@96.71.204.25) (Ping timeout: 252 seconds) |
| 2022-08-05 01:01:06 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-05 01:04:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f3e0:1e7d:c792:ccbd) |
| 2022-08-05 01:05:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-05 01:07:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 01:15:40 +0200 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-05 01:15:59 +0200 | dispater | (~dispater@user/brprice) |
| 2022-08-05 01:16:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 01:17:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 01:17:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 01:18:22 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-08-05 01:20:03 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-08-05 01:20:20 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-08-05 01:21:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 01:21:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 01:21:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-05 01:22:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 01:25:54 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 01:27:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-08-05 01:28:48 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 01:28:48 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 01:28:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 01:34:15 +0200 | morrow | (~user@bzq-110-168-31-106.red.bezeqint.net) (Quit: leaving) |
| 2022-08-05 01:38:05 +0200 | talismanick | (~talismani@96.71.204.25) |
| 2022-08-05 01:38:12 +0200 | talismanick | (~talismani@96.71.204.25) (Remote host closed the connection) |
| 2022-08-05 01:38:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 01:48:06 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-08-05 01:48:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 02:00:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-05 02:01:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 02:02:55 +0200 | califax | (~califax@user/califx) |
| 2022-08-05 02:03:27 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-08-05 02:04:05 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-05 02:04:21 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-05 02:08:04 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-05 02:08:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-08-05 02:10:02 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-08-05 02:12:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 02:17:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 02:22:47 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 02:27:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 02:27:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 02:27:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 02:33:08 +0200 | <johnw> | @pl \(s, f) -> runState s (runReadonly f) |
| 2022-08-05 02:33:23 +0200 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) |
| 2022-08-05 02:34:56 +0200 | <jackdk> | johnw: uncurry ((. runReadonly) . runState) |
| 2022-08-05 02:35:08 +0200 | <johnw> | yeah, thank you, just finished installing 'pointfree' and got that result |
| 2022-08-05 02:35:13 +0200 | <johnw> | not an improvement |
| 2022-08-05 02:36:12 +0200 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) (Remote host closed the connection) |
| 2022-08-05 02:36:39 +0200 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) |
| 2022-08-05 02:39:29 +0200 | <EvanR> | it's crazy how much better having a point is, usually xD |
| 2022-08-05 02:39:42 +0200 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-08-05 02:39:47 +0200 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) (Remote host closed the connection) |
| 2022-08-05 02:40:57 +0200 | <johnw> | yeah, when you linearize the composition it loses some of the clarifying structure |
| 2022-08-05 02:46:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f3e0:1e7d:c792:ccbd) (Ping timeout: 268 seconds) |
| 2022-08-05 02:49:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 02:49:26 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 02:50:18 +0200 | <Axman6> | johnw: I'm sure I've seen edwardk using something recently which was a lens that gave access to the context outside the focus... but it might bave been in rust |
| 2022-08-05 02:50:47 +0200 | <Axman6> | s/lens/some sort of optic/ |
| 2022-08-05 02:52:01 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:6fb6:9a67:4eac:187a) |
| 2022-08-05 02:53:27 +0200 | <Axman6> | here it is: https://gist.github.com/ekmett/ce5cc1edce154248fac9ea0f2c3ede9b |
| 2022-08-05 02:57:20 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-05 02:58:02 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 02:58:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-08-05 02:59:49 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-05 03:00:12 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-05 03:01:42 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2022-08-05 03:04:56 +0200 | <c_wraith> | I don't think you can generally assume that everything outside a lens is comparable anyway. Like, the "I don't have a value of type `a'" thing is a real issue. |
| 2022-08-05 03:06:52 +0200 | <c_wraith> | I think you're not really going to do anything better than you get with Contexts |
| 2022-08-05 03:08:00 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 03:08:06 +0200 | <c_wraith> | Maybe add some helpers that let you pass in some default value from a context where they have a chance of knowing what type they need to be |
| 2022-08-05 03:12:32 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 03:14:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-08-05 03:16:30 +0200 | <texasmynsted> | I am looking at this -> https://dpaste.com/CQC3SHWGK |
| 2022-08-05 03:16:41 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 255 seconds) |
| 2022-08-05 03:17:05 +0200 | <Axman6> | I am now also looking at https://dpaste.com/CQC3SHWGK, I give this URL a B, not bad, but not our usualy paste website |
| 2022-08-05 03:17:13 +0200 | <texasmynsted> | I am trying to test it out but I always seem to get errors with expecting "end of line" |
| 2022-08-05 03:17:30 +0200 | <texasmynsted> | lol Axman6 |
| 2022-08-05 03:18:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 03:18:13 +0200 | <Axman6> | usual* |
| 2022-08-05 03:18:23 +0200 | <texasmynsted> | If I try to parse 'Total: A\n' for example |
| 2022-08-05 03:19:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-05 03:19:22 +0200 | <texasmynsted> | I think it is looking for Data.Char LineSeparator |
| 2022-08-05 03:21:30 +0200 | <texasmynsted> | oh, no that is not right |
| 2022-08-05 03:22:13 +0200 | <Axman6> | I love that we can use OverloadedStrings for parsers |
| 2022-08-05 03:23:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 03:23:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-05 03:25:37 +0200 | <texasmynsted> | I am just not seeing what I am missing |
| 2022-08-05 03:25:39 +0200 | <c_wraith> | takeUntilEOL really doesn't appear to be doing what it says |
| 2022-08-05 03:26:03 +0200 | <texasmynsted> | I would think eol on unix would be \n. |
| 2022-08-05 03:26:28 +0200 | <c_wraith> | it appears to be taking line separators |
| 2022-08-05 03:26:39 +0200 | <c_wraith> | rather than everything but line separators |
| 2022-08-05 03:27:14 +0200 | <texasmynsted> | oh |
| 2022-08-05 03:29:20 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 03:29:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-08-05 03:30:08 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 03:31:50 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:6fb6:9a67:4eac:187a) (Remote host closed the connection) |
| 2022-08-05 03:32:57 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2022-08-05 03:33:21 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-05 03:38:37 +0200 | Surobaki | (~Surobaki@user/surobaki) |
| 2022-08-05 03:46:23 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-05 03:46:28 +0200 | Guest55 | (~Guest55@c-71-198-235-211.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2022-08-05 03:49:08 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-05 03:53:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 03:56:22 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-05 03:56:59 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 04:02:38 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 04:02:38 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 04:02:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 04:04:09 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 04:09:18 +0200 | frost | (~frost@user/frost) |
| 2022-08-05 04:10:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 04:10:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 04:11:50 +0200 | <Clinton[m]> | How do I access the `C` typeclass after pattern matching on `Foo` in `f`. I'm sure there's a way to do this I just forgot:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2a02522c435d270db61978a3ec5e208cf173…) |
| 2022-08-05 04:13:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 04:18:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 04:21:00 +0200 | <jackdk> | Clinton[m]: I see two options: 1. Add a Proxy to your GADT and use ScopedTypeVariables to bring `a` into scope, so that you can use a type application on `silly` |
| 2022-08-05 04:21:17 +0200 | <jackdk> | Clinton[m]: https://www.irccloud.com/pastebin/D5CfI3xJ/SillyProxy.hs |
| 2022-08-05 04:22:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 04:22:37 +0200 | <jackdk> | Clinton[m]: 2. Add a type variable to `Foo` so that you can bring the `a` into scope without `Proxy` (`Foo` is kinda doing the role of `Proxy` in this version, and kinda works like `Dict` from package `constraints`) |
| 2022-08-05 04:23:04 +0200 | <jackdk> | Clinton[m]: https://www.irccloud.com/pastebin/f5DVk1QJ/SillyTyVar.hs |
| 2022-08-05 04:25:38 +0200 | <Clinton[m]> | jackdk: I think I'll need to add a Proxy here, I don't want to change the type of `Foo`. |
| 2022-08-05 04:25:50 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-05 04:26:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 04:30:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-05 04:30:16 +0200 | <jackdk> | Clinton[m]: This also works, by passing a value-level `Dict` from the `constraints` package, which takes the role of both your `C a` constraint and the `Proxy` from my first attempt: https://www.irccloud.com/pastebin/2JZN7jmT/SillyConstaintPackage.hs |
| 2022-08-05 04:34:02 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-05 04:34:17 +0200 | <Clinton[m]> | @jackdk: Oh that's seems better... I'm a bit confused though as why just `C a => Foo` doesn't work? Doesn't GHC store `C a` as a pointer to the typeclass dictionary anyway, and if so, why can't I access it? Why do I need to do `Dict` shenanigans? |
| 2022-08-05 04:34:17 +0200 | <lambdabot> | Unknown command, try @list |
| 2022-08-05 04:34:40 +0200 | <Clinton[m]> | s/:// |
| 2022-08-05 04:37:00 +0200 | <jackdk> | Clinton[m]: the fundamental problem that's blocking me from solving the `Foo :: C a => Foo` version is that I don't know how to capture the `a` type variable when pattern matching, so I can't apply it to the call of `silly`. There could be any number of instances available, but we're trying to pick out the one contained in `Foo`. Type annotations when pattern matching bring any tyvars into scope, hence using Dict as a value-level version of the dict |
| 2022-08-05 04:37:07 +0200 | <jackdk> | Perhaps someone else here knows how to do it without the helper. |
| 2022-08-05 04:37:50 +0200 | td_ | (~td@94.134.91.223) (Ping timeout: 240 seconds) |
| 2022-08-05 04:40:03 +0200 | td_ | (~td@muedsl-82-207-238-171.citykom.de) |
| 2022-08-05 04:40:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 04:49:02 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-05 04:50:16 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-05 04:56:10 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-08-05 05:04:00 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 05:04:12 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 05:04:36 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:06:02 +0200 | <qrpnxz> | is there a way to get hoogle to display all known instances for some type? |
| 2022-08-05 05:06:55 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-05 05:09:32 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-05 05:10:18 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-05 05:14:15 +0200 | Clinton | (~Clinton@ip-2.222.103.123.VOCUS.net.au) |
| 2022-08-05 05:14:41 +0200 | Clinton | (~Clinton@ip-2.222.103.123.VOCUS.net.au) (Client Quit) |
| 2022-08-05 05:21:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-05 05:21:40 +0200 | <johnw> | c_wraith: not in the general case, no, but in my specific case, yes |
| 2022-08-05 05:23:01 +0200 | <johnw> | Axman6: thanks, that looks very relevant |
| 2022-08-05 05:24:06 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4977:125:61ab:9934) (Quit: ZNC - http://znc.in) |
| 2022-08-05 05:28:56 +0200 | haskl | (~haskl@user/haskl) |
| 2022-08-05 05:32:33 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:32:34 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-05 05:33:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-05 05:35:38 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-05 05:36:13 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-05 05:42:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 05:45:46 +0200 | haskl | (~haskl@user/haskl) (Remote host closed the connection) |
| 2022-08-05 05:52:52 +0200 | haskl | (~haskl@user/haskl) |
| 2022-08-05 05:52:57 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 05:53:13 +0200 | <instantaphex> | Is it more common to use stack over cabal? |
| 2022-08-05 05:54:04 +0200 | <absentia> | instantaphex: the dev experience for stack is far superior imo |
| 2022-08-05 05:54:13 +0200 | <absentia> | less time messing with dependencies |
| 2022-08-05 05:54:23 +0200 | <absentia> | and isolation between projects |
| 2022-08-05 05:55:00 +0200 | <instantaphex> | absentia: That's what it seems like. Seems more modern. |
| 2022-08-05 05:55:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:55:10 +0200 | <absentia> | chronologically it is |
| 2022-08-05 06:00:48 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-05 06:01:24 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) |
| 2022-08-05 06:04:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 06:04:32 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 06:04:43 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 06:06:43 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 06:06:50 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 06:09:06 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-08-05 06:09:06 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-08-05 06:09:45 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 06:11:09 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 06:11:18 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 06:11:50 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-08-05 06:11:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 06:12:11 +0200 | scav | (sid309693@user/scav) (Ping timeout: 255 seconds) |
| 2022-08-05 06:13:14 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-08-05 06:13:18 +0200 | sunarch | (sid526836@user/sunarch) (Ping timeout: 264 seconds) |
| 2022-08-05 06:13:19 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
| 2022-08-05 06:13:35 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-08-05 06:13:45 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 06:13:50 +0200 | sunarch | (sid526836@user/sunarch) |
| 2022-08-05 06:14:08 +0200 | <jackdk> | I see a lot more complaints about stack these days - cabal gets the lion's share of dev attention and has caught up a lot |
| 2022-08-05 06:14:26 +0200 | bjs | (sid190364@user/bjs) (Ping timeout: 255 seconds) |
| 2022-08-05 06:14:30 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2022-08-05 06:15:21 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-08-05 06:15:43 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2022-08-05 06:16:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 06:16:17 +0200 | scav | (sid309693@user/scav) |
| 2022-08-05 06:17:34 +0200 | bjs | (sid190364@user/bjs) |
| 2022-08-05 06:20:39 +0200 | Surobaki | (~Surobaki@user/surobaki) (Quit: WeeChat 3.5) |
| 2022-08-05 06:23:21 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-08-05 06:27:15 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 06:30:02 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 06:31:26 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 06:31:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 06:31:37 +0200 | <dragestil> | Does anyone know what could be the problem if: cabal build / cabal run succeeds, but cabal install complains about file not found for $(embedDir "some/dir") |
| 2022-08-05 06:32:00 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-08-05 06:32:11 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer) |
| 2022-08-05 06:32:54 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 06:34:19 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 06:37:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-08-05 06:44:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 06:47:02 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 06:48:03 +0200 | irfan | (~irfan@user/irfan) |
| 2022-08-05 06:49:26 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-08-05 06:50:53 +0200 | bjs | (sid190364@user/bjs) (Ping timeout: 244 seconds) |
| 2022-08-05 06:50:54 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 06:51:02 +0200 | <Clinton[m]> | Perhaps this isn't the right abstraction, but I had a function that was:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/cf15892ab8aeea660326ac72ba4e397b23f3…) |
| 2022-08-05 06:51:10 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-05 06:51:20 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 255 seconds) |
| 2022-08-05 06:54:42 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2022-08-05 06:55:01 +0200 | bjs | (sid190364@user/bjs) |
| 2022-08-05 06:55:39 +0200 | <maerwald[m]> | dragestil: yes, your cabal file is incorrect |
| 2022-08-05 06:55:57 +0200 | <dragestil> | maerwald[m]: what do you mean |
| 2022-08-05 06:56:01 +0200 | <maerwald[m]> | cabal install does an sdist and installs from there |
| 2022-08-05 06:56:14 +0200 | <maerwald[m]> | It doesn't install from current dir |
| 2022-08-05 06:56:28 +0200 | <maerwald[m]> | So your package would be broken on hackage |
| 2022-08-05 06:57:04 +0200 | <maerwald[m]> | Your sdist is missing files |
| 2022-08-05 06:58:53 +0200 | <maerwald[m]> | https://cabal.readthedocs.io/en/stable/cabal-package.html?highlight=extra-source-files#pkg-field-e… |
| 2022-08-05 07:00:02 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 245 seconds) |
| 2022-08-05 07:01:29 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 07:03:50 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:05:42 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 07:06:38 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:07:19 +0200 | <Clinton[m]> | > <@clintonmead:matrix.org> Perhaps this isn't the right abstraction, but I had a function that was:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/1e3dcb81852b03461381e3ef6e7fed58bfa2…) |
| 2022-08-05 07:07:21 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-08-05 07:11:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-05 07:14:45 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-08-05 07:17:35 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-05 07:25:15 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 07:25:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 07:27:03 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-08-05 07:28:51 +0200 | <jackdk> | @unmtl StateT s (Either e) a |
| 2022-08-05 07:28:51 +0200 | <lambdabot> | s -> Either e (a, s) |
| 2022-08-05 07:29:06 +0200 | <jackdk> | @unmtl ExceptT e (State s a) |
| 2022-08-05 07:29:06 +0200 | <lambdabot> | err: `ExceptT e (s -> (a, s))' is not applied to enough arguments. |
| 2022-08-05 07:29:18 +0200 | <jackdk> | @unmtl ExceptT e (State s) a |
| 2022-08-05 07:29:19 +0200 | <lambdabot> | s -> (Either e a, s) |
| 2022-08-05 07:30:39 +0200 | <jackdk> | Clinton[m]: ^-- you can change the behaviour you get by exchanging the `StateT s` and `ExceptT e` layers (`Either e` is isomorphic to `ExceptT e Identity`). When you say "except the error case", I take it to mean you want failure to not throw away the new state? |
| 2022-08-05 07:35:12 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:35:48 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-08-05 07:41:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 07:41:32 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:41:44 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 07:42:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:45:10 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 07:45:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 07:45:33 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-05 07:45:56 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
| 2022-08-05 07:46:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 07:48:11 +0200 | zere3f | (~zere3f@203.110.242.30) |
| 2022-08-05 07:51:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 07:58:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 07:59:44 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-05 08:00:49 +0200 | ubert | (~Thunderbi@77.119.222.183.wireless.dyn.drei.com) |
| 2022-08-05 08:04:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 08:05:29 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-05 08:10:02 +0200 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-08-05 08:10:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-05 08:30:57 +0200 | zere3f | (~zere3f@203.110.242.30) (Quit: Client closed) |
| 2022-08-05 08:32:19 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-08-05 08:32:44 +0200 | noteness | (~noteness@user/noteness) |
| 2022-08-05 08:36:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-05 08:37:31 +0200 | <dragestil> | maerwald[m]: ok thanks |
| 2022-08-05 08:41:28 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 08:42:19 +0200 | califax | (~califax@user/califx) |
| 2022-08-05 08:43:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 08:51:07 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 08:51:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c3f5:7110:c3df:d801) |
| 2022-08-05 08:51:49 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 08:57:47 +0200 | acidjnk | (~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de) |
| 2022-08-05 09:01:13 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 09:06:20 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-05 09:06:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 09:10:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 09:12:05 +0200 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) |
| 2022-08-05 09:12:24 +0200 | mud | (~mud@user/kadoban) |
| 2022-08-05 09:12:30 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2022-08-05 09:16:09 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 09:25:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 09:30:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-05 09:30:57 +0200 | kuribas | (~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be) |
| 2022-08-05 09:38:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-05 09:41:50 +0200 | vpan | (~0@212.117.1.172) |
| 2022-08-05 09:45:51 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-05 09:49:10 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) (Remote host closed the connection) |
| 2022-08-05 09:49:36 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 09:55:27 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-05 09:55:32 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-08-05 10:03:50 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-05 10:15:41 +0200 | fserucas | (~fserucas@83.223.235.72) |
| 2022-08-05 10:17:13 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-05 10:20:30 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection) |
| 2022-08-05 10:22:39 +0200 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 10:25:36 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 10:26:05 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 10:26:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 10:28:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 10:38:13 +0200 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 268 seconds) |
| 2022-08-05 10:41:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 10:46:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 10:55:19 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae) |
| 2022-08-05 10:55:48 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6) |
| 2022-08-05 10:59:55 +0200 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-08-05 11:00:25 +0200 | bu99ed[m] | (~bu99edm4t@2001:470:69fc:105::1:bd9e) (Quit: You have been kicked for being idle) |
| 2022-08-05 11:01:11 +0200 | gdd | (~gdd@129.199.146.230) (Ping timeout: 268 seconds) |
| 2022-08-05 11:03:57 +0200 | gdd | (~gdd@129.199.146.230) |
| 2022-08-05 11:08:19 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-05 11:16:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 11:17:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 11:20:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 11:28:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2022-08-05 11:30:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-05 11:31:55 +0200 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 11:33:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 11:35:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 11:37:09 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-08-05 11:37:36 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 11:38:50 +0200 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) () |
| 2022-08-05 11:39:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 11:40:28 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-05 11:41:53 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-05 11:44:55 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2022-08-05 11:46:17 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2022-08-05 11:48:20 +0200 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 255 seconds) |
| 2022-08-05 11:51:02 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 11:52:38 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 11:54:38 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 11:55:27 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2022-08-05 11:57:01 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-05 11:57:49 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 11:59:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-08-05 12:02:34 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 12:04:42 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2022-08-05 12:07:16 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-05 12:07:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-05 12:14:37 +0200 | ubert | (~Thunderbi@77.119.222.183.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-08-05 12:16:14 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-08-05 12:18:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 12:19:52 +0200 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 12:23:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 12:25:03 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) |
| 2022-08-05 12:28:24 +0200 | Milan | (~Milan@46.245.96.179) |
| 2022-08-05 12:28:36 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-08-05 12:28:39 +0200 | Milan | (~Milan@46.245.96.179) (Client Quit) |
| 2022-08-05 12:29:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 12:39:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 12:39:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 12:51:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-08-05 12:55:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 12:56:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 12:57:28 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-05 13:02:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 13:02:45 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 13:02:56 +0200 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2022-08-05 13:03:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-08-05 13:06:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 13:07:32 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 13:13:09 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-08-05 13:19:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 13:27:11 +0200 | maroloccio | (~marolocci@151.73.156.232) |
| 2022-08-05 13:32:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5628:7137:a023:aad6) |
| 2022-08-05 13:41:06 +0200 | kuribas | (~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-08-05 13:48:38 +0200 | acidjnk | (~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 13:53:41 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-05 13:54:28 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2022-08-05 14:03:12 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 14:14:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 14:19:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-05 14:20:02 +0200 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 245 seconds) |
| 2022-08-05 14:20:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 14:23:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 14:23:22 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2022-08-05 14:23:49 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 14:25:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 14:26:37 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 2022-08-05 14:27:56 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 14:29:59 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6) (Read error: Connection reset by peer) |
| 2022-08-05 14:30:14 +0200 | tomku | (~tomku@user/tomku) |
| 2022-08-05 14:31:04 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-08-05 14:33:01 +0200 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 14:37:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 14:39:43 +0200 | dhil | (~dhil@92.237.181.5) |
| 2022-08-05 14:42:20 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:788d:7b3b:7037:afae) |
| 2022-08-05 14:43:11 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 14:45:45 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-05 14:55:12 +0200 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2022-08-05 15:01:13 +0200 | tomku | (~tomku@user/tomku) |
| 2022-08-05 15:01:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 15:01:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 15:07:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 15:13:08 +0200 | examors | (~examors@user/examors) |
| 2022-08-05 15:17:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-05 15:22:39 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-05 15:26:05 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-05 15:28:01 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-05 15:41:49 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 15:44:28 +0200 | dcoutts_ | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) |
| 2022-08-05 15:54:42 +0200 | jinsun | (~jinsun@user/jinsun) () |
| 2022-08-05 15:54:42 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 15:56:06 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 16:00:07 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-05 16:04:14 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 16:05:04 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 16:05:15 +0200 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 252 seconds) |
| 2022-08-05 16:15:46 +0200 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-08-05 16:16:10 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) |
| 2022-08-05 16:16:22 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 16:17:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 16:17:37 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-05 16:17:40 +0200 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 244 seconds) |
| 2022-08-05 16:27:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 16:28:40 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-05 16:33:31 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 16:35:53 +0200 | pgib | (~textual@173.38.117.85) (Quit: 00 PC LOAD LETTER) |
| 2022-08-05 16:38:48 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 16:39:39 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 16:43:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 16:44:07 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-05 16:44:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c3f5:7110:c3df:d801) (Quit: WeeChat 2.8) |
| 2022-08-05 16:46:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-05 16:47:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 16:52:27 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-05 16:54:00 +0200 | kazaf | (~kazaf@5.139.147.165) |
| 2022-08-05 16:54:36 +0200 | kazaf | (~kazaf@5.139.147.165) (Remote host closed the connection) |
| 2022-08-05 16:56:15 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 16:57:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 16:58:37 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 17:00:37 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-05 17:02:16 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 17:02:19 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 2022-08-05 17:02:40 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 17:02:55 +0200 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-08-05 17:04:03 +0200 | <texasmynsted> | What is the simplest way to read text from PDF. In hackage I see pdftotext and pdftoolbox. pdftotext looks simple but it was unhappy with my poppler install. |
| 2022-08-05 17:06:11 +0200 | <sm> | some command line tool not written in haskell I expect |
| 2022-08-05 17:07:02 +0200 | <geekosaur[m]> | And welcome to hell |
| 2022-08-05 17:08:11 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 17:08:30 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net) |
| 2022-08-05 17:08:57 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 17:10:19 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-05 17:10:48 +0200 | <Inst> | forgive me father, for I have sinned |
| 2022-08-05 17:10:50 +0200 | <Inst> | https://newaverageandpragmatic.blogspot.com/2022/08/monad-tutorial.html |
| 2022-08-05 17:12:13 +0200 | <eviltwin_b> | pdf is a horrible format for anything other than final output. extracting text from it is heuristic at best |
| 2022-08-05 17:12:43 +0200 | <maerwald> | eviltwin_b: so? It's a common use case |
| 2022-08-05 17:13:02 +0200 | <eviltwin_b> | how heuristic depends on how much the output driver that generated it treated it as a dumb printer |
| 2022-08-05 17:13:17 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-08-05 17:13:41 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 17:13:48 +0200 | <eviltwin_b> | pdf generators do not care how common a use case it might be. it's horrid and unreliable |
| 2022-08-05 17:14:11 +0200 | <maerwald> | many platforms have this feature of auto-detecting document contents from PDFs so you don't have to copy paste stuff yourself and you usually don't have the original LaTeX (if there ever was any) |
| 2022-08-05 17:14:30 +0200 | <maerwald> | no one cares whether it's reliable |
| 2022-08-05 17:14:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-05 17:15:02 +0200 | <eviltwin_b> | I guess that explains that, you think it's all LaTeX. try extracting something useful from word-generated pdf |
| 2022-08-05 17:15:46 +0200 | <maerwald> | No I don't think that. |
| 2022-08-05 17:15:59 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 17:16:05 +0200 | <texasmynsted> | heh |
| 2022-08-05 17:16:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 17:16:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 17:17:34 +0200 | <maerwald> | fuzzy algorithms are everywhere, even in your editor |
| 2022-08-05 17:17:49 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-08-05 17:18:14 +0200 | <maerwald> | you don't use them to launch a space rocket, obviously |
| 2022-08-05 17:18:41 +0200 | pgib | (~textual@64.100.220.156) |
| 2022-08-05 17:19:21 +0200 | acidjnk | (~acidjnk@p200300d6e7058689e1ff181817dfb7ca.dip0.t-ipconnect.de) |
| 2022-08-05 17:19:52 +0200 | <texasmynsted> | the command line app pdftotext extracts the text and preserves the format, but parsing it is . . . |
| 2022-08-05 17:20:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) |
| 2022-08-05 17:21:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 17:22:12 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-05 17:23:39 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2022-08-05 17:25:02 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-05 17:25:17 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-05 17:25:33 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-08-05 17:26:55 +0200 | <texasmynsted> | I think I will see if vendors will add a yaml block or something to the end of their invoices. |
| 2022-08-05 17:27:45 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-08-05 17:30:27 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 17:30:45 +0200 | <eviltwin_b> | maybe pdf is the better idea after all :) |
| 2022-08-05 17:30:52 +0200 | <texasmynsted> | lol |
| 2022-08-05 17:31:20 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 17:31:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-05 17:32:59 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-05 17:33:38 +0200 | <texasmynsted> | or Eno . . . |
| 2022-08-05 17:40:49 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-05 17:41:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 17:43:53 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-05 17:44:05 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 17:46:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 17:48:58 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 17:51:32 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-05 17:51:55 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-08-05 17:52:05 +0200 | <texasmynsted> | :-) config-value looks interesting |
| 2022-08-05 17:55:26 +0200 | acidjnk | (~acidjnk@p200300d6e7058689e1ff181817dfb7ca.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 18:01:45 +0200 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Ping timeout: 268 seconds) |
| 2022-08-05 18:06:11 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-05 18:07:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 18:11:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-05 18:11:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2022-08-05 18:11:28 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-05 18:11:56 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-05 18:13:57 +0200 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-08-05 18:16:23 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 18:20:39 +0200 | pgib | (~textual@64.100.220.156) (Read error: Connection reset by peer) |
| 2022-08-05 18:20:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-05 18:27:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 18:28:00 +0200 | Topsi | (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) |
| 2022-08-05 18:34:19 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 18:38:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 18:40:47 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 18:41:55 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-05 18:42:18 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-05 18:45:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 18:48:37 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-05 18:50:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-08-05 18:52:51 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 18:53:26 +0200 | maroloccio | (~marolocci@151.73.156.232) (Ping timeout: 240 seconds) |
| 2022-08-05 18:55:09 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Quit: Leaving.) |
| 2022-08-05 18:55:31 +0200 | maroloccio | (~marolocci@62.98.94.196) |
| 2022-08-05 19:00:24 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-08-05 19:01:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 19:05:52 +0200 | dhil | (~dhil@92.237.181.5) (Ping timeout: 245 seconds) |
| 2022-08-05 19:06:25 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-08-05 19:10:48 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-05 19:19:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 19:22:34 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-05 19:23:04 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 19:32:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 19:33:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 19:34:24 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 19:37:00 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-05 19:41:22 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-05 19:43:08 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-05 19:47:05 +0200 | Guest|67 | (~Guest|67@mobile-107-77-216-31.mobile.att.net) |
| 2022-08-05 19:48:05 +0200 | <Inst> | the easiest way to explain monads, for me right now, is a type you can fmap, pure, and bind on |
| 2022-08-05 19:48:11 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 19:48:35 +0200 | <monochrom> | :( new ghcup drops TMPDIR :( |
| 2022-08-05 19:48:43 +0200 | Guest|67 | (~Guest|67@mobile-107-77-216-31.mobile.att.net) (Client Quit) |
| 2022-08-05 19:49:07 +0200 | <Rembane> | Inst: And also <*> on! :D |
| 2022-08-05 19:49:11 +0200 | <monochrom> | Although to be fair ~/.ghcup/tmp is much more guaranteed to have space. |
| 2022-08-05 19:50:22 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-08-05 19:52:48 +0200 | <monochrom> | But more meta-ly there is a pessimistic cynical principle similar to Peter's Principle and Dilbert's Principle. |
| 2022-08-05 19:53:13 +0200 | <monochrom> | Every tool tends to evolve towards being optimized for newbies. |
| 2022-08-05 19:53:38 +0200 | Rembane | shows counter-exhibit A: Vim |
| 2022-08-05 19:54:29 +0200 | <monochrom> | Um I thought Vim was the result of evolving Vi towards newbies. |
| 2022-08-05 19:54:59 +0200 | <Rembane> | Okay, fair enough, but as long as you don't change the programs it's cool. |
| 2022-08-05 19:55:25 +0200 | <monochrom> | Right? It actually has a windowing system! It actually has a "help" command! It comes close to having a menu system! |
| 2022-08-05 19:56:31 +0200 | <Rembane> | I wonder if there's a counter-program to Vim that takes vi and makes it harder. |
| 2022-08-05 19:58:19 +0200 | <Inst> | Rembane: a general monad has to be a monoid in the category of endofunctors |
| 2022-08-05 19:58:22 +0200 | <monochrom> | For that, you need to switch your mind to a mode that thinks like https://www.smbc-comics.com/comic/thermodynamics-2 , and then you will see that vi evolves to ed for that. :) |
| 2022-08-05 19:58:23 +0200 | <Inst> | consequently it needs fmap |
| 2022-08-05 19:58:30 +0200 | <Inst> | the monoid only means that it has join and unit |
| 2022-08-05 19:58:55 +0200 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-08-05 19:59:16 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 20:01:00 +0200 | <monochrom> | Clearly, a monad must also be a lax monoidal functor. |
| 2022-08-05 20:01:05 +0200 | <dolio> | I don't see how any of those things are "for newbies." |
| 2022-08-05 20:01:22 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-05 20:01:44 +0200 | king_gs | (~Thunderbi@187.201.161.219) |
| 2022-08-05 20:02:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-08-05 20:03:00 +0200 | <monochrom> | OK, hardcoding the path ~/.ghcup/tmp and not bothering with "customizable with TMPDIR" is because a lot of beginners are on platforms with insufficient space at /tmp and telling them about TMPDIR is too much tech support time. |
| 2022-08-05 20:03:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 20:03:26 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-08-05 20:03:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 20:03:49 +0200 | <Rembane> | Inst: Indeed. |
| 2022-08-05 20:03:59 +0200 | <Inst> | oh goddamnit, i forgot the monad laws expressed in join |
| 2022-08-05 20:04:42 +0200 | <Inst> | join . unit = id = unit . join for a monad (monad anytype) |
| 2022-08-05 20:04:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 20:05:23 +0200 | <Rembane> | monochrom: But ed isn't vi. It's something else. I'm not very good at expressing this right now. So if I start talking about editor in a couple of weeks you'll know why. This is relevant though: https://xkcd.com/378/ |
| 2022-08-05 20:05:42 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 20:05:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-05 20:07:01 +0200 | nate4 | (~nate@156.39.10.100) |
| 2022-08-05 20:07:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-05 20:07:53 +0200 | <Inst> | join . fmap join $ (value :: (monad (monad ( monad type))) === join . join $ (value :: (monad (monad (monad type))) |
| 2022-08-05 20:08:54 +0200 | ghn | (~Thunderbi@2603-6081-4900-4100-a593-ff41-38de-2384.res6.spectrum.com) (Quit: ghn) |
| 2022-08-05 20:09:25 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2022-08-05 20:09:26 +0200 | <Inst> | join . fmap pure === id === join . pure for (value :: monad type) |
| 2022-08-05 20:09:28 +0200 | byorgey | (~byorgey@155.138.238.211) (Client Quit) |
| 2022-08-05 20:09:54 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2022-08-05 20:09:55 +0200 | <Inst> | the reason I'm omitting <*> is that we have monads in other languages and they don't necessarily implement applicatives |
| 2022-08-05 20:10:04 +0200 | <Inst> | ap is best understood in terms of bind, anyways, even though you can ap without bind |
| 2022-08-05 20:10:14 +0200 | <Inst> | (if you ignore that ap is a method of monad, not applicative) |
| 2022-08-05 20:11:17 +0200 | <Inst> | monads strictly = pure, fmap, and join |
| 2022-08-05 20:11:20 +0200 | <merijn> | Rembane: ed :D |
| 2022-08-05 20:11:24 +0200 | <Inst> | bind and ap can be derived from it |
| 2022-08-05 20:11:40 +0200 | <Inst> | speaking of ed, Rembane |
| 2022-08-05 20:11:42 +0200 | <Inst> | wanna adopt this? |
| 2022-08-05 20:12:08 +0200 | <Inst> | https://github.com/liamzee/edMonad |
| 2022-08-05 20:12:24 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 20:12:49 +0200 | <monochrom> | I wouldn't say "strictly", but I can understand "minimally". |
| 2022-08-05 20:13:39 +0200 | <Rembane> | Inst: No thank you, but thanks anyway. :) |
| 2022-08-05 20:14:02 +0200 | <Inst> | i want to do a wordpress clone called joinable, built around the concept of collaborative and collaboratively monetizable blogging |
| 2022-08-05 20:14:08 +0200 | <Rembane> | merijn: Yeah, but that isn't an interactive editor. Is interactive editor a too high bar in this case? |
| 2022-08-05 20:14:27 +0200 | <Inst> | monochrom: what's the difference between minimally and strictly in this case? |
| 2022-08-05 20:14:55 +0200 | <Inst> | and of course, join is bugged out, apparently it broke stuff in GHC when they tried to make join an alternative to bind in Haskell |
| 2022-08-05 20:15:20 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 20:15:23 +0200 | <merijn> | Rembane: ed is interactive |
| 2022-08-05 20:15:34 +0200 | <merijn> | Rembane: Unless you have some very weird definition of interactive |
| 2022-08-05 20:15:45 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 20:16:26 +0200 | zmt00 | (~zmt00@user/zmt00) (Remote host closed the connection) |
| 2022-08-05 20:17:03 +0200 | <Inst> | ed isn't vi |
| 2022-08-05 20:17:07 +0200 | <Rembane> | merijn: Oh, then I'm mixing up the editors. I might be thinking of ex or perhaps sed. |
| 2022-08-05 20:17:11 +0200 | <Inst> | ed predated vi, regarding rembane and monochrom |
| 2022-08-05 20:17:20 +0200 | <Inst> | ed is a different development line, a basic line editor in unix |
| 2022-08-05 20:17:32 +0200 | <Inst> | also, stuff like opera |
| 2022-08-05 20:17:40 +0200 | <Inst> | and vivaldi, were browsers designed for powerusers explicitly |
| 2022-08-05 20:18:37 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 20:18:46 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 20:19:33 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 20:20:11 +0200 | <Rembane> | Inst: Yeah, I thought vi was built on ed. |
| 2022-08-05 20:20:38 +0200 | king_gs | (~Thunderbi@187.201.161.219) (Quit: king_gs) |
| 2022-08-05 20:21:48 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 20:23:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 20:24:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 20:25:15 +0200 | econo | (uid147250@user/econo) |
| 2022-08-05 20:27:25 +0200 | nate4 | (~nate@156.39.10.100) (Ping timeout: 252 seconds) |
| 2022-08-05 20:27:25 +0200 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 20:29:54 +0200 | fserucas | (~fserucas@83.223.235.72) (Quit: Leaving) |
| 2022-08-05 20:30:29 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-05 20:33:22 +0200 | nate4 | (~nate@156.39.10.100) |
| 2022-08-05 20:33:24 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 20:37:11 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 20:39:50 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 20:42:08 +0200 | kenran | (~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de) |
| 2022-08-05 20:45:06 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 20:45:27 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 20:45:29 +0200 | kenran | (~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de) (Client Quit) |
| 2022-08-05 20:48:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 20:50:39 +0200 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 20:57:29 +0200 | nate4 | (~nate@156.39.10.100) (Ping timeout: 252 seconds) |
| 2022-08-05 20:59:04 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-08-05 21:01:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 21:02:54 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-08-05 21:06:03 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 21:06:03 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 21:06:03 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 21:07:39 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 21:10:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 21:12:24 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-05 21:13:32 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae) (Ping timeout: 255 seconds) |
| 2022-08-05 21:15:14 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2022-08-05 21:15:44 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-08-05 21:16:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2022-08-05 21:16:42 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 245 seconds) |
| 2022-08-05 21:20:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 21:24:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-05 21:26:05 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-05 21:26:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 21:27:11 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-05 21:28:02 +0200 | acidjnk | (~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de) |
| 2022-08-05 21:31:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 21:32:17 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-08-05 21:33:10 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 21:34:21 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-05 21:36:17 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-08-05 21:40:34 +0200 | maroloccio | (~marolocci@62.98.94.196) (Quit: WeeChat 3.0) |
| 2022-08-05 21:47:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-05 21:47:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-05 21:47:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-05 21:48:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-05 21:48:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-05 21:48:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-05 21:50:16 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 21:51:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-05 21:52:16 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-05 21:52:30 +0200 | <texasmynsted> | The 3270 xedit editor was nice |
| 2022-08-05 21:54:24 +0200 | <geekosaur[m]> | vteco! |
| 2022-08-05 21:55:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-08-05 21:56:46 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 21:57:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 21:59:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-05 22:01:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 22:04:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-05 22:04:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-05 22:04:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-05 22:05:49 +0200 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) |
| 2022-08-05 22:08:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 22:08:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-08-05 22:10:12 +0200 | Milan | (~Milan@46.245.96.179) |
| 2022-08-05 22:10:21 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-05 22:11:08 +0200 | <Milan> | Hi ,would you please give a practical example of cons: usage ? |
| 2022-08-05 22:11:39 +0200 | <Milan> | please a simple one |
| 2022-08-05 22:12:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 22:13:03 +0200 | califax | (~califax@user/califx) |
| 2022-08-05 22:13:49 +0200 | <monochrom> | Rembane: Precisely because ed predates vi in our universe, you need that smbc comic to switch direction for "evolve vi into ed" :) |
| 2022-08-05 22:14:50 +0200 | <Rembane> | monochrom: Got it! :D |
| 2022-08-05 22:16:03 +0200 | <dsal> | Milan: cons? |
| 2022-08-05 22:17:01 +0200 | <Milan> | : |
| 2022-08-05 22:17:11 +0200 | <Milan> | this simple |
| 2022-08-05 22:17:44 +0200 | <Milan> | i saw something like 1:(2:(3: |
| 2022-08-05 22:18:04 +0200 | <Milan> | **symbol |
| 2022-08-05 22:19:51 +0200 | <merijn> | Milan: [1,2,3] and 1:(2:(3:[])) are identical |
| 2022-08-05 22:20:43 +0200 | <Milan> | whats the idea behind those : |
| 2022-08-05 22:21:44 +0200 | <Milan> | do they denote something special? |
| 2022-08-05 22:21:49 +0200 | <merijn> | :t (:) |
| 2022-08-05 22:21:50 +0200 | <lambdabot> | a -> [a] -> [a] |
| 2022-08-05 22:21:59 +0200 | <darkling> | The left-hand operand of the cons operator (the ":") is a thing. The right hand operand of the cons operator is a list of things. The result of the expression is a list where the head is the left, and the rest of the list of the right. |
| 2022-08-05 22:22:15 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-05 22:22:36 +0200 | <darkling> | So [1, 2, 3] is just a syntactic sugar for the actual data structure, which is 1:(2:(3:[])) |
| 2022-08-05 22:22:48 +0200 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) |
| 2022-08-05 22:23:42 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-05 22:23:50 +0200 | <Milan> | would u please explain a bit more |
| 2022-08-05 22:23:58 +0200 | <Milan> | if possible for u? |
| 2022-08-05 22:24:23 +0200 | <darkling> | What are you having trouble with? |
| 2022-08-05 22:25:07 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-05 22:25:13 +0200 | <Milan> | i cant understand the idea behind these ,does it say data is added one by one in a list? |
| 2022-08-05 22:25:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2022-08-05 22:26:00 +0200 | <darkling> | Yes, that's how you build a list. |
| 2022-08-05 22:26:39 +0200 | <Milan> | does : symbol want to remind ?or it is something else? |
| 2022-08-05 22:26:53 +0200 | <darkling> | The idea is that a list in its lowest form is a linked list. Each individual cons expression is an item in that list. |
| 2022-08-05 22:27:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 22:27:39 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-08-05 22:28:12 +0200 | <darkling> | The expression "x:xs" is one item in the list: it's a value and (in the linked list interpretation) the pointer to the rest of the list, which is a list in its own right. |
| 2022-08-05 22:28:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 22:29:26 +0200 | <Milan> | why understanding this idea is important |
| 2022-08-05 22:29:57 +0200 | <Milan> | is it related to lambda idea? |
| 2022-08-05 22:30:12 +0200 | <darkling> | Nothing to do with that. |
| 2022-08-05 22:30:48 +0200 | <Milan> | thank you very much , |
| 2022-08-05 22:31:22 +0200 | <geekosaur> | once you have constructed a value, it's nice to be able to deconstruct it to get values out of it |
| 2022-08-05 22:31:39 +0200 | <geekosaur> | (x:xs) is a pattern that deconstructs a list into an item and the rest of a list |
| 2022-08-05 22:32:17 +0200 | <geekosaur> | the pattern (Just x) deconstructs a Maybe and retrieves the value within it, provided it was Just (you will want another pattern match for the Nothing case) |
| 2022-08-05 22:32:32 +0200 | <texasmynsted> | can't find it but I seem to recall John Hughes had an outstanding explanation for lists and their composition. |
| 2022-08-05 22:32:53 +0200 | <darkling> | Yeah, the important part of this is that it allows you to understand why you can only get the first item in a list (plus the remainder of the list) -- which is what the x:xs pattern syntax does for you. |
| 2022-08-05 22:33:16 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-05 22:33:39 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-08-05 22:35:42 +0200 | <Milan> | does repetition of this x:xs pattern is the real thing we do for deconstructing a big list to get a certain item? |
| 2022-08-05 22:35:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 22:36:19 +0200 | <Rembane> | Milan: Yes, this is why it takes so long time to find a certain item in a list. :) |
| 2022-08-05 22:36:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 22:37:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 22:38:03 +0200 | <Milan> | oh thank you ,i understood why this idea is important that they have assigned a sign for it !!! |
| 2022-08-05 22:39:55 +0200 | <texasmynsted> | The best way to understand is to try using them. Build some lists. Try to reverse, join them, etc. |
| 2022-08-05 22:40:49 +0200 | <Rembane> | \o/ Do all the recursions! \o/ |
| 2022-08-05 22:41:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 22:42:04 +0200 | Milan | (~Milan@46.245.96.179) (Quit: Client closed) |
| 2022-08-05 22:46:18 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-08-05 22:47:04 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 22:47:25 +0200 | <dsal> | You can also build the type yourself. It's not *super* special. |
| 2022-08-05 22:47:35 +0200 | califax | (~califax@user/califx) |
| 2022-08-05 22:48:19 +0200 | <dsal> | I'd never tried to get a ghci working without the built-in list stuff. Is that even possible? |
| 2022-08-05 22:48:48 +0200 | <texasmynsted> | Not haskell but this book might be helpful https://www.cs.cmu.edu/~dst/LispBook/book.pdf |
| 2022-08-05 22:49:22 +0200 | <texasmynsted> | Chapter 2 in particular |
| 2022-08-05 22:54:14 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-08-05 22:55:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 23:11:02 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-05 23:15:08 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-05 23:19:01 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 23:20:12 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection) |
| 2022-08-05 23:21:02 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-05 23:21:18 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-08-05 23:21:35 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-08-05 23:26:43 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 23:28:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-05 23:29:01 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) |
| 2022-08-05 23:29:09 +0200 | ski | (~ski@102-198-142-46.pool.kielnet.net) |
| 2022-08-05 23:30:02 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 245 seconds) |
| 2022-08-05 23:31:08 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-05 23:31:20 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 23:31:25 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-05 23:32:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 23:32:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 23:33:44 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-08-05 23:34:38 +0200 | acidjnk | (~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 23:36:17 +0200 | titibandit | (~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de) |
| 2022-08-05 23:36:25 +0200 | titibandit | (~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de) (Client Quit) |
| 2022-08-05 23:36:26 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-05 23:45:41 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 23:53:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-05 23:54:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (WeeChat 3.5) |
| 2022-08-05 23:56:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 23:57:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |