Logs: liberachat/#haskell
| 2026-04-29 22:06:34 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-04-29 22:06:58 | divlamir_ | is now known as divlamir |
| 2026-04-29 22:12:50 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 252 seconds) |
| 2026-04-29 22:14:06 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-29 22:14:28 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 276 seconds) |
| 2026-04-29 22:15:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-29 22:16:19 | → | yuuta joins (~YuutaW@infornography.yta.moe) |
| 2026-04-29 22:16:37 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-04-29 22:16:50 | × | YuutaW quits (~YuutaW@infornography.yta.moe) (Ping timeout: 248 seconds) |
| 2026-04-29 22:17:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-29 22:18:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 22:23:30 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-04-29 22:24:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 22:35:36 | → | Square2 joins (~Square@user/square) |
| 2026-04-29 22:38:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-04-29 22:38:03 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-04-29 22:38:06 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-29 22:38:14 | × | Square quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-04-29 22:40:24 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-29 22:45:35 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-29 22:46:26 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-29 22:50:00 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 2026-04-29 22:50:29 | × | arahael quits (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2026-04-29 22:50:31 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-29 22:53:25 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Client Quit) |
| 2026-04-29 22:54:03 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-04-29 22:54:59 | <EvanR> | hadronized, historically, so that we can use the + operator on more than just Int... or Int and Float... or some other ad hoc thing |
| 2026-04-29 22:55:36 | <hadronized> | I wonder whether there are other approaches, especially dodging all the coherence problems |
| 2026-04-29 22:55:42 | <hadronized> | (overlapping instances, specialization, etc.) |
| 2026-04-29 22:55:49 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-29 22:55:57 | <EvanR> | eyebrow raises |
| 2026-04-29 22:56:22 | <EvanR> | problem? points at Typeclasses vs The World |
| 2026-04-29 22:56:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-29 22:56:49 | <hadronized> | I’ve been designing a language lately and just assumed I’d use a typeclass kind of abstraction |
| 2026-04-29 22:57:04 | <hadronized> | but I would also like to have specialization, and coherence makes it pretty hard to think about |
| 2026-04-29 22:57:27 | <EvanR> | what do you mean by specialization |
All times are in UTC.