Newest at the top
| 2026-06-14 17:57:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-14 17:57:23 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-14 17:50:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:42:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-14 17:42:07 +0000 | <lambdabot> | "On Functors" (in C++,Standard ML,Haskell,Prolog) by Peteris Krumins in 2010-05-17 at <http://www.catonmat.net/blog/on-functors/> |
| 2026-06-14 17:42:07 +0000 | <ski> | @where on-functors |
| 2026-06-14 17:37:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:34:20 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-14 17:33:00 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-06-14 17:30:12 +0000 | <mauke> | even Leibniz explained monads by starting from simple examples: https://en.wikipedia.org/wiki/Monadology#Summary |
| 2026-06-14 17:29:20 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-06-14 17:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 17:25:39 +0000 | <fgarcia> | i wish you all taught me first. i had teachers where they would give no examples with the notes |
| 2026-06-14 17:24:30 +0000 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2026-06-14 17:24:30 +0000 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-06-14 17:23:39 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2026-06-14 17:21:57 +0000 | <monochrom> | the whole thing means you can say "forall 1-ary-predicate p, ...". |
| 2026-06-14 17:21:03 +0000 | <monochrom> | there is also "monadic second-order logic". ("monadic" just means "1-adic" just means arity 1) |
| 2026-06-14 17:21:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:19:24 +0000 | pera | (~pera@user/pera) (Quit: leaving) |
| 2026-06-14 17:18:49 +0000 | <monochrom> | In prolog if you write like "nat(s(N)) :- nat(N).", that "s" is a functor, "function operator". |
| 2026-06-14 17:18:27 +0000 | <EvanR> | lol |
| 2026-06-14 17:18:25 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-14 17:17:41 +0000 | <jaror> | don't learn about monadic functions from APL though |
| 2026-06-14 17:17:24 +0000 | <EvanR> | really |
| 2026-06-14 17:17:18 +0000 | <monochrom> | don't forget prolog too! |
| 2026-06-14 17:17:12 +0000 | <monochrom> | haha |
| 2026-06-14 17:17:06 +0000 | <monochrom> | As an analogy, "integers form a ring so I learn ring theory first before I learn integers" is the wrong thing to do. |
| 2026-06-14 17:17:04 +0000 | Axma78876 | (~Axman6@user/axman6) Axman6 |
| 2026-06-14 17:16:54 +0000 | <EvanR> | first you learn functors in C++, then in ML, then haskell, then category theory |
| 2026-06-14 17:16:02 +0000 | <monochrom> | As usual (Piaget's theory), you learn concrete instances before general theories. So you learn functors and monads in Haskell before you learn functors and monads in category theory. |
| 2026-06-14 17:14:57 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-14 17:14:36 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-14 17:12:27 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-06-14 17:11:09 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-06-14 17:10:17 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-06-14 17:10:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-14 17:08:32 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-06-14 17:05:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-14 17:04:55 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-14 17:04:00 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-14 17:00:42 +0000 | wickedjargon | (~user@207.194.126.26) (Remote host closed the connection) |
| 2026-06-14 16:59:29 +0000 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-06-14 16:56:19 +0000 | pera | (~pera@user/pera) pera |
| 2026-06-14 16:55:24 +0000 | mangoiv | (~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-14 16:54:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-14 16:53:45 +0000 | leo2 | (~leo@dsl-hkibng21-54f86a-65.dhcp.inet.fi) (Quit: WeeChat 4.9.0) |
| 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) |