2025/04/16

Newest at the top

2025-04-16 14:30:00 +0200poscat(~poscat@user/poscat) poscat
2025-04-16 14:29:10 +0200xff0x(~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 +0200euleritian(~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 +0200euleritian(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-16 14:19:51 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-16 14:19:31 +0200euleritian(~euleritia@dynamic-176-002-178-231.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-16 14:17:59 +0200amadaluzia_(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-16 14:12:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-16 14:12:01 +0200amadaluzia_(~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 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-16 14:11:01 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-16 14:10:23 +0200jespada(~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) jespada
2025-04-16 14:07:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-16 14:05:00 +0200koz(~koz@121.99.240.58) (Ping timeout: 272 seconds)
2025-04-16 14:03:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-16 14:01:03 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-16 13:55:19 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 276 seconds)
2025-04-16 13:54:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-16 13:52:44 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-16 13:52:17 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-16 13:47:43 +0200merijn(~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 +0200Unicorn_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 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-16 13:29:49 +0200xff0x(~xff0x@2405:6580:b080:900:121f:92ea:5a7d:afb) (Ping timeout: 252 seconds)
2025-04-16 13:27:29 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-16 13:25:45 +0200__monty__(~toonn@user/toonn) toonn
2025-04-16 13:21:40 +0200Digit(~user@user/digit) Digit
2025-04-16 13:19:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)