Logs: liberachat/#haskell
| 2026-04-30 15:34:18 | <Leary> | I would determine that on a case-by-case basis; ultimately it's a matter of whether they types in question have any good reason to be (or not be) polykinded. |
| 2026-04-30 15:35:24 | <tomsmeding> | hello I've been away for a couple weeks, what's with all the @? Are there spammers? |
| 2026-04-30 15:36:01 | <janus> | i got op from shapr and now i proudly wear it. i don't think ChanServ knows about it so i wouldn't be able to get it back |
| 2026-04-30 15:36:46 | <janus> | it is cringe to wear op all the time? |
| 2026-04-30 15:37:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-30 15:37:56 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:40:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 15:41:14 | <geekosaur> | it's kinda disrecommended by libera |
| 2026-04-30 15:41:16 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:43:28 | janus | sets mode -o janus |
| 2026-04-30 15:43:53 | → | AlexNoo_ joins (~AlexNoo@178.34.163.122) |
| 2026-04-30 15:44:44 | <janus> | Leary: i should probably abandon this effort, it seems too risky for such an old codebase |
| 2026-04-30 15:45:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 15:45:13 | <janus> | but it's a good lesson in that kindedness is exported, which i hadn't considered |
| 2026-04-30 15:46:31 | × | Alex_delenda_est quits (~al_test@178.34.162.165) (Ping timeout: 264 seconds) |
| 2026-04-30 15:47:10 | × | AlexZenon quits (~alzenon@178.34.162.165) (Ping timeout: 244 seconds) |
| 2026-04-30 15:47:46 | × | AlexNoo quits (~AlexNoo@178.34.162.165) (Ping timeout: 265 seconds) |
| 2026-04-30 15:48:43 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:52:31 | → | AlexZenon joins (~alzenon@178.34.163.122) |
| 2026-04-30 15:53:06 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 15:56:04 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:57:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 15:57:55 | × | Enrico63 quits (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-04-30 15:59:03 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:59:14 | <tomsmeding> | janus: dunno about cringe; shapr gave me op in #haskell-offtopic a long time ago and I did the same. :P |
| 2026-04-30 16:02:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 16:03:39 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-04-30 16:04:43 | → | nnm joins (nnm@chainless.shells.chat) |
| 2026-04-30 16:05:26 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-30 16:06:57 | AlexNoo_ | is now known as AlexNoo |
| 2026-04-30 16:07:18 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-30 16:07:18 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-30 16:07:18 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-30 16:09:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-30 16:10:11 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-30 16:14:16 | <haskellbridge> | <shapr> haha! |
| 2026-04-30 16:14:27 | <geekosaur> | how long ago? on freenode -offtopic wasn't part of the acl group so it needed its own ops |
| 2026-04-30 16:15:24 | <geekosaur> | (freenode's ircd didn't support that iirc, solanum does) |
| 2026-04-30 16:15:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 16:16:57 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-30 16:17:41 | <geekosaur> | mm, not ircd, services |
| 2026-04-30 16:20:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 16:22:03 | × | tok quits (~user@user/tok) (Read error: Connection reset by peer) |
| 2026-04-30 16:23:03 | × | acarrico quits (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) (Ping timeout: 246 seconds) |
| 2026-04-30 16:25:39 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-30 16:28:34 | → | craunts795335385 joins (~craunts@152.32.100.66) |
| 2026-04-30 16:32:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 16:35:00 | × | pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2026-04-30 16:35:38 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-04-30 16:35:49 | → | acarrico joins (~acarrico@2606:1440:605:2500:ac3:5f1a:da7f:d2ac) |
| 2026-04-30 16:37:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 16:44:39 | <EvanR> | janus, agreed old codebases with ancient bugs and unknown risks are bad. Better to make a brand new fresh code base with brand new bugs xD |
| 2026-04-30 16:48:04 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 16:49:05 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 16:53:46 | → | malte joins (~malte@mal.tc) |
| 2026-04-30 16:55:53 | <janus> | % import Data.Typeable |
| 2026-04-30 16:55:53 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 16:55:53 | <yahb2> | <no output> |
| 2026-04-30 16:56:01 | <janus> | % :t typeRep |
| 2026-04-30 16:56:01 | <yahb2> | typeRep ; :: forall {k} (proxy :: k -> *) (a :: k). ; Typeable a => ; proxy a -> TypeRep |
| 2026-04-30 16:56:20 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 16:57:25 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-30 16:57:26 | <janus> | why does kindedness make a difference here? what is an example of a declaration that fits with typeRep without PolyKinds but fails with? |
| 2026-04-30 16:58:30 | <janus> | this was even made more polymorphic at some point, because in base-4.18 it was just forall proxy a. Typeable a => proxy a -> TypeRep |
| 2026-04-30 17:03:47 | <EvanR> | the a and proxy have to match up somehow |
| 2026-04-30 17:03:58 | <EvanR> | it's not any a and any proxy independently |
| 2026-04-30 17:04:28 | <mauke> | that question seems backwards |
| 2026-04-30 17:05:36 | <geekosaur> | I thought so too |
| 2026-04-30 17:05:49 | → | m4 joins (~travltux@user/travltux) |
| 2026-04-30 17:06:05 | <EvanR> | forall proxy a. Typeable a => proxy a -> TypeRep seems more polymorphic? |
| 2026-04-30 17:06:55 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-04-30 17:07:13 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-30 17:07:28 | <mauke> | ?? |
| 2026-04-30 17:11:49 | <mauke> | https://gitlab.haskell.org/ghc/ghc/-/wikis/ghc-kinds/poly-typeable |
| 2026-04-30 17:19:36 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-30 17:20:28 | × | Comstar quits (~Comstar@user/Comstar) (Quit: Leaving) |
| 2026-04-30 17:20:54 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 17:25:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-30 17:26:28 | <janus> | % typeRep (undefined :: Proxy Monad) |
| 2026-04-30 17:26:28 | <yahb2> | Monad |
| 2026-04-30 17:26:45 | <janus> | you wouldn't be able to do this with the old definition, because proxy would be Type -> Type, right |
All times are in UTC.