Newest at the top
2024-04-29 00:09:15 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-29 00:08:10 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-29 00:07:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-29 00:06:05 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 256 seconds) |
2024-04-28 23:56:14 +0200 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
2024-04-28 23:54:01 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 255 seconds) |
2024-04-28 23:48:54 +0200 | <Rembane> | I totally forgot the human. :) |
2024-04-28 23:46:52 +0200 | mima | (~mmh@ip-185-104-138-52.ptr.icomera.net) (Ping timeout: 246 seconds) |
2024-04-28 23:45:39 +0200 | <monochrom> | Although, I admit that if you pose the puzzle to chatgpt, then the "you" in the story ceases to be an animal. But one can hallucinate... |
2024-04-28 23:44:50 +0200 | <monochrom> | You forgot that it was the human that was the 3rd animal. >:) |
2024-04-28 23:43:44 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-04-28 23:43:32 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2024-04-28 23:42:09 +0200 | <cheater> | i don't think they're spelt like that, i think they're more flaxseed |
2024-04-28 23:42:07 +0200 | <Rembane> | Yeah, I was kinda hoping that the cabbage was an animal |
2024-04-28 23:41:23 +0200 | <int-e> | and a cabbage |
2024-04-28 23:41:20 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-28 23:41:02 +0200 | <Rembane> | Animals on a boat |
2024-04-28 23:40:11 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
2024-04-28 23:39:10 +0200 | <EvanR> | doors |
2024-04-28 23:39:06 +0200 | <EvanR> | gifts, riddles, |
2024-04-28 23:38:43 +0200 | <EvanR> | all the best things come in threes |
2024-04-28 23:36:10 +0200 | <monochrom> | haha |
2024-04-28 23:35:53 +0200 | <mauke> | I wish my handlers were models |
2024-04-28 23:35:21 +0200 | <dolio> | Handlers are models, if I recall correctly. |
2024-04-28 23:35:19 +0200 | <ncf> | (that's why monads are spelt T everywhere) |
2024-04-28 23:34:45 +0200 | <mauke> | baby-step semantics |
2024-04-28 23:34:44 +0200 | <geekosaur> | don't amke me haul out Mac Lane |
2024-04-28 23:34:38 +0200 | <monochrom> | The "handler" part does not require a monad though; in fact it is not even required to be "algebraic". More concretely, for example Maybe: Just and Nothing are the algebraic part and where you require a monad, but the handler `maybe` is where you can map Maybe X to whatever Y you like; it is also not "algebraic". |
2024-04-28 23:34:29 +0200 | <ncf> | monads used to be called triples |
2024-04-28 23:34:26 +0200 | <tomsmeding> | more things in math are a triple than not |
2024-04-28 23:34:06 +0200 | <ncf> | triple |
2024-04-28 23:33:54 +0200 | <tomsmeding> | "why 'T'" "well, it's a theory" "it's a monad" "ok" "call it \mathcal M" "ok" |
2024-04-28 23:33:39 +0200 | michalz | (~michalz@185.246.207.217) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-28 23:33:33 +0200 | <tomsmeding> | I was writing a paper with my PhD advisor and he wrote a part of the thing that talked about a monad; he wrote it \mathcal T |
2024-04-28 23:32:34 +0200 | <tomsmeding> | ah yes, I now remember mathematicians using those words |
2024-04-28 23:32:07 +0200 | <dolio> | IO is the signature or theory. The 'effects' are related to the generators, which would be like `getChar` for IO. At least in the literature. |
2024-04-28 23:31:35 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2024-04-28 23:30:04 +0200 | <ncf> | that's what playgrounds are for |
2024-04-28 23:29:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-04-28 23:29:19 +0200 | <tomsmeding> | baby steps |
2024-04-28 23:28:52 +0200 | <tomsmeding> | Rembane: yay! |
2024-04-28 23:28:43 +0200 | <tomsmeding> | I see |
2024-04-28 23:28:23 +0200 | <monochrom> | Right, Koka doesn't expose any monad. But you start postulating monads for semantics. |
2024-04-28 23:28:16 +0200 | <Rembane> | tomsmeding: I just saw your new version of the Haskell playground and I like it! |
2024-04-28 23:27:09 +0200 | <tomsmeding> | (I should read something about this topic before I go sprouting nonsense though) |
2024-04-28 23:26:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
2024-04-28 23:25:59 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 252 seconds) |
2024-04-28 23:25:47 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-28 23:25:36 +0200 | <tomsmeding> | can't you define a system of effects-and-handlers, like some languages have (Koka? Never used it though), from first principles without involving a monad? |
2024-04-28 23:24:28 +0200 | <probie> | Can you have a useful implementation for algebraic effects which isn't a monad? I guess if you disallow effects (definition 2) from depending on each other, you can have something weaker that's still of use |