2022/08/05

2022-08-05 00:01:21 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 268 seconds)
2022-08-05 00:01:23 +0200acidjnk(~acidjnk@p200300d6e705869994ba3201910e432a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2022-08-05 00:07:22 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2022-08-05 00:09:25 +0200foul_owl(~kerry@174-21-65-36.tukw.qwest.net)
2022-08-05 00:10:53 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 00:16:18 +0200talismanick(~talismani@96.71.204.25)
2022-08-05 00:26:01 +0200foul_owl(~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 268 seconds)
2022-08-05 00:39:39 +0200foul_owl(~kerry@23.82.194.107)
2022-08-05 00:41:26 +0200xff0x(~xff0x@2405:6580:b080:900:13b:63d1:e32e:fe38) (Ping timeout: 255 seconds)
2022-08-05 00:41:42 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-08-05 00:47:53 +0200Milan(~Milan@46.245.118.112) (Quit: Client closed)
2022-08-05 00:56:39 +0200talismanick(~talismani@96.71.204.25) (Ping timeout: 252 seconds)
2022-08-05 01:01:06 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-05 01:04:30 +0200xff0x(~xff0x@2405:6580:b080:900:f3e0:1e7d:c792:ccbd)
2022-08-05 01:05:35 +0200Tuplanolla(~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.)
2022-08-05 01:07:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 01:15:40 +0200dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-05 01:15:59 +0200dispater(~dispater@user/brprice)
2022-08-05 01:16:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 01:17:16 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-05 01:17:47 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 01:18:22 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2022-08-05 01:20:03 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-08-05 01:20:20 +0200gentauro(~gentauro@user/gentauro)
2022-08-05 01:21:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 01:21:47 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-05 01:21:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-05 01:22:12 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 01:25:54 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-05 01:27:58 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
2022-08-05 01:28:48 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-05 01:28:48 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-05 01:28:48 +0200wroathe(~wroathe@user/wroathe)
2022-08-05 01:34:15 +0200morrow(~user@bzq-110-168-31-106.red.bezeqint.net) (Quit: leaving)
2022-08-05 01:38:05 +0200talismanick(~talismani@96.71.204.25)
2022-08-05 01:38:12 +0200talismanick(~talismani@96.71.204.25) (Remote host closed the connection)
2022-08-05 01:38:43 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 01:48:06 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-08-05 01:48:24 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 02:00:02 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
2022-08-05 02:01:45 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-08-05 02:02:55 +0200califax(~califax@user/califx)
2022-08-05 02:03:27 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds)
2022-08-05 02:04:05 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-05 02:04:21 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-08-05 02:08:04 +0200Sgeo(~Sgeo@user/sgeo)
2022-08-05 02:08:51 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-08-05 02:10:02 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-08-05 02:12:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 02:17:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-05 02:22:47 +0200gurkenglas(~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
2022-08-05 02:27:47 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-05 02:27:47 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-05 02:27:47 +0200wroathe(~wroathe@user/wroathe)
2022-08-05 02:33:08 +0200 <johnw> @pl \(s, f) -> runState s (runReadonly f)
2022-08-05 02:33:23 +0200usawi_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 +0200usawi_wejewi(~usawi_wej@public-gprs523387.centertel.pl) (Remote host closed the connection)
2022-08-05 02:36:39 +0200usawi_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 +0200texasmynsted(~texasmyns@99.96.221.112)
2022-08-05 02:39:47 +0200usawi_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 +0200xff0x(~xff0x@2405:6580:b080:900:f3e0:1e7d:c792:ccbd) (Ping timeout: 268 seconds)
2022-08-05 02:49:04 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-05 02:49:26 +0200gurkenglas(~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 +0200kimjetwav(~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 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-05 02:58:02 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 02:58:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-08-05 02:59:49 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-05 03:00:12 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-05 03:01:42 +0200instantaphex(~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 +0200nate4(~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 +0200nate4(~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 +0200mvk(~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 +0200matthewmosior(~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 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2022-08-05 03:23:33 +0200azimut(~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 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 03:29:39 +0200zxx7529(~Thunderbi@user/zxx7529) (Client Quit)
2022-08-05 03:30:08 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 03:31:50 +0200kimjetwav(~user@2607:fea8:235e:b600:6fb6:9a67:4eac:187a) (Remote host closed the connection)
2022-08-05 03:32:57 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds)
2022-08-05 03:33:21 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-05 03:38:37 +0200Surobaki(~Surobaki@user/surobaki)
2022-08-05 03:46:23 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-08-05 03:46:28 +0200Guest55(~Guest55@c-71-198-235-211.hsd1.ca.comcast.net) (Quit: Client closed)
2022-08-05 03:49:08 +0200zaquest(~notzaques@5.130.79.72)
2022-08-05 03:53:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 03:56:22 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-08-05 03:56:59 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-05 04:02:38 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-05 04:02:38 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-05 04:02:38 +0200wroathe(~wroathe@user/wroathe)
2022-08-05 04:04:09 +0200nate4(~nate@98.45.169.16)
2022-08-05 04:09:18 +0200frost(~frost@user/frost)
2022-08-05 04:10:03 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 04:10:09 +0200matthewmosior(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 04:18:05 +0200bitdex(~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 +0200matthewmosior(~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 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-08-05 04:26:43 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-05 04:30:02 +0200merijn(~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 +0200instantaphex(~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 +0200td_(~td@94.134.91.223) (Ping timeout: 240 seconds)
2022-08-05 04:40:03 +0200td_(~td@muedsl-82-207-238-171.citykom.de)
2022-08-05 04:40:07 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 04:49:02 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-08-05 04:50:16 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-08-05 04:56:10 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
2022-08-05 05:04:00 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 05:04:12 +0200nate4(~nate@98.45.169.16) (Ping timeout: 245 seconds)
2022-08-05 05:04:36 +0200naso(~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 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-08-05 05:09:32 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
2022-08-05 05:10:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-08-05 05:14:15 +0200Clinton(~Clinton@ip-2.222.103.123.VOCUS.net.au)
2022-08-05 05:14:41 +0200Clinton(~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 +0200johnw(~johnw@2600:1700:cf00:db0:4977:125:61ab:9934) (Quit: ZNC - http://znc.in)
2022-08-05 05:28:56 +0200haskl(~haskl@user/haskl)
2022-08-05 05:32:33 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 05:32:34 +0200Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer)
2022-08-05 05:33:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-08-05 05:35:38 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-08-05 05:36:13 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca)
2022-08-05 05:42:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 05:45:46 +0200haskl(~haskl@user/haskl) (Remote host closed the connection)
2022-08-05 05:52:52 +0200haskl(~haskl@user/haskl)
2022-08-05 05:52:57 +0200naso(~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 +0200naso(~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 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-08-05 06:01:24 +0200Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014)
2022-08-05 06:04:14 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 06:04:32 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 06:04:43 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 06:06:43 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 06:06:50 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-05 06:09:06 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 264 seconds)
2022-08-05 06:09:06 +0200parseval(sid239098@id-239098.helmsley.irccloud.com) (Ping timeout: 264 seconds)
2022-08-05 06:09:45 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 06:11:09 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 06:11:18 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-05 06:11:50 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 260 seconds)
2022-08-05 06:11:57 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 06:12:11 +0200scav(sid309693@user/scav) (Ping timeout: 255 seconds)
2022-08-05 06:13:14 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com)
2022-08-05 06:13:18 +0200sunarch(sid526836@user/sunarch) (Ping timeout: 264 seconds)
2022-08-05 06:13:19 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2022-08-05 06:13:35 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds)
2022-08-05 06:13:45 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2022-08-05 06:13:50 +0200sunarch(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 +0200bjs(sid190364@user/bjs) (Ping timeout: 255 seconds)
2022-08-05 06:14:30 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2022-08-05 06:15:21 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-08-05 06:15:43 +0200parseval(sid239098@id-239098.helmsley.irccloud.com)
2022-08-05 06:16:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 06:16:17 +0200scav(sid309693@user/scav)
2022-08-05 06:17:34 +0200bjs(sid190364@user/bjs)
2022-08-05 06:20:39 +0200Surobaki(~Surobaki@user/surobaki) (Quit: WeeChat 3.5)
2022-08-05 06:23:21 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-08-05 06:27:15 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-05 06:30:02 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds)
2022-08-05 06:31:26 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-05 06:31:31 +0200naso(~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 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2022-08-05 06:32:11 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer)
2022-08-05 06:32:54 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 06:34:19 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2022-08-05 06:37:26 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds)
2022-08-05 06:44:16 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 06:47:02 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-08-05 06:48:03 +0200irfan(~irfan@user/irfan)
2022-08-05 06:49:26 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 240 seconds)
2022-08-05 06:50:53 +0200bjs(sid190364@user/bjs) (Ping timeout: 244 seconds)
2022-08-05 06:50:54 +0200NiKaN(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 +0200mbuf(~Shakthi@122.165.55.71)
2022-08-05 06:51:20 +0200carter(sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 255 seconds)
2022-08-05 06:54:42 +0200carter(sid14827@id-14827.helmsley.irccloud.com)
2022-08-05 06:55:01 +0200bjs(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 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 245 seconds)
2022-08-05 07:01:29 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-08-05 07:03:50 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 07:05:42 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 07:06:38 +0200naso(~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 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-08-05 07:14:45 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection)
2022-08-05 07:17:35 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca)
2022-08-05 07:25:15 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 07:25:27 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds)
2022-08-05 07:27:03 +0200rekahsoft(~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 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 07:35:48 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-08-05 07:41:14 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 07:41:32 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 07:41:44 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 07:42:26 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 07:45:10 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 07:45:26 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 07:45:33 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-08-05 07:45:56 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Client Quit)
2022-08-05 07:46:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 07:48:11 +0200zere3f(~zere3f@203.110.242.30)
2022-08-05 07:51:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-05 07:58:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-05 07:59:44 +0200gmg(~user@user/gehmehgeh)
2022-08-05 08:00:49 +0200ubert(~Thunderbi@77.119.222.183.wireless.dyn.drei.com)
2022-08-05 08:04:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 08:05:29 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-08-05 08:10:02 +0200zebrag(~chris@user/zebrag) (Read error: Connection reset by peer)
2022-08-05 08:10:06 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-08-05 08:30:57 +0200zere3f(~zere3f@203.110.242.30) (Quit: Client closed)
2022-08-05 08:32:19 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-08-05 08:32:44 +0200noteness(~noteness@user/noteness)
2022-08-05 08:36:47 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-05 08:37:31 +0200 <dragestil> maerwald[m]: ok thanks
2022-08-05 08:41:28 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-08-05 08:42:19 +0200califax(~califax@user/califx)
2022-08-05 08:43:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 08:51:07 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl)
2022-08-05 08:51:14 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c3f5:7110:c3df:d801)
2022-08-05 08:51:49 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-05 08:57:47 +0200acidjnk(~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de)
2022-08-05 09:01:13 +0200nate4(~nate@98.45.169.16)
2022-08-05 09:06:20 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-05 09:06:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-05 09:10:27 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 09:12:05 +0200MajorBiscuit(~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl)
2022-08-05 09:12:24 +0200mud(~mud@user/kadoban)
2022-08-05 09:12:30 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 268 seconds)
2022-08-05 09:16:09 +0200titibandit(~titibandi@xdsl-78-35-214-18.nc.de)
2022-08-05 09:25:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 09:30:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-08-05 09:30:57 +0200kuribas(~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be)
2022-08-05 09:38:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-08-05 09:41:50 +0200vpan(~0@212.117.1.172)
2022-08-05 09:45:51 +0200__monty__(~toonn@user/toonn)
2022-08-05 09:49:10 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl) (Remote host closed the connection)
2022-08-05 09:49:36 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl)
2022-08-05 09:55:27 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-08-05 09:55:32 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-08-05 10:03:50 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-05 10:15:41 +0200fserucas(~fserucas@83.223.235.72)
2022-08-05 10:17:13 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-08-05 10:20:30 +0200titibandit(~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection)
2022-08-05 10:22:39 +0200sandy_doo(~sandydoo@146.70.117.210)
2022-08-05 10:25:36 +0200Pickchea(~private@user/pickchea)
2022-08-05 10:26:05 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 10:26:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 10:28:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 10:38:13 +0200sandy_doo(~sandydoo@146.70.117.210) (Ping timeout: 268 seconds)
2022-08-05 10:41:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 10:46:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 10:55:19 +0200Inst(~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae)
2022-08-05 10:55:48 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6)
2022-08-05 10:59:55 +0200titibandit(~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47)
2022-08-05 11:00:25 +0200bu99ed[m](~bu99edm4t@2001:470:69fc:105::1:bd9e) (Quit: You have been kicked for being idle)
2022-08-05 11:01:11 +0200gdd(~gdd@129.199.146.230) (Ping timeout: 268 seconds)
2022-08-05 11:03:57 +0200gdd(~gdd@129.199.146.230)
2022-08-05 11:08:19 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-08-05 11:16:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 11:17:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-05 11:20:52 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 11:28:47 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2022-08-05 11:30:53 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-05 11:31:55 +0200sandy_doo(~sandydoo@146.70.117.210)
2022-08-05 11:33:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-05 11:35:42 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 11:37:09 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl) (Read error: Connection reset by peer)
2022-08-05 11:37:36 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl)
2022-08-05 11:38:50 +0200alternateved(~user@staticline-31-183-149-36.toya.net.pl) ()
2022-08-05 11:39:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 11:40:28 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-08-05 11:41:53 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
2022-08-05 11:44:55 +0200zmt01(~zmt00@user/zmt00)
2022-08-05 11:46:17 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2022-08-05 11:48:20 +0200sandy_doo(~sandydoo@146.70.117.210) (Ping timeout: 255 seconds)
2022-08-05 11:51:02 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-05 11:52:38 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 11:54:38 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 11:55:27 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2022-08-05 11:57:01 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
2022-08-05 11:57:49 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 11:59:37 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2022-08-05 12:02:34 +0200gurkenglas(~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
2022-08-05 12:04:42 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 268 seconds)
2022-08-05 12:07:16 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-08-05 12:07:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-08-05 12:14:37 +0200ubert(~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 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 12:19:52 +0200sandy_doo(~sandydoo@146.70.117.210)
2022-08-05 12:23:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-05 12:25:03 +0200mvk(~mvk@2607:fea8:5ce3:8500::d5f2)
2022-08-05 12:28:24 +0200Milan(~Milan@46.245.96.179)
2022-08-05 12:28:36 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2022-08-05 12:28:39 +0200Milan(~Milan@46.245.96.179) (Client Quit)
2022-08-05 12:29:31 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 12:39:03 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-05 12:39:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-05 12:51:39 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds)
2022-08-05 12:55:43 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-05 12:56:17 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 12:57:28 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-08-05 13:02:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 13:02:45 +0200nate4(~nate@98.45.169.16)
2022-08-05 13:02:56 +0200irfan(~irfan@user/irfan) (Quit: leaving)
2022-08-05 13:03:41 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-08-05 13:06:42 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 13:07:32 +0200nate4(~nate@98.45.169.16) (Ping timeout: 245 seconds)
2022-08-05 13:13:09 +0200Pickchea(~private@user/pickchea) (Ping timeout: 268 seconds)
2022-08-05 13:19:56 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 13:27:11 +0200maroloccio(~marolocci@151.73.156.232)
2022-08-05 13:32:52 +0200xff0x(~xff0x@2405:6580:b080:900:5628:7137:a023:aad6)
2022-08-05 13:41:06 +0200kuribas(~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2022-08-05 13:48:38 +0200acidjnk(~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-05 13:53:41 +0200coot(~coot@213.134.176.158)
2022-08-05 13:54:28 +0200tomku(~tomku@user/tomku) (Ping timeout: 268 seconds)
2022-08-05 14:03:12 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 14:14:37 +0200tromp(~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 +0200sandy_doo(~sandydoo@146.70.117.210) (Ping timeout: 245 seconds)
2022-08-05 14:20:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 14:23:08 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 14:23:22 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds)
2022-08-05 14:23:49 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 14:25:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-05 14:26:37 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds)
2022-08-05 14:27:56 +0200Pickchea(~private@user/pickchea)
2022-08-05 14:29:59 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6) (Read error: Connection reset by peer)
2022-08-05 14:30:14 +0200tomku(~tomku@user/tomku)
2022-08-05 14:31:04 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-08-05 14:33:01 +0200sandy_doo(~sandydoo@146.70.117.210)
2022-08-05 14:37:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 14:39:43 +0200dhil(~dhil@92.237.181.5)
2022-08-05 14:42:20 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:788d:7b3b:7037:afae)
2022-08-05 14:43:11 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 14:45:45 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-08-05 14:55:12 +0200tomku(~tomku@user/tomku) (Quit: Lost terminal)
2022-08-05 15:01:13 +0200tomku(~tomku@user/tomku)
2022-08-05 15:01:19 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 15:01:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 15:07:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 15:13:08 +0200examors(~examors@user/examors)
2022-08-05 15:17:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-05 15:22:39 +0200jmd_(~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds)
2022-08-05 15:26:05 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-08-05 15:28:01 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-05 15:41:49 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-05 15:44:28 +0200dcoutts_(~duncan@host109-149-1-142.range109-149.btcentralplus.com)
2022-08-05 15:54:42 +0200jinsun(~jinsun@user/jinsun) ()
2022-08-05 15:54:42 +0200vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-08-05 15:56:06 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 16:00:07 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-08-05 16:04:14 +0200vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-08-05 16:05:04 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 16:05:15 +0200sandy_doo(~sandydoo@146.70.117.210) (Ping timeout: 252 seconds)
2022-08-05 16:15:46 +0200vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-08-05 16:16:10 +0200texasmynsted_(~texasmyns@99.96.221.112)
2022-08-05 16:16:22 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-05 16:17:27 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-08-05 16:17:37 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-08-05 16:17:40 +0200texasmynsted(~texasmyns@99.96.221.112) (Ping timeout: 244 seconds)
2022-08-05 16:27:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 16:28:40 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-08-05 16:33:31 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2022-08-05 16:35:53 +0200pgib(~textual@173.38.117.85) (Quit: 00 PC LOAD LETTER)
2022-08-05 16:38:48 +0200vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-08-05 16:39:39 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 16:43:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 16:44:07 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
2022-08-05 16:44:27 +0200lortabac(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 16:52:27 +0200zebrag(~chris@user/zebrag)
2022-08-05 16:54:00 +0200kazaf(~kazaf@5.139.147.165)
2022-08-05 16:54:36 +0200kazaf(~kazaf@5.139.147.165) (Remote host closed the connection)
2022-08-05 16:56:15 +0200nate4(~nate@98.45.169.16)
2022-08-05 16:57:26 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 16:58:37 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 17:00:37 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-08-05 17:02:16 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-08-05 17:02:19 +0200texasmynsted_(~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2022-08-05 17:02:40 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-08-05 17:02:55 +0200texasmynsted(~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 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Quit: Client closed)
2022-08-05 17:08:30 +0200dzdcnfzd(~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net)
2022-08-05 17:08:57 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2022-08-05 17:10:19 +0200jakalx(~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 +0200Kaiepi(~Kaiepi@142.68.249.28) (Read error: Connection reset by peer)
2022-08-05 17:13:41 +0200Kaiepi(~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 +0200bitdex(~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 +0200vglfr(~vglfr@194.9.14.33)
2022-08-05 17:16:05 +0200 <texasmynsted> heh
2022-08-05 17:16:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-05 17:16:55 +0200matthewmosior(~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 +0200bontaq(~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 +0200pgib(~textual@64.100.220.156)
2022-08-05 17:19:21 +0200acidjnk(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-231.elisa-laajakaista.fi)
2022-08-05 17:21:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 17:22:12 +0200dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 268 seconds)
2022-08-05 17:23:39 +0200Digit(~user@user/digit) (Read error: Connection reset by peer)
2022-08-05 17:25:02 +0200Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer)
2022-08-05 17:25:17 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-08-05 17:25:33 +0200dwt_(~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 +0200coco(~coco@212-51-146-199.fiber7.init7.net)
2022-08-05 17:30:27 +0200zxx7529(~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 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Quit: Client closed)
2022-08-05 17:31:28 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-08-05 17:32:59 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-08-05 17:33:38 +0200 <texasmynsted> or Eno . . .
2022-08-05 17:40:49 +0200euandreh(~euandreh@179.214.113.107)
2022-08-05 17:41:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 17:43:53 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-05 17:44:05 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 17:46:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 17:48:58 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-05 17:51:32 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-08-05 17:51:55 +0200naso(~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 +0200acidjnk(~acidjnk@p200300d6e7058689e1ff181817dfb7ca.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-05 18:01:45 +0200titibandit(~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Ping timeout: 268 seconds)
2022-08-05 18:06:11 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-08-05 18:07:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-05 18:11:19 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-08-05 18:11:26 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2022-08-05 18:11:28 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-08-05 18:11:56 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-08-05 18:13:57 +0200dcoutts(~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 252 seconds)
2022-08-05 18:16:23 +0200titibandit(~titibandi@xdsl-78-35-214-18.nc.de)
2022-08-05 18:20:39 +0200pgib(~textual@64.100.220.156) (Read error: Connection reset by peer)
2022-08-05 18:20:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-08-05 18:27:37 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 18:28:00 +0200Topsi(~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de)
2022-08-05 18:34:19 +0200zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-08-05 18:38:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-05 18:40:47 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 18:41:55 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-05 18:42:18 +0200Midjak(~Midjak@82.66.147.146)
2022-08-05 18:45:52 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 18:48:37 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-08-05 18:50:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2022-08-05 18:52:51 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-08-05 18:53:26 +0200maroloccio(~marolocci@151.73.156.232) (Ping timeout: 240 seconds)
2022-08-05 18:55:09 +0200titibandit(~titibandi@xdsl-78-35-214-18.nc.de) (Quit: Leaving.)
2022-08-05 18:55:31 +0200maroloccio(~marolocci@62.98.94.196)
2022-08-05 19:00:24 +0200dzdcnfzd(~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net) (Quit: Client closed)
2022-08-05 19:01:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 19:05:52 +0200dhil(~dhil@92.237.181.5) (Ping timeout: 245 seconds)
2022-08-05 19:06:25 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2022-08-05 19:10:48 +0200coot(~coot@213.134.176.158)
2022-08-05 19:19:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-05 19:22:34 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-05 19:23:04 +0200zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-08-05 19:32:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 19:33:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 19:34:24 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 19:37:00 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-08-05 19:41:22 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-08-05 19:43:08 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-08-05 19:47:05 +0200Guest|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 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-05 19:48:35 +0200 <monochrom> :( new ghcup drops TMPDIR :(
2022-08-05 19:48:43 +0200Guest|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 +0200zxx7529(~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 +0200Rembaneshows 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 +0200kitty3(~kitty@096-039-147-043.res.spectrum.com)
2022-08-05 19:59:16 +0200yvan-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 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-08-05 20:01:44 +0200king_gs(~Thunderbi@187.201.161.219)
2022-08-05 20:02:07 +0200justsomeguy(~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 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-05 20:03:26 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-08-05 20:03:47 +0200tromp(~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 +0200azimut(~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 +0200zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-08-05 20:05:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-08-05 20:07:01 +0200nate4(~nate@156.39.10.100)
2022-08-05 20:07:24 +0200Lord_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 +0200ghn(~Thunderbi@2603-6081-4900-4100-a593-ff41-38de-2384.res6.spectrum.com) (Quit: ghn)
2022-08-05 20:09:25 +0200byorgey(~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 +0200byorgey(~byorgey@155.138.238.211) (Client Quit)
2022-08-05 20:09:54 +0200byorgey(~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 +0200titibandit(~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 +0200zmt00(~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 +0200yvan-sraka(~yvan-srak@160.178.163.142) (Remote host closed the connection)
2022-08-05 20:16:26 +0200zmt00(~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 +0200yvan-sraka(~yvan-srak@160.178.163.142)
2022-08-05 20:18:46 +0200yvan-sraka(~yvan-srak@160.178.163.142) (Remote host closed the connection)
2022-08-05 20:19:33 +0200coot(~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 +0200king_gs(~Thunderbi@187.201.161.219) (Quit: king_gs)
2022-08-05 20:21:48 +0200yvan-sraka(~yvan-srak@160.178.163.142)
2022-08-05 20:23:56 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-05 20:24:15 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-05 20:25:15 +0200econo(uid147250@user/econo)
2022-08-05 20:27:25 +0200nate4(~nate@156.39.10.100) (Ping timeout: 252 seconds)
2022-08-05 20:27:25 +0200MajorBiscuit(~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds)
2022-08-05 20:29:54 +0200fserucas(~fserucas@83.223.235.72) (Quit: Leaving)
2022-08-05 20:30:29 +0200gmg(~user@user/gehmehgeh)
2022-08-05 20:33:22 +0200nate4(~nate@156.39.10.100)
2022-08-05 20:33:24 +0200zmt00(~zmt00@user/zmt00)
2022-08-05 20:37:11 +0200yvan-sraka(~yvan-srak@160.178.163.142) (Remote host closed the connection)
2022-08-05 20:39:50 +0200yvan-sraka(~yvan-srak@160.178.163.142)
2022-08-05 20:42:08 +0200kenran(~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de)
2022-08-05 20:45:06 +0200yvan-sraka(~yvan-srak@160.178.163.142) (Remote host closed the connection)
2022-08-05 20:45:27 +0200yvan-sraka(~yvan-srak@160.178.163.142)
2022-08-05 20:45:29 +0200kenran(~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de) (Client Quit)
2022-08-05 20:48:47 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-08-05 20:50:39 +0200yvan-sraka(~yvan-srak@160.178.163.142) (Remote host closed the connection)
2022-08-05 20:57:29 +0200nate4(~nate@156.39.10.100) (Ping timeout: 252 seconds)
2022-08-05 20:59:04 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-08-05 21:01:42 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 21:02:54 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-08-05 21:06:03 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-05 21:06:03 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-05 21:06:03 +0200wroathe(~wroathe@user/wroathe)
2022-08-05 21:07:39 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2022-08-05 21:10:44 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 21:12:24 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-05 21:13:32 +0200Inst(~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae) (Ping timeout: 255 seconds)
2022-08-05 21:15:14 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds)
2022-08-05 21:15:44 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-08-05 21:16:17 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2022-08-05 21:16:42 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
2022-08-05 21:20:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-05 21:24:01 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-08-05 21:26:05 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-05 21:26:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-05 21:27:11 +0200cheater(~Username@user/cheater)
2022-08-05 21:28:02 +0200acidjnk(~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de)
2022-08-05 21:31:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-05 21:32:17 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net)
2022-08-05 21:33:10 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Quit: Client closed)
2022-08-05 21:34:21 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds)
2022-08-05 21:36:17 +0200gurkenglas(~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-08-05 21:40:34 +0200maroloccio(~marolocci@62.98.94.196) (Quit: WeeChat 3.0)
2022-08-05 21:47:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-05 21:47:53 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-05 21:47:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-05 21:48:25 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-05 21:48:37 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-05 21:48:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-05 21:50:16 +0200gurkenglas(~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
2022-08-05 21:51:53 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-08-05 21:52:16 +0200coot(~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 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2022-08-05 21:56:46 +0200Pickchea(~private@user/pickchea)
2022-08-05 21:57:08 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-05 21:59:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-05 22:01:34 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-08-05 22:04:39 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-08-05 22:04:51 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-05 22:04:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-05 22:05:49 +0200x77686d(~x77686d@c-76-18-124-133.hsd1.al.comcast.net)
2022-08-05 22:08:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-05 22:08:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-08-05 22:10:12 +0200Milan(~Milan@46.245.96.179)
2022-08-05 22:10:21 +0200machinedgod(~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 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-08-05 22:13:03 +0200califax(~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 +0200jgeerds(~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 +0200dcoutts(~duncan@host109-149-1-142.range109-149.btcentralplus.com)
2022-08-05 22:23:42 +0200hgolden(~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 +0200cosimone(~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 +0200justsomeguy(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 22:27:39 +0200geekosaur(~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 +0200matthewmosior(~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 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-08-05 22:33:39 +0200Lycurgus(~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 +0200justsomeguy(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
2022-08-05 22:37:11 +0200matthewmosior(~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 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-05 22:42:04 +0200Milan(~Milan@46.245.96.179) (Quit: Client closed)
2022-08-05 22:46:18 +0200coco(~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5)
2022-08-05 22:47:04 +0200califax(~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 +0200califax(~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 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
2022-08-05 22:55:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 23:11:02 +0200pavonia(~user@user/siracusa)
2022-08-05 23:15:08 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-08-05 23:19:01 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-08-05 23:20:12 +0200titibandit(~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection)
2022-08-05 23:21:02 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-08-05 23:21:18 +0200jmd_(~jmdaemon@user/jmdaemon)
2022-08-05 23:21:35 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-08-05 23:26:43 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-05 23:28:31 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-08-05 23:29:01 +0200Vajb(~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014)
2022-08-05 23:29:09 +0200ski(~ski@102-198-142-46.pool.kielnet.net)
2022-08-05 23:30:02 +0200zebrag(~chris@user/zebrag) (Ping timeout: 245 seconds)
2022-08-05 23:31:08 +0200zebrag(~chris@user/zebrag)
2022-08-05 23:31:20 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-05 23:31:25 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-05 23:32:31 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 23:32:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-05 23:33:44 +0200Kaipei(~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds)
2022-08-05 23:34:38 +0200acidjnk(~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-08-05 23:36:17 +0200titibandit(~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de)
2022-08-05 23:36:25 +0200titibandit(~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de) (Client Quit)
2022-08-05 23:36:26 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-08-05 23:45:41 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-05 23:53:33 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-08-05 23:54:21 +0200justsomeguy(~justsomeg@user/justsomeguy) (WeeChat 3.5)
2022-08-05 23:56:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-05 23:57:31 +0200matthewmosior(~matthewmo@173.170.253.91)