Newest at the top
| 2024-10-23 12:34:01 +0200 | <tomsmeding> | ash3en: so I wouldn't worry about that particular dependency :) |
| 2024-10-23 12:33:50 +0200 | <tomsmeding> | template-haskell is a boot library: it's installed with GHC. So it doesn't incur a download or build for your users |
| 2024-10-23 12:27:22 +0200 | morsinichi | (~morsinich@61.4.97.157) |
| 2024-10-23 12:26:50 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-10-23 12:24:22 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-10-23 12:24:09 +0200 | <ash3en> | I do ask myself why template haskell is everywhere btw. even with Data.Text, TH is a direct dependency. that seems not too elegant to me, since TH is very ambiguous to say at least afaik. |
| 2024-10-23 12:24:08 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-23 12:22:03 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2024-10-23 12:20:59 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
| 2024-10-23 12:20:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-23 12:20:22 +0200 | <ash3en> | thank you :) |
| 2024-10-23 12:20:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-23 12:19:41 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-23 12:19:20 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-23 12:18:40 +0200 | <Leary> | ash3en: If your package is an executable, you can vendor a cut-down version of the dependency. You could also submit a PR to the dep splitting out the parts that need the transitive dep into a public sublibrary, so people who don't want to depend on it can avoid doing so. |
| 2024-10-23 12:17:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-23 12:16:51 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 2024-10-23 12:16:31 +0200 | <ash3en> | ok, dependencies are going wild, so i'm asking |
| 2024-10-23 12:15:52 +0200 | <haskellbridge> | <magic_rb> ash3en: Without forking the library, no afaik |
| 2024-10-23 12:13:12 +0200 | <ash3en> | hi, can i avoid dependencies of a library if I just don't use functions that need e.g. template haskell in the library? so my program is free of template haskell as a dependency? |
| 2024-10-23 12:11:18 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-23 12:10:56 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-23 12:09:43 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-10-23 12:08:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-23 12:07:45 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-23 12:03:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) alexherbo2 |
| 2024-10-23 12:03:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-23 12:02:44 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-23 11:58:30 +0200 | ridcully | (~ridcully@p508acf65.dip0.t-ipconnect.de) ridcully |
| 2024-10-23 11:57:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-23 11:54:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-23 11:54:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-10-23 11:53:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-23 11:52:17 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
| 2024-10-23 11:47:27 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-23 11:41:46 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
| 2024-10-23 11:41:13 +0200 | euleritian | (~euleritia@176.7.156.149) (Ping timeout: 245 seconds) |
| 2024-10-23 11:38:47 +0200 | JamesMowery42 | JamesMowery4 |
| 2024-10-23 11:38:43 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 245 seconds) |
| 2024-10-23 11:37:48 +0200 | JamesMowery42 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-10-23 11:37:31 +0200 | aforemny | (~aforemny@2001:9e8:6cf3:ad00:f9bd:7d15:f62e:4b46) aforemny |
| 2024-10-23 11:28:32 +0200 | euleritian | (~euleritia@176.7.156.149) |
| 2024-10-23 11:28:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-23 11:21:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-23 11:18:49 +0200 | <Leary> | elates directly to the structure of a fixpoint; it essentially arises from the same logic that gives you an implementation for `cata`. |
| 2024-10-23 11:18:48 +0200 | <Leary> | As for how you'd arive at these properties, it's a matter of mathematical taste. There's no real methodology other than to ask "what properties do I want?" Here's my view: identity and composition laws are bread and butter; that's cata-refl and cata-compose. I think cata-fusion is what cat theorists might call a /naturality/ condition; it arises from not wanting `cata` to care about what we're folding down to. cata-cancel is the only one that actually r |
| 2024-10-23 11:17:41 +0200 | ridcully | (~ridcully@p57b52138.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-10-23 11:13:53 +0200 | <Leary> | The line of questioning might need to be made more precise---I rather suspect the type signature alone already determines `cata`, and these properties follow. I'm not really sure why they're being called laws. I guess if you start with the properties alone in an untyped calculus, then `cata-cancel` alone gives you a definition for `cata`: just compose `outF` on the right. |
| 2024-10-23 11:05:50 +0200 | euleritian | (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) |
| 2024-10-23 11:05:05 +0200 | euleritian | (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |