Logs: freenode/#haskell
| 2021-02-28 00:48:58 | → | darjeeling_ joins (~darjeelin@122.245.218.150) |
| 2021-02-28 00:52:29 | → | gitgoood joins (~gitgood@80-44-13-166.dynamic.dsl.as9105.com) |
| 2021-02-28 00:52:47 | × | gitgood quits (~gitgood@80-44-13-166.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-02-28 00:57:23 | → | conal joins (~conal@198.8.81.202) |
| 2021-02-28 01:01:54 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-02-28 01:04:52 | × | supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 276 seconds) |
| 2021-02-28 01:05:36 | → | remby joins (4c437c1b@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) |
| 2021-02-28 01:07:01 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2021-02-28 01:07:08 | → | ddellacosta joins (~ddellacos@86.106.143.201) |
| 2021-02-28 01:07:18 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-02-28 01:11:36 | × | ddellacosta quits (~ddellacos@86.106.143.201) (Ping timeout: 240 seconds) |
| 2021-02-28 01:11:39 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-02-28 01:11:57 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-28 01:12:47 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-02-28 01:13:48 | → | MidAutumnHotaru0 joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-02-28 01:15:55 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 260 seconds) |
| 2021-02-28 01:15:55 | MidAutumnHotaru0 | is now known as MidAutumnHotaru |
| 2021-02-28 01:16:45 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-02-28 01:17:11 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-02-28 01:18:50 | × | klardotsh quits (~klardotsh@75-172-17-41.tukw.qwest.net) (Quit: WeeChat 3.0.1) |
| 2021-02-28 01:25:50 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-02-28 01:25:56 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-02-28 01:26:21 | aplainze1akind | is now known as aplainzetakind |
| 2021-02-28 01:26:23 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 2021-02-28 01:26:40 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-02-28 01:26:58 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
| 2021-02-28 01:27:35 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 2021-02-28 01:28:24 | ← | remby parts (4c437c1b@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) () |
| 2021-02-28 01:28:32 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:b84a:c23b:9840:733b) |
| 2021-02-28 01:30:24 | → | int80h joins (uid148779@gateway/web/irccloud.com/x-byitmqwoaqxynwkn) |
| 2021-02-28 01:38:06 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-02-28 01:38:14 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-02-28 01:41:36 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 265 seconds) |
| 2021-02-28 01:47:21 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-02-28 01:50:47 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:2494:eb54:ea13:73ca) (Quit: Leaving) |
| 2021-02-28 01:52:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 276 seconds) |
| 2021-02-28 01:56:36 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-28 02:00:19 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-28 02:00:58 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 260 seconds) |
| 2021-02-28 02:04:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-02-28 02:09:19 | × | conal quits (~conal@198.8.81.202) (Quit: Computer has gone to sleep.) |
| 2021-02-28 02:10:27 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-02-28 02:10:52 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-02-28 02:11:16 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-02-28 02:12:18 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:c8ae:4c2c:c3c0:6062:2fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-28 02:13:14 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-02-28 02:15:51 | → | banyanRob joins (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) |
| 2021-02-28 02:16:09 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-02-28 02:16:21 | → | conal joins (~conal@192.145.118.137) |
| 2021-02-28 02:16:59 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-02-28 02:19:04 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 2021-02-28 02:20:21 | → | sakirious5 joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) |
| 2021-02-28 02:20:43 | × | conal quits (~conal@192.145.118.137) (Client Quit) |
| 2021-02-28 02:20:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-28 02:21:51 | → | conal joins (~conal@192.145.118.137) |
| 2021-02-28 02:22:29 | × | conal quits (~conal@192.145.118.137) (Client Quit) |
| 2021-02-28 02:23:35 | × | sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2021-02-28 02:23:35 | sakirious5 | is now known as sakirious |
| 2021-02-28 02:24:39 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-02-28 02:27:02 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds) |
| 2021-02-28 02:29:24 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-02-28 02:29:32 | × | banyanRob quits (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2021-02-28 02:30:17 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-02-28 02:30:35 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-02-28 02:31:06 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@184.22.157.95) |
| 2021-02-28 02:33:01 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-02-28 02:36:37 | → | conal joins (~conal@66.115.157.135) |
| 2021-02-28 02:39:12 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-02-28 02:40:36 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-02-28 02:40:36 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-02-28 02:40:36 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-02-28 02:44:56 | → | zq joins (~zq@xorshift.org) |
| 2021-02-28 02:45:01 | <minoru_shiraeesh> | NieDzejkob: if you were to describe it to a child, a child would ask: "why do you want to merge all the contexts into a single context if they are separate from each other?" |
| 2021-02-28 02:45:18 | <zq> | :t foldl |
| 2021-02-28 02:45:19 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2021-02-28 02:45:56 | <zq> | how to prove that foldl (:) ys xs == concat (reverse xs) ys? |
| 2021-02-28 02:46:38 | <koz_> | Start with the definitions of 'foldl', 'concat' and 'reverse'. |
| 2021-02-28 02:46:49 | <koz_> | Then inline those and see what you get. |
| 2021-02-28 02:46:58 | <koz_> | Then apply reductions until LHS and RHS look the same. |
| 2021-02-28 02:47:27 | <zq> | um, let me correct my statement: foldl (:) ys xs == reverse xs ++ ys |
| 2021-02-28 02:47:39 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-02-28 02:50:11 | <minoru_shiraeesh> | and then a child would say: "it would make sense to use different states for different contexts and to have a way of switching from one context to another, like a bridge or something" |
| 2021-02-28 02:50:28 | <koz_> | zq: My answer is unchanged, modulo the fact you no longer need 'concat'. |
| 2021-02-28 02:52:49 | <minoru_shiraeesh> | but how do you do that with monad stacks, I don't know |
| 2021-02-28 02:53:10 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-vvucditfymkrygow) (Quit: Connection closed for inactivity) |
| 2021-02-28 02:53:42 | <koz_> | minoru_shiraeesh: Is the goal to go from StateT s m a to StateT s' m a or something? |
| 2021-02-28 02:54:07 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-02-28 02:54:21 | <minoru_shiraeesh> | koz_: Is NieDzeijkob's earlier description visible to you? |
| 2021-02-28 02:54:43 | <minoru_shiraeesh> | it was posted at 05:35 |
| 2021-02-28 02:54:48 | <koz_> | minoru_shiraeesh: No, but I recall vaguely that the issue was the MonadState s (State s) fundep. |
| 2021-02-28 02:55:19 | <minoru_shiraeesh> | here is his message: |
| 2021-02-28 02:55:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-02-28 02:55:25 | <minoru_shiraeesh> | Okay, let me try explaining what I'm trying to do again. Let's say I have a set of modules, and each of them defines a data type. I want to create a state monad that holds one of each type (the Context), and write operations in the Context monad, where each module uses its own part. I'm currently using a type-indexed map, and the simple-somewhat-ugly approach of just defining a record with all of the types doesn't work because of an import |
| 2021-02-28 02:55:27 | <minoru_shiraeesh> | cycle. Any |
| 2021-02-28 02:55:32 | <minoru_shiraeesh> | other options? |
| 2021-02-28 02:55:54 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-nydprmgitcsjloxf) |
| 2021-02-28 02:55:54 | × | mrchampion quits (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 2021-02-28 02:56:23 | <koz_> | 'One of each type' - one what of each type? |
| 2021-02-28 02:57:47 | × | conal quits (~conal@66.115.157.135) (Quit: Computer has gone to sleep.) |
| 2021-02-28 02:59:04 | <minoru_shiraeesh> | one record holding a state I guess |
All times are in UTC.