| 2024-07-25 00:00:49 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 00:07:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-07-25 00:10:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-25 00:17:58 +0000 | ricar | (~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) |
| 2024-07-25 00:19:09 +0000 | Guest0 | (~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) |
| 2024-07-25 00:19:39 +0000 | ricar | (~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Client Quit) |
| 2024-07-25 00:22:55 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-07-25 00:41:51 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3a:ef6f:8000::) |
| 2024-07-25 00:43:03 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3a:ef6f:8000::) (Client Quit) |
| 2024-07-25 00:44:39 +0000 | Guest0 | (~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Quit: Client closed) |
| 2024-07-25 00:46:55 +0000 | sasa_ | (~sasa@181.122.138.24) |
| 2024-07-25 00:47:17 +0000 | sasa_ | prolic_ |
| 2024-07-25 00:47:32 +0000 | <prolic_> | hi folks |
| 2024-07-25 00:47:47 +0000 | <prolic_> | regardings qt5 bindings for haskell, I just made the opengl demo work |
| 2024-07-25 00:48:00 +0000 | <prolic_> | https://github.com/prolic/hsqml-demo-samples |
| 2024-07-25 01:09:59 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-25 01:15:15 +0000 | prolic_ | (~sasa@181.122.138.24) (Quit: Leaving) |
| 2024-07-25 01:23:54 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-07-25 01:28:43 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-07-25 01:29:46 +0000 | poscat | (~poscat@user/poscat) |
| 2024-07-25 01:30:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 01:34:39 +0000 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 01:54:51 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-25 01:55:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8fcf:75e8:d4d3:15fa) (Ping timeout: 252 seconds) |
| 2024-07-25 01:59:36 +0000 | billchenchina- | (~billchenc@210.110.131.60) (Quit: Leaving) |
| 2024-07-25 02:03:04 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-07-25 02:07:24 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-25 02:09:47 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-25 02:14:55 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 260 seconds) |
| 2024-07-25 02:16:31 +0000 | td_ | (~td@i53870924.versanet.de) |
| 2024-07-25 02:19:56 +0000 | pyooque | (~puke@user/puke) |
| 2024-07-25 02:19:56 +0000 | puke | Guest5956 |
| 2024-07-25 02:19:56 +0000 | pyooque | puke |
| 2024-07-25 02:22:30 +0000 | Guest5956 | (~puke@user/puke) (Ping timeout: 260 seconds) |
| 2024-07-25 02:38:36 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 2024-07-25 02:41:50 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-25 02:44:21 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-07-25 02:47:04 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-25 02:58:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-25 03:17:09 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-07-25 03:32:30 +0000 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-25 03:36:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 03:44:43 +0000 | j_ | (~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079) |
| 2024-07-25 03:45:36 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-07-25 03:48:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 03:55:17 +0000 | aforemny_ | (~aforemny@i59F516CE.versanet.de) |
| 2024-07-25 03:55:39 +0000 | aforemny | (~aforemny@2001:9e8:6cf8:db00:b657:96fb:9374:58f5) (Ping timeout: 276 seconds) |
| 2024-07-25 03:59:30 +0000 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-07-25 04:09:15 +0000 | sympt | (~sympt@user/sympt) (Ping timeout: 260 seconds) |
| 2024-07-25 04:33:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-25 04:34:44 +0000 | tram | (~tram@94.71.169.62) |
| 2024-07-25 04:35:49 +0000 | <jle`> | nice |
| 2024-07-25 04:45:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 04:50:15 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds) |
| 2024-07-25 04:53:32 +0000 | michalz | (~michalz@185.246.207.222) |
| 2024-07-25 04:54:31 +0000 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-25 05:02:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-25 05:13:17 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-25 05:19:16 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-07-25 05:29:09 +0000 | <probie> | Are there any "code quality" analysis tools for Haskell? |
| 2024-07-25 05:30:26 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-25 05:30:54 +0000 | <Lears> | probie: stan |
| 2024-07-25 05:31:52 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 05:35:22 +0000 | <probie> | are there any others? stan has the slightly annoying requirement of not operating directly on the source, _and_ needing to match GHC versions |
| 2024-07-25 05:40:21 +0000 | <haskellbridge> | <bdub> probie: HLint works well enough |
| 2024-07-25 05:40:46 +0000 | <haskellbridge> | <bdub> Least for this noob ;) |
| 2024-07-25 05:42:15 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds) |
| 2024-07-25 05:42:34 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-25 05:46:22 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2024-07-25 05:47:28 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 05:50:44 +0000 | Midjak | (~MarciZ@82.66.147.146) (Client Quit) |
| 2024-07-25 05:51:36 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 05:52:18 +0000 | <probie> | bdub: This isn't about results, it's about ticking boxes. hlint is a "linter" so doesn't sound adequate, even if the distinction between a linter and a static analysis tool is rather fuzzy |
| 2024-07-25 05:55:32 +0000 | <haskellbridge> | <magic_rb> Fork it and sed/linter/static analyzer/g |
| 2024-07-25 05:55:49 +0000 | <jackdk> | Can you make GHC itself fit the definition of "static analyser" on your compliance doc? It does a lot of that |
| 2024-07-25 05:56:59 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-07-25 05:59:44 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 06:10:12 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-07-25 06:14:35 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-25 06:14:45 +0000 | <[exa]> | probie: -Wstrict |
| 2024-07-25 06:15:03 +0000 | <Axman6> | type systems are static analysis |
| 2024-07-25 06:19:12 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-25 06:19:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-25 06:20:20 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-07-25 06:20:44 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) |
| 2024-07-25 06:24:40 +0000 | <haskellbridge> | <maerwald> Axman6: You mean type checker |
| 2024-07-25 06:27:49 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-07-25 06:28:26 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-25 06:28:29 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:4d0a:e160:f7c1:70f5) (Ping timeout: 260 seconds) |
| 2024-07-25 06:29:11 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6) |
| 2024-07-25 06:30:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-25 06:36:47 +0000 | <Franciman> | aren't type systems coarse denotational semantics? |
| 2024-07-25 06:36:56 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-07-25 06:38:17 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2024-07-25 06:43:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 06:44:41 +0000 | JuanDaugherty | imagined coarse in sense of not mapping to integer functions or something but couldn connect that notion from first exposure to denotional semantics in strachey's popular book to todays enwiki article |
| 2024-07-25 06:45:42 +0000 | <JuanDaugherty> | in any case finished production worthy thing vs ivory tower salient |
| 2024-07-25 06:46:17 +0000 | <JuanDaugherty> | computing jeremiad or whatever |
| 2024-07-25 06:54:50 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-25 06:55:03 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) |
| 2024-07-25 06:57:19 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 07:02:18 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-25 07:25:51 +0000 | slack1256 | (~slack1256@2803:c600:5111:80cb:380e:34f2:2727:e112) (Ping timeout: 244 seconds) |
| 2024-07-25 07:39:31 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 07:46:29 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-07-25 07:50:30 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 07:50:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 07:51:49 +0000 | vpan | (~vpan@212.117.1.172) |
| 2024-07-25 07:56:18 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-25 08:09:59 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-25 08:20:35 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: restarting) |
| 2024-07-25 08:23:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 08:30:53 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-25 08:33:00 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-25 08:51:01 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-07-25 08:53:02 +0000 | misterfish | (~misterfis@178.225.156.106) |
| 2024-07-25 08:54:20 +0000 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 09:04:09 +0000 | vizimajac | (~Rodney@90.201.223.82) (Ping timeout: 245 seconds) |
| 2024-07-25 09:04:31 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-25 09:05:44 +0000 | vizimajac | (~Rodney@92.40.181.182.threembb.co.uk) |
| 2024-07-25 09:06:59 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-25 09:09:14 +0000 | lol_ | (~lol@2603:3016:1e01:b9a0:b0d0:e22d:2e3b:6bd1) |
| 2024-07-25 09:09:32 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-25 09:11:41 +0000 | Guest48 | (~Guest48@remote.dynamics.be) |
| 2024-07-25 09:12:25 +0000 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 09:12:34 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-25 09:13:22 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:2067:c56:157c:96de) (Ping timeout: 248 seconds) |
| 2024-07-25 09:15:12 +0000 | chele | (~chele@user/chele) |
| 2024-07-25 09:15:14 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-25 09:15:33 +0000 | j_ | (~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079) (Quit: Client closed) |
| 2024-07-25 09:18:45 +0000 | Rodney- | (~Rodney@90.201.223.82) |
| 2024-07-25 09:19:16 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-07-25 09:19:22 +0000 | Guest48 | (~Guest48@remote.dynamics.be) (Quit: Client closed) |
| 2024-07-25 09:20:52 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-07-25 09:22:19 +0000 | vizimajac | (~Rodney@92.40.181.182.threembb.co.uk) (Ping timeout: 264 seconds) |
| 2024-07-25 09:31:03 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-25 09:36:52 +0000 | andreas808 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-07-25 09:37:26 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Read error: Connection reset by peer) |
| 2024-07-25 09:38:11 +0000 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1) |
| 2024-07-25 09:38:50 +0000 | <hadronized> | I’m still kinda obsessed with testing LinearTypes to see whether it provides more performance lately; I wonder how much the community has switched to using it for things like heavy resource utilization, etc. |
| 2024-07-25 09:38:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 09:42:02 +0000 | danse-glirc | (~danse-gli@151.37.250.22) (Quit: Client closed) |
| 2024-07-25 09:42:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-25 09:42:07 +0000 | billchenchina- | (~billchenc@210.110.131.60) (Remote host closed the connection) |
| 2024-07-25 09:42:26 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) |
| 2024-07-25 09:44:30 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 09:45:01 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 09:46:22 +0000 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Remote host closed the connection) |
| 2024-07-25 09:46:59 +0000 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-25 09:48:09 +0000 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 09:49:41 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 09:51:05 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 10:03:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) |
| 2024-07-25 10:04:12 +0000 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) |
| 2024-07-25 10:07:47 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 10:08:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-25 10:09:32 +0000 | danse-glirc | (~danse-gli@151.37.250.22) (Quit: Client closed) |
| 2024-07-25 10:11:33 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-25 10:15:40 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 10:15:44 +0000 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 10:16:13 +0000 | danse-glirc | danse-web |
| 2024-07-25 10:16:22 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 10:17:18 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 10:17:55 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-25 10:19:33 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 10:20:20 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-07-25 10:20:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 10:27:35 +0000 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 10:33:27 +0000 | billchenchina- | (~billchenc@210.110.131.60) (Quit: Leaving) |
| 2024-07-25 10:34:41 +0000 | tram | (~tram@94.71.169.62) |
| 2024-07-25 10:42:04 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2024-07-25 10:45:35 +0000 | troydm | (~troydm@user/troydm) |
| 2024-07-25 10:46:43 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-07-25 10:48:18 +0000 | jrm | (~jrm@user/jrm) |
| 2024-07-25 10:56:01 +0000 | <galois`> | learn you a haskell for great |
| 2024-07-25 10:56:33 +0000 | <galois`> | ... good |
| 2024-07-25 10:57:32 +0000 | <danse-web> | ? |
| 2024-07-25 11:03:21 +0000 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) (Ping timeout: 276 seconds) |
| 2024-07-25 11:13:28 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-25 11:14:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-25 11:15:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 11:19:09 +0000 | tram | (~tram@94.71.169.62) (Ping timeout: 245 seconds) |
| 2024-07-25 11:23:19 +0000 | ticat | (~ticat@156.251.183.153) |
| 2024-07-25 11:24:13 +0000 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) |
| 2024-07-25 11:24:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 11:28:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-25 11:28:57 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) |
| 2024-07-25 11:29:18 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 265 seconds) |
| 2024-07-25 11:34:41 +0000 | danse-web | (~danse-gli@151.37.250.22) (Ping timeout: 256 seconds) |
| 2024-07-25 11:37:27 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-07-25 11:41:59 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 11:52:54 +0000 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-25 11:53:52 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 12:02:38 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-25 12:05:25 +0000 | zero | zzz |
| 2024-07-25 12:07:24 +0000 | tram | (~tram@94.71.169.62) |
| 2024-07-25 12:07:40 +0000 | <zzz> | i just learned why disjoint unions are called disjoint unions and although it makes sense, i just feel the need to vent that set/category theorists are horrible at naming things |
| 2024-07-25 12:08:54 +0000 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 12:09:58 +0000 | <danse-glirc> | which name do you propose instead zzz? |
| 2024-07-25 12:10:29 +0000 | danse-glirc | danse-web |
| 2024-07-25 12:13:15 +0000 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) (Remote host closed the connection) |
| 2024-07-25 12:13:33 +0000 | <zzz> | danse-glirc: i'm not specifically criticizing it, don't get me wrong. but after learning so many new confusing terms, the apparent (and humorous) contradiction in "disjoint union" just hit a nerve :p |
| 2024-07-25 12:13:34 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-07-25 12:16:40 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-25 12:17:21 +0000 | <zzz> | follow it with the relationship between them as sum types relating to coproducts and the "fun" continues |
| 2024-07-25 12:17:36 +0000 | <danse-web> | before stating that a term is "confusing", maybe check whether your learning process is. Not sure you realise that we live in a world of inscrutable (and loud) acronyms |
| 2024-07-25 12:18:16 +0000 | <danse-web> | something like "disjoint union" is a luxury that most of the times we cannot afford |
| 2024-07-25 12:19:09 +0000 | <zzz> | my learning process is very probably at fault, yes :) |
| 2024-07-25 12:19:47 +0000 | <zzz> | it's curiosity driven and as such structure definitely suffers |
| 2024-07-25 12:20:39 +0000 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-25 12:21:37 +0000 | <danse-web> | if i may dare a guess, maybe the issue lies elsewhere, for instance in its speed. I can imagine that after one gets acquainted with "union" to the point where the technical meaning means more than the natural language one, and after learning that there can be different types of unions, then having a "disjoint union" does not sound that strange |
| 2024-07-25 12:25:53 +0000 | <zzz> | danse-web: i agree, it does make sense |
| 2024-07-25 12:26:15 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-07-25 12:29:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 12:29:52 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 12:30:23 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 12:30:23 +0000 | <zzz> | the effect is maybe amplified by the translation to my native language |
| 2024-07-25 12:31:06 +0000 | <zzz> | where junction and union are the same word |
| 2024-07-25 12:33:00 +0000 | <danse-web> | yeah i see how it can sound funny with some imagination |
| 2024-07-25 12:33:55 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 12:37:10 +0000 | danse-web | (~danse-gli@151.37.250.22) (Quit: other client) |
| 2024-07-25 12:41:52 +0000 | omegatron | (~some@user/omegatron) |
| 2024-07-25 12:42:39 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 12:44:37 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 248 seconds) |
| 2024-07-25 12:45:36 +0000 | ticat | (~ticat@156.251.183.153) (Quit: Client closed) |
| 2024-07-25 12:45:49 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 12:46:42 +0000 | misterfish | (~misterfis@178.225.156.106) (Ping timeout: 276 seconds) |
| 2024-07-25 12:47:44 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-25 12:52:04 +0000 | szkl | (uid110435@2a03:5180:f:5::1:af63) |
| 2024-07-25 12:55:12 +0000 | ystael | (~ystael@user/ystael) |
| 2024-07-25 12:55:39 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 12:55:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-25 12:55:56 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 12:58:44 +0000 | slack1256 | (~slack1256@2803:c600:5111:80cb:ffde:2539:7254:2ff5) |
| 2024-07-25 13:06:35 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 13:08:47 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-25 13:09:31 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-25 13:09:42 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 13:23:38 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) |
| 2024-07-25 13:23:40 +0000 | pkal | (~pkal@static.159.65.245.188.clients.your-server.de) (Remote host closed the connection) |
| 2024-07-25 13:24:11 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:26:00 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 13:26:19 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 13:29:27 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 13:29:57 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:33:04 +0000 | Square2 | (~Square@user/square) |
| 2024-07-25 13:34:01 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 13:34:32 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:36:24 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 13:36:34 +0000 | kuribas | (~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be) |
| 2024-07-25 13:37:02 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 13:38:20 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 13:38:53 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:39:31 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-25 13:40:00 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-25 13:43:14 +0000 | billchenchina- | (~billchenc@118.38.173.226) |
| 2024-07-25 13:44:22 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 13:44:54 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:45:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 13:45:37 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-25 13:52:39 +0000 | <zzz> | come to think of it, set can also be translated to the same word |
| 2024-07-25 13:53:14 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: got to go) |
| 2024-07-25 13:54:32 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 13:54:38 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-07-25 13:55:09 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 13:55:18 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 14:01:22 +0000 | <ncf> | zzz: category theorists call those coproducts (whether that's a better name is up for debate) |
| 2024-07-25 14:06:44 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-25 14:13:28 +0000 | stef204 | (~stef204@user/stef204) |
| 2024-07-25 14:13:54 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 14:14:24 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 14:14:59 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2024-07-25 14:15:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 14:19:24 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-25 14:20:55 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-07-25 14:23:22 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 14:23:54 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 14:23:55 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2024-07-25 14:27:39 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-25 14:37:40 +0000 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1) |
| 2024-07-25 14:38:08 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 14:38:32 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-25 14:38:53 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 14:41:37 +0000 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-07-25 14:45:09 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 14:45:14 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-07-25 14:45:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 14:47:04 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-25 14:47:43 +0000 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-07-25 14:51:59 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 14:52:19 +0000 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 15:02:29 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 15:03:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-25 15:07:06 +0000 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 276 seconds) |
| 2024-07-25 15:07:57 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 15:10:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 15:12:43 +0000 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 15:13:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 15:15:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-25 15:15:45 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 15:18:59 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de) |
| 2024-07-25 15:27:35 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-25 15:31:57 +0000 | qqe | (~qqq@92.43.167.61) |
| 2024-07-25 15:35:24 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-25 15:41:45 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-07-25 15:43:49 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 15:46:58 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-07-25 15:49:38 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-25 15:51:52 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-25 15:52:40 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-25 15:53:10 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-25 15:53:55 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: reloading conf) |
| 2024-07-25 15:54:44 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 16:03:34 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-25 16:07:48 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 16:19:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 16:19:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 16:22:00 +0000 | kuribas | (~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-07-25 16:23:47 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-25 16:38:33 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: life calls) |
| 2024-07-25 16:39:46 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 16:49:50 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-25 16:52:08 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-07-25 16:53:15 +0000 | <zzz> | ncf: yes, i made a comment about that also :) |
| 2024-07-25 17:05:47 +0000 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-07-25 17:10:55 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-07-25 17:11:09 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-25 17:16:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 17:24:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 17:31:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 17:37:40 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-25 17:37:57 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-25 17:38:27 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-25 17:40:25 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 17:40:25 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 17:44:42 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-25 17:46:46 +0000 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-07-25 17:54:11 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-25 17:54:33 +0000 | <[exa]> | am I doing something completely wrong or the "standalone deriving" and "deriving via" cannot be combined? (whatever I'm doing it thinks `via` is a type variable parameter) |
| 2024-07-25 18:02:25 +0000 | <[exa]> | oh wow it's `deriving via X instance Y` but not `deriving instance X via Y`. thanks #haskell for rubberducking. :D |
| 2024-07-25 18:03:19 +0000 | <EvanR> | 🦆 |
| 2024-07-25 18:03:45 +0000 | noctux | (~noctux@user/noctux) |
| 2024-07-25 18:04:05 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-25 18:06:33 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 18:06:33 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 18:07:37 +0000 | <dminuoso> | That is certainly a quirky order, [exa]. |
| 2024-07-25 18:07:56 +0000 | <dminuoso> | ... deriving (Semigroup, Monoid) |
| 2024-07-25 18:07:59 +0000 | <dminuoso> | oops |
| 2024-07-25 18:08:22 +0000 | <dminuoso> | ... deriving (Semigroup, Monoid) via (a -> App m b) |
| 2024-07-25 18:08:25 +0000 | <dminuoso> | deriving via (a -> App m b) instance Monoid (Kleisli m a b) |
| 2024-07-25 18:08:55 +0000 | <[exa]> | whew |
| 2024-07-25 18:10:23 +0000 | <[exa]> | anyway yeah I got schooled in the later step, was trying to do something like `deriving via (SomeMarker (f a)) instance (ToJSON1 f, ToJSON a) => ToJSON (f a)` but that causes overlapping instance head because `(f a) ~ SomeMarker (anotherF anotherA)` |
| 2024-07-25 18:11:18 +0000 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2024-07-25 18:11:36 +0000 | mauke | (~mauke@user/mauke) |
| 2024-07-25 18:11:40 +0000 | <[exa]> | the ToJSON1 + ToJSON = bigger ToJSON combo looks wunderbar but I guess it's just too invasive |
| 2024-07-25 18:22:40 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2024-07-25 18:24:49 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-25 18:27:34 +0000 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
| 2024-07-25 18:32:33 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 18:34:21 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 18:34:21 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 18:42:46 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-25 18:49:05 +0000 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | qqe | (~qqq@92.43.167.61) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | skyesoss | (~Thunderbi@128.135.204.35) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | auri | (~auri@fsf/member/auri) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | coldtom | (~coldtom@coldrick.cc) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | orcus | (~orcus@mail.brprice.uk) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | end | (~end@user/end/x-0094621) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2024-07-25 18:49:05 +0000 | down200 | (~down200@shell.lug.mtu.edu) (*.net *.split) |
| 2024-07-25 18:49:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 18:49:22 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 18:49:22 +0000 | qqe | (~qqq@92.43.167.61) |
| 2024-07-25 18:49:22 +0000 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-07-25 18:49:22 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-25 18:49:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) |
| 2024-07-25 18:49:22 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-07-25 18:49:22 +0000 | auri | (~auri@fsf/member/auri) |
| 2024-07-25 18:49:22 +0000 | coldtom | (~coldtom@coldrick.cc) |
| 2024-07-25 18:49:22 +0000 | cheater | (~Username@user/cheater) |
| 2024-07-25 18:49:22 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-07-25 18:49:22 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-07-25 18:49:22 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-07-25 18:49:22 +0000 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-25 18:49:22 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-07-25 18:49:22 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-07-25 18:49:22 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-25 18:49:22 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-07-25 18:49:22 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2024-07-25 18:49:22 +0000 | tjbc | (~tjbc@user/fliife) |
| 2024-07-25 18:49:22 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-25 18:49:22 +0000 | end | (~end@user/end/x-0094621) |
| 2024-07-25 18:49:22 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-07-25 18:49:22 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-07-25 18:49:22 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2024-07-25 18:49:22 +0000 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-07-25 18:49:22 +0000 | glguy | (glguy@libera/staff/glguy) |
| 2024-07-25 18:49:22 +0000 | silver.libera.chat | +v lambdabot |
| 2024-07-25 18:51:07 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Max SendQ exceeded) |
| 2024-07-25 18:51:07 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Max SendQ exceeded) |
| 2024-07-25 18:51:16 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-25 18:52:30 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 18:58:08 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-07-25 18:59:33 +0000 | <tram> | when I do "5 * (2%3)" in ghci I get 10 % 3 with type Integral a => Ratio a but when I define a function like that (https://bpa.st/EGUQ) I get a type error. How come? |
| 2024-07-25 19:00:52 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 19:00:52 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 19:01:25 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 19:03:16 +0000 | <tram> | Ok sorry I know my bad |
| 2024-07-25 19:03:19 +0000 | <tram> | :P |
| 2024-07-25 19:04:41 +0000 | AlexNoo | (~AlexNoo@94.233.241.102) (Read error: Connection reset by peer) |
| 2024-07-25 19:05:04 +0000 | AlexNoo | (~AlexNoo@94.233.241.102) |
| 2024-07-25 19:07:38 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-25 19:10:20 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 19:10:20 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 19:15:17 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-25 19:17:31 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-25 19:19:06 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 19:19:06 +0000 | ChanServ | +v haskellbridge |
| 2024-07-25 19:19:47 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 255 seconds) |
| 2024-07-25 19:23:20 +0000 | typedfern_ | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-07-25 19:25:23 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-25 19:26:23 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-07-25 19:27:13 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glircing) |
| 2024-07-25 19:28:51 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 19:28:55 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-25 19:37:23 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glitching) |
| 2024-07-25 19:38:13 +0000 | typedfern_ | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) |
| 2024-07-25 19:38:20 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 19:41:20 +0000 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 2024-07-25 19:47:31 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 264 seconds) |
| 2024-07-25 19:47:44 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glitching) |
| 2024-07-25 19:48:42 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 19:52:31 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 19:52:57 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2024-07-25 19:53:11 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-25 19:59:31 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: braindead) |
| 2024-07-25 20:00:22 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 20:13:19 +0000 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-07-25 20:13:46 +0000 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 2024-07-25 20:19:59 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-07-25 20:20:27 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-07-25 20:21:26 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-25 20:24:34 +0000 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-07-25 20:27:23 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-25 20:30:25 +0000 | qqe | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-07-25 20:33:43 +0000 | APic | (apic@apic.name) (Ping timeout: 264 seconds) |
| 2024-07-25 20:38:38 +0000 | <monochrom> | Cocartes says: coproduct ergo sum. >:) |
| 2024-07-25 20:40:16 +0000 | <ncf> | is that the guy cocartesian fibrations are named after? |
| 2024-07-25 20:40:16 +0000 | <ystael> | that's terrible |
| 2024-07-25 20:44:59 +0000 | <Hecate> | haha |
| 2024-07-25 20:52:00 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 260 seconds) |
| 2024-07-25 20:52:07 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2024-07-25 20:53:12 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-07-25 20:53:44 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-25 20:53:53 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-07-25 20:53:54 +0000 | ystael | (~ystael@user/ystael) |
| 2024-07-25 20:54:07 +0000 | sindu | (~torkel@83-243-191-191.fth.tafjordconnect.net) |
| 2024-07-25 20:55:27 +0000 | danse-nr3 | would laugh if she had understood anything. Nods with confidence though |
| 2024-07-25 20:59:24 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-07-25 21:00:52 +0000 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 2024-07-25 21:03:57 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2024-07-25 21:07:43 +0000 | Inst | (~Inst@user/Inst) |
| 2024-07-25 21:10:07 +0000 | <Inst> | why do we have this? |
| 2024-07-25 21:10:09 +0000 | <Inst> | https://www.reddit.com/r/haskell/comments/hk15ub/do_not_recommend_the_genuine_sieve_of/ |
| 2024-07-25 21:11:22 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-25 21:12:31 +0000 | <sprout> | lol |
| 2024-07-25 21:17:07 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-25 21:19:13 +0000 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-25 21:21:08 +0000 | Digit | (~user@user/digit) |
| 2024-07-25 21:21:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 21:25:20 +0000 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 255 seconds) |
| 2024-07-25 21:26:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 21:27:17 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-25 21:29:18 +0000 | sindu | (~torkel@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 276 seconds) |
| 2024-07-25 21:31:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 21:40:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 21:46:37 +0000 | Guestc127 | (~Guestc127@50.25.133.140) |
| 2024-07-25 21:46:53 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-25 21:47:21 +0000 | <Guestc127> | Here to gt som swag... |
| 2024-07-25 21:48:45 +0000 | <Rembane> | Inst: I don't follow. Do you have a reaction in more words? |
| 2024-07-25 21:49:31 +0000 | <Guestc127> | Hi , do you follow Rust's Hakari? |
| 2024-07-25 21:49:40 +0000 | <Rembane> | Not at all. What is it? |
| 2024-07-25 21:50:12 +0000 | <danse-nr3> | i don't follow either Inst |
| 2024-07-25 21:50:16 +0000 | <Guestc127> | nvm lol, what can i see in this chat? |
| 2024-07-25 21:50:18 +0000 | <Inst> | i'm just annoyed that an array-using algorithm is faster than o'neill sieve |
| 2024-07-25 21:50:27 +0000 | <danse-nr3> | go trolling elsewhere Guestc127 |
| 2024-07-25 21:51:05 +0000 | <Rembane> | Inst: Got it. Is this the moment when you get annoyed enough to make o'neill's algorithm faster? |
| 2024-07-25 21:52:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 21:53:18 +0000 | <Inst> | i'm just looking through data.array now, i was hoping someone would have told me the optimization work on o'neill sieve was done already |
| 2024-07-25 21:57:47 +0000 | <Rembane> | But no such luck? |
| 2024-07-25 22:00:41 +0000 | <mauke> | Guestc127: English text, mostly. And Haskell code |
| 2024-07-25 22:00:54 +0000 | <mauke> | (Haskell is a programming language) |
| 2024-07-25 22:02:26 +0000 | <c_wraith> | Inst: didn't her sieve use infinite data structures? Data.Array is not so good at that. |
| 2024-07-25 22:02:39 +0000 | <Inst> | yeah, i saw |
| 2024-07-25 22:03:00 +0000 | <monochrom> | IIUC array vs o'neil's is a trade-off between fixing a bound upfront and growable. Of course with the extra power in the latter somes extra cost. |
| 2024-07-25 22:04:05 +0000 | <c_wraith> | I actually re-implemented a bunch of her stuff at some point. The wheel logic was surprisingly slow. I suspect I did it wrong. |
| 2024-07-25 22:04:28 +0000 | <c_wraith> | (I mean, it got the right results, but I suspect my implementation did way too much work) |
| 2024-07-25 22:04:37 +0000 | <monochrom> | "I am annoyed at how if you impose limitations you can do it faster" is not particularly news, exciting, or exciting news. |
| 2024-07-25 22:04:49 +0000 | <Guestc127> | I just found this forum,promise im not a troll, ill just look in to learn something,sorry |
| 2024-07-25 22:04:56 +0000 | <Rembane> | monochrom: Sounds axiomatic |
| 2024-07-25 22:05:23 +0000 | <mauke> | Guestc127: how did you find us? :-) |
| 2024-07-25 22:05:40 +0000 | <monochrom> | Instead, I am annoyed at how people are annoyed at axiomatic tautologies. >:) |
| 2024-07-25 22:06:29 +0000 | <Guestc127> | !Travis! on github and IPFS |
| 2024-07-25 22:08:07 +0000 | <Guestc127> | how are you today? |
| 2024-07-25 22:09:01 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-07-25 22:09:02 +0000 | <monochrom> | Speaking of which people who scaremonger about parser combinator inefficiency keep forgetting that they far exceed CFG while the oh-so-faster-than-thou parser generators are "linear time" only because they can only do LL(k) or at most LALR. |
| 2024-07-25 22:09:20 +0000 | <monochrom> | Oh and also the former can do ambiguous grammars, the latter can't. |
| 2024-07-25 22:09:49 +0000 | <monochrom> | Even with exactly CFG you're looking at cubic time at the minimum. |
| 2024-07-25 22:10:33 +0000 | <Rembane> | That's a lot of time |
| 2024-07-25 22:10:40 +0000 | <c_wraith> | mostly I don't care because I'm parsing data without large structures. |
| 2024-07-25 22:10:53 +0000 | <c_wraith> | So I'd rather have easy to use than fast. |
| 2024-07-25 22:11:25 +0000 | <c_wraith> | So I also dislike parsec-style non-backtracking |
| 2024-07-25 22:11:39 +0000 | <monochrom> | I'm going to bring it to the meta level and write a post "stop telling beginners what to do" :) |
| 2024-07-25 22:11:44 +0000 | <c_wraith> | let me write grammars the easy way, instead of factoring out all backtracking |
| 2024-07-25 22:11:58 +0000 | <Rembane> | "Telling beginners what to do considered harmful." |
| 2024-07-25 22:12:12 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-25 22:12:13 +0000 | <c_wraith> | "whatever you do, do not install GHC" |
| 2024-07-25 22:12:18 +0000 | <Rembane> | c_wraith: What's the easy way to write grammars in your opinion? |
| 2024-07-25 22:12:54 +0000 | <c_wraith> | Rembane: anything where (a <|> b) <> c is the same as (a <> c) <|> (b <> c) |
| 2024-07-25 22:13:20 +0000 | <c_wraith> | those aren't interchangeable in parsec-like systems |
| 2024-07-25 22:13:38 +0000 | <Rembane> | c_wraith: Cool, that seems like a great quality of life improvement |
| 2024-07-25 22:14:02 +0000 | <c_wraith> | I mostly try to use Earley, but it has some issues of its own. |
| 2024-07-25 22:14:48 +0000 | <c_wraith> | (like depending on parser-combinators to provide utilities, but some of them are infinite loops with Earley) |
| 2024-07-25 22:15:02 +0000 | <Rembane> | FUN! :D |
| 2024-07-25 22:15:08 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-07-25 22:15:29 +0000 | <c_wraith> | I think those qualify as bugs in parser-combinators, but I haven't managed to get them to fix the last one I ran into |
| 2024-07-25 22:17:41 +0000 | <Inst> | hmmm, okay, time to O2? |
| 2024-07-25 22:17:44 +0000 | <c_wraith> | huh. I've got some free time. I think I should just go through parser-combinators and fix all the cases where it does that. Then I can submit a fix, not just a bug report. |
| 2024-07-25 22:17:49 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-07-25 22:17:56 +0000 | <Inst> | or maybe drag out bodigrim's tastybench |
| 2024-07-25 22:18:22 +0000 | <Rembane> | c_wraith: Yes! |
| 2024-07-25 22:19:20 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 22:24:50 +0000 | <c_wraith> | I can understand why parser-combinators have implementations that loop infinitely with Earley. It's so tempting to use direct recursion and it works with other parsers. But Earley needs to explicitly break recursion so it can build the state table. That means all recursion must be done via some/many, as those take care of breaking the recursion. |
| 2024-07-25 22:30:13 +0000 | <monochrom> | That will be a bug at the level of API design. It's much more meta. |
| 2024-07-25 22:31:47 +0000 | <c_wraith> | It's definitely the case that Earley adds requirements to its API that other parsers don't. |
| 2024-07-25 22:32:29 +0000 | <mauke> | does haskell have marpa bindings? |
| 2024-07-25 22:33:52 +0000 | <c_wraith> | huh, I hadn't heard of marpa. That sounds cool. |
| 2024-07-25 22:38:09 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-07-25 22:38:17 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-25 22:39:20 +0000 | <danse-nr3> | https://hackage.haskell.org/packages/search?terms=marpa no results |
| 2024-07-25 22:39:53 +0000 | <danse-nr3> | huh i think we have it here don't we? |
| 2024-07-25 22:39:56 +0000 | <danse-nr3> | @hackage marpa |
| 2024-07-25 22:39:57 +0000 | <lambdabot> | https://hackage.haskell.org/package/marpa |
| 2024-07-25 22:40:04 +0000 | <danse-nr3> | hmm |
| 2024-07-25 22:43:24 +0000 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 276 seconds) |
| 2024-07-25 22:49:52 +0000 | Guestc127 | (~Guestc127@50.25.133.140) (Quit: Client closed) |
| 2024-07-25 22:55:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 22:56:42 +0000 | <dibblego> | @type \r x -> mempty & r .~ x -- does this function already exist? |
| 2024-07-25 22:56:43 +0000 | <lambdabot> | Monoid s => ASetter s b1 a b2 -> b2 -> b1 |
| 2024-07-25 23:01:10 +0000 | <geekosaur> | keep in mind that "@hackage" just puts a hackage url on a string; it does not check to see if the result is valid |
| 2024-07-25 23:01:21 +0000 | <geekosaur> | @hackage #foo |
| 2024-07-25 23:01:21 +0000 | <lambdabot> | https://hackage.haskell.org/package/#foo |
| 2024-07-25 23:01:49 +0000 | <danse-nr3> | haha i noticed. Been wondering whether having a /search?terms=<foo> template would be more useful |
| 2024-07-25 23:01:54 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-25 23:02:16 +0000 | <danse-nr3> | :t (.~) |
| 2024-07-25 23:02:17 +0000 | <lambdabot> | ASetter s t a b -> b -> s -> t |
| 2024-07-25 23:06:44 +0000 | <mauke> | :t \r x -> set r x mempty |
| 2024-07-25 23:06:46 +0000 | <lambdabot> | Monoid s => ASetter s t a b -> b -> t |
| 2024-07-25 23:07:15 +0000 | <mauke> | @pl \r x -> set r x mempty |
| 2024-07-25 23:07:15 +0000 | <lambdabot> | flip flip mempty . set |
| 2024-07-25 23:09:23 +0000 | <EvanR> | a case for keyword arguments! |
| 2024-07-25 23:09:47 +0000 | <danse-nr3> | -.- |
| 2024-07-25 23:09:49 +0000 | <EvanR> | set(3rd=mempry) |
| 2024-07-25 23:09:56 +0000 | <EvanR> | lol |
| 2024-07-25 23:10:31 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Quit: Leaving) |
| 2024-07-25 23:11:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-25 23:15:41 +0000 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-07-25 23:17:59 +0000 | <dibblego> | u guyz |
| 2024-07-25 23:23:07 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-07-25 23:23:33 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de) |
| 2024-07-25 23:25:47 +0000 | <dibblego> | I was thinking something like (.~~) |
| 2024-07-25 23:28:21 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-07-25 23:32:04 +0000 | <jackdk> | dibblego: I don't believe this exists, probably because it doesn't compose that well if you want to apply multiple things to a `mempty`. Maybe you can collect a list of setters, compose them all, and apply to `mempty`? |
| 2024-07-25 23:40:34 +0000 | <dibblego> | hm, I was thinking changing something like: (mempty & r1 .~ x1 & r2 .~ x2) to (r1 .~~ x1 & r2 .~ x2) |
| 2024-07-25 23:42:32 +0000 | <ncf> | is this about building maps |
| 2024-07-25 23:42:46 +0000 | <dibblego> | no |
| 2024-07-25 23:45:01 +0000 | <jackdk> | I was thinking something like `onMempty [r1 .~ x1, r2 .~ x2]` but that fails to work if the setters change type |
| 2024-07-25 23:55:46 +0000 | <dibblego> | no worries, I just wrote it and used it |
| 2024-07-25 23:56:45 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: it's very late here) |