Newest at the top
| 2025-05-23 15:38:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:37:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 15:30:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:30:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 15:27:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-23 15:24:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:23:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 15:20:46 +0200 | <JuanDaugherty> | the nose that dont want no smells prolly wants fragrance-free igess |
| 2025-05-23 15:19:04 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-05-23 15:18:49 +0200 | <JuanDaugherty> | can a code smell be a fragrance? |
| 2025-05-23 15:17:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-23 15:16:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:16:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 15:16:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-23 15:11:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-23 15:09:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:09:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 15:08:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-23 15:03:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-23 15:01:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 15:01:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 14:54:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 14:54:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-23 14:51:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-23 14:49:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 14:48:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 14:46:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 14:45:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 14:45:38 +0200 | <hellwolf> | I just wanted to know if there is code smells |
| 2025-05-23 14:45:33 +0200 | <tomsmeding> | :) |
| 2025-05-23 14:45:30 +0200 | <hellwolf> | then I got my answer. |
| 2025-05-23 14:45:25 +0200 | <hellwolf> | Yes. |
| 2025-05-23 14:45:25 +0200 | <hellwolf> | 05-23 15:45 <tomsmeding> is there more than one function with that big list of constraints? |
| 2025-05-23 14:45:23 +0200 | <tomsmeding> | if so, make an alias; if not, don't |
| 2025-05-23 14:45:22 +0200 | yin | zzz |
| 2025-05-23 14:45:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-05-23 14:45:18 +0200 | <hellwolf> | yes, hence my question, since I didn't feel it was right |
| 2025-05-23 14:45:16 +0200 | <tomsmeding> | is there more than one function with that big list of constraints? |
| 2025-05-23 14:45:02 +0200 | <tomsmeding> | please don't create a class if no class is necessary |
| 2025-05-23 14:44:51 +0200 | <hellwolf> | vs. just using a constraints alias |
| 2025-05-23 14:44:41 +0200 | <hellwolf> | ah, yes, using super class constraints to inject constraints |
| 2025-05-23 14:44:36 +0200 | <tomsmeding> | if you have a function with many constraints, well, you just have a function with many constraints -- no need to conjure up a class from nothing |
| 2025-05-23 14:44:21 +0200 | <hellwolf> | yes, that's what I wanted to ask. why create that instance for no good range. |
| 2025-05-23 14:44:18 +0200 | <tomsmeding> | the second option is the one that looks very strange |
| 2025-05-23 14:44:05 +0200 | <hellwolf> | vs. class ( ... ) => HavingALotOfConstraints t f a where f :: t (f a) -> f (t a) |
| 2025-05-23 14:44:03 +0200 | <tomsmeding> | where the second option would have just a single instance? |
| 2025-05-23 14:43:44 +0200 | <hellwolf> | vs. class HavingALotOfConstraints t f a where f :: t (f a) -> f (t a) |
| 2025-05-23 14:43:26 +0200 | <hellwolf> | type HavingALotOfConstraints t f a = ( ... ); f :: HavingALotOfConstraints t f a => t (f a) -> f (t a) |
| 2025-05-23 14:42:29 +0200 | <tomsmeding> | ... that makes it even more confusing :p |
| 2025-05-23 14:42:12 +0200 | <hellwolf> | it's only relevant because otherwise you would need to define a singleton instance with undecidableinstances |