Logs: liberachat/#haskell
| 2021-06-20 11:30:44 | × | azeem quits (~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-20 11:30:46 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2021-06-20 11:30:49 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-20 11:31:15 | → | yd502 joins (~yd502@2409:891e:360:303d:80ad:194d:bc8:8ab9) |
| 2021-06-20 11:31:30 | → | azeem joins (~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) |
| 2021-06-20 11:34:06 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-20 11:38:26 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-20 11:41:28 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-20 11:41:30 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-20 11:45:51 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-20 11:51:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-20 12:02:15 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-20 12:06:28 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:28e5:866c:bfd1:85d2) |
| 2021-06-20 12:07:32 | → | flipchan joins (~yumman@user/flipchan) |
| 2021-06-20 12:10:39 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-20 12:12:25 | → | altern joins (~altern@altern.corbina.com.ua) |
| 2021-06-20 12:15:37 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-20 12:15:54 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-20 12:21:27 | × | laguneucl quits (~Pitsikoko@2a02:587:dc0b:ff00:91aa:a5de:def3:b2bc) (Ping timeout: 265 seconds) |
| 2021-06-20 12:24:50 | × | yd502 quits (~yd502@2409:891e:360:303d:80ad:194d:bc8:8ab9) (Ping timeout: 265 seconds) |
| 2021-06-20 12:30:49 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-20 12:31:21 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-20 12:36:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 268 seconds) |
| 2021-06-20 12:37:04 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-20 12:41:01 | <Axman6> | qrpnxz: you should look at unison |
| 2021-06-20 12:41:26 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-20 12:41:26 | <qrpnxz> | what is it |
| 2021-06-20 12:43:41 | → | mastarija joins (~mastarija@31.217.22.187) |
| 2021-06-20 12:44:01 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-20 12:44:27 | <koishi_> | is it possible to quantify over all type classes in an instance? |
| 2021-06-20 12:44:53 | <koishi_> | e.g. instance forall cls. cls (C cls) |
| 2021-06-20 12:45:06 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-20 12:47:05 | <koishi_> | I presume it's impossible due to the first order logic used in haskell 'class language', but google doesn't tell me anything about second-order class instances |
| 2021-06-20 12:48:04 | <koishi_> | so there doesn't exist any language that support this second-order thing, right? |
| 2021-06-20 12:49:31 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-20 12:51:10 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-20 12:51:25 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2021-06-20 12:51:41 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 244 seconds) |
| 2021-06-20 12:52:51 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-20 12:53:03 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-20 12:56:59 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-20 12:58:59 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-20 13:01:13 | → | alx741 joins (~alx741@181.196.68.241) |
| 2021-06-20 13:02:52 | × | Alex_test quits (~al_test@178.34.160.156) (Quit: ;-) |
| 2021-06-20 13:03:10 | × | AlexZenon quits (~alex@178.34.160.156) (Quit: ;-) |
| 2021-06-20 13:03:16 | × | AlexNoo quits (~AlexNoo@178.34.160.156) (Quit: Leaving) |
| 2021-06-20 13:06:37 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-06-20 13:07:02 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-20 13:07:31 | → | Guest9 joins (~Guest9@103.240.170.121) |
| 2021-06-20 13:09:20 | × | mastarija quits (~mastarija@31.217.22.187) (Ping timeout: 265 seconds) |
| 2021-06-20 13:13:39 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
| 2021-06-20 13:19:09 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-20 13:19:18 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-20 13:21:06 | → | AlexZenon joins (~alzenon@178.34.160.156) |
| 2021-06-20 13:23:50 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-20 13:24:46 | → | mastarija joins (~mastarija@31.217.22.187) |
| 2021-06-20 13:29:06 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-20 13:29:42 | × | abraham quits (~abraham@191.96.120.28) (Ping timeout: 252 seconds) |
| 2021-06-20 13:29:50 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-20 13:31:04 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Remote host closed the connection) |
| 2021-06-20 13:31:21 | × | favonia quits (~favonia@user/favonia) (Quit: Leaving) |
| 2021-06-20 13:34:18 | → | Alex_test joins (~al_test@178.34.160.156) |
| 2021-06-20 13:35:09 | × | Guest9 quits (~Guest9@103.240.170.121) (Quit: Connection closed) |
| 2021-06-20 13:37:06 | → | Guest9 joins (~Guest9@103.240.170.121) |
| 2021-06-20 13:37:19 | × | mastarija quits (~mastarija@31.217.22.187) (Ping timeout: 258 seconds) |
| 2021-06-20 13:40:13 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-20 13:42:41 | → | AlexNoo joins (~AlexNoo@178.34.160.156) |
| 2021-06-20 13:43:36 | <sclv> | ah drat they left or i would have pointed em to constraint kinds |
| 2021-06-20 13:46:32 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-06-20 13:47:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-20 13:52:39 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-20 13:54:30 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-20 13:59:07 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-20 13:59:24 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-20 14:00:48 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-20 14:03:26 | → | Guest53 joins (~Guest53@82.40.121.143) |
| 2021-06-20 14:03:29 | × | Guest53 quits (~Guest53@82.40.121.143) (Client Quit) |
| 2021-06-20 14:03:46 | × | benin0369 quits (~benin@183.82.205.58) (Ping timeout: 258 seconds) |
| 2021-06-20 14:04:41 | → | MemorableNewt joins (~Memorable@82.40.121.143) |
| 2021-06-20 14:08:56 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf) (Remote host closed the connection) |
| 2021-06-20 14:09:23 | <MemorableNewt> | I want to create an AST with multiple constructors, including some recursive, e.g. `data T = A | B T | C T T`, but I want to exclude certain patterns, e.g. in `C x y` I want to forbid `x == A` and `y == A`. Are there any general techniques for doing this concisely? |
| 2021-06-20 14:11:43 | → | fendor_ joins (~fendor@178.115.131.43.wireless.dyn.drei.com) |
| 2021-06-20 14:12:23 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-20 14:13:24 | <MemorableNewt> | If I only want to exclude the left argument of a `C` from being `A`, for example, then I could do it by attaching an extra kind parameter, e.g. `data T b where A :: T False; B :: T True -> T b; C :: T False -> T True -> T b`. But I don't see any way of generalising this. |
| 2021-06-20 14:14:07 | × | fendor quits (~fendor@77.119.128.145.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-06-20 14:14:23 | fendor_ | is now known as fendor |
| 2021-06-20 14:14:33 | × | Guest9 quits (~Guest9@103.240.170.121) (Ping timeout: 265 seconds) |
| 2021-06-20 14:15:23 | <MemorableNewt> | (correction: `A :: T False` should be `A :: T True` above) |
| 2021-06-20 14:17:21 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-20 14:18:02 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-20 14:19:22 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-20 14:21:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-20 14:23:28 | → | mastarija joins (~mastarija@31.217.22.187) |
| 2021-06-20 14:25:22 | → | brence joins (~brence@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c) |
| 2021-06-20 14:28:53 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-20 14:31:03 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Read error: Connection reset by peer) |
| 2021-06-20 14:32:06 | → | chomwitt joins (~Pitsikoko@athedsl-351576.home.otenet.gr) |
| 2021-06-20 14:32:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-20 14:37:20 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 252 seconds) |
| 2021-06-20 14:42:48 | → | zeenk joins (~zeenk@82.76.113.130) |
All times are in UTC.