Newest at the top
| 2024-09-21 10:31:36 +0200 | <Inst> | tomsmeding: why are existential types a bad idea? |
| 2024-09-21 10:29:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-21 10:27:05 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-21 10:26:45 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-21 10:25:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-21 10:25:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-21 10:25:04 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-21 10:24:45 +0200 | gary_borg | (~gary_borg@144.6.194.76) |
| 2024-09-21 10:24:21 +0200 | gary_borg | (~gary_borg@144.6.194.76) (Quit: Leaving) |
| 2024-09-21 10:21:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-21 10:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-21 10:19:47 +0200 | <gary_borg> | timtamspelling: oh ok ythank yo for choryfinning |
| 2024-09-21 10:19:33 +0200 | <tomsmeding> | :D |
| 2024-09-21 10:19:29 +0200 | <ski> | (clearly operators are opposition, adversaries) |
| 2024-09-21 10:18:39 +0200 | <tomsmeding> | which is a bot from the irc server that mediates admin rights to the actual people having said access |
| 2024-09-21 10:18:29 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-21 10:18:26 +0200 | Inst | (~Inst@user/Inst) (Leaving) |
| 2024-09-21 10:18:19 +0200 | <tomsmeding> | that user here is ChanServ |
| 2024-09-21 10:18:15 +0200 | <tomsmeding> | an "op" (not "opp") is an "operator", i.e. a user with admin rights on the channel |
| 2024-09-21 10:18:00 +0200 | <tomsmeding> | gary_borg: ah lol |
| 2024-09-21 10:17:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-21 10:17:31 +0200 | <Inst> | just in Haskell it's a lot more wonky |
| 2024-09-21 10:17:25 +0200 | <gary_borg> | https://imgur.com/a/7GTqvrr this is what im referring to. |
| 2024-09-21 10:17:23 +0200 | <Inst> | after touching julia, why yes, you can have an entire language made out of typeclasses (since implicitly in Julia every function is a typeclass) |
| 2024-09-21 10:16:28 +0200 | <tomsmeding> | sometimes they are, sure, but when modelling data, they usually bring more harm than good |
| 2024-09-21 10:16:06 +0200 | <tomsmeding> | Inst: existential types are almost never the right answer |
| 2024-09-21 10:15:40 +0200 | <Inst> | tomsmeding: tbh you're right, you could use typeclasses and existential types for that |
| 2024-09-21 10:14:51 +0200 | <tomsmeding> | irc does not have a concept of "opposition", so not sure what you're referring to :) |
| 2024-09-21 10:14:37 +0200 | <gary_borg> | Opp (Opponent or Opposition) "Opp" is a slang abbreviation of the word "opponent" or "enemy." It is commonly used to refer to someone who is viewed as an adversary or someone with whom one has a conflict or disagreement. |
| 2024-09-21 10:14:36 +0200 | <gary_borg> | Opponent or Opposition |
| 2024-09-21 10:14:20 +0200 | <gary_borg> | opposition |
| 2024-09-21 10:13:27 +0200 | <tomsmeding> | what do you mean with "opp"? |
| 2024-09-21 10:13:12 +0200 | <gary_borg> | what did i do wronh |
| 2024-09-21 10:13:09 +0200 | <gary_borg> | why is someone here my opp |
| 2024-09-21 10:13:04 +0200 | <gary_borg> | im confused with this app im new ot irc |
| 2024-09-21 10:12:56 +0200 | <gary_borg> | why is haskelbridge my opp |
| 2024-09-21 10:12:01 +0200 | gary_borg | (~gary_borg@144.6.194.76) |
| 2024-09-21 10:09:30 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-21 10:09:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-21 10:08:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-21 10:07:52 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-21 10:04:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-21 10:02:44 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
| 2024-09-21 10:02:43 +0200 | <tomsmeding> | (which is also how all of the implicit techniques are implemented; the compiler just knows about them and resolves references to the contained structure automagically) |
| 2024-09-21 10:02:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-21 10:01:47 +0200 | <tomsmeding> | (if you don't need the "implicit" part, you can just use what OOP calls "composition", i.e. just put the parent object in a field of the child object) |
| 2024-09-21 10:01:16 +0200 | <tomsmeding> | which is analogous to subtyping in OOP, where a specfic object is also implicitly a more general object |
| 2024-09-21 10:00:45 +0200 | <tomsmeding> | i.e. if the more general behaviour is a superclass of the more specific one, then any type that implements the specfic behaviour will be implicitly known to also implement the more general behaviour |
| 2024-09-21 09:59:46 +0200 | <tomsmeding> | type classes can give you kind of the dual of that, "sub-behaviours"? |
| 2024-09-21 09:58:30 +0200 | <Inst> | I just brought up the library as something close to what I wanted, I'm just doing straight ADT (without fancy type mechanics) until I get the hang of things, but it's annoying how I can't use subtypes etc |