Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 .. 18046
— 1,804,544 events total
2021-08-29 21:52:24 <lambdabot> Unknown command, try @list
2021-08-29 21:57:57 × mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving)
2021-08-29 21:58:46 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-08-29 21:58:54 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-29 21:59:43 × tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2021-08-29 22:00:40 × max22- quits (~maxime@2a01cb0883359800468c3975aa62b651.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-08-29 22:00:53 <janiczek> Hm indeed when I tried "s -> Result e (s, a)" I had no issues...
2021-08-29 22:01:26 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-08-29 22:03:04 → jtomas_ joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-29 22:04:28 × Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-29 22:04:36 → tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-08-29 22:06:59 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-08-29 22:12:30 × xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer)
2021-08-29 22:12:32 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:f0e1:80b7:ba04:2699)
2021-08-29 22:13:39 <Cale> maerwald: Good reason to be using nix, and to specify the hashes that you expect Hackage packages to have when downloaded. :)
2021-08-29 22:19:46 <janiczek> So `ExceptT e (StateT s a)` and `StateT s (ExceptT e a)` result in `s -> Either e (a, s)` and `s -> (Either e a, s)` but neither in `Either e (s -> (a, s))` or something else that would have the Either on the outside?
2021-08-29 22:20:35 <Cale> correct
2021-08-29 22:21:39 → xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-08-29 22:21:40 × Guest372 quits (~xxx@47.245.54.240) (Remote host closed the connection)
2021-08-29 22:21:41 <janiczek> Seems unsymmetrical somehow :D and slightly magical... but fair enough
2021-08-29 22:22:11 <Cale> Well, if you just look at the definition of ExceptT and especially StateT, it'll become clear why :)
2021-08-29 22:22:42 <Cale> newtype StateT s m a = StateT { runStateT :: s -> m (a, s) }
2021-08-29 22:22:46 → Guest372 joins (~xxx@47.245.54.240)
2021-08-29 22:23:07 <Cale> puts the m in the middle
2021-08-29 22:24:27 <janiczek> Ah I see
2021-08-29 22:24:57 → roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:d502:dcbd:b41f:7bd1)
2021-08-29 22:25:07 <Cale> Also, perhaps if you don't hide the m's...
2021-08-29 22:25:42 <Cale> @unmtl ExceptT e (StateT s a)
2021-08-29 22:25:42 <lambdabot> err: `ExceptT e (StateT s a)' is not applied to enough arguments, giving `/\A. s -> a (Either e A, s)'
2021-08-29 22:25:54 <Cale> @unmtl ExceptT e (StateT s m a)
2021-08-29 22:25:54 <lambdabot> err: `ExceptT e (s -> m (a, s))' is not applied to enough arguments.
2021-08-29 22:25:59 <Cale> @unmtl ExceptT e (StateT s m) a
2021-08-29 22:25:59 <lambdabot> s -> m (Either e a, s)
2021-08-29 22:26:02 <Cale> there :)
2021-08-29 22:26:30 <Cale> @unmtl StateT s (EitherT e m) a
2021-08-29 22:26:30 <lambdabot> s -> EitherT e m (a, s)
2021-08-29 22:26:54 <Cale> @unmtl StateT s (ExceptT e m) a
2021-08-29 22:26:54 <lambdabot> s -> m (Either e (a, s))
2021-08-29 22:27:50 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:f0e1:80b7:ba04:2699) (Ping timeout: 250 seconds)
2021-08-29 22:28:07 <Cale> Quite often monad transformers end up changing the result type of the monad they're transforming, internally
2021-08-29 22:29:55 <janiczek> Yeah it didn't occur to me, I went straight for "the other monad goes instead of `a` and that's it". Thanks for the explanation!
2021-08-29 22:30:40 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-08-29 22:38:16 × janiczek quits (~janiczek@89-24-215-117.customers.tmcz.cz) (Quit: WeeChat 3.2)
2021-08-29 22:40:45 → chris joins (~chris@81.96.113.213)
2021-08-29 22:40:48 chris is now known as Guest8787
2021-08-29 22:42:40 → cjb joins (~cjb@user/cjb)
2021-08-29 22:44:58 → elf_fortrez joins (~elf_fortr@adsl-72-50-7-204.prtc.net)
2021-08-29 22:45:53 × elf_fortrez quits (~elf_fortr@adsl-72-50-7-204.prtc.net) (Client Quit)
2021-08-29 22:46:30 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-29 22:47:44 → pavonia_ joins (~user@user/siracusa)
2021-08-29 22:48:40 × sander quits (~sander@user/sander) (Ping timeout: 240 seconds)
2021-08-29 22:49:02 → sander joins (~sander@user/sander)
2021-08-29 22:49:05 → orcus- joins (~orcus@user/brprice)
2021-08-29 22:49:10 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2021-08-29 22:49:10 × pavonia quits (~user@user/siracusa) (Ping timeout: 240 seconds)
2021-08-29 22:49:10 × toms quits (~foobar@pogostick.net) (Ping timeout: 240 seconds)
2021-08-29 22:49:10 × koolazer quits (~koo@user/koolazer) (Ping timeout: 240 seconds)
2021-08-29 22:49:17 → toms joins (~foobar@pogostick.net)
2021-08-29 22:49:26 pavonia_ is now known as pavonia
2021-08-29 22:49:40 × haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Ping timeout: 240 seconds)
2021-08-29 22:49:40 × sts-q quits (~sts-q@91.200.108.136) (Ping timeout: 240 seconds)
2021-08-29 22:49:40 × td_ quits (~td@muedsl-82-207-238-209.citykom.de) (Ping timeout: 240 seconds)
2021-08-29 22:49:40 × orcus quits (~orcus@user/brprice) (Ping timeout: 240 seconds)
2021-08-29 22:49:40 × nisstyre quits (~wes@user/nisstyre) (Ping timeout: 240 seconds)
2021-08-29 22:50:10 × Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-08-29 22:50:10 × tdammers quits (~tdammers@77.109.72.213.res.static.edpnet.net) (Ping timeout: 240 seconds)
2021-08-29 22:50:30 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 22:50:51 → Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 22:51:11 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-08-29 22:51:37 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 22:51:40 × ishutin_ quits (~ishutin@178-164-206-57.pool.digikabel.hu) (Ping timeout: 240 seconds)
2021-08-29 22:51:51 → td_ joins (~td@muedsl-82-207-238-209.citykom.de)
2021-08-29 22:52:10 × ridcully_ quits (~ridcully@p508ac428.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-08-29 22:52:10 × keltono quits (~kelton@x-160-94-179-178.acm.umn.edu) (Ping timeout: 240 seconds)
2021-08-29 22:53:17 × jtomas_ quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-29 22:53:44 <maerwald[m]> Cale: `plan.json` has hashes as well
2021-08-29 22:53:46 → ishutin joins (~ishutin@178-164-206-57.pool.digikabel.hu)
2021-08-29 22:54:03 → keltono joins (~kelton@x-160-94-179-178.acm.umn.edu)
2021-08-29 22:54:13 → ridcully_ joins (~ridcully@p508ac428.dip0.t-ipconnect.de)
2021-08-29 22:56:31 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 22:57:37 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 22:58:09 × Gurkenglas quits (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2021-08-29 22:59:02 × d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds)
2021-08-29 23:03:02 → nisstyre joins (~wes@user/nisstyre)
2021-08-29 23:03:14 → koolazer joins (~koo@user/koolazer)
2021-08-29 23:04:14 → tdammers joins (~tdammers@77.109.72.213)
2021-08-29 23:04:39 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 23:11:24 × kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection)
2021-08-29 23:12:35 × acidjnk_new quits (~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 23:20:31 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 23:21:38 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 23:22:40 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds)
2021-08-29 23:24:24 → juri_ joins (~juri@178.63.35.222)
2021-08-29 23:25:07 × MQ-17J quits (~MQ-17J@8.6.144.209) (Ping timeout: 252 seconds)
2021-08-29 23:25:53 × dsrt^ quits (~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 248 seconds)
2021-08-29 23:30:04 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2021-08-29 23:32:29 × opac quits (~opac@ip-28-56.sn2.clouditalia.com) (Quit: Going offline, see ya! (www.adiirc.com))
2021-08-29 23:33:22 × Guest8787 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-08-29 23:36:38 → chris joins (~chris@81.96.113.213)
2021-08-29 23:36:42 chris is now known as Guest9625
←Prev  Next→
Page 1 .. 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 .. 18046

All times are in UTC.