Logs: liberachat/#haskell
| 2021-07-04 03:11:12 | × | Nyeogmi quits (~Nyeogmi@2601:645:8700:bea0:bcb8:b9ef:af27:7b7c) (Changing host) |
| 2021-07-04 03:11:12 | → | Nyeogmi joins (~Nyeogmi@user/nyeogmi) |
| 2021-07-04 03:18:35 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-04 03:19:14 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-04 03:19:51 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-07-04 03:31:02 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-04 03:35:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 03:35:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 03:36:25 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-04 03:40:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-04 03:40:53 | → | dunkeln_ joins (~dunkeln@188.70.44.28) |
| 2021-07-04 03:43:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 03:45:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 03:48:16 | → | nate1 joins (~nate@108.233.125.227) |
| 2021-07-04 03:48:47 | × | thornAvery quits (~thorn@121.220.33.124) (Ping timeout: 258 seconds) |
| 2021-07-04 03:49:20 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-07-04 03:52:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-04 03:53:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-07-04 03:53:23 | × | nate1 quits (~nate@108.233.125.227) (Ping timeout: 258 seconds) |
| 2021-07-04 03:54:21 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-04 03:57:49 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-04 04:04:27 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-04 04:04:48 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 04:10:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 04:10:32 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 04:13:38 | × | dunkeln_ quits (~dunkeln@188.70.44.28) (Ping timeout: 265 seconds) |
| 2021-07-04 04:19:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 04:25:49 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 04:29:25 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-04 04:29:38 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 04:31:06 | × | hammock quits (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 240 seconds) |
| 2021-07-04 04:41:25 | → | steshaw joins (~steshaw@122-151-164-35.sta.wbroadband.net.au) |
| 2021-07-04 04:47:00 | → | dunkeln joins (~dunkeln@188.70.44.28) |
| 2021-07-04 04:48:08 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-04 04:48:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-04 04:49:10 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-04 04:49:20 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 04:51:14 | → | slack1256 joins (~slack1256@181.203.33.8) |
| 2021-07-04 04:52:47 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-04 04:53:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-04 04:54:19 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-04 04:57:24 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-04 04:57:46 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 04:58:30 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-04 04:59:28 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-07-04 04:59:59 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-04 05:03:34 | × | willbush quits (~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-07-04 05:04:07 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-04 05:05:08 | × | cjb quits (~cjb@user/cjb) (Client Quit) |
| 2021-07-04 05:06:20 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 05:06:38 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 05:11:47 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-04 05:12:44 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds) |
| 2021-07-04 05:14:38 | × | favonia quits (~favonia@user/favonia) (Remote host closed the connection) |
| 2021-07-04 05:21:53 | <qrpnxz> | so i get that when i type something a -> a the forall a is implicit, how do i make it explicit that i don't mean forall a? |
| 2021-07-04 05:22:59 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-04 05:23:38 | <c_wraith> | what do you mean instead? |
| 2021-07-04 05:23:41 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-04 05:24:14 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-04 05:25:04 | <qrpnxz> | there is a specific a that i don't want to say because i want it to be dependant on the code |
| 2021-07-04 05:25:34 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-04 05:25:40 | <qrpnxz> | i could also not write out the type at all, but i rather have some of it written idk |
| 2021-07-04 05:25:40 | <c_wraith> | I think you *probably* want ScopedTypeVariables |
| 2021-07-04 05:25:51 | <qrpnxz> | will look into that |
| 2021-07-04 05:28:26 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-07-04 05:29:21 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-04 05:32:31 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-04 05:32:34 | <qrpnxz> | PartialTypeSignatures seems to be the ticket |
| 2021-07-04 05:33:04 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-04 05:33:04 | <davean> | qrpnxz: uh |
| 2021-07-04 05:33:17 | <c_wraith> | Oh, yeah, sometimes that works. |
| 2021-07-04 05:33:27 | <davean> | I mean thats a way of not writing the type signature |
| 2021-07-04 05:33:56 | <davean> | Not of writing some specific type signature |
| 2021-07-04 05:33:57 | <qrpnxz> | of not writing part of it yeah |
| 2021-07-04 05:34:15 | <qrpnxz> | exactly what i wanted |
| 2021-07-04 05:34:29 | <c_wraith> | Sometimes that's what you need, especially when you have MonoLocalBinds enabled |
| 2021-07-04 05:35:20 | <c_wraith> | When working with GADTs, I often will use a local type like forall x. _ x -> _ x |
| 2021-07-04 05:35:26 | <davean> | I don't know of any type signature you can get with PartialTypeSignatures you couldn't have writen out directly with ScopedTypeVariables |
| 2021-07-04 05:35:35 | <qrpnxz> | thought because it's a hole rather than a variable, i can't put a constraint on the hole |
| 2021-07-04 05:35:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-04 05:35:38 | <qrpnxz> | so not perfect |
| 2021-07-04 05:35:39 | <qrpnxz> | but alright |
| 2021-07-04 05:35:49 | <c_wraith> | You can add a _ constraint, too |
| 2021-07-04 05:36:01 | <qrpnxz> | that let's constraints for anything appear |
| 2021-07-04 05:36:04 | <qrpnxz> | which i don't want |
| 2021-07-04 05:36:18 | <qrpnxz> | i only wanted a specific constraint, for a specific whole |
| 2021-07-04 05:36:21 | <qrpnxz> | *hole |
| 2021-07-04 05:36:21 | <davean> | qrpnxz: why are you not giving it a variable and linking it to what you want it linked to directly? |
| 2021-07-04 05:36:31 | <qrpnxz> | cause the variable would be a forall |
| 2021-07-04 05:36:34 | <qrpnxz> | which would be wrong |
| 2021-07-04 05:36:45 | <davean> | Why would it be a forall? I said link it directly |
| 2021-07-04 05:36:54 | <qrpnxz> | idk what you mean by that |
| 2021-07-04 05:37:02 | <davean> | Ok, so what determines what it should be? |
| 2021-07-04 05:37:03 | <qrpnxz> | my original question was how to declare that it wasn't a forall |
| 2021-07-04 05:37:09 | <qrpnxz> | the code determines it |
| 2021-07-04 05:37:12 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-04 05:37:16 | <davean> | What *part* of the code |
| 2021-07-04 05:37:29 | <davean> | I mean types determine types |
| 2021-07-04 05:37:30 | × | dunkeln quits (~dunkeln@188.70.44.28) (Ping timeout: 240 seconds) |
| 2021-07-04 05:37:33 | <davean> | we aren't dependently typed in Haskel |
All times are in UTC.