| 2021-07-23 04:01:40 +0200 | <contrapunctus> | `((.) ($ f) (flip ($)))` funny dialect of Lisp you've got there 😏️ |
| 2021-07-23 08:01:11 +0200 | <Solid> | contrapunctus: it may be less obscurely written as ($ f) . (&) |
| 2021-07-23 08:01:20 +0200 | <Solid> | then you can also kind of see what's going on |
| 2021-07-23 08:01:59 +0200 | <Solid> | Tisoxin: it depends on how "completely" you want to understand the abstraction |
| 2021-07-23 08:02:29 +0200 | <Solid> | I think you can fully understand Applicative in a Haskell context without knowing that it's a (lax) monoidal functor |
| 2021-07-23 08:50:50 +0200 | <Tisoxin> | i think that as well |
| 2021-07-23 08:55:07 +0200 | <Tisoxin> | https://paste.ubuntu.com/p/YkStSMnbC3/ |
| 2021-07-23 08:56:19 +0200 | <Tisoxin> | ↑ I think this excerpt from the typeclassopedia explains what I mean |
| 2021-07-23 08:58:11 +0200 | <Tisoxin> | (Probably my opinion got heavily influenced by it) |
| 2021-07-23 11:50:18 +0200 | <Solid> | ah I see |
| 2021-07-23 11:50:40 +0200 | <Solid> | I think this makes it sound a little more mysterious than it is |
| 2021-07-23 11:51:10 +0200 | <Solid> | it's not too hard to see that in order to chain effects, you need to be able to lift things in the first place |
| 2021-07-23 11:51:25 +0200 | <Solid> | and that for directed chaining you need... to be able to chain at all |
| 2021-07-23 23:15:22 +0200 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) (ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-23 23:15:36 +0200 | ircbrowse_tom_ | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2021-07-23 23:15:42 +0200 | Server | +nt |