Newest at the top
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) |
2024-10-13 22:11:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-13 22:06:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 22:02:19 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-13 22:01:54 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-13 21:55:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 21:50:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 21:50:44 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
2024-10-13 21:49:56 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-13 21:40:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 21:35:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 21:33:38 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-13 21:32:23 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-13 21:28:11 +0200 | <_d0t> | except it's not exactly my own script, but otherwise correct. |
2024-10-13 21:27:58 +0200 | <_d0t> | monochrom: yup, exactly that |
2024-10-13 21:27:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-10-13 21:25:50 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
2024-10-13 21:25:34 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-13 21:24:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-13 21:23:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |