Newest at the top
| 2025-01-07 20:51:54 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 276 seconds) |
| 2025-01-07 20:51:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-07 20:50:31 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 264 seconds) |
| 2025-01-07 20:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 20:49:25 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 20:49:22 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-07 20:49:17 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-07 20:49:13 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-07 20:49:07 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-07 20:49:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-07 20:48:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-07 20:48:49 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-07 20:48:41 +0100 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2025-01-07 20:48:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 2025-01-07 20:48:41 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2025-01-07 20:48:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-07 20:48:38 +0100 | sprotte24 | (~sprotte24@p200300d16f116c002c29764fca4182ef.dip0.t-ipconnect.de) |
| 2025-01-07 20:48:37 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-07 20:41:42 +0100 | Baltazar65 | (~Baltazar@79-101-207-3.dynamic.isp.telekom.rs) |
| 2025-01-07 20:40:17 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-07 20:39:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-07 20:39:01 +0100 | <int-e> | (I guess reader, state, and writer are bad examples in that the newtypes are ad-hoc.) |
| 2025-01-07 20:37:57 +0100 | <int-e> | s/of this/for this/ |
| 2025-01-07 20:37:45 +0100 | <int-e> | I mean, the mtl has a pattern of this: Define a type class for the DSL functions, then define a newtype that's either ad-hoc or wraps a stack of existing transformers (adding state etc. as needed), and then implement the type class for that particular newtype. |
| 2025-01-07 20:36:40 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 20:36:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-07 20:36:05 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 20:35:38 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2025-01-07 20:35:32 +0100 | <Square> | i guess my problem is creating a monad for my DSL really. |
| 2025-01-07 20:34:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 20:34:20 +0100 | <Square> | int-e, all good. Thanks for trying. |
| 2025-01-07 20:33:42 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-07 20:33:29 +0100 | <int-e> | (I'm skimming at best; not going to read the whole article, sorry) |
| 2025-01-07 20:33:01 +0100 | <int-e> | and WriterT etc.? |
| 2025-01-07 20:32:50 +0100 | <int-e> | so... how does mtl implement ReaderT? |
| 2025-01-07 20:32:41 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-07 20:30:52 +0100 | <Square> | author* |
| 2025-01-07 20:30:36 +0100 | <Square> | int-e, I assume that is an answer on how I'd achieve Reader/Writer combined? My question was really how you, like the auther claims is possible, can create a Monad (using "some newtype wrappers") for the type of DSLs he describes in the article. |
| 2025-01-07 20:28:13 +0100 | yushyin | (~yushyin@mail.karif.server-speed.net) yushyin |
| 2025-01-07 20:28:12 +0100 | s4msung | (~s4msung@user/s4msung) s4msung |
| 2025-01-07 20:28:07 +0100 | noctuks | (mBZ68nSsKe@user/noctux) noctux |
| 2025-01-07 20:27:31 +0100 | yushyin | (POR894Vlok@mail.karif.server-speed.net) (Quit: WeeChat 4.4.3) |
| 2025-01-07 20:27:31 +0100 | s4msung | (4RaMuLb90c@user/s4msung) (Quit: s4msung) |
| 2025-01-07 20:27:31 +0100 | noctuks | (bEhVax6CGd@user/noctux) (Quit: WeeChat 4.4.3) |
| 2025-01-07 20:26:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-01-07 20:26:39 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-07 20:24:47 +0100 | <int-e> | (so what you'd do with mtl or transformers) |
| 2025-01-07 20:24:08 +0100 | <int-e> | Square: I'd assume it's something like newtype RWT r w m a = RWT { unRWT :: ReaderT r (WriterT w m a) } deriving (Functor, Applicative, Monad, MonadReader r, MonadWriter w) |
| 2025-01-07 20:23:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 20:21:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |