Newest at the top
| 2024-07-02 23:44:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-02 23:39:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-02 23:37:23 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-02 23:32:18 +0200 | ryan50 | (~ryan@65.59.236.66) (Ping timeout: 250 seconds) |
| 2024-07-02 23:30:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-02 23:22:56 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-02 23:22:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-02 23:21:18 +0200 | AlexZenon | (~alzenon@94.233.240.124) |
| 2024-07-02 23:20:59 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-02 23:18:00 +0200 | AlexZenon | (~alzenon@94.233.240.124) (Ping timeout: 255 seconds) |
| 2024-07-02 23:16:12 +0200 | <Leary> | ryan50: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/data_kinds.html |
| 2024-07-02 23:11:43 +0200 | <ryan50> | were possible too. I've tried to look for documentation on the '[] syntax but seem to not be able to find anything comprehensive on it. Does anyone know a good resource I can use to learn more about type-level programming? |
| 2024-07-02 23:11:43 +0200 | <ryan50> | Hi, I've been looking through some libraries like polysemy and effectful to see how algebraic effects are being implemented, and I noticed that a lot of them use type level list literals to accomplish effect composition (e.g. '[Effect1, Effect2]). I know that Haskell's had type level numbers and strings for a while, but I didn't realize that lists |
| 2024-07-02 23:09:56 +0200 | AlexZenon | (~alzenon@94.233.240.124) |
| 2024-07-02 23:09:20 +0200 | ryan50 | (~ryan@65.59.236.66) |
| 2024-07-02 23:04:27 +0200 | AlexZenon | (~alzenon@94.233.240.124) (Ping timeout: 264 seconds) |
| 2024-07-02 23:03:54 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-02 22:57:03 +0200 | <int-e> | . o O ( forging pointers ) |
| 2024-07-02 22:47:54 +0200 | <geekosaur> | i kan spel |
| 2024-07-02 22:47:49 +0200 | <lambdabot> | GHC.Ptr.Ptr a |
| 2024-07-02 22:47:48 +0200 | <geekosaur> | :t Foreign.Ptr.nullPtr |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | No module named ‘Forign.Ptr’ is imported. |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | Not in scope: ‘Forign.Ptr.nullPtr’ |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | error: |
| 2024-07-02 22:47:43 +0200 | <geekosaur> | :t Forign.Ptr.nullPtr |
| 2024-07-02 22:36:24 +0200 | <lambdabot> | error: Variable not in scope: nullPtr |
| 2024-07-02 22:36:23 +0200 | <dmj`> | :t nullPtr |
| 2024-07-02 22:35:22 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-07-02 22:31:16 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-07-02 22:29:01 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-02 22:27:03 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:2f81:ee37:cafd:a2e0) |
| 2024-07-02 22:25:48 +0200 | destituion | (~destituio@2001:4644:c37:0:5095:eb5b:7529:4c8f) (Ping timeout: 268 seconds) |
| 2024-07-02 22:17:21 +0200 | ash3en | (~ash3en@193.32.248.188) (Quit: Client closed) |
| 2024-07-02 22:13:55 +0200 | Heffalump | (~ganesh@urchin.earth.li) (Remote host closed the connection) |
| 2024-07-02 22:08:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-02 22:04:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-07-02 22:03:52 +0200 | EvanR_ | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-07-02 22:01:26 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-02 22:01:00 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-07-02 21:59:30 +0200 | jpyamamoto | (~jpyamamot@2806:2f0:92e5:a4e7:7db3:fca:c65b:c605) (Quit: Client closed) |
| 2024-07-02 21:45:40 +0200 | rosco | (~rosco@175.136.155.137) (Client Quit) |
| 2024-07-02 21:45:35 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-02 21:41:51 +0200 | ash3en | (~ash3en@193.32.248.188) |
| 2024-07-02 21:41:29 +0200 | ash3en | (~ash3en@193.32.248.188) (Client Quit) |
| 2024-07-02 21:38:44 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-02 21:37:00 +0200 | ash3en | (~ash3en@193.32.248.188) |
| 2024-07-02 21:30:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-02 21:30:09 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-02 21:27:58 +0200 | Me-me | (~me-me@kc.randomserver.name) |
| 2024-07-02 21:26:48 +0200 | Me-me | (~me-me@kc.randomserver.name) (Read error: Connection reset by peer) |