Newest at the top
| 2024-04-25 01:58:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-04-25 01:55:40 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-25 01:51:24 +0200 | trev | (~trev@user/trev) |
| 2024-04-25 01:51:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-25 01:49:48 +0200 | trev | (~trev@user/trev) (Ping timeout: 268 seconds) |
| 2024-04-25 01:40:11 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-25 01:24:00 +0200 | mima | (~mmh@aftr-62-216-211-51.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2024-04-25 01:19:57 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-25 01:14:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-25 01:14:17 +0200 | zwrv | (~yin@user/zero) |
| 2024-04-25 01:13:30 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-25 01:13:29 +0200 | ph88 | (~ph88@91.64.63.48) (Remote host closed the connection) |
| 2024-04-25 01:07:25 +0200 | zwrv | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-04-25 01:04:28 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-25 00:58:10 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-25 00:58:02 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-25 00:57:48 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-04-25 00:56:38 +0200 | phma | (phma@2001:5b0:2172:c758:72f8:9d6a:4a7b:7a0f) (Read error: Connection reset by peer) |
| 2024-04-25 00:56:10 +0200 | phma_ | (~phma@2001:5b0:210f:7f28:c0a7:813e:87a3:391e) |
| 2024-04-25 00:52:22 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-04-25 00:51:55 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-25 00:51:10 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-25 00:46:46 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-04-25 00:46:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 00:45:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 00:45:40 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2024-04-25 00:39:13 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2024-04-25 00:37:53 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-04-25 00:37:06 +0200 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-04-25 00:37:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 00:31:56 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-25 00:29:35 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-04-25 00:27:29 +0200 | <haskellbridge> | <irregularsphere> well then I guess it being specifically a closed subcategory is not good! imagine `Eq (x -> y)` |
| 2024-04-25 00:25:49 +0200 | <haskellbridge> | <irregularsphere> so my code snippet only works on closed subcategories |
| 2024-04-25 00:25:30 +0200 | <haskellbridge> | <irregularsphere> ah |
| 2024-04-25 00:24:38 +0200 | <ncf> | https://ncatlab.org/nlab/show/closed+functor |
| 2024-04-25 00:24:32 +0200 | <haskellbridge> | <irregularsphere> I realized `<*>`'s type signature is `f (x -> y) -> f x- > f y`, since `f` is assumed to work on values of `a` then `f (x -> y)` does not make much sense either |
| 2024-04-25 00:23:23 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2024-04-25 00:23:04 +0200 | <haskellbridge> | <irregularsphere> and yes haskell's Applicative is that (I don't know what a lax closed functor is specifically) but after constraining you don't see `a (x -> y)` that much |
| 2024-04-25 00:21:32 +0200 | <haskellbridge> | <irregularsphere> since `f :: x -> y -> z` then `fmapC` implies `a x, a (y -> z)`, thus `(<*>) fs as = liftA2 id` and `id :: (x -> y) -> x -> y` implies `a (x -> y)` |
| 2024-04-25 00:20:39 +0200 | <haskellbridge> | <irregularsphere> `liftA2 f a = (<*> (fmapC f a))*` |
| 2024-04-25 00:20:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-25 00:19:14 +0200 | <haskellbridge> | <irregularsphere> and `liftA2 f a = (<*>) fmapC (f a)` |
| 2024-04-25 00:18:48 +0200 | <haskellbridge> | <irregularsphere> I need the precondition because of `(<*>) = liftA2 id` |
| 2024-04-25 00:18:29 +0200 | <haskellbridge> | <irregularsphere> ncf: constraints asking for too much, e.g. `a (x -> y)` |
| 2024-04-25 00:15:30 +0200 | <ncf> | so you can get away with ConsMonoidal but not ConsApplicative |
| 2024-04-25 00:15:04 +0200 | <ncf> | i guess the issue here is that Eq is not a *closed* subcategory of Hask |
| 2024-04-25 00:12:23 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-25 00:08:46 +0200 | <ncf> | i guess you need that because of the precondition thing on FuncOf? |
| 2024-04-25 00:08:01 +0200 | <ncf> | but yes it looks like constraining x -> y is a bit random |