Logs: freenode/#haskell
| 2021-04-01 22:11:03 | <koz_> | nut: Again, Lazy Functional State Threads. Read it, it's very well-explained. |
| 2021-04-01 22:11:14 | <nut> | ok let me read it first |
| 2021-04-01 22:11:35 | <moet> | L29Ah: yeah, you could do that i guess.. it's getting a little complex, but is probably doable |
| 2021-04-01 22:11:44 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9) |
| 2021-04-01 22:12:09 | <moet> | L29Ah: for non haskell processes you'd get into the realm of things like firejail/timeout/ulimit and it gets pretty out of control quick lol |
| 2021-04-01 22:12:48 | → | molehillish joins (~molehilli@ip98-165-87-166.ph.ph.cox.net) |
| 2021-04-01 22:13:02 | <moet> | L29Ah: might be easier to poll the memory usage by reading /proc filesystem than to actually limit it with RTS.. i don't know.. :) best of luck |
| 2021-04-01 22:13:15 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-01 22:16:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 22:16:55 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-01 22:19:58 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-01 22:20:46 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 2021-04-01 22:21:57 | × | danso quits (~dan@d67-193-121-2.home3.cgocable.net) (Read error: Connection reset by peer) |
| 2021-04-01 22:23:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-01 22:25:03 | × | Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 265 seconds) |
| 2021-04-01 22:25:38 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-01 22:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-04-01 22:26:37 | → | Erutuon_ joins (~Erutuon@97-116-27-119.mpls.qwest.net) |
| 2021-04-01 22:27:13 | → | p7g joins (~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com) |
| 2021-04-01 22:27:19 | × | p7g quits (~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-01 22:28:07 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-01 22:28:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-01 22:28:40 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-01 22:28:48 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: Quit) |
| 2021-04-01 22:28:52 | → | mrus joins (~mrus@149.28.61.155) |
| 2021-04-01 22:31:14 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-01 22:33:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-01 22:36:56 | × | mrus quits (~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa) |
| 2021-04-01 22:37:57 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:b89f:ad2f:d589:6c68) (Remote host closed the connection) |
| 2021-04-01 22:38:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-01 22:38:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 22:39:16 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2021-04-01 22:40:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-01 22:41:21 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-01 22:42:34 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-04-01 22:43:25 | × | Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-01 22:43:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds)) |
| 2021-04-01 22:43:48 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-01 22:44:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 22:45:46 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-01 22:46:05 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-01 22:46:28 | <Aquazi> | hey all, was going through the apis of the directory lib |
| 2021-04-01 22:46:31 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-01 22:46:40 | <Aquazi> | and I'm trying to understand the use cases of these 3 functions: |
| 2021-04-01 22:46:41 | <Aquazi> | https://hackage.haskell.org/package/directory-1.3.6.1/docs/System-Directory.html#g:2 |
| 2021-04-01 22:46:45 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds) |
| 2021-04-01 22:46:59 | <Aquazi> | the more I think about them the less they make sense compared to providing your own path |
| 2021-04-01 22:47:33 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-04-01 22:47:47 | <Aquazi> | I also find them confusing in user land, but I might be newbie to that |
| 2021-04-01 22:49:06 | <glguy> | Aquazi: the current directory is what's used to resolve a relative file path. If you spawn a child process this will be used by it. If you know the absolute paths to things then sure, use that |
| 2021-04-01 22:49:41 | <Aquazi> | yeah that's my point, there are "saner" use cases of knowing absolute paths |
| 2021-04-01 22:49:47 | <Aquazi> | even if you want to write traversals |
| 2021-04-01 22:49:54 | <glguy> | in many cases you won't know the absolute path |
| 2021-04-01 22:50:13 | <Aquazi> | you can always get the absolute path in your process |
| 2021-04-01 22:50:29 | <Aquazi> | even if you writing a script |
| 2021-04-01 22:50:30 | <glguy> | and just duplicate the logic that already exists for resolving paths? why? |
| 2021-04-01 22:50:37 | <glguy> | sounds like a good way to introduce a new bug |
| 2021-04-01 22:51:08 | <Aquazi> | I'll try to think about that |
| 2021-04-01 22:51:11 | <glguy> | The current directory might not have a name, or it might not have the same name it used to |
| 2021-04-01 22:51:21 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-01 22:51:25 | <glguy> | If you're re-resolving it every time you'll get different results |
| 2021-04-01 22:51:27 | ← | usr25 parts (~usr25@unaffiliated/usr25) () |
| 2021-04-01 22:51:39 | <Aquazi> | and I'm doing so from few weeks (I'm writing an fs lib and getting inspirations from multiple libs) |
| 2021-04-01 22:51:59 | <Aquazi> | > If you're re-resolving it every time you'll get different results |
| 2021-04-01 22:52:01 | <lambdabot> | error: |
| 2021-04-01 22:52:01 | <lambdabot> | • Data constructor not in scope: |
| 2021-04-01 22:52:01 | <lambdabot> | If :: t1 -> (AReview t0 b0 -> (t0 -> f0 t0) -> b0 -> f0 b0) -> a |
| 2021-04-01 22:52:15 | <Aquazi> | can you make an example of such behavior? |
| 2021-04-01 22:52:20 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-01 22:52:25 | <glguy> | start a program, rename the directory it's running in |
| 2021-04-01 22:52:53 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-01 22:53:05 | <Aquazi> | I kinda see your point, but I'm not completely sold |
| 2021-04-01 22:53:36 | <Aquazi> | re-resolving the current directory is a potential cause of bugs anyway in an atomic context with no guarantees |
| 2021-04-01 22:54:02 | <Aquazi> | meaning, checking if a directory exists, gives no guarantees that the next call on such directory will not fail |
| 2021-04-01 22:54:14 | <glguy> | that's not related to what I said, but it's also an issue |
| 2021-04-01 22:55:09 | <Aquazi> | so in a, pardon my being noob on haskell and fp, a reader might have wrong dependencies in different calls when using absolute paths but not relative ones? |
| 2021-04-01 22:55:32 | <Aquazi> | as in the renaming example |
| 2021-04-01 22:55:33 | <glguy> | this isn't a Haskell topic |
| 2021-04-01 22:55:45 | <Aquazi> | you're right |
| 2021-04-01 22:56:04 | <glguy> | Haskell just happens to have a binding to the system calls to access and manipulate a process's current directory |
| 2021-04-01 22:56:35 | <zzz> | i have updated cabal and still get "option '--lib' is ambiguous" |
| 2021-04-01 22:56:35 | <glguy> | It's uncommon for a program to need to manipulate these things directory, but it could happen |
| 2021-04-01 22:56:47 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 252 seconds) |
| 2021-04-01 22:56:53 | <Aquazi> | thanks for the feedback glguy |
| 2021-04-01 22:56:55 | <glguy> | these things directly* |
| 2021-04-01 22:56:55 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-01 22:57:11 | <Aquazi> | really appreciate it :) |
| 2021-04-01 22:57:17 | <glguy> | (we could talk about it here, I'm just saying it doesn't have to do with Haskell or functional programming experience) |
| 2021-04-01 22:57:28 | <glguy> | more of a posix topic |
| 2021-04-01 22:57:36 | <Aquazi> | I know I'm writing a lib for filesystem in ts |
| 2021-04-01 22:58:24 | <Aquazi> | And checking for inspirations mostly in haskell and rust userlands as I (at least) understand fp basics and signatures |
| 2021-04-01 22:58:53 | <Aquazi> | So I'm trying to understand the context of stuff, in this case of directory having functions that operate on "current directory" |
| 2021-04-01 22:58:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-01 22:59:23 | <Aquazi> | or "working directory" besides their implementation details |
| 2021-04-01 22:59:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-01 23:01:38 | <zzz> | i cant understand this |
| 2021-04-01 23:02:01 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-01 23:02:08 | <zzz> | has the flag changed in cabal 3? |
| 2021-04-01 23:02:58 | <sclv> | zzz: can you paste the full command you're using and the error? |
| 2021-04-01 23:03:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.