2024/07/08

2024-07-08 00:08:30 +0200kraftwerk28(~kraftwerk@164.92.219.160)
2024-07-08 00:08:37 +0200kraftwerk28(~kraftwerk@164.92.219.160) (Remote host closed the connection)
2024-07-08 00:10:31 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-07-08 00:16:58 +0200xdminsy(~xdminsy@117.147.70.231) (Ping timeout: 246 seconds)
2024-07-08 00:21:37 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-08 00:22:27 +0200oo_miguel(~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds)
2024-07-08 00:23:03 +0200emm(~emm@user/edmeme) (Quit: WeeChat 4.3.3)
2024-07-08 00:28:15 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-08 00:29:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-08 00:33:57 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-07-08 00:34:50 +0200xdminsy(~xdminsy@117.147.70.227)
2024-07-08 00:43:34 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds)
2024-07-08 00:50:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-08 00:59:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-08 01:11:24 +0200hueso(~root@user/hueso) (Ping timeout: 255 seconds)
2024-07-08 01:39:05 +0200Guest42(~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net)
2024-07-08 01:46:52 +0200Guest42(~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net) (Quit: Client closed)
2024-07-08 02:29:55 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21)
2024-07-08 02:31:57 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-08 02:33:27 +0200califax(~califax@user/califx)
2024-07-08 02:42:09 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net)
2024-07-08 02:47:30 +0200pyooque(~puke@user/puke)
2024-07-08 02:47:31 +0200pukeGuest8981
2024-07-08 02:47:31 +0200Guest8981(~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services)))
2024-07-08 02:47:31 +0200pyooquepuke
2024-07-08 02:48:05 +0200dysthesis(~dysthesis@user/dysthesis)
2024-07-08 02:50:33 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2024-07-08 02:51:55 +0200xff0x(~xff0x@2405:6580:b080:900:c64a:ce6b:6071:dfe5) (Ping timeout: 256 seconds)
2024-07-08 03:05:39 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-07-08 03:15:25 +0200AlexNoo_(~AlexNoo@5.139.232.6)
2024-07-08 03:18:36 +0200AlexZenon(~alzenon@178.34.160.84) (Ping timeout: 268 seconds)
2024-07-08 03:19:07 +0200AlexNoo(~AlexNoo@178.34.160.84) (Ping timeout: 256 seconds)
2024-07-08 03:22:31 +0200AlexZenon(~alzenon@5.139.232.6)
2024-07-08 03:24:59 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-07-08 03:30:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-08 03:37:16 +0200 <lain`> i wish there was decent documentation for anything
2024-07-08 03:41:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-07-08 03:42:30 +0200hueso(~root@user/hueso)
2024-07-08 03:51:54 +0200barthandelous01(barth@triton.blinkenshell.org) (Ping timeout: 268 seconds)
2024-07-08 03:52:12 +0200barthandelous01(barth@triton.blinkenshell.org)
2024-07-08 04:03:48 +0200barthandelous01(barth@triton.blinkenshell.org) (Ping timeout: 256 seconds)
2024-07-08 04:04:12 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection)
2024-07-08 04:04:26 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-08 04:05:24 +0200barthandelous01(barth@triton.blinkenshell.org)
2024-07-08 04:16:07 +0200 <probie> lain`: What counts as decent documentation?
2024-07-08 04:19:19 +0200 <lain`> describing how something works in detail, documentation for each function saying what it's for if it's not obvious, examples of how to use the library in a realish situation, and a guide to learning the concepts of a library for the perspective of someone who doesn't know anything about it
2024-07-08 04:19:25 +0200 <lain`> probie: ^
2024-07-08 04:19:39 +0200 <lain`> s/for/from
2024-07-08 04:20:32 +0200 <lain`> this is good documentation, imo https://learn.microsoft.com/en-us/dotnet/orleans/grains/observers
2024-07-08 04:23:18 +0200dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
2024-07-08 04:24:25 +0200 <lain`> or this https://hexdocs.pm/ecto/getting-started.html
2024-07-08 04:30:36 +0200 <joeyadams> I'm going to go out on a limb and say Aeson's documentation is excellent from this standpoint: https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html
2024-07-08 04:33:57 +0200 <lain`> yeah, there are some exceptions
2024-07-08 04:34:05 +0200 <joeyadams> For sure. What bad example did you run across?
2024-07-08 04:34:34 +0200td_(~td@i53870903.versanet.de) (Ping timeout: 246 seconds)
2024-07-08 04:35:00 +0200pyooque(~puke@user/puke)
2024-07-08 04:35:01 +0200pukeGuest1123
2024-07-08 04:35:01 +0200pyooquepuke
2024-07-08 04:35:42 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-08 04:36:27 +0200td_(~td@i53870918.versanet.de)
2024-07-08 04:36:31 +0200pyooque(~puke@user/puke)
2024-07-08 04:36:32 +0200pukeGuest2023
2024-07-08 04:36:32 +0200pyooquepuke
2024-07-08 04:38:09 +0200Guest1123(~puke@user/puke) (Ping timeout: 268 seconds)
2024-07-08 04:40:00 +0200Guest2023(~puke@user/puke) (Ping timeout: 268 seconds)
2024-07-08 04:43:59 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-07-08 04:45:38 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
2024-07-08 04:45:55 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-07-08 04:52:19 +0200 <lain`> it wasn't just one, but the lens and mtl documentation aren't ideal imo
2024-07-08 04:54:25 +0200 <lain`> it can be hard to find examples of even fairly simple/common things that aren't like 8 years old and don't compile anymore
2024-07-08 04:54:31 +0200 <lain`> in general
2024-07-08 05:04:47 +0200euleritian(~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 05:05:05 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 05:09:37 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-08 05:10:13 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 05:11:51 +0200aforemny(~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53)
2024-07-08 05:13:07 +0200aforemny_(~aforemny@2001:9e8:6cc4:ed00:8551:e69c:b7dd:ec64) (Ping timeout: 260 seconds)
2024-07-08 05:16:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-08 05:18:14 +0200xdminsy(~xdminsy@117.147.70.227) (Ping timeout: 268 seconds)
2024-07-08 05:19:07 +0200xdminsy(~xdminsy@117.147.70.227)
2024-07-08 05:27:35 +0200 <EvanR> documentation is overrated, I want it all trashed and a single snippet that shows the library doing 1 useful but highly specific task
2024-07-08 05:27:55 +0200 <EvanR> as god intended
2024-07-08 05:44:45 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-07-08 05:44:53 +0200euleritian(~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de)
2024-07-08 05:48:37 +0200JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-07-08 05:51:31 +0200pyooque(~puke@user/puke)
2024-07-08 05:51:31 +0200puke(~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services)))
2024-07-08 05:51:31 +0200pyooquepuke
2024-07-08 05:51:41 +0200JimL(~quassel@89.162.16.26)
2024-07-08 06:07:04 +0200pukeGuest7691
2024-07-08 06:07:04 +0200pyooque(~puke@user/puke)
2024-07-08 06:07:04 +0200Guest7691(~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services)))
2024-07-08 06:07:04 +0200pyooquepuke
2024-07-08 06:08:39 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-07-08 06:11:58 +0200euleritian(~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 06:12:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 06:13:26 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-07-08 06:19:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-08 06:19:55 +0200puke(~puke@user/puke) (Ping timeout: 268 seconds)
2024-07-08 06:25:16 +0200xff0x(~xff0x@2405:6580:b080:900:7a48:d908:3a13:a68a)
2024-07-08 06:27:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 06:55:59 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-07-08 07:08:16 +0200 <Axman6> lain`: many libraries rely heavily on types, and lens is a good example of that; many of the types tell you a lot about what they could possibly do, without needing to explain much in words - but learning how to know what the types mean is something that takes time and use of the library. The basics of lens are trivial, but it is a library with a very broad range of applications, and in many cases a lot of depth too.
2024-07-08 07:12:41 +0200 <lain`> i mean, people won't nessecarily intuit the depth, even if it's intended to be used that way by the authors.
2024-07-08 07:13:28 +0200 <lain`> even if what a function literally does is understandable, why it's there and what place it has in the design isn't always obvious. i think that's the kind of thing that examples and tutorials can help with.
2024-07-08 07:18:27 +0200 <lain`> the lens readme doesn't even say what a lens *is*.
2024-07-08 07:24:09 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-07-08 07:25:02 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-07-08 07:28:26 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-08 07:28:43 +0200 <Axman6> What is a lens?
2024-07-08 07:28:46 +0200califax(~califax@user/califx)
2024-07-08 07:29:17 +0200 <Axman6> it's not a thing that a README is going to be able to clearly explain, it's an idea that has taken up many hour long talks explaining
2024-07-08 07:29:43 +0200 <haskellbridge> <maerwald> lain`: https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Lens.html#v:lens
2024-07-08 07:29:48 +0200 <Axman6> Some things are just complex ideas, and expecting a half page explanation that's useful for using something isn't always going to be possible
2024-07-08 07:30:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-08 07:30:35 +0200 <haskellbridge> <maerwald> Axman6: don't agree
2024-07-08 07:30:56 +0200 <haskellbridge> <maerwald> The documentation of lens just isn't very good for beginners
2024-07-08 07:31:00 +0200 <lain`> i mean, you can look at the racket lens docs https://docs.racket-lang.org/lens/lens-intro.html#%28tech._lens%29
2024-07-08 07:31:33 +0200 <Axman6> Sure, I'm not saying things can't be improved, but that's actually quite a lot of motivation needed to explain why they even should exist in the first place
2024-07-08 07:31:45 +0200 <haskellbridge> <maerwald> And it wasn't written for beginners anyway. The API doesn't consider "beginner issues". It's just not the use case
2024-07-08 07:31:58 +0200 <Axman6> Yep
2024-07-08 07:32:07 +0200 <lain`> i mean
2024-07-08 07:32:14 +0200 <lain`> what does "beginner" even mean
2024-07-08 07:32:17 +0200 <haskellbridge> <maerwald> But you can write a beginner friendly lens library
2024-07-08 07:32:22 +0200 <lain`> beginner to haskell?
2024-07-08 07:32:28 +0200 <jackdk> https://diataxis.fr/ has an interesting breakdown on the front page, differentiating "tutorials", "how-to guides", "explanations" and "reference material"
2024-07-08 07:32:58 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de)
2024-07-08 07:33:51 +0200 <haskellbridge> <maerwald> lain`: Someone who isn't into the academic foundations of lenses.
2024-07-08 07:36:28 +0200 <lain`> i mean, i feel like that's kind of just an excuse to provide poor documentation
2024-07-08 07:38:08 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-08 07:38:29 +0200 <lain`> it's not like doing so would make it harder for people who know a lot about lenses to use the library
2024-07-08 07:40:10 +0200 <lain`> if someone doesn't *want* to provide documentation aimed at people who don't follow the research of the subject, that's fine, but it doesn't change the fact that they could. and that many other things do.
2024-07-08 07:40:54 +0200 <lain`> and i think even for people who understand it, good documentation will make it easier to learn the library
2024-07-08 07:41:22 +0200 <lain`> even if someone can figure out how something works from looking at the types, that doesn't mean it won't take extra time compared to it being explained well alongside examples
2024-07-08 07:50:35 +0200 <haskellbridge> <maerwald> The maintainer of lens gives away commit rights willingly. So you probably can contribute such documentation easily
2024-07-08 07:51:06 +0200 <haskellbridge> <maerwald> But I doubt that will happen without an engaged contributor who cares about this specifically
2024-07-08 08:02:23 +0200 <haskellbridge> <sm> optics is a lens alternative with good docs, I've heard
2024-07-08 08:03:20 +0200 <jackdk> The main difficulty I have with optics is that I really like being able to provide lenses without incurring the `lens` dependency
2024-07-08 08:03:24 +0200 <haskellbridge> <sm> more generally I think some haskell libs with good docs do exist,
2024-07-08 08:06:43 +0200 <haskellbridge> <sm> and making that attribute more visible (eg on hackage and flora and in reviews/ecosystem overviews) will help encourage that
2024-07-08 08:11:04 +0200 <haskellbridge> <sm> * package reviews and ecosystem
2024-07-08 08:11:24 +0200 <haskellbridge> <sm> oops, irc, sorry
2024-07-08 08:12:31 +0200 <haskellbridge> <sm> though with the latest bridge I seem to remember the policy was that matrix edits are fine
2024-07-08 08:12:57 +0200 <jackdk> They show up as additional messages but at least it's clear that it's an edit.
2024-07-08 08:15:01 +0200 <haskellbridge> <maerwald> jackdk: optics support van laarhoven too. So you can still do that as a library author
2024-07-08 08:15:33 +0200 <jackdk> so it means that VL optics are usable by both? good to know
2024-07-08 08:16:31 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-08 08:22:37 +0200 <haskellbridge> <maerwald> https://hackage.haskell.org/package/optics-vl-0.2.1/docs/Optics-VL.html
2024-07-08 08:31:52 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-08 08:36:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-08 08:43:45 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 08:51:26 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-08 08:51:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-08 09:05:01 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21) (Quit: Leaving)
2024-07-08 09:06:07 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-08 09:06:54 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 09:10:09 +0200kenran(~user@user/kenran)
2024-07-08 09:12:04 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-08 09:15:06 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2024-07-08 09:15:36 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-08 09:15:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-07-08 09:16:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-08 09:16:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 09:28:24 +0200xdminsy(~xdminsy@117.147.70.227) (Read error: Connection reset by peer)
2024-07-08 09:29:12 +0200xdminsy(~xdminsy@117.147.70.227)
2024-07-08 09:29:43 +0200__monty__(~toonn@user/toonn)
2024-07-08 09:36:05 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-08 09:43:51 +0200euphores(~SASL_euph@user/euphores)
2024-07-08 09:55:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-07-08 09:56:03 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-07-08 09:56:37 +0200euleritian(~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de)
2024-07-08 10:05:48 +0200AlexNoo__(~AlexNoo@5.139.232.6)
2024-07-08 10:06:17 +0200acidjnk_new(~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de)
2024-07-08 10:06:19 +0200ubert1(~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de)
2024-07-08 10:07:16 +0200mikess_(~mikess@user/mikess)
2024-07-08 10:07:25 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-08 10:07:34 +0200op_4_(~tslil@2a01:4f8:c0c:7952::1)
2024-07-08 10:07:49 +0200terrorjack7(~terrorjac@2a01:4f8:c17:87f8::)
2024-07-08 10:07:50 +0200AlexNoo__AlexNoo
2024-07-08 10:07:56 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-07-08 10:08:02 +0200teesquare(~teesquare@user/teesquare)
2024-07-08 10:08:08 +0200swistak-(~swistak@185.21.216.141)
2024-07-08 10:08:37 +0200tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-07-08 10:09:01 +0200_[_________]_(~oos95GWG@user/oos95GWG)
2024-07-08 10:09:04 +0200aforemny(~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53) (Ping timeout: 268 seconds)
2024-07-08 10:09:04 +0200mikess(~mikess@user/mikess) (Ping timeout: 268 seconds)
2024-07-08 10:09:04 +0200ubert(~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-07-08 10:09:04 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2024-07-08 10:09:04 +0200teesquare_(~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-07-08 10:09:05 +0200swistak(~swistak@185.21.216.141) (Quit: bye bye)
2024-07-08 10:09:05 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Read error: Connection reset by peer)
2024-07-08 10:09:05 +0200xstill_(xstill@fimu/xstill) (Read error: Connection reset by peer)
2024-07-08 10:09:05 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2024-07-08 10:09:05 +0200aforemny(~aforemny@i59F516FB.versanet.de)
2024-07-08 10:09:06 +0200ubert1ubert
2024-07-08 10:09:07 +0200op_4(~tslil@user/op-4/x-9116473) (Ping timeout: 268 seconds)
2024-07-08 10:09:07 +0200[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 268 seconds)
2024-07-08 10:09:08 +0200terrorjack7terrorjack
2024-07-08 10:09:08 +0200op_4_op_4
2024-07-08 10:09:17 +0200xstill_(xstill@fimu/xstill)
2024-07-08 10:09:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds)
2024-07-08 10:09:19 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-07-08 10:09:19 +0200AlexNoo_(~AlexNoo@5.139.232.6) (Ping timeout: 268 seconds)
2024-07-08 10:09:20 +0200sprout(~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) (Ping timeout: 268 seconds)
2024-07-08 10:10:07 +0200sprout(~quassel@2a02-a448-3a80-0-b42c-a95b-6a4b-b4d1.fixed6.kpn.net)
2024-07-08 10:16:06 +0200gmg(~user@user/gehmehgeh)
2024-07-08 10:20:54 +0200chele(~chele@user/chele)
2024-07-08 10:24:43 +0200danse-nr3(~danse-nr3@151.37.217.77)
2024-07-08 10:31:28 +0200_[_________]_(~oos95GWG@user/oos95GWG) (Quit: _[_________]_)
2024-07-08 10:31:37 +0200[_________](~oos95GWG@user/oos95GWG)
2024-07-08 10:33:04 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-08 10:38:07 +0200cfricke(~cfricke@user/cfricke)
2024-07-08 10:40:26 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-08 11:04:31 +0200 <EvanR> lain`, lens is an abstract thing, which means "what it is" might take one sentence and be incomprehensible, or take a whole blog post and not be entirely right. See "what's a monad"
2024-07-08 11:06:43 +0200reki(~reki@5.142.41.78)
2024-07-08 11:08:44 +0200reki(~reki@5.142.41.78) (Client Quit)
2024-07-08 11:08:59 +0200 <danse-nr3> simple lenses can be considered as dry "getters/setters/modifiers"
2024-07-08 11:11:43 +0200 <mreh> any Reflexers in the chat that use obelisk?
2024-07-08 11:14:40 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 11:14:54 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-07-08 11:15:40 +0200gmg(~user@user/gehmehgeh)
2024-07-08 11:16:35 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal)
2024-07-08 11:17:19 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-08 11:17:38 +0200 <danse-nr3> "reflexers"... that's not a query yielding many results
2024-07-08 11:18:55 +0200 <mreh> danse-nr3: It's a *sharp intake of breath* web framework. https://reflex-frp.org/
2024-07-08 11:19:03 +0200cpressey(~weechat@176.254.71.203) (Client Quit)
2024-07-08 11:19:36 +0200 <danse-nr3> i know what it is but thanks
2024-07-08 11:20:08 +0200 <danse-nr3> i just meant it's unlikely many of us specialise in that, you'd better target obelisk users probably
2024-07-08 11:20:35 +0200 <mreh> #reflex-frp isn't a thing on here, I might have to go over to the dark side
2024-07-08 11:20:53 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 11:22:27 +0200acidjnk_new(~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-07-08 11:24:17 +0200 <jackdk> There's a pretty quiet channel for it
2024-07-08 11:25:57 +0200 <danse-nr3> segregation does not seem to work in too little groups does it
2024-07-08 11:27:28 +0200 <jackdk> I think spawning channels is best when you have a lot of chatter for the new topic
2024-07-08 11:32:31 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 272 seconds)
2024-07-08 11:36:21 +0200reki(~reki@5.142.41.78)
2024-07-08 11:36:47 +0200reki(~reki@5.142.41.78) (Client Quit)
2024-07-08 11:41:19 +0200kuribas(~user@ptr-17d51emdouonjysweaf.18120a2.ip6.access.telenet.be)
2024-07-08 11:48:02 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-08 11:55:11 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: leaving)
2024-07-08 11:55:27 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-08 11:55:28 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2024-07-08 11:55:38 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net)
2024-07-08 11:56:55 +0200oo_miguel(~Thunderbi@78.10.207.46) (Quit: oo_miguel)
2024-07-08 11:57:23 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-08 12:00:18 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2024-07-08 12:05:27 +0200euleritian(~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-07-08 12:05:50 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de)
2024-07-08 12:09:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-08 12:09:52 +0200acidjnk_new(~acidjnk@p200300d6e72cfb54ed0c585686c79895.dip0.t-ipconnect.de)
2024-07-08 12:19:23 +0200danse-nr3(~danse-nr3@151.37.217.77) (Quit: Leaving)
2024-07-08 12:23:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-08 12:25:38 +0200danse-nr3(~danse-nr3@151.37.217.77)
2024-07-08 12:32:46 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 12:33:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 12:37:36 +0200__monty__(~toonn@user/toonn) (Ping timeout: 252 seconds)
2024-07-08 12:42:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-08 12:46:06 +0200Inst(~Inst@user/Inst)
2024-07-08 12:51:41 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-08 12:57:03 +0200euphores(~SASL_euph@user/euphores)
2024-07-08 12:58:34 +0200__monty__(~toonn@user/toonn)
2024-07-08 13:04:08 +0200__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2024-07-08 13:04:09 +0200CiaoSen(~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03)
2024-07-08 13:09:30 +0200danse-nr3(~danse-nr3@151.37.217.77) (Ping timeout: 256 seconds)
2024-07-08 13:20:03 +0200mikess_(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-08 13:29:04 +0200CiaoSen(~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Quit: CiaoSen)
2024-07-08 13:31:06 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-08 13:31:38 +0200rvalue(~rvalue@user/rvalue)
2024-07-08 13:33:09 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 252 seconds)
2024-07-08 13:36:08 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net)
2024-07-08 13:36:23 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-07-08 13:37:02 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 13:38:19 +0200CiaoSen(~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03)
2024-07-08 13:41:26 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2024-07-08 13:49:03 +0200__monty__(~toonn@user/toonn)
2024-07-08 13:51:46 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-07-08 13:58:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-07-08 13:59:13 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de)
2024-07-08 13:59:53 +0200infinity0(~infinity0@pwned.gg)
2024-07-08 14:01:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-08 14:07:08 +0200puke(~puke@user/puke)
2024-07-08 14:14:07 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds)
2024-07-08 14:18:41 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-07-08 14:19:54 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-07-08 14:20:36 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 14:20:47 +0200infinity0(~infinity0@pwned.gg)
2024-07-08 14:20:53 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 14:23:45 +0200danse-nr3(~danse-nr3@151.37.184.212)
2024-07-08 14:31:50 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net)
2024-07-08 14:32:15 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 14:36:56 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2024-07-08 14:43:11 +0200rosco(~rosco@175.136.155.137)
2024-07-08 14:46:51 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-08 14:48:39 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 268 seconds)
2024-07-08 14:49:11 +0200TonyStone(~TonyStone@user/TonyStone) (Ping timeout: 264 seconds)
2024-07-08 15:02:22 +0200TonyStone(~TonyStone@user/TonyStone)
2024-07-08 15:15:47 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 268 seconds)
2024-07-08 15:17:52 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
2024-07-08 15:20:19 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 15:20:58 +0200danse-nr3(~danse-nr3@151.37.184.212) (Ping timeout: 256 seconds)
2024-07-08 15:35:45 +0200cfricke(~cfricke@user/cfricke)
2024-07-08 15:36:51 +0200 <cheater> mreh: what dark side?
2024-07-08 15:37:07 +0200 <cheater> Axman6: lens types absolutely suck. they tell me nothing
2024-07-08 15:37:15 +0200 <cheater> lens types are 100% meme types
2024-07-08 15:37:36 +0200 <cheater> they're a rolling joke any time someone brings up "self-documenting types"
2024-07-08 15:38:31 +0200 <cheater> running joke
2024-07-08 15:38:39 +0200 <cheater> wow that was an epic typo
2024-07-08 15:38:56 +0200ystael(~ystael@user/ystael)
2024-07-08 15:41:19 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2024-07-08 15:44:09 +0200 <cheater> maerwald: what is VL useful for?
2024-07-08 15:49:08 +0200puke(~puke@user/puke) (Quit: puke)
2024-07-08 15:54:45 +0200cfricke(~cfricke@user/cfricke)
2024-07-08 15:54:46 +0200puke(~puke@user/puke)
2024-07-08 15:58:20 +0200__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2024-07-08 16:00:05 +0200 <haskellbridge> <magic_rb> lens type are selfdocumenting, if you understand how lenses are built
2024-07-08 16:00:29 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-07-08 16:01:12 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 16:02:07 +0200 <ncf> most combinators with confusing type signatures have human-readable types spelt out in the documentation
2024-07-08 16:02:37 +0200 <ncf> like uh... confusing https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Combinators.html#v:confusing
2024-07-08 16:02:55 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit)
2024-07-08 16:03:37 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 16:04:04 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 246 seconds)
2024-07-08 16:04:40 +0200__monty__(~toonn@user/toonn)
2024-07-08 16:04:48 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de)
2024-07-08 16:06:57 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit)
2024-07-08 16:07:04 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net)
2024-07-08 16:07:05 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 16:07:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 16:07:34 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 16:09:09 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Ping timeout: 255 seconds)
2024-07-08 16:09:26 +0200__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2024-07-08 16:10:28 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 264 seconds)
2024-07-08 16:11:24 +0200nhar(~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2024-07-08 16:25:11 +0200cfricke_(~cfricke@user/cfricke)
2024-07-08 16:26:22 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 264 seconds)
2024-07-08 16:27:31 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-07-08 16:29:27 +0200ystael(~ystael@user/ystael)
2024-07-08 16:35:23 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds)
2024-07-08 16:41:10 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-07-08 16:42:20 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 16:42:43 +0200Square(~Square@user/square)
2024-07-08 16:44:47 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit)
2024-07-08 16:45:22 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-08 16:47:02 +0200oo_miguel(~Thunderbi@78.10.207.46) (Quit: oo_miguel)
2024-07-08 16:52:21 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97)
2024-07-08 16:53:19 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-07-08 16:58:51 +0200infinity0(~infinity0@pwned.gg)
2024-07-08 16:58:51 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-07-08 17:00:57 +0200infinity0(~infinity0@pwned.gg)
2024-07-08 17:03:57 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3)
2024-07-08 17:04:12 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97)
2024-07-08 17:04:45 +0200danse-nr3(~danse-nr3@151.37.184.212)
2024-07-08 17:14:51 +0200ubert1(~Thunderbi@p200300ecdf008f249faca444b85a825e.dip0.t-ipconnect.de)
2024-07-08 17:15:15 +0200ubert(~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-07-08 17:15:15 +0200ubert1ubert
2024-07-08 17:27:19 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-08 17:28:54 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net)
2024-07-08 17:31:11 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-08 17:38:21 +0200 <haskellbridge> <thirdofmay18081814goya> is there a functional parser pattern that is not a recursive descent parser?
2024-07-08 17:38:52 +0200 <sprout> there are parser combinator libraries that build bottom-up parsers
2024-07-08 17:39:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-07-08 17:40:21 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de)
2024-07-08 17:40:56 +0200 <EvanR> see also monoidal parsers
2024-07-08 17:41:11 +0200 <haskellbridge> <thirdofmay18081814goya> ty for references!
2024-07-08 17:41:18 +0200robotsnowfall(~robotsnow@user/robotsnowfall) ()
2024-07-08 17:41:39 +0200 <sprout> https://hackage.haskell.org/package/grammar-combinators
2024-07-08 17:42:02 +0200soverysour(~soverysou@81.196.150.219)
2024-07-08 17:42:03 +0200soverysour(~soverysou@81.196.150.219) (Changing host)
2024-07-08 17:42:03 +0200soverysour(~soverysou@user/soverysour)
2024-07-08 17:42:15 +0200 <sprout> not really parser combinators since it's difficult to lift over a binding, but close enough for whatevery you need probably
2024-07-08 17:44:55 +0200euleritian(~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-07-08 17:45:12 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 17:47:19 +0200cfricke_(~cfricke@user/cfricke) (Ping timeout: 246 seconds)
2024-07-08 17:49:43 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 17:50:28 +0200euleritian(~euleritia@77.22.252.56)
2024-07-08 17:51:31 +0200CiaoSen(~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-07-08 17:57:56 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 256 seconds)
2024-07-08 17:59:03 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 18:05:23 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-08 18:07:36 +0200cfricke(~cfricke@user/cfricke)
2024-07-08 18:07:50 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 18:08:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 18:17:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-08 18:18:59 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 18:19:49 +0200internatetional(~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3)
2024-07-08 18:22:38 +0200danse-nr3(~danse-nr3@151.37.184.212) (Ping timeout: 268 seconds)
2024-07-08 18:23:03 +0200danse-nr3(~danse-nr3@151.35.165.191)
2024-07-08 18:23:53 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 18:24:14 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 18:26:42 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-08 18:28:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-08 18:29:10 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 18:30:11 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 18:30:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 18:32:34 +0200destituion(~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5)
2024-07-08 18:35:35 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 268 seconds)
2024-07-08 18:37:48 +0200barryfm(~barry@2603-9001-5200-3c11-6ab3-218a-469b-f5cd.inf6.spectrum.com)
2024-07-08 18:42:51 +0200__monty__(~toonn@user/toonn)
2024-07-08 18:45:52 +0200barryfm(~barry@2603-9001-5200-3c11-6ab3-218a-469b-f5cd.inf6.spectrum.com) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50))
2024-07-08 18:52:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-08 18:52:45 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-08 18:53:01 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 18:54:24 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 18:54:43 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 19:04:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-08 19:05:06 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-08 19:08:44 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2024-07-08 19:11:05 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-08 19:11:28 +0200 <monochrom> Paraphrasing a type expression is worse than just showing the type expression. Generally most expressions. Try paraphrasing "sqrt((a+b)^2+c^2) + 4" for example.
2024-07-08 19:12:23 +0200 <monochrom> OTOH even with a polymorphic type, it can be difficult to deduce what it does.
2024-07-08 19:13:35 +0200 <monochrom> This is what I do. When I teach the "map" function, I begin with a semi-symbolic example: "map f [a, b, c] = [f a, f b, f c]". Humans are great at extrapolating when you give them good examples. Use that.
2024-07-08 19:14:49 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-08 19:17:11 +0200 <danse-nr3> you are paraphrasing with othe formulae basically. Makes sense
2024-07-08 19:17:18 +0200 <EvanR> map f [a, b, c] = f a : map f [b, c]
2024-07-08 19:17:34 +0200 <danse-nr3> i like monochrom's one better
2024-07-08 19:18:03 +0200 <EvanR> it's easier to understand but not generally what would match operational semantics
2024-07-08 19:19:06 +0200 <danse-nr3> right well depends the focus of what one is explaining at a given moment
2024-07-08 19:20:23 +0200 <monochrom> My motivation is from the extremist Dijkstra's "a formula is worth a thousand pictures". You don't have to believe that (I mostly believe it, but I know exceptions), but the other extreme is to enshrine natural language prose which is what everyone else does which is clearly broken.
2024-07-08 19:21:10 +0200 <danse-nr3> i mean communication is a matter of circumstance, there is no "one size fits all"
2024-07-08 19:21:56 +0200 <monochrom> Yeah. An exception is "sort alphabetically" is way better than formalizing it. :)
2024-07-08 19:22:33 +0200cfricke(~cfricke@user/cfricke)
2024-07-08 19:22:47 +0200 <monochrom> But it is because the audience has experience with sorting. You build upon what they already know.
2024-07-08 19:23:27 +0200 <bwe> Does ghc tell me any functions defined in current module not being used? If not, what's the best practice your recommend?
2024-07-08 19:24:23 +0200 <ncf> https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wunused-bi…
2024-07-08 19:25:50 +0200danse-nr3(~danse-nr3@151.35.165.191) (Remote host closed the connection)
2024-07-08 19:26:13 +0200danse-nr3(~danse-nr3@151.35.165.191)
2024-07-08 19:32:23 +0200danse-nr3(~danse-nr3@151.35.165.191) (Ping timeout: 264 seconds)
2024-07-08 19:34:31 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-08 19:36:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-08 19:36:32 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 19:53:17 +0200Square(~Square@user/square)
2024-07-08 19:53:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-08 19:54:42 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof)
2024-07-08 20:00:35 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection)
2024-07-08 20:03:09 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 268 seconds)
2024-07-08 20:05:28 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2024-07-08 20:10:51 +0200 <mauke> bwe: use explicit export lists in your modules and compile with ghc -Wall
2024-07-08 20:11:31 +0200 <mauke> can confirm that HLS definitely detects them as well
2024-07-08 20:13:01 +0200danse-nr3(~danse-nr3@151.35.165.191)
2024-07-08 20:18:10 +0200danse-nr3(~danse-nr3@151.35.165.191) (Ping timeout: 246 seconds)
2024-07-08 20:19:01 +0200danse-nr3(~danse-nr3@151.35.165.191)
2024-07-08 20:21:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-07-08 20:21:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-08 20:32:03 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
2024-07-08 20:32:17 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 20:32:34 +0200euleritian(~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de)
2024-07-08 20:35:03 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-08 20:36:56 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-08 20:39:09 +0200danse-nr3(~danse-nr3@151.35.165.191) (Remote host closed the connection)
2024-07-08 20:39:35 +0200danse-nr3(~danse-nr3@151.35.165.191)
2024-07-08 20:39:48 +0200 <EvanR> a formula is worth a million words. Which is more words than there are in the dictionary
2024-07-08 20:40:13 +0200 <EvanR> so formulas aren't worth as much as you think
2024-07-08 20:45:43 +0200 <danse-nr3> huh maybe that includes other languages
2024-07-08 20:46:10 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 264 seconds)
2024-07-08 20:46:50 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-08 20:48:26 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-08 20:49:18 +0200gmg(~user@user/gehmehgeh)
2024-07-08 20:56:30 +0200 <danse-nr3> people agreed upon math across languages after all
2024-07-08 20:57:45 +0200 <EvanR> to an extent, like a "positive" number in french is >= 0
2024-07-08 20:57:46 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-08 20:59:09 +0200 <danse-nr3> didn't know the sign of 0 was a national thing
2024-07-08 20:59:51 +0200soverysour(~soverysou@user/soverysour)
2024-07-08 21:04:00 +0200gmg(~user@user/gehmehgeh)
2024-07-08 21:04:12 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-07-08 21:04:54 +0200gmg(~user@user/gehmehgeh)
2024-07-08 21:07:08 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-07-08 21:07:48 +0200gmg(~user@user/gehmehgeh)
2024-07-08 21:12:07 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof)
2024-07-08 21:17:39 +0200madeleine-sydney(~madeleine@c-71-229-185-228.hsd1.co.comcast.net)
2024-07-08 21:27:11 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-07-08 21:27:54 +0200gmg(~user@user/gehmehgeh)
2024-07-08 21:32:52 +0200 <bwe> mauke: yep, I'll follow that!
2024-07-08 21:33:49 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 268 seconds)
2024-07-08 21:54:31 +0200yin(~yin@user/zero)
2024-07-08 21:55:47 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 21:58:49 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-08 22:18:42 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-08 22:21:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-08 22:22:35 +0200danse-nr3(~danse-nr3@151.35.165.191) (Ping timeout: 260 seconds)
2024-07-08 22:23:07 +0200danse-nr3(~danse-nr3@151.37.150.133)
2024-07-08 22:28:11 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-08 22:33:12 +0200hueso(~root@user/hueso) (Quit: hueso)
2024-07-08 22:33:53 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-08 22:34:33 +0200euleritian(~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-08 22:35:08 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de)
2024-07-08 22:41:38 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 268 seconds)
2024-07-08 22:41:54 +0200hueso(~root@user/hueso)
2024-07-08 22:44:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-08 22:50:17 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds)
2024-07-08 22:55:26 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 22:55:35 +0200danse-nr3(~danse-nr3@151.37.150.133) (Remote host closed the connection)
2024-07-08 22:56:00 +0200danse-nr3(~danse-nr3@151.37.150.133)
2024-07-08 22:57:46 +0200danse-nr3(~danse-nr3@151.37.150.133) (Read error: Connection reset by peer)
2024-07-08 23:00:31 +0200CiaoSen(~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03)
2024-07-08 23:00:51 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-08 23:01:23 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds)
2024-07-08 23:03:36 +0200AlexZenon(~alzenon@5.139.232.6) (Ping timeout: 255 seconds)
2024-07-08 23:05:04 +0200__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2024-07-08 23:09:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-08 23:09:50 +0200AlexZenon(~alzenon@5.139.232.6)
2024-07-08 23:12:16 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 23:16:36 +0200barryfm(~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com)
2024-07-08 23:17:32 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 256 seconds)
2024-07-08 23:24:50 +0200mikess(~mikess@user/mikess)
2024-07-08 23:36:38 +0200cpressey(~weechat@176.254.71.203)
2024-07-08 23:43:52 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-07-08 23:48:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-08 23:52:02 +0200pavonia(~user@user/siracusa)
2024-07-08 23:58:56 +0200euleritian(~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-08 23:59:14 +0200euleritian(~euleritia@77.22.252.56)