Newest at the top
| 2025-02-19 00:09:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-19 00:05:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-19 00:04:11 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-19 00:03:48 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-19 00:00:39 +0100 | mange | (~user@user/mange) mange |
| 2025-02-18 23:58:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4388:d333:b8ef:ba28) (Remote host closed the connection) |
| 2025-02-18 23:56:52 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-18 23:55:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-18 23:55:07 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-18 23:50:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-18 23:50:02 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-18 23:47:54 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-02-18 23:45:40 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-02-18 23:44:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2025-02-18 23:39:32 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-e4c1-4d2b-93a1-bece.pool6.digikabel.hu) |
| 2025-02-18 23:39:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-18 23:39:17 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-02-18 23:39:15 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-e4c1-4d2b-93a1-bece.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-18 23:38:42 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-18 23:38:18 +0100 | ljdarj1 | ljdarj |
| 2025-02-18 23:38:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-02-18 23:35:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-18 23:34:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-18 23:34:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-18 23:33:29 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-02-18 23:32:34 +0100 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2025-02-18 23:30:02 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4388:d333:b8ef:ba28) |
| 2025-02-18 23:30:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-18 23:29:35 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-18 23:27:23 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-18 23:26:38 +0100 | tromp | (~textual@2a02:a210:cba:8500:de2:dd98:e9b0:1ec7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-18 23:24:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-18 23:23:06 +0100 | <lambdabot> | Consider it noted. |
| 2025-02-18 23:23:06 +0100 | <monochrom> | @tell tomsmeding https://www.vex.net/~trebla/haskell/abs-type-param.html is how I motivate and derive (though not water-right) parametricity. I learned it from Reynolds, who began with the same consideration too. The Reynolds paper is "Types, abstraction, and parametric polymorphism". |
| 2025-02-18 23:22:01 +0100 | <haskellbridge> | <Liamzee> If I'm building a simple snake game because I hate the AI generated version, should I be using TVar, MVar, or IORef for the keyPress listener? |
| 2025-02-18 23:21:01 +0100 | <haskellbridge> | <magic_rb> tomsmeding: goodnight! Im also out, pushed it till i can barely see again.. |
| 2025-02-18 23:19:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-18 23:17:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-02-18 23:16:36 +0100 | Guest62 | (~Guest62@136.58.29.171) (Client Quit) |
| 2025-02-18 23:16:27 +0100 | <tomsmeding> | (in any case, it's bedtime for me, thanks for the fun) |
| 2025-02-18 23:16:18 +0100 | <tomsmeding> | I never really fully grasped the theory around it though |
| 2025-02-18 23:15:58 +0100 | <tomsmeding> | parametricity is fun :) |
| 2025-02-18 23:14:57 +0100 | <monochrom> | Or there is probably a way you can use a Yoneda lemma instead. |
| 2025-02-18 23:13:51 +0100 | <monochrom> | (or at least s/requires/is because of/) |
| 2025-02-18 23:13:41 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-18 23:13:37 +0100 | <monochrom> | What I find miraculous, or at least mathematically interesting, is why the forall type contains no junk. (Starter: It requires parametricity.) |
| 2025-02-18 23:13:02 +0100 | <tomsmeding> | "but then what's in this recursive position? I have an s there, not another constructor! Oh, just put that into the 's -> f s' function again" |
| 2025-02-18 23:13:00 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-18 23:12:30 +0100 | <tomsmeding> | "what's the top-level constructor of your cute GFP f value? Oh, just apply the function to that s seed value." |
| 2025-02-18 23:11:51 +0100 | Guest62 | (~Guest62@136.58.29.171) |