Logs: liberachat/#haskell
| 2021-07-23 01:47:21 | × | slack1256 quits (~slack1256@191.125.175.8) (Remote host closed the connection) |
| 2021-07-23 01:49:01 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-07-23 01:50:11 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-23 01:55:40 | → | stevenxl joins (~stevenlei@68.235.43.157) |
| 2021-07-23 01:57:24 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-23 02:00:53 | <romes24> | can't make it work even with race unfortunately |
| 2021-07-23 02:01:01 | <romes24> | I'm probably doing something about concurrency wrong in general :P |
| 2021-07-23 02:02:44 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-23 02:03:03 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 02:04:45 | <Axman6> | we'd love to help, but we're blind without the code ;) |
| 2021-07-23 02:07:03 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 268 seconds) |
| 2021-07-23 02:08:35 | × | td_ quits (~td@94.134.91.91) (Ping timeout: 255 seconds) |
| 2021-07-23 02:09:15 | × | stevenxl quits (~stevenlei@68.235.43.157) (Quit: leaving) |
| 2021-07-23 02:10:19 | → | td_ joins (~td@muedsl-82-207-238-071.citykom.de) |
| 2021-07-23 02:11:42 | × | ablutor quits (~quassel@wasscher.com) (Ping timeout: 268 seconds) |
| 2021-07-23 02:13:23 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-23 02:16:18 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-23 02:16:21 | × | alx741_ quits (~alx741@186.178.108.210) (Quit: alx741_) |
| 2021-07-23 02:17:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2021-07-23 02:18:08 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-23 02:20:08 | × | romes24 quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: Ping timeout (120 seconds)) |
| 2021-07-23 02:20:53 | → | romes85 joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 2021-07-23 02:21:14 | <romes85> | Axman6 that'd be nice, let me do a paste |
| 2021-07-23 02:24:06 | <romes85> | I've tried some different things but I'm clearly doing it wrong. it seems that if I kill the program before it enters a loop it works but as soon as the program is in an infinite loop no kill signal can stop it ahaha |
| 2021-07-23 02:24:07 | <romes85> | https://paste.tomsmeding.com/uVe1GGLk |
| 2021-07-23 02:24:17 | <romes85> | this is what i was trying now |
| 2021-07-23 02:24:27 | <romes85> | perhaps I gave up on the Async too soon |
| 2021-07-23 02:24:41 | → | motle joins (~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net) |
| 2021-07-23 02:27:10 | <motle> | Hi, i wrote a description of part of the graph API im trying to implement here; https://pastebin.com/raw/8u7g3gUP |
| 2021-07-23 02:27:46 | <motle> | and was wondering if anyone would be up for discussing it as part of a full interface |
| 2021-07-23 02:27:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-23 02:28:18 | <romes85> | (my attempt at async was like this https://paste.tomsmeding.com/SCuAwkTI) |
| 2021-07-23 02:28:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 02:29:45 | × | MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 250 seconds) |
| 2021-07-23 02:30:10 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-23 02:32:40 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-23 02:32:40 | FinnElija | is now known as Guest3789 |
| 2021-07-23 02:32:40 | finn_elija | is now known as FinnElija |
| 2021-07-23 02:35:05 | <slycelote_> | romes85, have you tried System.Timeout? |
| 2021-07-23 02:35:32 | <h98> | is "infinite program" external or is it a haskell function? |
| 2021-07-23 02:35:34 | × | Guest3789 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2021-07-23 02:35:40 | <romes85> | it's a haskell function! |
| 2021-07-23 02:36:05 | <romes85> | that recurses infinitely |
| 2021-07-23 02:36:10 | <motle> | something liek forever $ do ? |
| 2021-07-23 02:36:15 | <romes85> | slycelote_ I've tried without results |
| 2021-07-23 02:36:24 | <romes85> | I might have screwed it up tho ^ |
| 2021-07-23 02:36:31 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-23 02:36:36 | <romes85> | yea motle, in fact its a lambda-calculus interpreter |
| 2021-07-23 02:36:44 | <motle> | nice |
| 2021-07-23 02:37:15 | <motle> | could you do like; infinite (unfold stateProgram) ? |
| 2021-07-23 02:37:49 | <romes85> | im synthesising linear functional programs, but couldn't create good enough heuristics to avoid synthesising some recursive functions. so when the programs are run they loop forever lol |
| 2021-07-23 02:38:01 | <motle> | whats the functor your program terms are supported on? |
| 2021-07-23 02:38:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-23 02:38:33 | <slycelote_> | Are you sure the interpreter doesn't do any I/O behind the scenes? Can you try a simpler "infinite" program? |
| 2021-07-23 02:38:44 | <motle> | romes85: yeah, what youv done there is chosen to make "1-loop" programs from linear programs by feeding the output into the next layer |
| 2021-07-23 02:38:52 | <motle> | simple architecture |
| 2021-07-23 02:38:58 | <motle> | you can run them in parallel too.. |
| 2021-07-23 02:39:13 | <motle> | like bike vs car wheels |
| 2021-07-23 02:39:16 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 02:39:46 | <slycelote_> | also, try changing between threaded and non-threaded runtimes (a shot in the dark...) |
| 2021-07-23 02:39:48 | <motle> | generally all recursive programs can be made into such a shape |
| 2021-07-23 02:40:22 | <romes85> | I'll attempt a simpler infinite program slycelote, that's a good idea. |
| 2021-07-23 02:40:33 | <romes85> | I couldn't follow motle :) |
| 2021-07-23 02:40:55 | <motle> | if you kind of think of the propegation of function calls dereferencing along a kind of "front" and placing these neatly as layers that can be treated as linear nodes |
| 2021-07-23 02:40:57 | <motle> | basically... |
| 2021-07-23 02:41:16 | × | phma_ quits (~phma@host-67-44-208-68.hnremote.net) (Read error: Connection reset by peer) |
| 2021-07-23 02:41:30 | <romes85> | oh never mind the linear, I think I might have made it more confusing , it doesn't matter :) the essence is "how do I stop an infinite program from running after x seconds" |
| 2021-07-23 02:42:01 | <romes85> | I don't think I'm doing it correctly, I just experimented the concurrency modules for the first time |
| 2021-07-23 02:42:10 | × | ablutor quits (~quassel@wasscher.com) (Ping timeout: 252 seconds) |
| 2021-07-23 02:42:21 | <romes85> | (meaning I'm new to them) |
| 2021-07-23 02:43:00 | <motle> | ah, so you want something like an open handle containing the running program that you can apply a function to to stop and maybe restart it or something like that? |
| 2021-07-23 02:43:24 | <romes85> | yeah, no need to restart, just stop the "infinity" |
| 2021-07-23 02:43:26 | <motle> | what you have seems like a good way to start with though |
| 2021-07-23 02:43:39 | <romes85> | perhaps even timeout works, if used correctly.. |
| 2021-07-23 02:44:09 | <slycelote_> | timeout 1000 $ return $ fromADTBool $ evalModule $ infinite program |
| 2021-07-23 02:44:10 | <motle> | not sure how youd factor it into a "running IO variable" that you could pass and then have a way to use this as an argument to the stopping function |
| 2021-07-23 02:44:14 | <slycelote_> | should just work... |
| 2021-07-23 02:44:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-23 02:44:59 | <motle> | oh right, timeout does something like that? :: Int -> IO ValueHandleThing -> result |
| 2021-07-23 02:45:07 | <h98> | when you tried timeout, did you consume the value? |
| 2021-07-23 02:46:00 | <romes85> | what does "consuming the value mean"? thank you :) |
| 2021-07-23 02:46:22 | <romes85> | slycelote_ it didn't, but perhaps its a combination of emit omit threaded I did wrong... |
| 2021-07-23 02:46:23 | <h98> | just a shot in the dark, but binding the result to an a and printing it or something |
| 2021-07-23 02:46:40 | <romes85> | I see :) |
| 2021-07-23 02:46:57 | <romes85> | I'll put it inside a case |
| 2021-07-23 02:47:38 | → | phma_ joins (phma@2001:5b0:211f:6ab8:d4bc:dc6f:9391:c76c) |
| 2021-07-23 02:48:14 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-23 02:48:17 | × | phma_ quits (phma@2001:5b0:211f:6ab8:d4bc:dc6f:9391:c76c) (Read error: Connection reset by peer) |
| 2021-07-23 02:51:06 | → | phma_ joins (phma@2001:5b0:211f:6ab8:d4bc:dc6f:9391:c76c) |
| 2021-07-23 02:51:18 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-23 02:53:02 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-07-23 02:53:06 | <romes85> | it worked that's genius :) |
| 2021-07-23 02:53:42 | <romes85> | h98 you shoot in the dark but you have night vision goggles :) |
| 2021-07-23 02:53:56 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-23 02:54:22 | <romes85> | I'm going to try it again just to see if I missed something the last time around, or if it really is from the forcing the strict evaluation with `case` |
| 2021-07-23 02:55:23 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-23 02:56:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 02:57:00 | <romes85> | ACTUALLY AMAZING :) |
| 2021-07-23 02:57:47 | <romes85> | https://paste.tomsmeding.com/3IuASlTo |
| 2021-07-23 02:59:23 | <slycelote_> | ah, well, that's lazy IO :) |
All times are in UTC.