Logs: freenode/#haskell
| 2021-03-15 21:50:36 | <lambdabot> | Defined. |
| 2021-03-15 21:50:46 | → | hwabyong joins (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) |
| 2021-03-15 21:50:52 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-03-15 21:50:53 | <Gurkenglas> | > five ^.. evalA |
| 2021-03-15 21:50:55 | <lambdabot> | [0,1,2,3,4,5*Exception: Prelude.undefined |
| 2021-03-15 21:51:25 | <Gurkenglas> | (for every number, confirm whether you're at least that.) |
| 2021-03-15 21:51:33 | <Gurkenglas> | -whether+that |
| 2021-03-15 21:52:52 | × | Uniaika quits (~uniaika@163.172.211.189) (Ping timeout: 256 seconds) |
| 2021-03-15 21:53:59 | <Gurkenglas> | > evalA %~ (\g x -> g x - if x == 0 then 0 else g (x-1)) (*2) $ five |
| 2021-03-15 21:54:01 | <lambdabot> | S (S (S (S (S (S (S (S (S (S *Exception: Prelude.undefined |
| 2021-03-15 21:54:30 | → | Uniaika joins (~uniaika@163.172.211.189) |
| 2021-03-15 21:54:37 | → | bitmagie joins (~Thunderbi@200116b806606900d512802029b5d408.dip.versatel-1u1.de) |
| 2021-03-15 21:54:38 | × | esp32_prog quits (~esp32_pro@185.254.75.51) (Ping timeout: 260 seconds) |
| 2021-03-15 21:55:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-15 21:55:41 | × | DustyDingo quits (~nonamen@v2202001112302107134.ultrasrv.de) (Ping timeout: 256 seconds) |
| 2021-03-15 21:55:42 | <hpc> | where did that undefined come from? |
| 2021-03-15 21:55:49 | <Gurkenglas> | > five |
| 2021-03-15 21:55:51 | <lambdabot> | S (S (S (S (S *Exception: Prelude.undefined |
| 2021-03-15 21:56:02 | → | DustyDingo joins (~nonamen@v2202001112302107134.ultrasrv.de) |
| 2021-03-15 21:56:27 | <__minoru__shirae> | hololeap: "something that says, "this action works on the base monad of the stack"" |
| 2021-03-15 21:56:36 | <__minoru__shirae> | like MonadBase? |
| 2021-03-15 21:56:37 | <Gurkenglas> | what i should be doing is putting fix id in place of every undefined, but this is less rude i suppose |
| 2021-03-15 21:57:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-15 21:58:16 | × | bitmagie quits (~Thunderbi@200116b806606900d512802029b5d408.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-15 21:58:45 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-15 21:59:17 | <Gurkenglas> | (also i should have said "from the prelude") |
| 2021-03-15 21:59:30 | → | epstein joins (~dwsjeid91@103.108.94.39) |
| 2021-03-15 22:00:12 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 246 seconds) |
| 2021-03-15 22:01:17 | <hololeap> | __minoru__shirae: yeah, like that :) now i feel like an idiot for not knowing about it |
| 2021-03-15 22:02:26 | <hololeap> | maybe i should re-write my library around that |
| 2021-03-15 22:02:39 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 2021-03-15 22:04:15 | → | nisstyre joins (wes@python-zero/conduct-committee/nisstyre) |
| 2021-03-15 22:04:45 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds) |
| 2021-03-15 22:05:03 | <hololeap> | although, would that require (liftBase . liftBase . liftBase ...) for deep monad transformer stacks? |
| 2021-03-15 22:05:06 | → | nrh^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-15 22:05:16 | <monochrom> | No. |
| 2021-03-15 22:05:26 | × | dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-15 22:06:08 | <hololeap> | right |
| 2021-03-15 22:06:17 | <monochrom> | Provided: Suppose you have "XT (YT (ZT B))", you need one propagator instance for XT, one for YT, one for ZT. |
| 2021-03-15 22:06:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection) |
| 2021-03-15 22:06:22 | <hololeap> | well, then yeah that is the wheel i was reinventing |
| 2021-03-15 22:06:34 | <hololeap> | sort of.. |
| 2021-03-15 22:07:44 | <monochrom> | And a base-case "instance MonadBase B B". |
| 2021-03-15 22:08:01 | × | augnun_ quits (~augnun@2804:14c:658b:41bb:2619:95b9:b021:720c) (Quit: WeeChat 3.1) |
| 2021-03-15 22:11:42 | → | Alleria joins (~textual@2603-7000-3040-0000-3133-bb30-065f-83b3.res6.spectrum.com) |
| 2021-03-15 22:11:59 | <Gurkenglas> | > five ^.. gplate -- appears to be doing more lookahead than lazily necessary |
| 2021-03-15 22:12:01 | <lambdabot> | [S (S (S (S *Exception: Prelude.undefined |
| 2021-03-15 22:12:05 | Alleria | is now known as Guest38581 |
| 2021-03-15 22:12:12 | → | dub66 joins (~dub6@2600:1700:bc60:69c0:d943:bc2:5eb1:9b54) |
| 2021-03-15 22:13:57 | × | amerigo quits (uid331857@gateway/web/irccloud.com/x-dbmpchvgbnfltrjd) (Quit: Connection closed for inactivity) |
| 2021-03-15 22:14:40 | <Gurkenglas> | no wait i just misunderstood what plated is supposed to do, this is correct |
| 2021-03-15 22:15:00 | <koz_> | > maxBound :: Int |
| 2021-03-15 22:15:02 | <lambdabot> | 9223372036854775807 |
| 2021-03-15 22:15:54 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-15 22:16:14 | × | Guest38581 quits (~textual@2603-7000-3040-0000-3133-bb30-065f-83b3.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-03-15 22:16:45 | × | dub66 quits (~dub6@2600:1700:bc60:69c0:d943:bc2:5eb1:9b54) (Remote host closed the connection) |
| 2021-03-15 22:17:04 | → | dub66 joins (~dub6@2600:1700:bc60:69c0::46) |
| 2021-03-15 22:17:30 | × | dub66 quits (~dub6@2600:1700:bc60:69c0::46) (Client Quit) |
| 2021-03-15 22:18:33 | <Gurkenglas> | > five ^.. cosmos . united -- uh oh, probably the unS thing again |
| 2021-03-15 22:18:36 | <lambdabot> | [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),... |
| 2021-03-15 22:19:55 | <koz_> | Gurkenglas: Five Cosmos United sounds like a JRPG limit break. |
| 2021-03-15 22:20:09 | <koz_> | (also, what's the plural of 'cosmos'?) |
| 2021-03-15 22:20:23 | <Gurkenglas> | > five ^.. cosmos . foldr (.) id (replicate 10 plate) . united -- damn u lazy |
| 2021-03-15 22:20:26 | <lambdabot> | [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),... |
| 2021-03-15 22:20:38 | <koz_> | > minBound :: Int |
| 2021-03-15 22:20:40 | <lambdabot> | -9223372036854775808 |
| 2021-03-15 22:20:42 | → | acidjnk_new joins (~acidjnk@p200300d0c72b954785b86a8446f85480.dip0.t-ipconnect.de) |
| 2021-03-15 22:21:06 | → | esp32_prog joins (~esp32_pro@185.254.75.51) |
| 2021-03-15 22:24:34 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-15 22:25:27 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-15 22:26:50 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-15 22:28:57 | → | s0me0ne[m] joins (s0me0nemat@gateway/shell/matrix.org/x-ftzlzzilhwumqyjt) |
| 2021-03-15 22:30:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-15 22:30:06 | ← | s0me0ne[m] parts (s0me0nemat@gateway/shell/matrix.org/x-ftzlzzilhwumqyjt) () |
| 2021-03-15 22:30:30 | → | Alleria__ joins (~textual@2603-7000-3040-0000-3133-bb30-065f-83b3.res6.spectrum.com) |
| 2021-03-15 22:30:33 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds) |
| 2021-03-15 22:30:36 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-15 22:30:53 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 2021-03-15 22:33:01 | <Gurkenglas> | i suppose i deserve getting burned by gplate being too lazy on VeryLazyNaturals :D |
| 2021-03-15 22:33:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-15 22:33:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-15 22:33:51 | → | Wuzzy joins (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
| 2021-03-15 22:34:38 | <hpc> | it's right there in the name :D |
| 2021-03-15 22:34:54 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-15 22:35:24 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-15 22:36:02 | <hololeap> | so, MonadBase looks like a nice abstraction of MonadIO, etc |
| 2021-03-15 22:36:13 | <hololeap> | what would be a good abstraction of MonadUnliftIO |
| 2021-03-15 22:36:32 | <koz_> | hololeap: MonadBaseControl? |
| 2021-03-15 22:36:45 | <koz_> | Like, MonadUnliftIO is just (over)-simplified MonadBaseControl. |
| 2021-03-15 22:36:50 | <koz_> | Alexis King wrote a whole article on it. |
| 2021-03-15 22:37:35 | <hololeap> | @hoogle MonadBaseControl |
| 2021-03-15 22:37:36 | <lambdabot> | Control.Monad.Trans.Control class MonadBase b m => MonadBaseControl b m | m -> b |
| 2021-03-15 22:37:36 | <lambdabot> | Control.Monad.Trans.Control.Aligned class MonadBase b m => MonadBaseControl b m stM | m -> b stM |
| 2021-03-15 22:37:36 | <lambdabot> | Control.Monad.Trans.Unlift class MonadBase b m => MonadBaseControl (b :: * -> *) (m :: * -> *) | m -> b |
| 2021-03-15 22:37:52 | <koz_> | hololeap: https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/ |
| 2021-03-15 22:38:03 | × | epstein quits (~dwsjeid91@103.108.94.39) (K-Lined) |
| 2021-03-15 22:38:21 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-15 22:39:02 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-15 22:39:26 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 2021-03-15 22:40:24 | → | wagle joins (~wagle@quassel.wagle.io) |
All times are in UTC.