Newest at the top
| 2026-06-14 16:49:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:43:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-14 16:42:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) |
| 2026-06-14 16:39:58 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:39:45 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:38:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:37:59 +0000 | wickedjargon | (~user@207.194.126.26) wickedjargon |
| 2026-06-14 16:35:22 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-14 16:34:37 +0000 | <geekosaur> | (technically, they're mostly specific implementations for the pseudo-category of Haskell types, not truly representative of the general CT concepts) |
| 2026-06-14 16:34:29 +0000 | <vms14> | i also have the js backend waiting for me to play with the canvas and the dom in the browser, but i have to learn the basics yet |
| 2026-06-14 16:33:33 +0000 | <vms14> | but it's good that i get familiar with it as soon as possible |
| 2026-06-14 16:33:30 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:33:17 +0000 | <vms14> | yeah i also think it's too soon for me to focus on this |
| 2026-06-14 16:32:54 +0000 | <geekosaur> | beter to just learn them as names without meaning; CT will actually mislead you, because while they originally did come from CT how they are defined and used in Haskell differs a lot |
| 2026-06-14 16:32:42 +0000 | <vms14> | even if i barely understand anything |
| 2026-06-14 16:32:33 +0000 | <vms14> | it's making me understand more haskell also, the category theory for programmers book has been better for me to grasp haskell than an introductory book |
| 2026-06-14 16:32:02 +0000 | <Rembane> | Most of the words you can pick up by osmosis i.e. use the concepts and then when you've used enough variants of them the words will be good to name stuff with. |
| 2026-06-14 16:31:50 +0000 | <vms14> | i think if i want to focus on haskell and haskell is based on it i should learn it |
| 2026-06-14 16:31:44 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Client Quit) |
| 2026-06-14 16:31:18 +0000 | <geekosaur> | you need it is you want to help ekmett build stuff |
| 2026-06-14 16:31:01 +0000 | <geekosaur> | uh, you don't need categry theory to learn or use haskell |
| 2026-06-14 16:28:25 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:28:12 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:28:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-14 16:25:14 +0000 | <vms14> | but i like what i'm learning so far although category theory is being hard |
| 2026-06-14 16:24:53 +0000 | <vms14> | i dislike math and idk why i'm learning haskell which is based on math xd |
| 2026-06-14 16:24:32 +0000 | <monochrom> | Mathematicians would say "inject" or "embed". But mathematics is unpopular among programmers! |
| 2026-06-14 16:22:57 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-06-14 16:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:22:05 +0000 | <jaror> | Just lifting something into an applicative doesn't make it impure. It's not like it suddenly starts launching rockets. |
| 2026-06-14 16:21:28 +0000 | <monochrom> | well there is also toImpureFromPure. That divide is also divisive. >:) |
| 2026-06-14 16:21:01 +0000 | <monochrom> | IMO a better name for pure is fromPureToImpure. But obviously that's too long. So 49% of the people picked out the "impure" part but 51% of the people picked out the "pure" part. |
| 2026-06-14 16:14:39 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:14:18 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2026-06-14 16:10:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 16:08:57 +0000 | <c_wraith> | That's why liftM isn't deprecated, despite the AMP success |
| 2026-06-14 16:08:27 +0000 | <c_wraith> | It's technically not circular, fwiw. It's fully possible for a type to define fmap in terms of >>= and pure. Despite the Monad instance requiring that a Functor instance exist, they are not required to have any particular direction of dependency on each other. |
| 2026-06-14 16:06:44 +0000 | <jaror> | IO is kind of a bad place to start because its `Functor` instance cannot be written in user code (without digging into GHC specifics) |
| 2026-06-14 16:06:42 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-14 16:06:01 +0000 | <c_wraith> | pure in this case means "this is the thing that is neutral - it has no effects in the context of this type" |
| 2026-06-14 16:05:59 +0000 | <vms14> | i didn't know how to extract the value from IO |
| 2026-06-14 16:05:42 +0000 | <jaror> | Note that you're kind of making a circular definitions, since `do` notation depends on already having a Functor instance |
| 2026-06-14 16:05:35 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Client Quit) |
| 2026-06-14 16:05:18 +0000 | <vms14> | i like the use of pure to return impurity |
| 2026-06-14 16:05:09 +0000 | <vms14> | that's my first functor |
| 2026-06-14 16:04:51 +0000 | <vms14> | ty <3 |
| 2026-06-14 16:04:43 +0000 | <vms14> | ok then i guess i'm starting to undestand them :D |
| 2026-06-14 16:04:17 +0000 | <jaror> | Categorically a functor is an action on types and an action on morphisms (which must satisfy certain laws) |
| 2026-06-14 16:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 16:03:50 +0000 | <c_wraith> | but yes, that's fmap for IO |