Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 .. 5022
— 502,152 events total
2021-03-30 09:51:02 → LiaoTao_ joins (~LiaoTao@gateway/tor-sasl/liaotao)
2021-03-30 09:51:33 × LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2021-03-30 09:52:53 → Sorna joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-30 09:53:57 → idhugo joins (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net)
2021-03-30 09:55:18 × Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-03-30 10:00:35 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-30 10:00:41 <kuribas> Is it better to teach using an intermediate operator then?
2021-03-30 10:02:08 <viluon> hello, I'm rewriting Haskell ASTs (via a source plugin) and I'm using SYB to do so. I need to carry some context from the root to the leaves and also compute in the `TcM` monad, so I use a variation of `everywhereM` that works in a top-down manner.
2021-03-30 10:02:09 <viluon> However, I'm running into the issue of visiting the subterms of expressions I've rewritten, since the rewriting adds some (it transforms certain references like `x` into function calls like `f x`, which leaves the inner `x` to be visited again), so the operation gets stuck in an endless, ever-expanding loop. What can I do to prevent this?
2021-03-30 10:02:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-30 10:03:41 <joel135> kuribas: Do you mean to give names to `f ()` and `f a -> f b -> f (a, b)` ?
2021-03-30 10:03:49 <kuribas> joel135: yes
2021-03-30 10:04:04 <joel135> I couldn't come up with any so far.
2021-03-30 10:04:24 <[exa]> viluon: would `everywhereBut` help?
2021-03-30 10:04:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:04:52 → aveltras joins (uid364989@gateway/web/irccloud.com/x-zamqcnfurlugkaxg)
2021-03-30 10:04:54 <[exa]> viluon: (if it would have the monadic variant, ofcourse)
2021-03-30 10:05:44 <viluon> I tried running the recursive call (to `gmapM`) within the SYB scheme on the unmodified input AST, saving the result of the rewrite for later, then doing the replacement after recursion finishes, via a regular generic transformation using `geq` on the inside. That doesn't work because of the "fake" `Data` instance for `ByteString` which doesn't support all the required operations.
2021-03-30 10:06:07 × Alleria__ quits (~textual@2603-7000-3040-0000-29c5-30e3-fcb5-0c65.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-30 10:06:34 <[exa]> viluon: and well, software engineering solution: can you use your monad state to mark that you don't want to expand `x` again?
2021-03-30 10:06:57 <viluon> [exa]: I think I know how to modify the actual rewriting logic (rather than the SYB scheme) to avoid the infinite loop, I was looking for something general
2021-03-30 10:07:35 <viluon> [exa]: but yeah, I can definitely look at the state (in fact the shape of the expression I'm rewriting should be enough) to avoid recursing into it
2021-03-30 10:08:22 <[exa]> ah so, not sure if this is easily generalizable tbh, I'm still kinda new to syb stuff
2021-03-30 10:08:59 <viluon> I'm also new to this so I wanted to know if there's perhaps a smart/clean way of doing what I want that people know about
2021-03-30 10:10:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-30 10:10:16 <[exa]> you might want to have a look at `uniplate` package, there's a slightly different look at all the abstraction
2021-03-30 10:10:39 <viluon> I'll check that out, thanks!
2021-03-30 10:10:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:14:44 <joel135> kuribas: maybe one of https://paste.tomsmeding.com/fch2ZSia
2021-03-30 10:15:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-30 10:16:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:17:32 → dandart joins (~Thunderbi@home.dandart.co.uk)
2021-03-30 10:17:34 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-30 10:17:35 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-30 10:17:45 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-30 10:17:46 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-30 10:18:29 → idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-30 10:20:54 × idhugo quits (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-03-30 10:21:04 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-30 10:21:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-30 10:22:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:22:46 × malumore quits (~malumore@151.62.126.249) (Ping timeout: 240 seconds)
2021-03-30 10:23:34 → ixlun joins (~matthew@109.249.184.133)
2021-03-30 10:26:08 → Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
2021-03-30 10:27:30 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-30 10:28:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:32:27 → malumore joins (~malumore@151.62.126.249)
2021-03-30 10:33:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-30 10:34:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:37:32 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-03-30 10:39:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-30 10:39:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:40:25 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-30 10:45:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-30 10:46:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:46:54 → Alleria joins (~textual@mskresolve-a.mskcc.org)
2021-03-30 10:47:18 Alleria is now known as Guest81603
2021-03-30 10:50:58 × shailangsa quits (~shailangs@host86-186-196-252.range86-186.btcentralplus.com) (Ping timeout: 240 seconds)
2021-03-30 10:51:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-30 10:52:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:55:07 → molehillish joins (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c)
2021-03-30 10:56:05 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-30 10:56:25 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-30 10:56:50 TommyC7 is now known as TommyC
2021-03-30 10:57:41 <joel135> Trying to understand why `first' :: p a b -> p (a, c) (b, c)` is strength.
2021-03-30 10:57:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-30 10:58:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 10:58:18 × unyu quits (~pyon@unaffiliated/pyon) (Quit: brb)
2021-03-30 10:59:27 × molehillish quits (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) (Ping timeout: 258 seconds)
2021-03-30 11:01:16 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-30 11:03:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-30 11:04:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 11:04:41 × typetetris quits (sid275937@gateway/web/irccloud.com/x-dcerdocovoshoxng) (Quit: Connection closed for inactivity)
2021-03-30 11:05:16 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds)
2021-03-30 11:05:46 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-30 11:06:54 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-30 11:07:52 → RusAlex joins (~Chel@unaffiliated/rusalex)
2021-03-30 11:08:07 × __minoru__shirae quits (~shiraeesh@46.34.206.187) (Ping timeout: 268 seconds)
2021-03-30 11:09:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-30 11:09:36 → peanut_ joins (~peanut_@2a02:8388:a101:2600:c712:5af2:1040:dcf0)
2021-03-30 11:09:48 → Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-30 11:10:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 11:13:17 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2021-03-30 11:14:01 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-30 11:16:01 × average quits (uid473595@gateway/web/irccloud.com/x-tgggogcqiiotqpkm) (Quit: Connection closed for inactivity)
2021-03-30 11:17:59 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-03-30 11:17:59 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-30 11:17:59 → mouseghost joins (~draco@wikipedia/desperek)
2021-03-30 11:18:07 → roconnor joins (~roconnor@host-184-164-13-101.dyn.295.ca)
2021-03-30 11:19:18 × ixlun quits (~matthew@109.249.184.133) (Ping timeout: 240 seconds)
2021-03-30 11:19:39 × dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection)
2021-03-30 11:20:51 × dunj3 quits (~dunj3@p200300f61714a6752268fca81a1a85c0.dip0.t-ipconnect.de) (Quit: Leaving)
2021-03-30 11:20:54 × fl0_id quits (~fl0_id@claudia.s7t.de) (Quit: ZNC)
2021-03-30 11:21:25 → fl0_id joins (~fl0_id@2a01:4f8:171:4de::40:2)
2021-03-30 11:25:46 → seliopou joins (seliopou@entropy.tmok.com)
2021-03-30 11:26:16 → txb920 joins (5af6ddfd@90.246.221.253)
2021-03-30 11:29:10 → Jahn joins (d98aca74@217.138.202.116)
2021-03-30 11:29:21 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds)
2021-03-30 11:31:29 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
2021-03-30 11:31:50 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
←Prev  Next→
Page 1 .. 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 .. 5022

All times are in UTC.