Logs: liberachat/#haskell
| 2021-06-18 09:56:26 | → | mpt joins (~tom@2a02:908:1862:49e0::2) |
| 2021-06-18 09:58:09 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-18 09:58:43 | × | Guest9 quits (~Guest9@42.106.12.98) (Quit: Connection closed) |
| 2021-06-18 09:59:26 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-06-18 10:02:27 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 272 seconds) |
| 2021-06-18 10:03:38 | × | agumonke` quits (~user@88.163.231.79) (Ping timeout: 252 seconds) |
| 2021-06-18 10:04:37 | → | fabfianda joins (~fabfianda@mob-5-90-248-146.net.vodafone.it) |
| 2021-06-18 10:10:09 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-18 10:10:35 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-18 10:12:03 | × | fendor quits (~fendor@178.115.128.93.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-06-18 10:13:41 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2021-06-18 10:15:13 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 10:15:26 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-18 10:19:56 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 10:21:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-18 10:22:24 | → | fendor joins (~fendor@178.115.128.93.wireless.dyn.drei.com) |
| 2021-06-18 10:23:22 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-18 10:23:42 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 10:26:22 | × | kuribas quits (~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-06-18 10:30:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 10:31:06 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 240 seconds) |
| 2021-06-18 10:31:39 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 10:33:36 | <hololeap> | boxscape: well, I tried to impment something using that and I get stuck without some notion of partially-applied type families or type-level lambdas |
| 2021-06-18 10:34:17 | <hololeap> | type family Foo (_f :: (k -> x) -> k -> x) (_k :: k) :: x where Foo _f _k = ?????? |
| 2021-06-18 10:34:25 | <boxscape> | hololeap ah, well, you could always install singletons and use its defunctionalization infrastructure to emulate partially applied type families |
| 2021-06-18 10:34:45 | <hololeap> | this was all just to see if it was possible |
| 2021-06-18 10:34:59 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-18 10:35:20 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-18 10:37:36 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-18 10:39:01 | <hololeap> | oh, I see what I'm doing wrong here |
| 2021-06-18 10:42:21 | → | kuribas joins (~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be) |
| 2021-06-18 10:42:41 | × | kuribas quits (~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-06-18 10:43:54 | <hololeap> | this works although it's cumbersome: http://dpaste.com/4QWQWYJHV |
| 2021-06-18 10:44:22 | × | amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer) |
| 2021-06-18 10:44:40 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-18 10:45:58 | <boxscape> | hololeap which ghc version are you on? |
| 2021-06-18 10:46:04 | <hololeap> | 8.10.5 |
| 2021-06-18 10:46:39 | <boxscape> | ok, huh, I'm getting a bunch of `error: Not in scope: type variable ‘k’` with 8.10.4 |
| 2021-06-18 10:47:51 | <hololeap> | oh heh I changed the names without recompiling |
| 2021-06-18 10:48:09 | <boxscape> | ah |
| 2021-06-18 10:48:44 | × | mpt quits (~tom@2a02:908:1862:49e0::2) (Ping timeout: 252 seconds) |
| 2021-06-18 10:48:44 | <hololeap> | http://dpaste.com/CJ765R4U3 |
| 2021-06-18 10:48:50 | <boxscape> | thanks |
| 2021-06-18 10:48:55 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 10:49:11 | <hololeap> | that's surprising that it cant disambiguate between the type-level "k" and the kind-level "k" |
| 2021-06-18 10:49:29 | <boxscape> | hololeap the :$ is unnecessary |
| 2021-06-18 10:49:35 | <boxscape> | or is that the point |
| 2021-06-18 10:49:53 | <hololeap> | it was sort of an aritifact from when I wast trying to figure it out |
| 2021-06-18 10:49:58 | <boxscape> | I see |
| 2021-06-18 10:50:14 | <boxscape> | hololeap the type-level and kind-level namespaces are the same namespace |
| 2021-06-18 10:50:27 | <hololeap> | I did not know that |
| 2021-06-18 10:50:36 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-18 10:50:39 | <boxscape> | (since 8.0) |
| 2021-06-18 10:50:44 | <hololeap> | I was doing it at first just to keep myself sane |
| 2021-06-18 10:51:01 | <hololeap> | (keeping the type and kind variables disambiguous) |
| 2021-06-18 10:51:33 | <boxscape> | for what it's worth, you could use ($) here if you wanted instead of (:$) |
| 2021-06-18 10:51:52 | <boxscape> | the colon is only required for data constructors |
| 2021-06-18 10:51:54 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-18 10:52:08 | <hololeap> | error: Not in scope: type constructor or class ‘$’ |
| 2021-06-18 10:52:15 | <boxscape> | hmm |
| 2021-06-18 10:52:33 | <boxscape> | hololeap to be clear I mean also rename it in the type family |
| 2021-06-18 10:52:45 | <hololeap> | oh, really |
| 2021-06-18 10:52:50 | <boxscape> | ghc doesn't automatically promote the term-level ($) (yet), but you can make a separate type-level version of it |
| 2021-06-18 10:53:06 | <hololeap> | I thought a type family had to start with a "capital" which included ':' |
| 2021-06-18 10:53:44 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 10:53:45 | <boxscape> | understandable, but yeah, only data constructors |
| 2021-06-18 10:53:51 | <hololeap> | it seems to work |
| 2021-06-18 10:54:15 | <hololeap> | although that would get confusing |
| 2021-06-18 10:54:22 | <boxscape> | % (\(+) -> (+)) 4 -- you need it for data constructors so that ghc knows the (+) here isn't supposed to be a constructor |
| 2021-06-18 10:54:22 | <yahb> | boxscape: 4 |
| 2021-06-18 10:55:12 | <hololeap> | infixr 0 $ -- if I change it to this, this seems like it would conflict with ($) in base |
| 2021-06-18 10:55:31 | <hololeap> | (although they are the same value) |
| 2021-06-18 10:55:51 | <boxscape> | yeah the fixity notations are a bit weird, I think they apply to all type-level and term-level constructors defined in that module |
| 2021-06-18 10:56:08 | <boxscape> | so you wouldn't affect the base ($) with that |
| 2021-06-18 10:57:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-18 10:57:36 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-18 10:57:39 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-18 10:57:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-18 10:58:07 | <hololeap> | if I changed it to infixr 1 $, it wouldn't override ($) from base? |
| 2021-06-18 10:58:17 | <boxscape> | I don't think so, no |
| 2021-06-18 10:58:17 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-18 10:58:39 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-18 10:58:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 10:58:58 | <hololeap> | just because of its the placement in a separate module, or because it's just below the type family def... or what? |
| 2021-06-18 10:59:18 | <hololeap> | that seems ambiguous to me |
| 2021-06-18 11:00:01 | × | CookE[] quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-18 11:00:12 | <boxscape> | because it's in a separate module |
| 2021-06-18 11:00:37 | <boxscape> | (it's not a well designed situation) |
| 2021-06-18 11:01:12 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-18 11:01:30 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-06-18 11:01:43 | × | fendor quits (~fendor@178.115.128.93.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-18 11:03:38 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2021-06-18 11:04:13 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-06-18 11:04:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-18 11:04:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 11:05:47 | × | ubert quits (~Thunderbi@p200300ecdf259d62e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-18 11:06:01 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-18 11:07:12 | <hololeap> | ok. good to know! |
| 2021-06-18 11:07:32 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-06-18 11:13:09 | → | fendor joins (~fendor@178.115.128.93.wireless.dyn.drei.com) |
All times are in UTC.