Logs: freenode/#haskell
| 2021-05-18 21:00:20 | × | elizeug_ quits (bffd7e97@191.253.126.151) (Client Quit) |
| 2021-05-18 21:05:01 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-18 21:06:51 | × | lawid quits (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) (Remote host closed the connection) |
| 2021-05-18 21:07:59 | → | lawid joins (~quassel@2a02:8109:b5c0:bd8:38dc:ed9c:a64e:1049) |
| 2021-05-18 21:08:55 | → | ddellac__ joins (~ddellacos@86.106.143.10) |
| 2021-05-18 21:13:28 | × | ddellac__ quits (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 2021-05-18 21:15:10 | <mniip> | nice... it looks like qbin.io no longer exists |
| 2021-05-18 21:15:21 | <altern> | dminuoso, https://stackoverflow.com/a/67594049/50962 added my solution posting |
| 2021-05-18 21:15:43 | <altern> | dminuoso, if you want, you can write your answer and I will accept it |
| 2021-05-18 21:16:33 | → | benin joins (~benin@183.82.177.199) |
| 2021-05-18 21:17:35 | × | dbehmer quits (~dbehmer@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-05-18 21:19:41 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-05-18 21:20:09 | → | jneira joins (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) |
| 2021-05-18 21:20:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-18 21:23:13 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-18 21:23:20 | × | altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds) |
| 2021-05-18 21:23:37 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 21:26:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 21:26:50 | <dminuoso> | That's fine, I dont use SO |
| 2021-05-18 21:29:08 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-05-18 21:31:48 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-18 21:32:16 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 21:32:33 | → | argento joins (~argent0@168.227.96.26) |
| 2021-05-18 21:33:39 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-18 21:36:04 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 21:38:42 | × | mastarija quits (~mastarija@31.217.11.236) (Quit: Leaving) |
| 2021-05-18 21:39:15 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 21:39:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 21:40:41 | <a6a45081-2b83> | is there a more idiomatic way to do this? using folds/sequences/state monads? https://paste.tomsmeding.com/M4jHPxDG |
| 2021-05-18 21:40:56 | <a6a45081-2b83> | detecting cycles in forest |
| 2021-05-18 21:42:41 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-18 21:44:37 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::4f48) |
| 2021-05-18 21:44:42 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 21:45:26 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 21:46:26 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-18 21:47:41 | → | beforged joins (~scarlet@pool-71-179-15-43.bltmmd.fios.verizon.net) |
| 2021-05-18 21:47:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 21:48:12 | → | ddellac__ joins (~ddellacos@86.106.143.35) |
| 2021-05-18 21:48:28 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-18 21:48:41 | <monochrom> | I might use a state monad and write the conventional imperative DFS algorithm. |
| 2021-05-18 21:48:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 21:49:05 | <monochrom> | That is, if I would write one myself at all, which isn't true actually in reality. |
| 2021-05-18 21:49:29 | <monochrom> | In reality, I would just use a graph library from fgl or containers. |
| 2021-05-18 21:49:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-18 21:49:45 | <beforged> | I have a question about using generics to traverse types |
| 2021-05-18 21:50:00 | → | Kr4kke joins (~Kr4kke@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 21:50:13 | <beforged> | I know I could use SYB but people have told me ghc.generics is a better way to do it |
| 2021-05-18 21:50:46 | <beforged> | the closest thing i could find that was what i wanted was the lens function over |
| 2021-05-18 21:51:07 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-18 21:51:07 | <beforged> | but I am not using records so I am a little confused how to implement the same functionality with generics |
| 2021-05-18 21:51:17 | <a6a45081-2b83> | monochrom: trying to solve this with using only base |
| 2021-05-18 21:51:19 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-05-18 21:51:21 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-18 21:51:30 | <monochrom> | Hrm! Perhaps DFS needing to keep state of visited nodes across recursive calls is a much better example for "when to use the state monad" than what I currently have! |
| 2021-05-18 21:51:57 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-05-18 21:52:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-18 21:52:41 | × | ddellac__ quits (~ddellacos@86.106.143.35) (Ping timeout: 240 seconds) |
| 2021-05-18 21:52:42 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 21:52:47 | <a6a45081-2b83> | yeah i'd agree |
| 2021-05-18 21:52:53 | <a6a45081-2b83> | i think we have state monad in base |
| 2021-05-18 21:53:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 21:53:10 | <beforged> | monochrom: are you trying to write dfs? |
| 2021-05-18 21:53:18 | <beforged> | on a normal graph |
| 2021-05-18 21:53:29 | <a6a45081-2b83> | beforged: I am, on a forest/graph |
| 2021-05-18 21:53:47 | <beforged> | have you thought about using the fixpoint strategy? |
| 2021-05-18 21:53:59 | <a6a45081-2b83> | beforged: Here's what i currently have https://paste.tomsmeding.com/M4jHPxDG |
| 2021-05-18 21:54:07 | <a6a45081-2b83> | beforged: let me check fixpoint strategy |
| 2021-05-18 21:54:07 | <beforged> | might not work for specific case depending on if the traversal order matters |
| 2021-05-18 21:54:18 | <beforged> | may be hard to find literature on fixpoint |
| 2021-05-18 21:54:33 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 21:54:34 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds) |
| 2021-05-18 21:55:22 | <beforged> | fix point is more of a bfs though... may not help you |
| 2021-05-18 21:55:28 | → | nvmd joins (~nvmd@177.30.111.232) |
| 2021-05-18 21:56:13 | <kilolympus> | monochrom, would you mind telling me where you have your example? I'm curious to know if you have a blog or wiki or something |
| 2021-05-18 21:56:31 | × | LKoen quits (~LKoen@2a01cb0407597a00e9242d9eac3f1601.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-18 21:56:33 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::4f48) (Remote host closed the connection) |
| 2021-05-18 21:57:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection) |
| 2021-05-18 21:57:31 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-18 21:57:47 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-18 21:57:53 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 21:59:08 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-18 22:00:02 | <beforged> | a6a45081-2b83: I see, you are trying to find cycles in some graph. fixpoint will not help in that case unfortunately |
| 2021-05-18 22:01:25 | <monochrom> | Naw I have been using unconvincing examples such as the academically popular but contrived "transform a tree to the same shape but elements are 0, 1, 2,... from left to right" |
| 2021-05-18 22:01:35 | × | boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-18 22:02:17 | × | tefter quits (bmaxa@gateway/vpn/protonvpn/tefter) (Remote host closed the connection) |
| 2021-05-18 22:02:34 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-18 22:04:09 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-18 22:04:29 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-18 22:04:57 | <maerwald[m]> | Is there a proper syscall sandbox in haskell where I could say which types of network calls are allowed, what directories should be writable and so on? |
| 2021-05-18 22:05:05 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 22:05:30 | tim | is now known as Guest33879 |
| 2021-05-18 22:06:31 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-18 22:07:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) |
| 2021-05-18 22:09:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-18 22:09:47 | × | Guest33879 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 265 seconds) |
| 2021-05-18 22:11:30 | → | tefter joins (~bmaxa@62.240.25.20) |
| 2021-05-18 22:14:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 22:15:38 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-18 22:16:53 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-18 22:17:17 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
All times are in UTC.