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 |
| 2026-04-29 22:58:21 | <hadronized> | instance Stuff a => Eq a where … |
| 2026-04-29 22:58:29 | <hadronized> | instance Eq Int where … |
| 2026-04-29 22:58:42 | <hadronized> | if Stuff Int is provided, then what to pick? |
| 2026-04-29 22:59:12 | <hadronized> | I guess it’s OverlappingInstances |
| 2026-04-29 22:59:21 | <hadronized> | but never really thought about how it works behind the hood |
| 2026-04-29 23:01:17 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-04-29 23:04:22 | <geekosaur> | the ghc users manual has an explanation of how instances are picked in that case |
| 2026-04-29 23:06:11 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 2026-04-29 23:07:06 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-29 23:07:48 | <EvanR> | yeah if you want to ignore the "no overlapping" rule of type classes, then you might be losing some of the goodness of type classes |
| 2026-04-29 23:08:16 | <EvanR> | kind of like, immutable data is great, but then go mutate the data anyway |
| 2026-04-29 23:09:42 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-29 23:10:35 | <EvanR> | *ponders what you really want out of the specialization of Eq example* |
| 2026-04-29 23:10:46 | <EvanR> | sort of a default implementation concept |
| 2026-04-29 23:18:05 | × | FallenSky quits (~FallenSky@user/FallenSky) (Remote host closed the connection) |
| 2026-04-29 23:18:20 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-29 23:21:17 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2026-04-29 23:29:46 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-29 23:30:35 | × | pfc quits (~pfc@user/pfc) (Ping timeout: 245 seconds) |
| 2026-04-29 23:33:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 23:35:35 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-29 23:35:51 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-29 23:37:03 | → | puke joins (~puke@user/puke) |
| 2026-04-29 23:38:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-29 23:39:13 | → | czan joins (~czan@user/mange) |
| 2026-04-29 23:40:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-29 23:41:56 | × | synchromesh quits (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-29 23:43:25 | → | synchromesh joins (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) |
| 2026-04-29 23:47:43 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-29 23:49:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 23:50:21 | → | Fischmie- joins (~Fischmiep@user/Fischmiep) |
| 2026-04-29 23:51:26 | × | Fischmie- quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2026-04-29 23:52:53 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 244 seconds) |
| 2026-04-29 23:54:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 23:54:20 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-04-29 23:54:20 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 244 seconds) |
| 2026-04-29 23:55:07 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-29 23:55:14 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-29 23:56:06 | × | ephapticpulse quits (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-29 23:57:47 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2026-04-29 23:58:20 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2026-04-30 00:00:24 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-30 00:04:51 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 256 seconds) |
| 2026-04-30 00:07:26 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 00:09:27 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 255 seconds) |
| 2026-04-30 00:12:00 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 00:12:31 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-30 00:12:48 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-30 00:15:06 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2026-04-30 00:15:19 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-30 00:21:15 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 246 seconds) |
| 2026-04-30 00:24:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 00:28:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 00:30:38 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-30 00:31:42 | → | Comstar joins (~Comstar@user/Comstar) |
| 2026-04-30 00:37:27 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 00:41:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 00:48:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 00:49:04 | × | itaipu quits (~itaipu@168.121.99.12) (Ping timeout: 245 seconds) |
| 2026-04-30 00:49:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-30 00:50:08 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-30 00:55:49 | × | bkani quits (~bkani@user/bkani) (Ping timeout: 244 seconds) |
| 2026-04-30 00:59:22 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 01:00:45 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
All times are in UTC.