Newest at the top
| 2025-04-16 14:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-16 14:32:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 14:30:00 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-16 14:29:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1f70:b482:b471:6289) |
| 2025-04-16 14:28:39 +0200 | <[exa]> | (the types of these should be roughly `s -> State s ()` and `State s s`, respectively) |
| 2025-04-16 14:28:06 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-16 14:27:56 +0200 | <[exa]> | bwe: as the next task try to think how to implement "set state" function and "get state" function |
| 2025-04-16 14:27:19 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-16 14:25:26 +0200 | <[exa]> | in particular the last line is basically what you just throw to the monad instance and it should work |
| 2025-04-16 14:24:32 +0200 | <[exa]> | anyway the rest of that seems ok |
| 2025-04-16 14:24:03 +0200 | <[exa]> | (doing instances on `type` aliases is .... well, complicated) |
| 2025-04-16 14:23:29 +0200 | <[exa]> | usually we do with `data` or `newtype`, in this case `newtype State ... = State (.. -> ..)` is probably the way |
| 2025-04-16 14:23:05 +0200 | <[exa]> | bwe: ok good, first you'll want to make instances on that so you need some kind of type tag for the "function" in your type there |
| 2025-04-16 14:22:05 +0200 | <bwe> | [exa]: https://github.com/benjaminweb/state-monad/blob/main/src/MyLib.hs |
| 2025-04-16 14:19:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-16 14:19:51 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-16 14:19:31 +0200 | euleritian | (~euleritia@dynamic-176-002-178-231.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-16 14:17:59 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-16 14:17:50 +0200 | <haskellbridge> | <eldritchcookie> hello is there any dependency light way for equivalents of System.Environment on OsString? |
| 2025-04-16 14:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 14:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-16 14:12:01 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-16 14:11:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-16 14:11:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-16 14:10:23 +0200 | jespada | (~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-16 14:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 14:05:00 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 272 seconds) |
| 2025-04-16 14:03:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-16 14:01:03 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-16 13:55:19 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2025-04-16 13:54:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-16 13:52:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-16 13:52:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-16 13:47:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 13:44:06 +0200 | <[exa]> | (this apparent failure guarantees more luck next time!) |
| 2025-04-16 13:43:44 +0200 | <[exa]> | ok well, I hoped there's an intermediate package there |
| 2025-04-16 13:40:08 +0200 | <haskellbridge> | <Morj> And servant-typescript generates code using "string-interpolate", not very useful |
| 2025-04-16 13:39:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-16 13:39:31 +0200 | <haskellbridge> | <Morj> Mm, it uses servant-typescript, which is used by nothing (-: |
| 2025-04-16 13:36:58 +0200 | <[exa]> | (as in, I solved most of my software choices that way) |
| 2025-04-16 13:36:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-16 13:35:32 +0200 | <[exa]> | stupid idea: check what Servant uses to generate the js bindings, check reverse dependencies of that package, find other packages that generate some bindings for js |
| 2025-04-16 13:34:44 +0200 | <haskellbridge> | <Morj> For now I'm playing around with protobuf in reverse: replace "rpc CoolFunc(CoolArg) returns (CoolRet)" with "rpc CoolFuncR(stream CoolRet) returns (stream CoolArg)" - you call CoolFuncR, await the argument from the stream, and send the return through you own stream back |
| 2025-04-16 13:32:59 +0200 | <haskellbridge> | <Morj> Well, I doubt that I will find a second servant, though it would be nice. I'm thinking a protobuf-like spec is most likely to exist |
| 2025-04-16 13:32:05 +0200 | <[exa]> | btw typescript ain't bad, not even remotely the worst choice :D |
| 2025-04-16 13:31:54 +0200 | <[exa]> | Morj: so you'd like something like Servant that can generate typescript bindings automagically? |
| 2025-04-16 13:31:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 13:29:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:121f:92ea:5a7d:afb) (Ping timeout: 252 seconds) |
| 2025-04-16 13:27:29 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-16 13:25:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |