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