| 2024-07-08 00:08:30 +0200 | kraftwerk28 | (~kraftwerk@164.92.219.160) |
| 2024-07-08 00:08:37 +0200 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Remote host closed the connection) |
| 2024-07-08 00:10:31 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-08 00:16:58 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 246 seconds) |
| 2024-07-08 00:21:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-08 00:22:27 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds) |
| 2024-07-08 00:23:03 +0200 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 2024-07-08 00:28:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-08 00:29:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 00:33:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-08 00:34:50 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-08 00:43:34 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-07-08 00:50:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-08 00:59:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-08 01:11:24 +0200 | hueso | (~root@user/hueso) (Ping timeout: 255 seconds) |
| 2024-07-08 01:39:05 +0200 | Guest42 | (~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net) |
| 2024-07-08 01:46:52 +0200 | Guest42 | (~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net) (Quit: Client closed) |
| 2024-07-08 02:29:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21) |
| 2024-07-08 02:31:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-08 02:33:27 +0200 | califax | (~califax@user/califx) |
| 2024-07-08 02:42:09 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 02:47:30 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-08 02:47:31 +0200 | puke | Guest8981 |
| 2024-07-08 02:47:31 +0200 | Guest8981 | (~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-07-08 02:47:31 +0200 | pyooque | puke |
| 2024-07-08 02:48:05 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-08 02:50:33 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 02:51:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c64a:ce6b:6071:dfe5) (Ping timeout: 256 seconds) |
| 2024-07-08 03:05:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-07-08 03:15:25 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.6) |
| 2024-07-08 03:18:36 +0200 | AlexZenon | (~alzenon@178.34.160.84) (Ping timeout: 268 seconds) |
| 2024-07-08 03:19:07 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) (Ping timeout: 256 seconds) |
| 2024-07-08 03:22:31 +0200 | AlexZenon | (~alzenon@5.139.232.6) |
| 2024-07-08 03:24:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-07-08 03:30:25 +0200 | peterbecich | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-07-08 03:42:30 +0200 | hueso | (~root@user/hueso) |
| 2024-07-08 03:51:54 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 268 seconds) |
| 2024-07-08 03:52:12 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-08 04:03:48 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 256 seconds) |
| 2024-07-08 04:04:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-08 04:04:26 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-08 04:05:24 +0200 | barthandelous01 | (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 +0200 | dysthesis | (~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 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 246 seconds) |
| 2024-07-08 04:35:00 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-08 04:35:01 +0200 | puke | Guest1123 |
| 2024-07-08 04:35:01 +0200 | pyooque | puke |
| 2024-07-08 04:35:42 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 04:36:27 +0200 | td_ | (~td@i53870918.versanet.de) |
| 2024-07-08 04:36:31 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-08 04:36:32 +0200 | puke | Guest2023 |
| 2024-07-08 04:36:32 +0200 | pyooque | puke |
| 2024-07-08 04:38:09 +0200 | Guest1123 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 04:40:00 +0200 | Guest2023 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 04:43:59 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 04:45:38 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-07-08 04:45:55 +0200 | terrorjack | (~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 +0200 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 05:05:05 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 05:09:37 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 05:10:13 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 05:11:51 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53) |
| 2024-07-08 05:13:07 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:ed00:8551:e69c:b7dd:ec64) (Ping timeout: 260 seconds) |
| 2024-07-08 05:16:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-08 05:18:14 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Ping timeout: 268 seconds) |
| 2024-07-08 05:19:07 +0200 | xdminsy | (~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 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-07-08 05:44:53 +0200 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) |
| 2024-07-08 05:48:37 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-08 05:51:31 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-08 05:51:31 +0200 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2024-07-08 05:51:31 +0200 | pyooque | puke |
| 2024-07-08 05:51:41 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-07-08 06:07:04 +0200 | puke | Guest7691 |
| 2024-07-08 06:07:04 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-08 06:07:04 +0200 | Guest7691 | (~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-07-08 06:07:04 +0200 | pyooque | puke |
| 2024-07-08 06:08:39 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-07-08 06:11:58 +0200 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 06:12:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 06:13:26 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-07-08 06:19:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 06:19:55 +0200 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 06:25:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7a48:d908:3a13:a68a) |
| 2024-07-08 06:27:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 06:55:59 +0200 | machinedgod | (~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 +0200 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-08 07:25:02 +0200 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) |
| 2024-07-08 07:28:26 +0200 | califax | (~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 +0200 | califax | (~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 +0200 | Sgeo | (~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 +0200 | acidjnk_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 +0200 | machinedgod | (~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 +0200 | takuan | (~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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 08:36:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 08:43:45 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 08:51:26 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-08 08:51:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 09:05:01 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21) (Quit: Leaving) |
| 2024-07-08 09:06:07 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 09:06:54 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 09:10:09 +0200 | kenran | (~user@user/kenran) |
| 2024-07-08 09:12:04 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-08 09:15:06 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-08 09:15:36 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 09:15:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-07-08 09:16:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 09:16:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 09:28:24 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Read error: Connection reset by peer) |
| 2024-07-08 09:29:12 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-08 09:29:43 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 09:36:05 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-08 09:43:51 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-08 09:55:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-07-08 09:56:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-07-08 09:56:37 +0200 | euleritian | (~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de) |
| 2024-07-08 10:05:48 +0200 | AlexNoo__ | (~AlexNoo@5.139.232.6) |
| 2024-07-08 10:06:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) |
| 2024-07-08 10:06:19 +0200 | ubert1 | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) |
| 2024-07-08 10:07:16 +0200 | mikess_ | (~mikess@user/mikess) |
| 2024-07-08 10:07:25 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-08 10:07:34 +0200 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2024-07-08 10:07:49 +0200 | terrorjack7 | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-08 10:07:50 +0200 | AlexNoo__ | AlexNoo |
| 2024-07-08 10:07:56 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-08 10:08:02 +0200 | teesquare | (~teesquare@user/teesquare) |
| 2024-07-08 10:08:08 +0200 | swistak- | (~swistak@185.21.216.141) |
| 2024-07-08 10:08:37 +0200 | tcard__ | (~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 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:04 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:04 +0200 | ubert | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:04 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-07-08 10:09:04 +0200 | teesquare_ | (~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-07-08 10:09:05 +0200 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
| 2024-07-08 10:09:05 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Read error: Connection reset by peer) |
| 2024-07-08 10:09:05 +0200 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
| 2024-07-08 10:09:05 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-07-08 10:09:05 +0200 | aforemny | (~aforemny@i59F516FB.versanet.de) |
| 2024-07-08 10:09:06 +0200 | ubert1 | ubert |
| 2024-07-08 10:09:07 +0200 | op_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 +0200 | terrorjack7 | terrorjack |
| 2024-07-08 10:09:08 +0200 | op_4_ | op_4 |
| 2024-07-08 10:09:17 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2024-07-08 10:09:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:19 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:19 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.6) (Ping timeout: 268 seconds) |
| 2024-07-08 10:09:20 +0200 | sprout | (~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2024-07-08 10:10:07 +0200 | sprout | (~quassel@2a02-a448-3a80-0-b42c-a95b-6a4b-b4d1.fixed6.kpn.net) |
| 2024-07-08 10:16:06 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 10:20:54 +0200 | chele | (~chele@user/chele) |
| 2024-07-08 10:24:43 +0200 | danse-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 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 10:38:07 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 10:40:26 +0200 | Tuplanolla | (~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 +0200 | reki | (~reki@5.142.41.78) |
| 2024-07-08 11:08:44 +0200 | reki | (~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 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 11:14:54 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 11:15:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 11:16:35 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal) |
| 2024-07-08 11:17:19 +0200 | mreh | (~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 +0200 | cpressey | (~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 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 11:22:27 +0200 | acidjnk_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 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2024-07-08 11:36:21 +0200 | reki | (~reki@5.142.41.78) |
| 2024-07-08 11:36:47 +0200 | reki | (~reki@5.142.41.78) (Client Quit) |
| 2024-07-08 11:41:19 +0200 | kuribas | (~user@ptr-17d51emdouonjysweaf.18120a2.ip6.access.telenet.be) |
| 2024-07-08 11:48:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-08 11:55:11 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: leaving) |
| 2024-07-08 11:55:27 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 11:55:28 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-07-08 11:55:38 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 11:56:55 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-08 11:57:23 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-08 12:00:18 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 12:05:27 +0200 | euleritian | (~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-07-08 12:05:50 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 12:09:24 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-08 12:09:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb54ed0c585686c79895.dip0.t-ipconnect.de) |
| 2024-07-08 12:19:23 +0200 | danse-nr3 | (~danse-nr3@151.37.217.77) (Quit: Leaving) |
| 2024-07-08 12:23:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-08 12:25:38 +0200 | danse-nr3 | (~danse-nr3@151.37.217.77) |
| 2024-07-08 12:32:46 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 12:33:21 +0200 | euleritian | (~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 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-08 12:46:06 +0200 | Inst | (~Inst@user/Inst) |
| 2024-07-08 12:51:41 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-08 12:57:03 +0200 | euphores | (~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 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 13:09:30 +0200 | danse-nr3 | (~danse-nr3@151.37.217.77) (Ping timeout: 256 seconds) |
| 2024-07-08 13:20:03 +0200 | mikess_ | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-08 13:29:04 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-07-08 13:31:06 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-08 13:31:38 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-08 13:33:09 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 2024-07-08 13:36:08 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 13:36:23 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 13:37:02 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 13:38:19 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 13:41:26 +0200 | nhar | (~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 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 13:58:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-07-08 13:59:13 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 13:59:53 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 14:01:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-08 14:07:08 +0200 | puke | (~puke@user/puke) |
| 2024-07-08 14:14:07 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-08 14:18:41 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 14:19:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-08 14:20:36 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 14:20:47 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 14:20:53 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 14:23:45 +0200 | danse-nr3 | (~danse-nr3@151.37.184.212) |
| 2024-07-08 14:31:50 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 14:32:15 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 14:36:56 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 14:43:11 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-08 14:46:51 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 14:48:39 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 268 seconds) |
| 2024-07-08 14:49:11 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Ping timeout: 264 seconds) |
| 2024-07-08 15:02:22 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-07-08 15:15:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-07-08 15:17:52 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-07-08 15:20:19 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 15:20:58 +0200 | danse-nr3 | (~danse-nr3@151.37.184.212) (Ping timeout: 256 seconds) |
| 2024-07-08 15:35:45 +0200 | cfricke | (~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 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-08 15:41:19 +0200 | cfricke | (~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 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-07-08 15:54:45 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 15:54:46 +0200 | puke | (~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 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 16:01:12 +0200 | Luj9 | (~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 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 16:03:37 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 16:04:04 +0200 | euleritian | (~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 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 16:06:57 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 16:07:04 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 16:07:05 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 16:07:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 16:07:34 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 16:09:09 +0200 | CrunchyFlakes | (~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 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 264 seconds) |
| 2024-07-08 16:11:24 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-08 16:25:11 +0200 | cfricke_ | (~cfricke@user/cfricke) |
| 2024-07-08 16:26:22 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-07-08 16:27:31 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2024-07-08 16:29:27 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-08 16:35:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-07-08 16:41:10 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 16:42:20 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 16:42:43 +0200 | Square | (~Square@user/square) |
| 2024-07-08 16:44:47 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 16:45:22 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 16:47:02 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-08 16:52:21 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) |
| 2024-07-08 16:53:19 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 16:58:51 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 16:58:51 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 17:00:57 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 17:03:57 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3) |
| 2024-07-08 17:04:12 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) |
| 2024-07-08 17:04:45 +0200 | danse-nr3 | (~danse-nr3@151.37.184.212) |
| 2024-07-08 17:14:51 +0200 | ubert1 | (~Thunderbi@p200300ecdf008f249faca444b85a825e.dip0.t-ipconnect.de) |
| 2024-07-08 17:15:15 +0200 | ubert | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-07-08 17:15:15 +0200 | ubert1 | ubert |
| 2024-07-08 17:27:19 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 17:28:54 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2024-07-08 17:31:11 +0200 | smalltalkman | (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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-07-08 17:40:21 +0200 | euleritian | (~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 +0200 | robotsnowfall | (~robotsnow@user/robotsnowfall) () |
| 2024-07-08 17:41:39 +0200 | <sprout> | https://hackage.haskell.org/package/grammar-combinators |
| 2024-07-08 17:42:02 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-08 17:42:03 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-08 17:42:03 +0200 | soverysour | (~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 +0200 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-07-08 17:45:12 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 17:47:19 +0200 | cfricke_ | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-07-08 17:49:43 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 17:50:28 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 17:51:31 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-07-08 17:57:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-07-08 17:59:03 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:05:23 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-08 18:07:36 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 18:07:50 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:08:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:17:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 18:18:59 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:19:49 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3) |
| 2024-07-08 18:22:38 +0200 | danse-nr3 | (~danse-nr3@151.37.184.212) (Ping timeout: 268 seconds) |
| 2024-07-08 18:23:03 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 18:23:53 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:24:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:26:42 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-08 18:28:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 18:29:10 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:30:11 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:30:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:32:34 +0200 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) |
| 2024-07-08 18:35:35 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 18:37:48 +0200 | barryfm | (~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 +0200 | barryfm | (~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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-08 18:52:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-08 18:53:01 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:54:24 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:54:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 19:04:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 19:05:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 19:08:44 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-07-08 19:11:05 +0200 | pavonia | (~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 +0200 | Square | (~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 +0200 | cfricke | (~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 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 19:26:13 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 19:32:23 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 264 seconds) |
| 2024-07-08 19:34:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-08 19:36:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 19:36:32 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 19:53:17 +0200 | Square | (~Square@user/square) |
| 2024-07-08 19:53:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 19:54:42 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 20:00:35 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2024-07-08 20:03:09 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 268 seconds) |
| 2024-07-08 20:05:28 +0200 | leeb | (~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 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 20:18:10 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 246 seconds) |
| 2024-07-08 20:19:01 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 20:21:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-07-08 20:21:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-08 20:32:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-08 20:32:17 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 20:32:34 +0200 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) |
| 2024-07-08 20:35:03 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-08 20:36:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 20:39:09 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 20:39:35 +0200 | danse-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 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-08 20:46:50 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-08 20:48:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-08 20:49:18 +0200 | gmg | (~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 +0200 | gmg | (~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 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-08 21:04:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:04:12 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:04:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:07:08 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:07:48 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:12:07 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 21:17:39 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-08 21:27:11 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:27:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:32:52 +0200 | <bwe> | mauke: yep, I'll follow that! |
| 2024-07-08 21:33:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-08 21:54:31 +0200 | yin | (~yin@user/zero) |
| 2024-07-08 21:55:47 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 21:58:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-08 22:18:42 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-08 22:21:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-08 22:22:35 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 260 seconds) |
| 2024-07-08 22:23:07 +0200 | danse-nr3 | (~danse-nr3@151.37.150.133) |
| 2024-07-08 22:28:11 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-08 22:33:12 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-07-08 22:33:53 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-08 22:34:33 +0200 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 22:35:08 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 22:41:38 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 22:41:54 +0200 | hueso | (~root@user/hueso) |
| 2024-07-08 22:44:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 22:50:17 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-08 22:55:26 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 22:55:35 +0200 | danse-nr3 | (~danse-nr3@151.37.150.133) (Remote host closed the connection) |
| 2024-07-08 22:56:00 +0200 | danse-nr3 | (~danse-nr3@151.37.150.133) |
| 2024-07-08 22:57:46 +0200 | danse-nr3 | (~danse-nr3@151.37.150.133) (Read error: Connection reset by peer) |
| 2024-07-08 23:00:31 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 23:00:51 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-08 23:01:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-08 23:03:36 +0200 | AlexZenon | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-08 23:09:50 +0200 | AlexZenon | (~alzenon@5.139.232.6) |
| 2024-07-08 23:12:16 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 23:16:36 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
| 2024-07-08 23:17:32 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 256 seconds) |
| 2024-07-08 23:24:50 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-08 23:36:38 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 23:43:52 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-08 23:48:04 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-08 23:52:02 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-08 23:58:56 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 23:59:14 +0200 | euleritian | (~euleritia@77.22.252.56) |