Newest at the top
2024-10-14 00:12:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 00:05:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 00:04:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-13 23:57:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-f1d8-4d0f-e5fc-d7b0.rev.sfr.net) alexherbo2 |
2024-10-13 23:56:49 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-13 23:55:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-10-13 23:54:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 23:51:06 +0200 | gvg | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
2024-10-13 23:49:59 +0200 | gvg_ | (~dcd@user/gvg) gvg |
2024-10-13 23:49:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 23:38:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-13 23:35:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-13 23:34:19 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
2024-10-13 23:34:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 23:30:10 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-10-13 23:29:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
2024-10-13 23:23:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 23:22:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
2024-10-13 23:18:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 23:16:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 23:11:57 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
2024-10-13 23:11:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 23:11:29 +0200 | poscat | (~poscat@user/poscat) poscat |
2024-10-13 23:03:09 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
2024-10-13 23:03:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-13 23:01:48 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) |
2024-10-13 23:01:26 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Read error: Connection reset by peer) |
2024-10-13 23:00:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 22:58:50 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-13 22:58:29 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
2024-10-13 22:56:55 +0200 | mrtz | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Remote host closed the connection) |
2024-10-13 22:56:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 22:46:06 +0200 | <monochrom> | It's high time you actually understand, or at least accept, coherence and what's wrong with incoherence, before you continue to spew uninformed opinions. |
2024-10-13 22:45:58 +0200 | <geekosaur> | also, the keywords in import/export syntax mark the bolted-on parts |
2024-10-13 22:45:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-13 22:45:17 +0200 | <monochrom> | It is also incorrect to deduce from "no `instance` keyword in import/export syntax" to "bolt on". The true reason is there is no choice therefore there doesn't need a keyword to express choice. Instances must be always exported for coherence reasons. |
2024-10-13 22:44:04 +0200 | <monochrom> | It is also incorrect to deduce from "no `class` keyword in import/export syntax" to "bolt on". The true reason is there is no ambiguity therefore there doesn't need a keyword for disambiguation, unlike pattern synonyms. |
2024-10-13 22:41:39 +0200 | <geekosaur> | maybe you want closed type families instead? |
2024-10-13 22:40:32 +0200 | <Inst> | ah, okay, thanks |
2024-10-13 22:40:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 22:39:35 +0200 | <monochrom> | We mimick closed type classes by not exporting method names of the type class so no one can write instances outside. |
2024-10-13 22:38:49 +0200 | <Rembane> | Inst: What's the use case? |
2024-10-13 22:37:01 +0200 | <Inst> | but of course if typeclasses weren't a bolt-on, class and instance keywords would be in import syntax :( |
2024-10-13 22:36:42 +0200 | <Inst> | there is no way to get closed typeclasses, right? |
2024-10-13 22:33:55 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-13 22:30:11 +0200 | mrtz | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) |
2024-10-13 22:29:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 22:24:13 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-10-13 22:22:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 22:19:25 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |