Newest at the top
| 2025-02-11 10:00:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-11 09:59:55 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-11 09:56:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-11 09:52:03 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f949088022741b454a0.dip0.t-ipconnect.de) |
| 2025-02-11 09:48:58 +0100 | mulk | (~mulk@p5b2dc995.dip0.t-ipconnect.de) mulk |
| 2025-02-11 09:48:31 +0100 | mulk | (~mulk@pd95141d7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-11 09:45:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-11 09:44:51 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:74c2:4ec:de8d:13d3) (Ping timeout: 246 seconds) |
| 2025-02-11 09:43:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-11 09:42:45 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 276 seconds) |
| 2025-02-11 09:40:03 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) |
| 2025-02-11 09:39:53 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-11 09:30:51 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:30:36 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:29:07 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:29:06 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-02-11 09:28:50 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:25:56 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-11 09:24:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-11 09:22:16 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-11 09:21:48 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:21:34 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:20:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 09:19:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-11 09:18:17 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-11 09:16:59 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:16:42 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:16:02 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:15:13 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:15:06 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:14:52 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:14:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-11 09:10:14 +0100 | <haskellbridge> | <thirdofmay18081814goya> dminuoso: but yeah you're right, that is a simpler type than some of the other ones |
| 2025-02-11 09:10:05 +0100 | <ski> | (that `(a -> f b) -> f (a -> b)' would be kinda opposite of `(??) :: f (a -> b) -> a -> f b'. would only work for quite special `f's) |
| 2025-02-11 09:08:47 +0100 | <haskellbridge> | <thirdofmay18081814goya> I meant a particular action on it |
| 2025-02-11 09:08:33 +0100 | <dminuoso> | Just gave you one. |
| 2025-02-11 09:08:17 +0100 | <haskellbridge> | <thirdofmay18081814goya> dminuoso: any chance you know of an example? |
| 2025-02-11 09:08:15 +0100 | <ski> | energizer : because it can get annoying, cluttered, to have to write `join (frob <$> foo <*> bar <*> baz <*> quux)' |
| 2025-02-11 09:07:02 +0100 | <lambdabot> | No results found |
| 2025-02-11 09:07:02 +0100 | <ski> | @hoogle (a -> f b) -> f (a -> b) |
| 2025-02-11 09:06:54 +0100 | <dminuoso> | thirdofmay18081814goya: For instance, consider type IndexedFold i s a = forall p f. (Indexable i p, Contravariant f, Applicative f) => p a (f a) -> s -> f s |
| 2025-02-11 09:06:51 +0100 | <energizer> | interesting |
| 2025-02-11 09:05:13 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:05:07 +0100 | <ski> | allows you to use the idiomatic/applicative combinators with an occasional monadic `join' effect |
| 2025-02-11 09:04:59 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:04:35 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 09:04:21 +0100 | <ski> | imagine (with `Monad f') `frob :: a -> b -> c -> d -> f e', `foo :: f a', `bar :: f b', `baz :: f c', `quux :: f d', and then `frob <$> foo <*> bar <*> baz <*>> quux :: f e' |
| 2025-02-11 09:04:21 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 09:03:38 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2025-02-11 09:02:21 +0100 | <ski> | custom think i define, at times |