Newest at the top
2024-04-29 00:37:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-04-29 00:36:47 +0200 | <EvanR> | fix the slackbuild or use ghcup instead |
2024-04-29 00:35:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
2024-04-29 00:31:35 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2024-04-29 00:31:35 +0200 | <jackdk> | @where paste |
2024-04-29 00:31:31 +0200 | <jackdk> | That's not enough information for us to be able to help, it's like calling your mechanic and saying "my car makes a funny noise and won't start". ghcup is the preferred way to install GHC these days - are you using that? Also, please provide error messages, context, etc in a pastebin |
2024-04-29 00:30:32 +0200 | acidjnk | (~acidjnk@p200300d6e714dc79605b18ab3e573168.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-04-29 00:27:39 +0200 | <mwnaylor> | I want to get Haskell installed, in order to be able to install the xmonad window manager. BUT, the slackbuild fails. Any suggestions? |
2024-04-29 00:25:17 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::824e) |
2024-04-29 00:23:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
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 |