Newest at the top
| 2024-11-06 17:18:51 +0100 | <EvanR> | I object to your theory that "Any -> Any is a member of Any" as if Any (a type) is a set, and it's members are types |
| 2024-11-06 17:18:38 +0100 | <kuribas> | True functions are total. |
| 2024-11-06 17:18:36 +0100 | <Inst> | it's weird because I'm the guy lambasting "pure, functional programming" as meaningless, but now I'm going back to "pure, functional programming" is good |
| 2024-11-06 17:18:09 +0100 | <Inst> | i was just looking for whether or not the argument that only Haskell has true functions has ever been made |
| 2024-11-06 17:18:06 +0100 | <EvanR> | it's not like Dynamic because Dynamic can actually be used safely, in ways that aren't just STLC with 1 base type |
| 2024-11-06 17:17:41 +0100 | <Inst> | since (Any -> Any) is a member of Any |
| 2024-11-06 17:17:36 +0100 | <kuribas> | Inst: yeah, it's like Dynamic -> Dynamic. |
| 2024-11-06 17:17:35 +0100 | <Inst> | is it? |
| 2024-11-06 17:17:29 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-11-06 17:17:16 +0100 | <kuribas> | Inst: no, (a -> b) is type checked, (Any -> Any) is not, except for the number of inputs. |
| 2024-11-06 17:16:18 +0100 | <ncf> | if you think of Any as (∃ a. a) then it is isomorphic to (); in other words you can't do anything safe with an Any without making assumptions that are not tracked by the types |
| 2024-11-06 17:16:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-06 17:15:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-06 17:15:00 +0100 | <EvanR> | it's a function type for functions that expect an Any as argument (explained above) and return an Any, which is not necessarily related to the input at all |
| 2024-11-06 17:14:29 +0100 | <Inst> | what does Any -> Any even mean in a Haskell context? |
| 2024-11-06 17:13:48 +0100 | <EvanR> | that's what we're talking about |
| 2024-11-06 17:13:31 +0100 | <EvanR> | so Any = some type, while a = any type. |
| 2024-11-06 17:13:30 +0100 | <Inst> | iirc there's an Any in the GHC internal somewhere |
| 2024-11-06 17:13:00 +0100 | <EvanR> | Inst, Any (uhg at this name, but it corresponds with typescript) means you don't know what the type is. a -> b means the caller can choose to instantiate a or b at any type they want |
| 2024-11-06 17:12:50 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) |
| 2024-11-06 17:12:44 +0100 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-11-06 17:12:17 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-06 17:10:20 +0100 | <JuanDaugherty> | the apex doesn even refer to hackage, just blather about 'community' |
| 2024-11-06 17:09:52 +0100 | spew | (~spew@201.141.99.170) spew |
| 2024-11-06 17:09:01 +0100 | sprotte24 | (~sprotte24@p200300d16f45f600c5ad94218b2aa1c2.dip0.t-ipconnect.de) |
| 2024-11-06 17:08:49 +0100 | <Inst> | hmmm, probably not, since it makes itself meaningful by Any being a wrapper over types, i.e, if you consider Any -> Any to be typeless, it's essentially (a -> b), if you consider Any -> Any to be equivalent to Dynamic -> Dynamic, then it's a different content |
| 2024-11-06 17:07:08 +0100 | <Inst> | kuribas |
| 2024-11-06 17:07:00 +0100 | <Inst> | also (Any -> Any) is actually (a -> b), when you think of it, no? |
| 2024-11-06 17:06:29 +0100 | <Inst> | thanks for all the work, Hecate |
| 2024-11-06 17:05:47 +0100 | <Inst> | (a -> a) also implies that there's no ability to read the content of the data besides knowing that it exists |
| 2024-11-06 17:03:41 +0100 | <Hecate> | I've seen them in my own application logs as well |
| 2024-11-06 17:03:39 +0100 | <JuanDaugherty> | i c |
| 2024-11-06 17:03:30 +0100 | <Hecate> | and the tech team is tweaking the cloudflare config right now |
| 2024-11-06 17:03:29 +0100 | <JuanDaugherty> | ah |
| 2024-11-06 17:03:16 +0100 | <Hecate> | there has been lots of traffic from malicious AI scraper bots |
| 2024-11-06 17:03:01 +0100 | <Hecate> | it's not "maintained by some guy" |
| 2024-11-06 17:02:54 +0100 | <JuanDaugherty> | expect outages in such a situation |
| 2024-11-06 17:02:34 +0100 | <JuanDaugherty> | rather than glasgow or whatever |
| 2024-11-06 17:02:02 +0100 | <JuanDaugherty> | its maintained by some guy isn it? |
| 2024-11-06 17:00:21 +0100 | lbseale_ | (~quassel@user/ep1ctetus) (Ping timeout: 248 seconds) |
| 2024-11-06 16:53:10 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-06 16:51:31 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-06 16:51:13 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-06 16:50:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-06 16:48:03 +0100 | <kuribas> | yes |
| 2024-11-06 16:47:08 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2024-11-06 16:45:20 +0100 | <kilolympus> | Hi, not sure if this is the right place to ask, but is Hackage down for other people as well? |
| 2024-11-06 16:44:59 +0100 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:6573:d8d:c873:5381) kilolympus |
| 2024-11-06 16:43:29 +0100 | spew | (~spew@201.141.99.170) (Remote host closed the connection) |
| 2024-11-06 16:42:16 +0100 | EvanR | (~EvanR@user/evanr) EvanR |