Newest at the top
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) |
2024-07-02 21:22:09 +0200 | <jpyamamoto> | I had some issues using the cases syntax and I assumed let-bindings weren't linear-friendly. But now that I read the GHC docs, seems I was wrong |
2024-07-02 21:16:07 +0200 | <ncf> | let a' = f a; a'' = g a; ... in h a |
2024-07-02 21:15:53 +0200 | <ncf> | why not just use let-bindings? |
2024-07-02 21:15:45 +0200 | <ncf> | that's & not $ |
2024-07-02 21:15:43 +0200 | <ncf> | wait no, i misread |
2024-07-02 21:15:17 +0200 | <ncf> | looks like a continuation monad |
2024-07-02 21:14:12 +0200 | <jpyamamoto> | Just to clarify, I am not using linear IO, these are experiments on arrays |
2024-07-02 21:13:49 +0200 | <jpyamamoto> | Do you know if there is a library that implements something like that? Probably using QualifiedDo or RebindableSyntax |
2024-07-02 21:13:48 +0200 | <jpyamamoto> | I am writing my functions as if they are a pipeline of functions passing the results from one to the next, I assume that is a common pattern in linear code since you're only using arguments once. I see a sort of similarity with "monadic" code, and I thought it could benefit from something like a do-notation. |
2024-07-02 21:13:48 +0200 | <jpyamamoto> | Hello. I am looking for some pointers in the right direction. I am researching into linear haskell, and while writing code I found myself writing too often the following pattern: `example a = f a & \a' -> g a & ... & \a'' -> h a`. |
2024-07-02 21:12:34 +0200 | elevenkb | (elevenkb@thunix.net) (Quit: ZNC - https://znc.in) |
2024-07-02 21:09:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-02 21:09:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-07-02 21:08:53 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-07-02 21:06:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-02 21:01:59 +0200 | jpyamamoto | (~jpyamamot@2806:2f0:92e5:a4e7:7db3:fca:c65b:c605) |
2024-07-02 20:54:07 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
2024-07-02 20:50:44 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-07-02 20:42:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-02 20:35:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-07-02 20:34:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-07-02 20:28:56 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-02 20:27:46 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-02 20:20:28 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-07-02 20:20:02 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-07-02 20:17:33 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-07-02 20:17:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-07-02 20:04:52 +0200 | yaroot | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) |
2024-07-02 20:04:37 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
2024-07-02 20:04:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-07-02 19:54:52 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-07-02 19:51:41 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
2024-07-02 19:47:08 +0200 | puke | (~puke@user/puke) |
2024-07-02 19:32:45 +0200 | destituion | (~destituio@2001:4644:c37:0:5095:eb5b:7529:4c8f) |
2024-07-02 19:32:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-02 19:32:12 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:5940:6cf4:b639:63ef) (Ping timeout: 268 seconds) |
2024-07-02 19:31:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |