| 2024-07-08 00:29:55 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21) |
| 2024-07-08 00:31:57 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-08 00:33:27 +0000 | califax | (~califax@user/califx) |
| 2024-07-08 00:42:09 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 00:47:30 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-08 00:47:31 +0000 | puke | Guest8981 |
| 2024-07-08 00:47:31 +0000 | Guest8981 | (~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-07-08 00:47:31 +0000 | pyooque | puke |
| 2024-07-08 00:48:05 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-08 00:50:33 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 00:51:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c64a:ce6b:6071:dfe5) (Ping timeout: 256 seconds) |
| 2024-07-08 01:05:39 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-07-08 01:15:25 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.6) |
| 2024-07-08 01:18:36 +0000 | AlexZenon | (~alzenon@178.34.160.84) (Ping timeout: 268 seconds) |
| 2024-07-08 01:19:07 +0000 | AlexNoo | (~AlexNoo@178.34.160.84) (Ping timeout: 256 seconds) |
| 2024-07-08 01:22:31 +0000 | AlexZenon | (~alzenon@5.139.232.6) |
| 2024-07-08 01:24:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-07-08 01:30:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 01:37:16 +0000 | <lain`> | i wish there was decent documentation for anything |
| 2024-07-08 01:41:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-07-08 01:42:30 +0000 | hueso | (~root@user/hueso) |
| 2024-07-08 01:51:54 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 268 seconds) |
| 2024-07-08 01:52:12 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-08 02:03:48 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 256 seconds) |
| 2024-07-08 02:04:12 +0000 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-08 02:04:26 +0000 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-08 02:05:24 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-08 02:16:07 +0000 | <probie> | lain`: What counts as decent documentation? |
| 2024-07-08 02:19:19 +0000 | <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 02:19:25 +0000 | <lain`> | probie: ^ |
| 2024-07-08 02:19:39 +0000 | <lain`> | s/for/from |
| 2024-07-08 02:20:32 +0000 | <lain`> | this is good documentation, imo https://learn.microsoft.com/en-us/dotnet/orleans/grains/observers |
| 2024-07-08 02:23:18 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-07-08 02:24:25 +0000 | <lain`> | or this https://hexdocs.pm/ecto/getting-started.html |
| 2024-07-08 02:30:36 +0000 | <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 02:33:57 +0000 | <lain`> | yeah, there are some exceptions |
| 2024-07-08 02:34:05 +0000 | <joeyadams> | For sure. What bad example did you run across? |
| 2024-07-08 02:34:34 +0000 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 246 seconds) |
| 2024-07-08 02:35:00 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-08 02:35:01 +0000 | puke | Guest1123 |
| 2024-07-08 02:35:01 +0000 | pyooque | puke |
| 2024-07-08 02:35:42 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 02:36:27 +0000 | td_ | (~td@i53870918.versanet.de) |
| 2024-07-08 02:36:31 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-08 02:36:32 +0000 | puke | Guest2023 |
| 2024-07-08 02:36:32 +0000 | pyooque | puke |
| 2024-07-08 02:38:09 +0000 | Guest1123 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 02:40:00 +0000 | Guest2023 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 02:43:59 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 02:45:38 +0000 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-07-08 02:45:55 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-08 02:52:19 +0000 | <lain`> | it wasn't just one, but the lens and mtl documentation aren't ideal imo |
| 2024-07-08 02:54:25 +0000 | <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 02:54:31 +0000 | <lain`> | in general |
| 2024-07-08 03:04:47 +0000 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 03:05:05 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 03:09:37 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 03:10:13 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 03:11:51 +0000 | aforemny | (~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53) |
| 2024-07-08 03:13:07 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc4:ed00:8551:e69c:b7dd:ec64) (Ping timeout: 260 seconds) |
| 2024-07-08 03:16:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-08 03:18:14 +0000 | xdminsy | (~xdminsy@117.147.70.227) (Ping timeout: 268 seconds) |
| 2024-07-08 03:19:07 +0000 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-08 03:27:35 +0000 | <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 03:27:55 +0000 | <EvanR> | as god intended |
| 2024-07-08 03:44:45 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-07-08 03:44:53 +0000 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) |
| 2024-07-08 03:48:37 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-08 03:51:31 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-08 03:51:31 +0000 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2024-07-08 03:51:31 +0000 | pyooque | puke |
| 2024-07-08 03:51:41 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-07-08 04:07:04 +0000 | puke | Guest7691 |
| 2024-07-08 04:07:04 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-08 04:07:04 +0000 | Guest7691 | (~puke@user/puke) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-07-08 04:07:04 +0000 | pyooque | puke |
| 2024-07-08 04:08:39 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-07-08 04:11:58 +0000 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 04:12:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 04:13:26 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-07-08 04:19:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 04:19:55 +0000 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-07-08 04:25:16 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7a48:d908:3a13:a68a) |
| 2024-07-08 04:27:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 04:55:59 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-08 05:08:16 +0000 | <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 05:12:41 +0000 | <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 05:13:28 +0000 | <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 05:18:27 +0000 | <lain`> | the lens readme doesn't even say what a lens *is*. |
| 2024-07-08 05:24:09 +0000 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-08 05:25:02 +0000 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) |
| 2024-07-08 05:28:26 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-08 05:28:43 +0000 | <Axman6> | What is a lens? |
| 2024-07-08 05:28:46 +0000 | califax | (~califax@user/califx) |
| 2024-07-08 05:29:17 +0000 | <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 05:29:43 +0000 | <haskellbridge> | <maerwald> lain`: https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Lens.html#v:lens |
| 2024-07-08 05:29:48 +0000 | <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 05:30:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-08 05:30:35 +0000 | <haskellbridge> | <maerwald> Axman6: don't agree |
| 2024-07-08 05:30:56 +0000 | <haskellbridge> | <maerwald> The documentation of lens just isn't very good for beginners |
| 2024-07-08 05:31:00 +0000 | <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 05:31:33 +0000 | <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 05:31:45 +0000 | <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 05:31:58 +0000 | <Axman6> | Yep |
| 2024-07-08 05:32:07 +0000 | <lain`> | i mean |
| 2024-07-08 05:32:14 +0000 | <lain`> | what does "beginner" even mean |
| 2024-07-08 05:32:17 +0000 | <haskellbridge> | <maerwald> But you can write a beginner friendly lens library |
| 2024-07-08 05:32:22 +0000 | <lain`> | beginner to haskell? |
| 2024-07-08 05:32:28 +0000 | <jackdk> | https://diataxis.fr/ has an interesting breakdown on the front page, differentiating "tutorials", "how-to guides", "explanations" and "reference material" |
| 2024-07-08 05:32:58 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) |
| 2024-07-08 05:33:51 +0000 | <haskellbridge> | <maerwald> lain`: Someone who isn't into the academic foundations of lenses. |
| 2024-07-08 05:36:28 +0000 | <lain`> | i mean, i feel like that's kind of just an excuse to provide poor documentation |
| 2024-07-08 05:38:08 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 05:38:29 +0000 | <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 05:40:10 +0000 | <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 05:40:54 +0000 | <lain`> | and i think even for people who understand it, good documentation will make it easier to learn the library |
| 2024-07-08 05:41:22 +0000 | <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 05:50:35 +0000 | <haskellbridge> | <maerwald> The maintainer of lens gives away commit rights willingly. So you probably can contribute such documentation easily |
| 2024-07-08 05:51:06 +0000 | <haskellbridge> | <maerwald> But I doubt that will happen without an engaged contributor who cares about this specifically |
| 2024-07-08 06:02:23 +0000 | <haskellbridge> | <sm> optics is a lens alternative with good docs, I've heard |
| 2024-07-08 06:03:20 +0000 | <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 06:03:24 +0000 | <haskellbridge> | <sm> more generally I think some haskell libs with good docs do exist, |
| 2024-07-08 06:06:43 +0000 | <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 06:11:04 +0000 | <haskellbridge> | <sm> * package reviews and ecosystem |
| 2024-07-08 06:11:24 +0000 | <haskellbridge> | <sm> oops, irc, sorry |
| 2024-07-08 06:12:31 +0000 | <haskellbridge> | <sm> though with the latest bridge I seem to remember the policy was that matrix edits are fine |
| 2024-07-08 06:12:57 +0000 | <jackdk> | They show up as additional messages but at least it's clear that it's an edit. |
| 2024-07-08 06:15:01 +0000 | <haskellbridge> | <maerwald> jackdk: optics support van laarhoven too. So you can still do that as a library author |
| 2024-07-08 06:15:33 +0000 | <jackdk> | so it means that VL optics are usable by both? good to know |
| 2024-07-08 06:16:31 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-08 06:22:37 +0000 | <haskellbridge> | <maerwald> https://hackage.haskell.org/package/optics-vl-0.2.1/docs/Optics-VL.html |
| 2024-07-08 06:31:52 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 06:36:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 06:43:45 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 06:51:26 +0000 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-08 06:51:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 07:05:01 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:868f:b358:437f:3a21) (Quit: Leaving) |
| 2024-07-08 07:06:07 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 07:06:54 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 07:10:09 +0000 | kenran | (~user@user/kenran) |
| 2024-07-08 07:12:04 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-08 07:15:06 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-08 07:15:36 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 07:15:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-07-08 07:16:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 07:16:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 07:28:24 +0000 | xdminsy | (~xdminsy@117.147.70.227) (Read error: Connection reset by peer) |
| 2024-07-08 07:29:12 +0000 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-08 07:29:43 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 07:36:05 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-08 07:43:51 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-08 07:55:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-07-08 07:56:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-07-08 07:56:37 +0000 | euleritian | (~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de) |
| 2024-07-08 08:05:48 +0000 | AlexNoo__ | (~AlexNoo@5.139.232.6) |
| 2024-07-08 08:06:17 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) |
| 2024-07-08 08:06:19 +0000 | ubert1 | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) |
| 2024-07-08 08:07:16 +0000 | mikess_ | (~mikess@user/mikess) |
| 2024-07-08 08:07:25 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-08 08:07:34 +0000 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2024-07-08 08:07:49 +0000 | terrorjack7 | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-08 08:07:50 +0000 | AlexNoo__ | AlexNoo |
| 2024-07-08 08:07:56 +0000 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-08 08:08:02 +0000 | teesquare | (~teesquare@user/teesquare) |
| 2024-07-08 08:08:08 +0000 | swistak- | (~swistak@185.21.216.141) |
| 2024-07-08 08:08:37 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-08 08:09:01 +0000 | _[_________]_ | (~oos95GWG@user/oos95GWG) |
| 2024-07-08 08:09:04 +0000 | aforemny | (~aforemny@2001:9e8:6ce5:1500:7cdb:cdf7:8d8:ba53) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:04 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:04 +0000 | ubert | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:04 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-07-08 08:09:04 +0000 | teesquare_ | (~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-07-08 08:09:05 +0000 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
| 2024-07-08 08:09:05 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Read error: Connection reset by peer) |
| 2024-07-08 08:09:05 +0000 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
| 2024-07-08 08:09:05 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-07-08 08:09:05 +0000 | aforemny | (~aforemny@i59F516FB.versanet.de) |
| 2024-07-08 08:09:06 +0000 | ubert1 | ubert |
| 2024-07-08 08:09:07 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:07 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:08 +0000 | terrorjack7 | terrorjack |
| 2024-07-08 08:09:08 +0000 | op_4_ | op_4 |
| 2024-07-08 08:09:17 +0000 | xstill_ | (xstill@fimu/xstill) |
| 2024-07-08 08:09:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:19 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.6) (Ping timeout: 268 seconds) |
| 2024-07-08 08:09:20 +0000 | sprout | (~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2024-07-08 08:10:07 +0000 | sprout | (~quassel@2a02-a448-3a80-0-b42c-a95b-6a4b-b4d1.fixed6.kpn.net) |
| 2024-07-08 08:16:06 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 08:20:54 +0000 | chele | (~chele@user/chele) |
| 2024-07-08 08:24:43 +0000 | danse-nr3 | (~danse-nr3@151.37.217.77) |
| 2024-07-08 08:31:28 +0000 | _[_________]_ | (~oos95GWG@user/oos95GWG) (Quit: _[_________]_) |
| 2024-07-08 08:31:37 +0000 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2024-07-08 08:33:04 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 08:38:07 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 08:40:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-08 09:04:31 +0000 | <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 09:06:43 +0000 | reki | (~reki@5.142.41.78) |
| 2024-07-08 09:08:44 +0000 | reki | (~reki@5.142.41.78) (Client Quit) |
| 2024-07-08 09:08:59 +0000 | <danse-nr3> | simple lenses can be considered as dry "getters/setters/modifiers" |
| 2024-07-08 09:11:43 +0000 | <mreh> | any Reflexers in the chat that use obelisk? |
| 2024-07-08 09:14:40 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 09:14:54 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 09:15:40 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 09:16:35 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal) |
| 2024-07-08 09:17:19 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 09:17:38 +0000 | <danse-nr3> | "reflexers"... that's not a query yielding many results |
| 2024-07-08 09:18:55 +0000 | <mreh> | danse-nr3: It's a *sharp intake of breath* web framework. https://reflex-frp.org/ |
| 2024-07-08 09:19:03 +0000 | cpressey | (~weechat@176.254.71.203) (Client Quit) |
| 2024-07-08 09:19:36 +0000 | <danse-nr3> | i know what it is but thanks |
| 2024-07-08 09:20:08 +0000 | <danse-nr3> | i just meant it's unlikely many of us specialise in that, you'd better target obelisk users probably |
| 2024-07-08 09:20:35 +0000 | <mreh> | #reflex-frp isn't a thing on here, I might have to go over to the dark side |
| 2024-07-08 09:20:53 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 09:22:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb54f9d6478c2267a5ca.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-07-08 09:24:17 +0000 | <jackdk> | There's a pretty quiet channel for it |
| 2024-07-08 09:25:57 +0000 | <danse-nr3> | segregation does not seem to work in too little groups does it |
| 2024-07-08 09:27:28 +0000 | <jackdk> | I think spawning channels is best when you have a lot of chatter for the new topic |
| 2024-07-08 09:32:31 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2024-07-08 09:36:21 +0000 | reki | (~reki@5.142.41.78) |
| 2024-07-08 09:36:47 +0000 | reki | (~reki@5.142.41.78) (Client Quit) |
| 2024-07-08 09:41:19 +0000 | kuribas | (~user@ptr-17d51emdouonjysweaf.18120a2.ip6.access.telenet.be) |
| 2024-07-08 09:48:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-08 09:55:11 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: leaving) |
| 2024-07-08 09:55:27 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 09:55:28 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-07-08 09:55:38 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 09:56:55 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-08 09:57:23 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-08 10:00:18 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 10:05:27 +0000 | euleritian | (~euleritia@dynamic-176-003-012-174.176.3.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-07-08 10:05:50 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 10:09:24 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-08 10:09:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb54ed0c585686c79895.dip0.t-ipconnect.de) |
| 2024-07-08 10:19:23 +0000 | danse-nr3 | (~danse-nr3@151.37.217.77) (Quit: Leaving) |
| 2024-07-08 10:23:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-08 10:25:38 +0000 | danse-nr3 | (~danse-nr3@151.37.217.77) |
| 2024-07-08 10:32:46 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 10:33:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 10:37:36 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-07-08 10:42:47 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-08 10:46:06 +0000 | Inst | (~Inst@user/Inst) |
| 2024-07-08 10:51:41 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-08 10:57:03 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-08 10:58:34 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 11:04:08 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2024-07-08 11:04:09 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 11:09:30 +0000 | danse-nr3 | (~danse-nr3@151.37.217.77) (Ping timeout: 256 seconds) |
| 2024-07-08 11:20:03 +0000 | mikess_ | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-08 11:29:04 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-07-08 11:31:06 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-08 11:31:38 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-08 11:33:09 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 2024-07-08 11:36:08 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 11:36:23 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 11:37:02 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 11:38:19 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 11:41:26 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 11:49:03 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 11:51:46 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 11:58:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-07-08 11:59:13 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 11:59:53 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 12:01:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-08 12:07:08 +0000 | puke | (~puke@user/puke) |
| 2024-07-08 12:14:07 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-08 12:18:41 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 12:19:54 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-08 12:20:36 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 12:20:47 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 12:20:53 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 12:23:45 +0000 | danse-nr3 | (~danse-nr3@151.37.184.212) |
| 2024-07-08 12:31:50 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 12:32:15 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 12:36:56 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-08 12:43:11 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-07-08 12:46:51 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 12:48:39 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 268 seconds) |
| 2024-07-08 12:49:11 +0000 | TonyStone | (~TonyStone@user/TonyStone) (Ping timeout: 264 seconds) |
| 2024-07-08 13:02:22 +0000 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-07-08 13:15:47 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-07-08 13:17:52 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-07-08 13:20:19 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 13:20:58 +0000 | danse-nr3 | (~danse-nr3@151.37.184.212) (Ping timeout: 256 seconds) |
| 2024-07-08 13:35:45 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 13:36:51 +0000 | <cheater> | mreh: what dark side? |
| 2024-07-08 13:37:07 +0000 | <cheater> | Axman6: lens types absolutely suck. they tell me nothing |
| 2024-07-08 13:37:15 +0000 | <cheater> | lens types are 100% meme types |
| 2024-07-08 13:37:36 +0000 | <cheater> | they're a rolling joke any time someone brings up "self-documenting types" |
| 2024-07-08 13:38:31 +0000 | <cheater> | running joke |
| 2024-07-08 13:38:39 +0000 | <cheater> | wow that was an epic typo |
| 2024-07-08 13:38:56 +0000 | ystael | (~ystael@user/ystael) |
| 2024-07-08 13:41:19 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-07-08 13:44:09 +0000 | <cheater> | maerwald: what is VL useful for? |
| 2024-07-08 13:49:08 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-07-08 13:54:45 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 13:54:46 +0000 | puke | (~puke@user/puke) |
| 2024-07-08 13:58:20 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2024-07-08 14:00:05 +0000 | <haskellbridge> | <magic_rb> lens type are selfdocumenting, if you understand how lenses are built |
| 2024-07-08 14:00:29 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 14:01:12 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 14:02:07 +0000 | <ncf> | most combinators with confusing type signatures have human-readable types spelt out in the documentation |
| 2024-07-08 14:02:37 +0000 | <ncf> | like uh... confusing https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Combinators.html#v:confusing |
| 2024-07-08 14:02:55 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 14:03:37 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 14:04:04 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-07-08 14:04:40 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 14:04:48 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 14:06:57 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 14:07:04 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 14:07:05 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 14:07:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 14:07:34 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 14:09:09 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Ping timeout: 255 seconds) |
| 2024-07-08 14:09:26 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2024-07-08 14:10:28 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 264 seconds) |
| 2024-07-08 14:11:24 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-08 14:25:11 +0000 | cfricke_ | (~cfricke@user/cfricke) |
| 2024-07-08 14:26:22 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-07-08 14:27:31 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2024-07-08 14:29:27 +0000 | ystael | (~ystael@user/ystael) |
| 2024-07-08 14:35:23 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-07-08 14:41:10 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-08 14:42:20 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 14:42:43 +0000 | Square | (~Square@user/square) |
| 2024-07-08 14:44:47 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-07-08 14:45:22 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-08 14:47:02 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-08 14:52:21 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) |
| 2024-07-08 14:53:19 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 14:58:51 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 14:58:51 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-08 15:00:57 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-08 15:03:57 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3) |
| 2024-07-08 15:04:12 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) |
| 2024-07-08 15:04:45 +0000 | danse-nr3 | (~danse-nr3@151.37.184.212) |
| 2024-07-08 15:14:51 +0000 | ubert1 | (~Thunderbi@p200300ecdf008f249faca444b85a825e.dip0.t-ipconnect.de) |
| 2024-07-08 15:15:15 +0000 | ubert | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-07-08 15:15:15 +0000 | ubert1 | ubert |
| 2024-07-08 15:27:19 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-08 15:28:54 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2024-07-08 15:31:11 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-08 15:38:21 +0000 | <haskellbridge> | <thirdofmay18081814goya> is there a functional parser pattern that is not a recursive descent parser? |
| 2024-07-08 15:38:52 +0000 | <sprout> | there are parser combinator libraries that build bottom-up parsers |
| 2024-07-08 15:39:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-07-08 15:40:21 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) |
| 2024-07-08 15:40:56 +0000 | <EvanR> | see also monoidal parsers |
| 2024-07-08 15:41:11 +0000 | <haskellbridge> | <thirdofmay18081814goya> ty for references! |
| 2024-07-08 15:41:18 +0000 | robotsnowfall | (~robotsnow@user/robotsnowfall) () |
| 2024-07-08 15:41:39 +0000 | <sprout> | https://hackage.haskell.org/package/grammar-combinators |
| 2024-07-08 15:42:02 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-08 15:42:03 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-08 15:42:03 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-08 15:42:15 +0000 | <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 15:44:55 +0000 | euleritian | (~euleritia@dynamic-176-001-143-010.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-07-08 15:45:12 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 15:47:19 +0000 | cfricke_ | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-07-08 15:49:43 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 15:50:28 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 15:51:31 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-07-08 15:57:56 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-07-08 15:59:03 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 16:05:23 +0000 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-08 16:07:36 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 16:07:50 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 16:08:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 16:17:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 16:18:59 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 16:19:49 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3) |
| 2024-07-08 16:22:38 +0000 | danse-nr3 | (~danse-nr3@151.37.184.212) (Ping timeout: 268 seconds) |
| 2024-07-08 16:23:03 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 16:23:53 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 16:24:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 16:26:42 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-08 16:28:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 16:29:10 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 16:30:11 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 16:30:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 16:32:34 +0000 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) |
| 2024-07-08 16:35:35 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 16:37:48 +0000 | barryfm | (~barry@2603-9001-5200-3c11-6ab3-218a-469b-f5cd.inf6.spectrum.com) |
| 2024-07-08 16:42:51 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 16:45:52 +0000 | 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 16:52:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-08 16:52:45 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-08 16:53:01 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 16:54:24 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 16:54:43 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 17:04:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 17:05:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 17:08:44 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-07-08 17:11:05 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-08 17:11:28 +0000 | <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 17:12:23 +0000 | <monochrom> | OTOH even with a polymorphic type, it can be difficult to deduce what it does. |
| 2024-07-08 17:13:35 +0000 | <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 17:14:49 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-07-08 17:17:11 +0000 | <danse-nr3> | you are paraphrasing with othe formulae basically. Makes sense |
| 2024-07-08 17:17:18 +0000 | <EvanR> | map f [a, b, c] = f a : map f [b, c] |
| 2024-07-08 17:17:34 +0000 | <danse-nr3> | i like monochrom's one better |
| 2024-07-08 17:18:03 +0000 | <EvanR> | it's easier to understand but not generally what would match operational semantics |
| 2024-07-08 17:19:06 +0000 | <danse-nr3> | right well depends the focus of what one is explaining at a given moment |
| 2024-07-08 17:20:23 +0000 | <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 17:21:10 +0000 | <danse-nr3> | i mean communication is a matter of circumstance, there is no "one size fits all" |
| 2024-07-08 17:21:56 +0000 | <monochrom> | Yeah. An exception is "sort alphabetically" is way better than formalizing it. :) |
| 2024-07-08 17:22:33 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 17:22:47 +0000 | <monochrom> | But it is because the audience has experience with sorting. You build upon what they already know. |
| 2024-07-08 17:23:27 +0000 | <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 17:24:23 +0000 | <ncf> | https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wunused-bi… |
| 2024-07-08 17:25:50 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 17:26:13 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 17:32:23 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 264 seconds) |
| 2024-07-08 17:34:31 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-08 17:36:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 17:36:32 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 17:53:17 +0000 | Square | (~Square@user/square) |
| 2024-07-08 17:53:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 17:54:42 +0000 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 18:00:35 +0000 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2024-07-08 18:03:09 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 268 seconds) |
| 2024-07-08 18:05:28 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2024-07-08 18:10:51 +0000 | <mauke> | bwe: use explicit export lists in your modules and compile with ghc -Wall |
| 2024-07-08 18:11:31 +0000 | <mauke> | can confirm that HLS definitely detects them as well |
| 2024-07-08 18:13:01 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 18:18:10 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 246 seconds) |
| 2024-07-08 18:19:01 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 18:21:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-07-08 18:21:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-08 18:32:03 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-08 18:32:17 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:32:34 +0000 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:35:03 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-08 18:36:56 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 18:39:09 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 18:39:35 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 18:39:48 +0000 | <EvanR> | a formula is worth a million words. Which is more words than there are in the dictionary |
| 2024-07-08 18:40:13 +0000 | <EvanR> | so formulas aren't worth as much as you think |
| 2024-07-08 18:45:43 +0000 | <danse-nr3> | huh maybe that includes other languages |
| 2024-07-08 18:46:10 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-08 18:46:50 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-08 18:48:26 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-08 18:49:18 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 18:56:30 +0000 | <danse-nr3> | people agreed upon math across languages after all |
| 2024-07-08 18:57:45 +0000 | <EvanR> | to an extent, like a "positive" number in french is >= 0 |
| 2024-07-08 18:57:46 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-08 18:59:09 +0000 | <danse-nr3> | didn't know the sign of 0 was a national thing |
| 2024-07-08 18:59:51 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-08 19:04:00 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 19:04:12 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 19:04:54 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 19:07:08 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 19:07:48 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 19:12:07 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 19:17:39 +0000 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-08 19:27:11 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 19:27:54 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 19:32:52 +0000 | <bwe> | mauke: yep, I'll follow that! |
| 2024-07-08 19:33:49 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-08 19:54:31 +0000 | yin | (~yin@user/zero) |
| 2024-07-08 19:55:47 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 19:58:49 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-08 20:18:42 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-08 20:21:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-08 20:22:35 +0000 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 260 seconds) |
| 2024-07-08 20:23:07 +0000 | danse-nr3 | (~danse-nr3@151.37.150.133) |
| 2024-07-08 20:28:11 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-08 20:33:12 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-07-08 20:33:53 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-08 20:34:33 +0000 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 20:35:08 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 20:41:38 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 20:41:54 +0000 | hueso | (~root@user/hueso) |
| 2024-07-08 20:44:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 20:50:17 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-08 20:55:26 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 20:55:35 +0000 | danse-nr3 | (~danse-nr3@151.37.150.133) (Remote host closed the connection) |
| 2024-07-08 20:56:00 +0000 | danse-nr3 | (~danse-nr3@151.37.150.133) |
| 2024-07-08 20:57:46 +0000 | danse-nr3 | (~danse-nr3@151.37.150.133) (Read error: Connection reset by peer) |
| 2024-07-08 21:00:31 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) |
| 2024-07-08 21:00:51 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-08 21:01:23 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-08 21:03:36 +0000 | AlexZenon | (~alzenon@5.139.232.6) (Ping timeout: 255 seconds) |
| 2024-07-08 21:05:04 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 2024-07-08 21:09:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-08 21:09:50 +0000 | AlexZenon | (~alzenon@5.139.232.6) |
| 2024-07-08 21:12:16 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 21:16:36 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
| 2024-07-08 21:17:32 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 256 seconds) |
| 2024-07-08 21:24:50 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-08 21:36:38 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 21:43:52 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-08 21:48:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-08 21:52:02 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-08 21:58:56 +0000 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 21:59:14 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-08 22:00:57 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Quit: done testing) |
| 2024-07-08 22:02:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb54ed0c585686c79895.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-08 22:07:58 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-08 22:08:36 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 22:09:07 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-07-08 22:09:46 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-08 22:14:36 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-07-08 22:14:45 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-08 22:16:06 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-08 22:16:06 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 252 seconds) |
| 2024-07-08 22:18:47 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-08 22:19:11 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-08 22:19:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 22:20:18 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-07-08 22:23:54 +0000 | kuribas | (~user@ptr-17d51emdouonjysweaf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-07-08 22:24:44 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-08 22:28:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 22:29:36 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 22:41:16 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-08 22:46:10 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 22:48:32 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-08 22:51:55 +0000 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-08 22:55:58 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-08 23:03:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-08 23:15:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 23:15:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 23:15:58 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-08 23:27:28 +0000 | <haskellbridge> | <thirdofmay18081814goya> anyone know of an actual backend's source code somewhere i can look at |
| 2024-07-08 23:27:32 +0000 | <haskellbridge> | <thirdofmay18081814goya> in haskell |
| 2024-07-08 23:29:36 +0000 | <Axman6> | backend of what? |
| 2024-07-08 23:31:19 +0000 | <haskellbridge> | <thirdofmay18081814goya> web page |
| 2024-07-08 23:31:49 +0000 | <haskellbridge> | <thirdofmay18081814goya> webserver/db/effect system |
| 2024-07-08 23:31:55 +0000 | <haskellbridge> | <thirdofmay18081814goya> +with |
| 2024-07-08 23:32:57 +0000 | <haskellbridge> | <thirdofmay18081814goya> * system/etc |
| 2024-07-08 23:37:39 +0000 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-07-08 23:39:36 +0000 | <davean> | Many of the xkcd April 1st comics are open sourced. They're all rush jobs but they're open sourced. I wouldn't call them ideal examples - nothing put together with a few days from concept to release is anything but shortcuts, but they're out there. |
| 2024-07-08 23:43:06 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
| 2024-07-08 23:46:19 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-08 23:46:52 +0000 | yin | (~yin@user/zero) |
| 2024-07-08 23:47:38 +0000 | <cheater> | they're in haskell? |
| 2024-07-08 23:47:48 +0000 | <cheater> | davean: |
| 2024-07-08 23:48:26 +0000 | <davean> | Yes? |
| 2024-07-08 23:48:37 +0000 | <cheater> | oh cool |
| 2024-07-08 23:50:35 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Quit: wrong site) |
| 2024-07-08 23:51:48 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-08 23:52:10 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
| 2024-07-08 23:52:46 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Remote host closed the connection) |
| 2024-07-08 23:56:47 +0000 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
| 2024-07-08 23:59:28 +0000 | <xacktm> | there's 3 backend haskell examples for http://realworld.io |