Newest at the top
| 2024-05-31 13:19:19 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Ping timeout: 268 seconds) |
| 2024-05-31 13:16:50 +0200 | aforemny | (~aforemny@i59F516D2.versanet.de) |
| 2024-05-31 13:16:24 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2) (Ping timeout: 260 seconds) |
| 2024-05-31 13:08:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 13:04:58 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:9c00:c171:fb17:71f4:dfc2) |
| 2024-05-31 13:01:28 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898) (Ping timeout: 260 seconds) |
| 2024-05-31 12:58:11 +0200 | aforemny | (~aforemny@i59F516F0.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-31 12:57:02 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:8900:77a2:a7e2:97a4:b898) |
| 2024-05-31 12:51:20 +0200 | aforemny | (~aforemny@i59F516F0.versanet.de) |
| 2024-05-31 12:50:34 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-31 12:45:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-31 12:43:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-31 12:37:36 +0200 | aforemny | (~aforemny@i59F516E2.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-31 12:33:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-31 12:33:07 +0200 | aforemny | (~aforemny@i59F516E2.versanet.de) |
| 2024-05-31 12:26:51 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:4000:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-05-31 12:24:26 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b) (Ping timeout: 268 seconds) |
| 2024-05-31 12:19:38 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:3600:3f48:22cd:8891:f09b) |
| 2024-05-31 12:15:03 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7) (Ping timeout: 260 seconds) |
| 2024-05-31 12:10:38 +0200 | aforemny | (~aforemny@2001:9e8:6cc1:900:e6d8:1e6c:121f:64c7) |
| 2024-05-31 12:10:15 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c) (Ping timeout: 268 seconds) |
| 2024-05-31 12:07:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-05-31 12:06:31 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-31 12:02:15 +0200 | <tomsmeding> | but its consituents, OccName and NameFlavour, have derived Show instances |
| 2024-05-31 12:01:43 +0200 | <tomsmeding> | mind that Name has a custom Show instance that obscures some details of representation |
| 2024-05-31 12:00:01 +0200 | <tomsmeding> | dminuoso: ^ |
| 2024-05-31 11:59:17 +0200 | <tomsmeding> | there's nothing fancy in a Name, it's just a data structure, so the magic is not there |
| 2024-05-31 11:58:54 +0200 | <tomsmeding> | I guess the linking will happen when it is interpreted at splice time, when GHC will have to resolve that name |
| 2024-05-31 11:58:07 +0200 | <tomsmeding> | and that name will then probably be a NameG, which is a fully qualified package-module name |
| 2024-05-31 11:57:27 +0200 | <tomsmeding> | that 'foo is a Name |
| 2024-05-31 11:55:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:d500:5ea1:16dd:6645:6bda) (Ping timeout: 255 seconds) |
| 2024-05-31 11:55:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e100:4fa2:e76c:3a29:d92c) |
| 2024-05-31 11:53:28 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) |
| 2024-05-31 11:53:03 +0200 | danse-nr3 | (~danse-nr3@151.57.225.167) (Remote host closed the connection) |
| 2024-05-31 11:51:56 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2024-05-31 11:51:53 +0200 | aforemny | (~aforemny@i59F516EE.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-31 11:51:41 +0200 | <dminuoso> | Assuming I splice that in some other module. |
| 2024-05-31 11:51:21 +0200 | <dminuoso> | If in module X I have TemplateHaskellQuotes turned on, and there is an identifier `foo` in scope, and I just use it in some `varE 'foo ...` - how will this work exactly with regards to linking? |
| 2024-05-31 11:51:00 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:d500:5ea1:16dd:6645:6bda) |
| 2024-05-31 11:48:40 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-05-31 11:47:07 +0200 | <kuribas> | it doesn't even have static types. |
| 2024-05-31 11:47:02 +0200 | <kuribas> | prolog doesn't have GADTs |
| 2024-05-31 11:45:38 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-31 11:44:59 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-31 11:44:22 +0200 | <sprout> | unsure |
| 2024-05-31 11:44:20 +0200 | <sprout> | I think they claim prolog uses horn clauses but that strikes me as a bit loose reasoning |
| 2024-05-31 11:43:47 +0200 | <sprout> | prolog? |
| 2024-05-31 11:43:10 +0200 | chele | (~chele@user/chele) |
| 2024-05-31 11:42:52 +0200 | <kuribas> | Or just any dependently typed logic system? |
| 2024-05-31 11:42:45 +0200 | <kuribas> | Are there languages besides twelf that use GADTs as horn clauses for a logic system? |