2024-05-23 00:08:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-23 00:21:55 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-05-23 00:29:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-05-23 00:32:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-05-23 00:33:51 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 00:35:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-23 00:38:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 00:39:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-23 00:46:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 00:48:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-23 00:53:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 00:59:40 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-23 01:05:17 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
2024-05-23 01:07:54 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 01:10:50 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) |
2024-05-23 01:11:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 01:11:14 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) (Client Quit) |
2024-05-23 01:14:03 +0200 | sayola1 | (~sayola@2a00:20:604e:a725:1c46:6e8b:7bd7:2cc8) (Ping timeout: 272 seconds) |
2024-05-23 01:15:29 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-05-23 01:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-23 01:25:17 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-23 01:26:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-23 01:31:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-23 01:32:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 01:46:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 01:46:16 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.2.2) |
2024-05-23 01:46:51 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 268 seconds) |
2024-05-23 02:01:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 02:02:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 02:06:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
2024-05-23 02:07:47 +0200 | <cheater> | what's the best way to calculate the min of Maybe a and a? |
2024-05-23 02:07:54 +0200 | <cheater> | if Nothing, just use the other argument |
2024-05-23 02:18:03 +0200 | <geekosaur> | :t \ |
2024-05-23 02:18:05 +0200 | <lambdabot> | error: |
2024-05-23 02:18:05 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-05-23 02:18:07 +0200 | <geekosaur> | oops |
2024-05-23 02:18:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-05-23 02:18:44 +0200 | <geekosaur> | @pl min x (fromMaybe y x) |
2024-05-23 02:18:44 +0200 | <lambdabot> | min x (fromMaybe y x) |
2024-05-23 02:18:54 +0200 | <geekosaur> | @pl \x y -> min x (fromMaybe y x) |
2024-05-23 02:18:55 +0200 | <lambdabot> | liftM2 (.) min (flip fromMaybe) |
2024-05-23 02:19:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:19:23 +0200 | <geekosaur> | no, thats not quite right |
2024-05-23 02:19:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-23 02:19:37 +0200 | <geekosaur> | @pl \x y -> min y (fromMaybe y x) |
2024-05-23 02:19:37 +0200 | <lambdabot> | ap min . flip fromMaybe |
2024-05-23 02:19:53 +0200 | <Leary> | :t maybe <*> min |
2024-05-23 02:19:55 +0200 | <lambdabot> | Ord a => a -> Maybe a -> a |
2024-05-23 02:25:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-23 02:38:05 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-23 02:43:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:54:41 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
2024-05-23 02:57:25 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-05-23 03:25:40 +0200 | <dibblego> | does this exist in a library? https://paste.tomsmeding.com/8RG40kNG |
2024-05-23 03:31:27 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 03:34:27 +0200 | shoggouth | (uid607148@user/shoggouth) |
2024-05-23 03:34:44 +0200 | <c_wraith> | dibblego: well, the type matches Data.Functor.Compose.Compose. I didn't check to see if the instances are the same. |
2024-05-23 03:34:51 +0200 | <dibblego> | yeah |
2024-05-23 03:34:57 +0200 | <dibblego> | I also just realised I don't actually want that |
2024-05-23 03:36:00 +0200 | son0p | (~ff@181.32.157.144) (Ping timeout: 268 seconds) |
2024-05-23 03:36:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:387b:4f8:3156:9ea9) (Ping timeout: 260 seconds) |
2024-05-23 03:37:48 +0200 | <dibblego> | https://paste.tomsmeding.com/TPGEJ1OU |
2024-05-23 03:40:43 +0200 | <Leary> | Basically `Compose (Ap f) g`, barring the absence of `Apply` in base. |
2024-05-23 03:42:30 +0200 | <dibblego> | yeah, thanks |
2024-05-23 03:46:05 +0200 | Midjak | (~MarciZ@82.66.147.146) |
2024-05-23 03:51:36 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-05-23 03:58:47 +0200 | otto_s | (~user@p5b044cca.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-05-23 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-23 04:00:23 +0200 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) |
2024-05-23 04:00:25 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
2024-05-23 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
2024-05-23 04:04:01 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 04:04:24 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-05-23 04:10:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-23 04:19:59 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-23 04:33:58 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-23 04:35:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 04:38:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2024-05-23 04:40:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-23 04:45:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 04:50:13 +0200 | phma | (phma@2001:5b0:211c:b4f8:5e28:9615:a492:4a1c) (Read error: Connection reset by peer) |
2024-05-23 04:51:09 +0200 | phma | (phma@2001:5b0:215d:8488:607:5b39:4ab0:6f8a) |
2024-05-23 05:02:59 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 264 seconds) |
2024-05-23 05:04:13 +0200 | td_ | (~td@i53870925.versanet.de) |
2024-05-23 05:14:36 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 05:15:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-23 05:15:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 05:16:17 +0200 | yaroot | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
2024-05-23 05:16:32 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-05-23 05:16:58 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
2024-05-23 05:17:02 +0200 | mei | (~mei@user/mei) |
2024-05-23 05:18:52 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:9700:508f:3b86:8bf2:fa) (Ping timeout: 260 seconds) |
2024-05-23 05:19:14 +0200 | aforemny | (~aforemny@i59F516C7.versanet.de) |
2024-05-23 05:30:59 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 05:50:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 05:59:14 +0200 | michalz | (~michalz@185.246.207.221) |
2024-05-23 06:00:38 +0200 | michalz | (~michalz@185.246.207.221) (Client Quit) |
2024-05-23 06:03:21 +0200 | michalz | (~michalz@185.246.207.205) |
2024-05-23 06:05:38 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
2024-05-23 06:08:34 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 06:25:11 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 06:25:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 06:27:42 +0200 | phma | (phma@2001:5b0:215d:8488:607:5b39:4ab0:6f8a) (Read error: Connection reset by peer) |
2024-05-23 06:30:15 +0200 | phma | (~phma@host-67-44-208-125.hnremote.net) |
2024-05-23 06:35:44 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2cbb:c785:5cd5:2dbc) (Quit: Leaving) |
2024-05-23 06:52:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-05-23 06:52:32 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 06:54:14 +0200 | <cheater> | Leary: unexpected |
2024-05-23 06:54:16 +0200 | <cheater> | thank you |
2024-05-23 06:54:43 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 06:54:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-23 06:55:00 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 06:55:02 +0200 | <cheater> | geekosaur: how did it go from that to using ap? |
2024-05-23 07:01:58 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-05-23 07:02:17 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
2024-05-23 07:02:41 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 07:03:08 +0200 | <Leary> | cheater: FWiW, you probably want the pointy version: `\x -> maybe x (min x)`. I was mostly just following up on geekosaur's @pl usage. Re `ap`, `ap = (<*>) = K` (of SKI combinator fame), which is part of lambdabot's pl algorithm. |
2024-05-23 07:03:33 +0200 | <cheater> | yeah, i know the relation between ap and <*> |
2024-05-23 07:03:48 +0200 | <cheater> | right makes sense |
2024-05-23 07:06:27 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 07:06:58 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 07:08:03 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 07:13:35 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-05-23 07:13:47 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
2024-05-23 07:14:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 07:18:39 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-05-23 07:20:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 07:20:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
2024-05-23 07:20:45 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 07:20:49 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
2024-05-23 07:22:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-23 07:26:27 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 272 seconds) |
2024-05-23 07:26:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 07:29:07 +0200 | mei | (~mei@user/mei) |
2024-05-23 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-23 07:44:10 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 07:44:45 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |