| 2024-05-24 00:01:23 +0200 | johnw_ | johnw |
| 2024-05-24 00:02:44 +0200 | Square2 | (~Square4@user/square) (Read error: Connection reset by peer) |
| 2024-05-24 00:03:01 +0200 | Square | (~Square4@user/square) |
| 2024-05-24 00:04:24 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2024-05-24 00:09:50 +0200 | pyooque | (~puke@user/puke) |
| 2024-05-24 00:09:50 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2024-05-24 00:09:50 +0200 | pyooque | puke |
| 2024-05-24 00:10:27 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-24 00:11:26 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) |
| 2024-05-24 00:13:48 +0200 | AlexZenon | (~alzenon@178.34.163.203) (Ping timeout: 260 seconds) |
| 2024-05-24 00:14:38 +0200 | puke | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2024-05-24 00:14:59 +0200 | AlexNoo | (~AlexNoo@178.34.163.203) (Ping timeout: 264 seconds) |
| 2024-05-24 00:15:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 00:15:22 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-05-24 00:19:32 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-24 00:21:52 +0200 | AlexZenon | (~alzenon@5.139.233.209) |
| 2024-05-24 00:26:29 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 240 seconds) |
| 2024-05-24 00:28:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-24 00:29:53 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-24 00:32:46 +0200 | acidjnk | (~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-24 00:33:20 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 00:38:05 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
| 2024-05-24 00:42:24 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-24 00:43:57 +0200 | mailman | (~mailman@192.210.255.35) |
| 2024-05-24 00:47:33 +0200 | <raehik> | Hi folks. I'm writing a type-level string parser library. I want to compare my design before committing to writing lots of horrid singletons. Are there any super simple string parser combinator libs out there? Where the parser runner is extremely simple and conducive to reifying to type-level |
| 2024-05-24 00:50:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 00:54:27 +0200 | <raehik> | oh my gosh it looks like I accidentally landed on Parsec's design. but the code isn't well documented at all :( |
| 2024-05-24 00:55:17 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
| 2024-05-24 01:03:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 01:19:38 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-24 01:20:11 +0200 | mailman | (~mailman@192.210.255.35) (Killed (ozone (No Spam))) |
| 2024-05-24 01:20:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-24 01:21:53 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-05-24 01:22:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-24 01:28:50 +0200 | <lisbeths> | if this is a channel where it is against the rules to question the legitimacy of the University system then please ban me now |
| 2024-05-24 01:32:07 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 01:34:31 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 01:44:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds) |
| 2024-05-24 01:53:23 +0200 | <glguy> | raehik: Super simple? there's https://hackage.haskell.org/package/yoctoparsec-0.1.0.0/docs/Control-Monad-Yoctoparsec.html |
| 2024-05-24 01:53:57 +0200 | <glguy> | https://hackage.haskell.org/package/base-4.20.0.0/docs/Text-ParserCombinators-ReadP.html is simpler than parsec |
| 2024-05-24 01:54:12 +0200 | <geekosaur> | lisbeths, it's not against the rules but it's probably a better fit for #haskell-offtopic |
| 2024-05-24 01:54:24 +0200 | <geekosaur> | and you wouldn't be the first one to do so there |
| 2024-05-24 01:54:33 +0200 | mailman | (~mailman@116.71.182.98) |
| 2024-05-24 01:55:26 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) (Read error: Connection reset by peer) |
| 2024-05-24 01:55:50 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.209) |
| 2024-05-24 01:57:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) |
| 2024-05-24 02:06:03 +0200 | <raehik> | glguy: Thanks for those. ReadP is more complex than I thought, 5 different result constructors |
| 2024-05-24 02:06:44 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2024-05-24 02:06:48 +0200 | <raehik> | yoctoparsec is a bit too abstract for me to consider how it would look type-level |
| 2024-05-24 02:07:11 +0200 | shoggouth | (uid607148@user/shoggouth) (Quit: Connection closed for inactivity) |
| 2024-05-24 02:09:14 +0200 | <glguy> | If you're ready to do type-level parser combinators at the type-level, you're ready to inline some type definitions to see what a simple case of yoctoparsec expands to |
| 2024-05-24 02:09:42 +0200 | <glguy> | (too many uses of type-level in that first fragment) |
| 2024-05-24 02:10:47 +0200 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-24 02:10:58 +0200 | <glguy> | You could rip out ReadP's biased choice operator, which would make the whole thing simpler to implement; kind of depends on what you're trying to do |
| 2024-05-24 02:11:52 +0200 | <glguy> | I did a version of ReadP a while back that had a nicer treatment of <++ that I think ReadP has https://github.com/glguy/breadth-first-parser-combinators/tree/master |
| 2024-05-24 02:12:26 +0200 | mailman | (~mailman@116.71.182.98) (Quit: Client closed) |
| 2024-05-24 02:12:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-24 02:13:09 +0200 | mailman | (~mailman@116.71.182.98) |
| 2024-05-24 02:17:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-24 02:18:14 +0200 | mailman83 | (~mailman@116.71.182.98) |
| 2024-05-24 02:19:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-24 02:19:09 +0200 | mailman83 | (~mailman@116.71.182.98) (Client Quit) |
| 2024-05-24 02:20:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2024-05-24 02:20:16 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-05-24 02:22:15 +0200 | <raehik> | glguy: true enough on yoctoparsec. I am lazy and was looking for concrete [Char] parsers |
| 2024-05-24 02:23:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 02:23:44 +0200 | <raehik> | I'm trying to design a nice simple type-level parser combinator lib. I think I want simple parsers to be very boring, and complex ones (like decision) I don't mind being slow |
| 2024-05-24 02:23:48 +0200 | mailman | (~mailman@116.71.182.98) (K-Lined) |
| 2024-05-24 02:28:49 +0200 | <raehik> | to be clear this already all exists I'm just reconsidering things https://github.com/raehik/symparsec |
| 2024-05-24 02:29:37 +0200 | <raehik> | set on this design with a small tweak to improve singling parser |
| 2024-05-24 02:29:46 +0200 | <raehik> | singling parsers* |
| 2024-05-24 02:32:47 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
| 2024-05-24 02:33:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) |
| 2024-05-24 02:53:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-24 03:01:54 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-05-24 03:27:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-24 03:31:26 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-24 03:41:41 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2024-05-24 03:43:38 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 252 seconds) |
| 2024-05-24 03:47:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 03:48:03 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) (Quit: Leaving) |
| 2024-05-24 03:55:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds) |
| 2024-05-24 03:56:41 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2024-05-24 03:58:44 +0200 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-24 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-24 04:00:09 +0200 | otto_s | (~user@p5de2f772.dip0.t-ipconnect.de) |
| 2024-05-24 04:00:53 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-24 04:02:08 +0200 | apache2 | (apache2@anubis.0x90.dk) |
| 2024-05-24 04:02:27 +0200 | quintasan_ | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-24 04:03:15 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-24 04:03:37 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2024-05-24 04:04:37 +0200 | apache | (apache2@anubis.0x90.dk) (Ping timeout: 272 seconds) |
| 2024-05-24 04:06:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 04:36:53 +0200 | nyc | (~nyc@user/nyc) |
| 2024-05-24 04:43:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-24 04:51:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 04:54:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 04:59:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 05:00:53 +0200 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 240 seconds) |
| 2024-05-24 05:01:37 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds) |
| 2024-05-24 05:03:01 +0200 | td_ | (~td@i53870918.versanet.de) |
| 2024-05-24 05:03:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 05:07:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-05-24 05:08:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 05:11:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 05:16:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-24 05:17:44 +0200 | aforemny_ | (~aforemny@i59F516E8.versanet.de) |
| 2024-05-24 05:19:11 +0200 | aforemny | (~aforemny@i59F516C7.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-24 05:19:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 05:22:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-24 05:23:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 05:29:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-24 05:30:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-24 05:59:17 +0200 | catties | Catty |
| 2024-05-24 06:01:08 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2024-05-24 06:06:49 +0200 | addfb3 | (~dante@user/addfb3) |
| 2024-05-24 06:07:58 +0200 | Perl_Lang | (~chatzilla@syn-074-128-212-200.res.spectrum.com) |
| 2024-05-24 06:08:11 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-24 06:08:16 +0200 | <Perl_Lang> | why nobody use me? :( |
| 2024-05-24 06:08:22 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-05-24 06:09:31 +0200 | addfb3 | (~dante@user/addfb3) (Client Quit) |
| 2024-05-24 06:10:40 +0200 | <monochrom> | I think a lot of people use you, just not in this channel. |
| 2024-05-24 06:11:41 +0200 | <Perl_Lang> | but nobody likes perl :'( |
| 2024-05-24 06:11:59 +0200 | <monochrom> | Oh that's a tall order. |
| 2024-05-24 06:12:09 +0200 | <monochrom> | Most programmers hate their jobs. |
| 2024-05-24 06:13:40 +0200 | <Perl_Lang> | be an inde developer and retire if you hate it tham much |
| 2024-05-24 06:14:20 +0200 | <monochrom> | Oh people hate not making enough money before retirement, too. |
| 2024-05-24 06:14:31 +0200 | <monochrom> | Yes the human condition is completely broken. |
| 2024-05-24 06:17:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-24 06:17:50 +0200 | <Perl_Lang> | ever tried to use a block api like google blockly to simplify your development? |
| 2024-05-24 06:19:08 +0200 | <glguy> | simplify how? the first example on https://developers.google.com/blockly is how much more complicated it is than the text version |
| 2024-05-24 06:19:46 +0200 | <monochrom> | Perhaps s/simplify/glorify/ |
| 2024-05-24 06:19:49 +0200 | michalz | (~michalz@185.246.207.217) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-24 06:19:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 06:20:15 +0200 | <glguy> | if it's on JavaScript by default you can further improve the example by switching it to Lua |
| 2024-05-24 06:20:30 +0200 | <Perl_Lang> | the library where you can configure the blocks, not the test site |
| 2024-05-24 06:22:27 +0200 | <monochrom> | I'm OK with positioning blocky as an education medium. |
| 2024-05-24 06:22:32 +0200 | michalz | (~michalz@185.246.207.215) |
| 2024-05-24 06:23:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 06:23:43 +0200 | Perl_Lang | (~chatzilla@syn-074-128-212-200.res.spectrum.com) () |
| 2024-05-24 06:24:08 +0200 | <glguy> | My experience with a blocky programming language was the kids immediately asking me how to do stuff that the blocks made hard that would have been possible with a simpler language |
| 2024-05-24 06:25:00 +0200 | <monochrom> | Yeah I would be less skeptical if the blocks stood for, say, FP constructs not imperative constructs. We already know that imperative programming doesn't work. |
| 2024-05-24 06:26:42 +0200 | <monochrom> | But given that someone still has to learn imperative programming and then do it for jobs because the world is broken, an education medium for learning it is much appreciated. |
| 2024-05-24 06:28:56 +0200 | <probie> | At the end of the day, _someone_ is always going to have to learn imperative programming, if only for doing codegen in the compiler (at least until our CPUs look very different) |
| 2024-05-24 06:30:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-24 06:30:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 06:31:57 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-24 06:32:17 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-24 06:36:12 +0200 | <monochrom> | For now I just have the dilemma of whether to inflict record sytnax on my students. :) |
| 2024-05-24 06:37:17 +0200 | <monochrom> | I am going to give them AVL tree insert and rebalancing as homework. It's much nicer with record syntax. But I don't want to teach them record syntax. :) |
| 2024-05-24 06:41:26 +0200 | <c_wraith> | just teach them lenses |
| 2024-05-24 06:41:49 +0200 | <monochrom> | :( >D |
| 2024-05-24 06:44:05 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-05-24 06:51:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-24 06:52:26 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) |
| 2024-05-24 06:52:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-24 06:53:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-05-24 06:54:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-24 06:57:22 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 06:57:50 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 07:02:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 07:05:05 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 07:05:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 07:14:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-24 07:18:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-24 07:20:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-24 07:27:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-24 07:27:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 07:30:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-24 07:33:37 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 07:34:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-24 07:34:23 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) |
| 2024-05-24 07:39:00 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-05-24 07:41:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-24 07:44:06 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 07:44:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 07:46:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 07:52:07 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-24 07:58:55 +0200 | acidjnk | (~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) |
| 2024-05-24 08:00:27 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2024-05-24 08:03:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-24 08:05:17 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Ping timeout: 240 seconds) |
| 2024-05-24 08:26:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 08:32:32 +0200 | Vajb | (~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 08:32:46 +0200 | <Axman6> | I remember there being a really nice way to express AVL(I think) tree rotations with a single function which took four arguments, and depending on which invariant you were fixing would determine which four arguments it needed... I wonder if I can find that again |
| 2024-05-24 08:33:41 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
| 2024-05-24 08:35:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 08:38:26 +0200 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-05-24 08:40:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 08:43:38 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 08:43:50 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
| 2024-05-24 08:46:24 +0200 | <Axman6> | maybe it was red-black trees. Either way, I can't find it :'( |
| 2024-05-24 08:46:40 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-05-24 08:48:35 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2024-05-24 08:48:39 +0200 | <opqdonut> | this? https://www.cs.tufts.edu/comp/150FP/archive/chris-okasaki/redblack99.pdf |
| 2024-05-24 08:50:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-24 08:50:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 08:53:27 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 08:59:50 +0200 | <Axman6> | Hmm, looks close, but I don't remember there being any use of or-patterns. But maybe I am just remembering `balance` on page 4 |
| 2024-05-24 09:00:27 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-24 09:00:58 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-05-24 09:02:46 +0200 | <[exa]> | Axman6: left leaning red black trees? |
| 2024-05-24 09:04:11 +0200 | <[exa]> | Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21 |
| 2024-05-24 09:04:36 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 09:04:47 +0200 | <[exa]> | does anyone know if there are haskell libraries/examples of this kind of relative monads? |
| 2024-05-24 09:05:05 +0200 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
| 2024-05-24 09:08:57 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 09:11:31 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-24 09:22:11 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2024-05-24 09:25:10 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-05-24 09:34:34 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-05-24 09:34:49 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-05-24 09:36:26 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-24 09:36:55 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 09:39:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-24 09:40:39 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-24 09:42:27 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-24 09:44:39 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 09:47:02 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 09:50:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-24 09:53:38 +0200 | <lortabac> | Is there a way to ask GHC how a particular instance is satisfied? Ideally I would like to have a -ddump-instance-resolution option, or -- even better -- a GHCI command that allows to query a specific instance. Since AFAIK GHC doesn't have these features, is there a trick/workaround to get at least some info? |
| 2024-05-24 09:59:59 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-05-24 10:05:52 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 10:06:50 +0200 | <danse-nr3> | sometimes i follow the #source links for instances in haddock, not sure whether that helps |
| 2024-05-24 10:08:07 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-24 10:09:55 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-24 10:12:04 +0200 | <danse-nr3> | (i have local hoogle and local haddock for the project i am working on. Can do without HLS but this is really helpful) |
| 2024-05-24 10:13:52 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-05-24 10:14:15 +0200 | chele | (~chele@user/chele) |
| 2024-05-24 10:15:10 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 10:20:48 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 10:21:26 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-24 10:21:34 +0200 | misterfish | (~misterfis@178.229.59.89) |
| 2024-05-24 10:22:17 +0200 | <kuribas> | I have used "set manager (Left $ defaultManagerSettings {managerModifyRequest = \req -> pure $ req { shouldStripHeaderOnRedirect = const True}})" in wreq, but it's still sending the bearer token in the redirect. |
| 2024-05-24 10:24:10 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Client Quit) |
| 2024-05-24 10:24:47 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-24 10:26:01 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-24 10:30:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-24 10:37:24 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-24 10:37:47 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 10:39:17 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-05-24 10:48:37 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) (Remote host closed the connection) |
| 2024-05-24 10:49:01 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 10:52:31 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:f567:9fc4:eb72:a51c) (Ping timeout: 268 seconds) |
| 2024-05-24 10:53:21 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:7de1:bf61:a47e:b74f) |
| 2024-05-24 10:53:55 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-24 10:54:20 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 10:56:45 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 10:58:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-24 10:59:19 +0200 | lortabac | (~lortabac@37.174.86.177) |
| 2024-05-24 10:59:32 +0200 | lortabac | (~lortabac@37.174.86.177) (Client Quit) |
| 2024-05-24 10:59:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 11:00:04 +0200 | <lortabac> | danse-nr3: in this case the resolution is a little complex, so some help from the compiler would appreciated |
| 2024-05-24 11:00:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-24 11:11:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-05-24 11:26:50 +0200 | R3c5 | (~R3c5@145.94.194.106) |
| 2024-05-24 11:27:12 +0200 | R3c5 | (~R3c5@145.94.194.106) () |
| 2024-05-24 11:28:05 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds) |
| 2024-05-24 11:29:37 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-24 11:30:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 11:35:06 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 11:35:29 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 11:36:34 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 11:37:10 +0200 | mechap | (~mechap@user/mechap) |
| 2024-05-24 11:38:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-05-24 11:40:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 11:45:01 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 11:45:40 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-24 11:52:08 +0200 | <chiselfuse> | i want to make a real time 3d physics simulator and i like haskell. is there anything library i can use to do this? |
| 2024-05-24 11:52:55 +0200 | misterfish | (~misterfis@178.229.59.89) (Ping timeout: 256 seconds) |
| 2024-05-24 11:53:00 +0200 | <chiselfuse> | the simulations would consist mostly of 3d objects and vector fields and lines and colors |
| 2024-05-24 11:55:04 +0200 | <kuribas> | chiselfuse: to do what? To render? |
| 2024-05-24 11:56:39 +0200 | <chiselfuse> | kuribas: i'm not sure what you mean but i want to do rougly what you can do with libglut (draw spheres, do matrix transformations and pan and zoom around with a mouse interactively) |
| 2024-05-24 11:58:52 +0200 | <kuribas> | chiselfuse: https://hackage.haskell.org/package/GLUT ? |
| 2024-05-24 11:59:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-24 12:00:32 +0200 | <chiselfuse> | i'm not sure how it works, i'll try this and see |
| 2024-05-24 12:01:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 12:06:44 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-24 12:08:24 +0200 | <kuribas> | chiselfuse: I think it's just low level bindings to glut? |
| 2024-05-24 12:08:40 +0200 | <kuribas> | idk, I never used it. |
| 2024-05-24 12:09:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-05-24 12:10:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-05-24 12:14:44 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-05-24 12:16:50 +0200 | <alethkit> | Does anyone happen to know who wrote the comment on https://wiki.haskell.org/Combinatory_logic#Illative_combinatory_logic? I wonder if they ever got anywhere with it. |
| 2024-05-24 12:22:24 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-24 12:24:39 +0200 | acidjnk | (~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-24 12:29:59 +0200 | Square | (~Square4@user/square) |
| 2024-05-24 12:32:47 +0200 | Square | (~Square4@user/square) (Client Quit) |
| 2024-05-24 12:33:18 +0200 | Square | (~Square4@user/square) |
| 2024-05-24 12:33:57 +0200 | Square2 | (~Square@user/square) |
| 2024-05-24 12:34:11 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) (Ping timeout: 260 seconds) |
| 2024-05-24 12:34:53 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 268 seconds) |
| 2024-05-24 12:38:23 +0200 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-24 12:39:42 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-05-24 12:43:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 12:49:24 +0200 | phma | (~phma@host-67-44-208-125.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 12:50:18 +0200 | phma | (phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8) |
| 2024-05-24 12:55:55 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2024-05-24 13:00:07 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 13:01:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:18cf:170e:58a4:4739) |
| 2024-05-24 13:03:35 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-05-24 13:03:52 +0200 | puke | (~puke@user/puke) |
| 2024-05-24 13:04:12 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 13:05:19 +0200 | puke | (~puke@user/puke) |
| 2024-05-24 13:05:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-24 13:06:22 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 13:07:49 +0200 | puke | (~puke@user/puke) |
| 2024-05-24 13:08:52 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 13:09:08 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 13:10:19 +0200 | puke | (~puke@user/puke) |
| 2024-05-24 13:10:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-24 13:11:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 13:11:32 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 13:16:31 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-24 13:17:26 +0200 | danse-nr3 | (~danse-nr3@151.37.240.28) (Ping timeout: 268 seconds) |
| 2024-05-24 13:17:42 +0200 | danse-nr3 | (~danse-nr3@151.57.248.171) |
| 2024-05-24 13:28:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 13:28:47 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-05-24 13:39:24 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 13:40:10 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-24 13:49:11 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-05-24 13:50:36 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:a989:eef5:428c) (Remote host closed the connection) |
| 2024-05-24 13:50:54 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:1adf:6622:dda2:d177) |
| 2024-05-24 13:53:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 13:53:39 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-24 13:55:36 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 13:59:18 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 13:59:42 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-24 13:59:54 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-24 13:59:59 +0200 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-05-24 14:00:35 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-05-24 14:04:44 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-24 14:05:46 +0200 | rvalue- | rvalue |
| 2024-05-24 14:06:07 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-05-24 14:06:29 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-24 14:07:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-24 14:11:00 +0200 | acidjnk | (~acidjnk@p200300d6e714dc3791789ad6b7790594.dip0.t-ipconnect.de) |
| 2024-05-24 14:11:54 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 14:14:17 +0200 | mei | (~mei@user/mei) |
| 2024-05-24 14:26:35 +0200 | Odys | (~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2) |
| 2024-05-24 14:27:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-24 14:27:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-05-24 14:29:03 +0200 | <Odys> | Hi ! I'm a new beginner in Haskell - and I often face that type of error message when compiling an hs file to test my code : nteract.hs:5:1: error: |
| 2024-05-24 14:29:04 +0200 | <Odys> | Could not load module `System.Directory' |
| 2024-05-24 14:29:04 +0200 | <Odys> | It is a member of the hidden package `directory-1.3.7.1'. |
| 2024-05-24 14:29:05 +0200 | <Odys> | You can run `:set -package directory' to expose it. |
| 2024-05-24 14:29:05 +0200 | <Odys> | (Note: this unloads all the modules in the current scope.) |
| 2024-05-24 14:29:06 +0200 | <Odys> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2024-05-24 14:29:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-24 14:30:03 +0200 | <Odys> | I tried various way to solve this with ghc-pkg command line but I still face that error |
| 2024-05-24 14:30:36 +0200 | <Odys> | Some advice to handle correctly that kind a issue? |
| 2024-05-24 14:30:59 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2024-05-24 14:43:43 +0200 | Odys | (~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2) (Quit: Client closed) |
| 2024-05-24 14:45:38 +0200 | jstolarek | (~jstolarek@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:52:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-24 14:53:48 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-24 15:04:33 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.2) |
| 2024-05-24 15:06:41 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-24 15:10:02 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-05-24 15:12:32 +0200 | AlexNoo_ | AlexNoo |
| 2024-05-24 15:14:05 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2024-05-24 15:19:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-24 15:20:48 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 15:24:14 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 15:24:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 15:25:16 +0200 | son0p | (~ff@181.32.150.11) |
| 2024-05-24 15:38:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-24 15:39:34 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 15:41:48 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-24 15:45:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-24 15:51:59 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-24 16:02:17 +0200 | danse-nr3 | (~danse-nr3@151.57.248.171) (Ping timeout: 252 seconds) |
| 2024-05-24 16:14:04 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 16:14:12 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) |
| 2024-05-24 16:14:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 16:15:33 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit) |
| 2024-05-24 16:28:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-24 16:30:24 +0200 | jstolarek | (~jstolarek@staticline-31-183-165-14.toya.net.pl) (Quit: leaving) |
| 2024-05-24 16:32:57 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:33:01 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 16:33:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-24 16:33:48 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 16:34:06 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:34:29 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2024-05-24 16:35:36 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 16:36:04 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:37:35 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 16:37:49 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:39:41 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) |
| 2024-05-24 16:40:25 +0200 | danse-nr3 | (~danse-nr3@151.57.248.171) |
| 2024-05-24 16:40:31 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit) |
| 2024-05-24 16:42:35 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 16:42:49 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:43:23 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 16:43:47 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 16:44:06 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-05-24 16:55:15 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-24 16:59:21 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-24 17:03:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2024-05-24 17:07:09 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-24 17:11:13 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-05-24 17:14:22 +0200 | danse-nr3 | (~danse-nr3@151.57.248.171) (Read error: Connection reset by peer) |
| 2024-05-24 17:14:47 +0200 | danse-nr3 | (~danse-nr3@151.57.154.235) |
| 2024-05-24 17:16:42 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 17:18:25 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 17:21:59 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 272 seconds) |
| 2024-05-24 17:25:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-24 17:25:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-24 17:26:53 +0200 | danse-nr3 | (~danse-nr3@151.57.154.235) (Remote host closed the connection) |
| 2024-05-24 17:29:59 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-24 17:30:45 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 17:31:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-24 17:38:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 17:38:32 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 17:38:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 17:39:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 17:41:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-24 17:55:31 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-05-24 17:55:59 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 18:00:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-24 18:00:54 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 18:01:14 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 18:01:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 18:05:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-24 18:07:16 +0200 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Quit: leaving) |
| 2024-05-24 18:09:02 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 18:12:44 +0200 | AlexNoo | (~AlexNoo@5.139.233.209) (Read error: Connection reset by peer) |
| 2024-05-24 18:13:08 +0200 | AlexNoo | (~AlexNoo@5.139.233.209) |
| 2024-05-24 18:19:27 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-24 18:23:12 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-05-24 18:35:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-05-24 18:39:17 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 18:40:57 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-24 18:53:41 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 18:53:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-24 18:59:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 19:00:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 19:03:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 19:08:31 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 2024-05-24 19:09:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 19:09:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 19:10:23 +0200 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-05-24 19:12:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 19:22:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 19:24:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-24 19:25:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 19:29:30 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-24 19:30:16 +0200 | aforemny_ | (~aforemny@i59F516E8.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-24 19:33:24 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-05-24 19:38:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 19:46:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 19:50:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 19:55:04 +0200 | Square2 | (~Square@user/square) |
| 2024-05-24 19:57:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-24 19:58:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 20:18:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2024-05-24 20:19:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 20:29:15 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-24 20:33:50 +0200 | phma | (phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8) (Read error: Connection reset by peer) |
| 2024-05-24 20:34:47 +0200 | phma | (~phma@host-67-44-208-130.hnremote.net) |
| 2024-05-24 20:40:16 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-24 20:40:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 20:41:26 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-05-24 20:41:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-05-24 20:44:08 +0200 | rvalue- | rvalue |
| 2024-05-24 20:47:56 +0200 | zer0bitz_ | zer0bitz |
| 2024-05-24 20:51:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 20:59:28 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-24 21:00:16 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-05-24 21:01:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-24 21:04:12 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-05-24 21:07:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2024-05-24 21:07:38 +0200 | cheater_ | cheater |
| 2024-05-24 21:08:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 21:17:42 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 21:24:26 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-24 21:25:01 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 21:25:40 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b) |
| 2024-05-24 21:30:38 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-24 21:31:27 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-05-24 21:31:27 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-05-24 21:31:27 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-05-24 21:44:54 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f) |
| 2024-05-24 21:47:48 +0200 | <ph88> | can anyone shed some light on this type error i'm getting? https://play.haskell.org/saved/PXbKLQAK |
| 2024-05-24 21:55:01 +0200 | <Leary> | ph88: The signature of `getDataID` does not mention `c` anywhere, so how is GHC supposed to infer what instance you want when you use it? GHC is warning you in advance that it can't. |
| 2024-05-24 21:56:47 +0200 | <Leary> | Options, from best to worst: move it into a superclass; take a `proxy c` argument; enable AllowAmbiguousTypes and use TypeApplications. |
| 2024-05-24 21:58:15 +0200 | <ph88> | what's a superclass ? |
| 2024-05-24 21:58:53 +0200 | <ph88> | i will search for it |
| 2024-05-24 21:59:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-24 22:01:18 +0200 | <ph88> | hmm not sure about superclass https://play.haskell.org/saved/cogMGbIx how can i pass in c ? |
| 2024-05-24 22:04:29 +0200 | <Leary> | If `c` doesn't need to be part of the instance head, you may want to place the constraint `c a` on `getDependencies`. |
| 2024-05-24 22:05:39 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-05-24 22:20:18 +0200 | <ph88> | Leary, how can i fill in in the c in that case? https://play.haskell.org/saved/bVH6p5Og |
| 2024-05-24 22:22:43 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-05-24 22:24:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 22:28:37 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-05-24 22:29:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 22:30:53 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b) (Quit: Leaving) |
| 2024-05-24 22:32:58 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 22:37:08 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-05-24 22:37:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-05-24 22:38:51 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) |
| 2024-05-24 22:39:29 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-05-24 22:39:52 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) |
| 2024-05-24 22:40:10 +0200 | <lxsameer> | what haskell code formatter do the cool kids use? |
| 2024-05-24 22:40:18 +0200 | <Leary> | ph88: Honestly I think we're too deep into XY land for that question to have a good answer, but I suppose you might want something like this: https://play.haskell.org/saved/6CcKSbsJ |
| 2024-05-24 22:40:20 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-05-24 22:41:24 +0200 | <Leary> | lxsameer: We use our own aesthetics. |
| 2024-05-24 22:44:46 +0200 | <monochrom> | When in emacs haskell-mode I already format my code with its help at writing time. |
| 2024-05-24 22:45:14 +0200 | <monochrom> | "well-formatted by construction" |
| 2024-05-24 22:46:05 +0200 | <sm> | lxsameer: this kid just uses VS Code's tab/shift tab |
| 2024-05-24 22:46:06 +0200 | <lxsameer> | monochrom: so stylish-haskell then? |
| 2024-05-24 22:46:15 +0200 | <lxsameer> | thanks folks |
| 2024-05-24 22:46:22 +0200 | <monochrom> | Never heard of that. |
| 2024-05-24 22:47:41 +0200 | <lxsameer> | monochrom: that's what haskell-mode uses, you need to enable it though |
| 2024-05-24 22:48:00 +0200 | <EvanR> | lxsameer, there's https://ormolu-live.tweag.io/ |
| 2024-05-24 22:48:00 +0200 | <monochrom> | Like, someone is going to ask "hey which service do you cool kids use to build websites? wordpress? square space?" and I will be like "I write html and css myself". |
| 2024-05-24 22:48:08 +0200 | <monochrom> | I didn't enable it. |
| 2024-05-24 22:48:25 +0200 | <monochrom> | I just press tab to cycle through candidate indentation points. |
| 2024-05-24 22:48:53 +0200 | <EvanR> | all auto formatters are guaranteed to offend your sensibilities, or your money back |
| 2024-05-24 22:49:10 +0200 | <monochrom> | OK these days I write markdown then run pandoc. But I still don't even believe in wordpress or square space or whatever. |
| 2024-05-24 22:49:32 +0200 | phma | (~phma@host-67-44-208-130.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 22:49:58 +0200 | <lxsameer> | I like to have code formatters, it's one less thing to be worried about |
| 2024-05-24 22:50:20 +0200 | <lxsameer> | and it a team, it reduces unnecessary friction on PRs :D |
| 2024-05-24 22:50:37 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) |
| 2024-05-24 22:50:54 +0200 | <EvanR> | creates unnecessary friction when the autoformatter does something objectively wrong?! |
| 2024-05-24 22:52:12 +0200 | <monochrom> | There is somewhere a theorem that says that for Haskell if you don't have correct indentation in the first place then no formatter can correct it. |
| 2024-05-24 22:52:25 +0200 | <lxsameer> | EvanR: if it does something objectively wrong, then its a tooling problem |
| 2024-05-24 22:52:31 +0200 | <monochrom> | So unlike C and PHP, code formatter for Haskell has less value. |
| 2024-05-24 22:52:38 +0200 | <ski> | and people have differing opinions on style, and it's not obvious that there's always one best/preferred option |
| 2024-05-24 22:52:53 +0200 | <lxsameer> | monochrom: interesting. that makes sense |
| 2024-05-24 22:53:03 +0200 | <ski> | (sometimes my opinion in one situation differs from my opinion in another circumstance) |
| 2024-05-24 22:53:33 +0200 | <monochrom> | You can still keep your "so the whole team stays consistent". |
| 2024-05-24 22:54:09 +0200 | <monochrom> | But it is NOT one fewer thing to worry about. You still worry about manually indenting correctly somehow. |
| 2024-05-24 22:54:47 +0200 | <monochrom> | Haskell code formatter can only do trivial things like "change 2 spaces to 3.1415 spaces". It can't fix your mistakes. |
| 2024-05-24 22:54:55 +0200 | <lxsameer> | that's true in Haskell though |
| 2024-05-24 22:54:59 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-24 22:56:45 +0200 | <lxsameer> | anyway, thanks for sharing your experience folks |
| 2024-05-24 22:57:38 +0200 | ski | tends to err on the side of encouraging personal judgement and taste (informed by relevant concerns and common alternatives considered by people) |
| 2024-05-24 22:58:33 +0200 | <EvanR> | since we're not using valuable brain cycles juggling dynamic types in our heads, we can use them for important stuff like judgement and taste in formatting the code! |
| 2024-05-24 22:58:47 +0200 | <monochrom> | But I follow most of this style guide, and share with my students: https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md |
| 2024-05-24 22:59:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-24 22:59:18 +0200 | <monochrom> | OTOH most of my students just use vscode and its haskell plugin, which probably already does its own thing about format. |
| 2024-05-24 22:59:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-24 22:59:46 +0200 | <ski> | yea, that's a nice one |
| 2024-05-24 23:01:25 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 23:12:42 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 23:14:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-05-24 23:18:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2024-05-24 23:27:19 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-24 23:27:45 +0200 | <ph88> | Leary, thanks ! |
| 2024-05-24 23:28:54 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) |
| 2024-05-24 23:30:25 +0200 | <ph88> | Leary, why did you make it cs:cs ? |
| 2024-05-24 23:31:08 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-24 23:31:40 +0200 | <Leary> | That's `(HasDataID cs):cs`. |
| 2024-05-24 23:32:14 +0200 | <ph88> | ah ok |
| 2024-05-24 23:33:28 +0200 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) |
| 2024-05-24 23:34:09 +0200 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) (Client Quit) |
| 2024-05-24 23:42:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 23:42:13 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-24 23:42:34 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-24 23:45:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 23:45:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 23:53:27 +0200 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) |
| 2024-05-24 23:53:45 +0200 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-24 23:54:49 +0200 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2024-05-24 23:55:06 +0200 | gmg | (~user@user/gehmehgeh) |