Logs: liberachat/#haskell
| 2021-07-23 00:36:08 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-23 00:36:34 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 00:39:25 | → | dajoer joins (~david@user/gvx) |
| 2021-07-23 00:40:49 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-23 00:44:50 | → | fendor_ joins (~fendor@91.141.32.205.wireless.dyn.drei.com) |
| 2021-07-23 00:45:14 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-07-23 00:47:30 | × | fendor quits (~fendor@77.119.210.38.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-07-23 00:47:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-23 00:48:27 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-23 00:48:53 | × | soft-warm quits (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) (Quit: Ping timeout (120 seconds)) |
| 2021-07-23 00:49:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 00:50:55 | → | soft-warm joins (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) |
| 2021-07-23 00:56:57 | → | hiruji` joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
| 2021-07-23 00:57:03 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-07-23 00:57:37 | <romes24> | is there a way to forcefully terminate a program after x seconds ? I've seen System.Timeout however it doesn't interrupt my non terminating program :) |
| 2021-07-23 00:57:52 | <Axman6> | all exit? |
| 2021-07-23 00:57:56 | <Axman6> | call* |
| 2021-07-23 00:58:02 | <romes24> | oh im going to try -fomit-yields wait |
| 2021-07-23 00:58:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-23 00:58:24 | <geekosaur> | if your program doesn't allocate even that might not work |
| 2021-07-23 00:58:31 | <c_wraith> | you probably want -fno-omit-yields |
| 2021-07-23 00:58:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 00:58:56 | <Axman6> | yeah... you want to emmit yeilds, not omit them |
| 2021-07-23 00:59:06 | × | zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 2021-07-23 00:59:29 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-07-23 00:59:54 | <romes24> | thank you :), ahaha |
| 2021-07-23 01:00:24 | <Axman6> | ields too |
| 2021-07-23 01:00:41 | <Axman6> | argh, why isn't my first key registering |
| 2021-07-23 01:00:55 | <Axman6> | I have enough trouble typing without my keyboard betraying me |
| 2021-07-23 01:02:17 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-23 01:02:24 | <romes24> | it doesn't stop indeed :) the program is a lambda calculus interpreter that I want to quit after x seconds if doesn't terminate |
| 2021-07-23 01:03:12 | <dsal> | I think you just solved the halting problem. |
| 2021-07-23 01:03:22 | <romes24> | LOL :) |
| 2021-07-23 01:03:40 | <romes24> | but I don't want to know whether it halts or not, I want to timeout |
| 2021-07-23 01:03:53 | × | phma quits (phma@2001:5b0:212a:a908:914b:947b:7a62:29b3) (Read error: Connection reset by peer) |
| 2021-07-23 01:04:02 | <Axman6> | "Does it halt?" "It bloody well better!" |
| 2021-07-23 01:04:13 | <romes24> | hahahahaha |
| 2021-07-23 01:04:19 | <dsal> | I actually have a similar problem that ended up being painfully complicated because of exception handlers and stuff. I haven't looked at it in a year or so, but I was having trouble getting my watchdog to actually terminate my process. |
| 2021-07-23 01:04:19 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-23 01:04:42 | <Axman6> | os, if it were me, I would run the evaluation in another thread, and using something like the async library to kill that thread after n seconds |
| 2021-07-23 01:04:44 | <dsal> | I was forced to, instead, fix the bug that made me want the watchdog. |
| 2021-07-23 01:05:14 | <romes24> | Axman6 that's kind of what I was looking for here :) can you point me to some docs ? |
| 2021-07-23 01:05:26 | <romes24> | what's a watchdog |
| 2021-07-23 01:05:27 | <Axman6> | https://hackage.haskell.org/package/async-2.2.3/docs/Control-Concurrent-Async.html#v:race |
| 2021-07-23 01:05:36 | <romes24> | thank you kindly Axman6 |
| 2021-07-23 01:05:46 | <Axman6> | stick timeout in the left thread, then check the result |
| 2021-07-23 01:05:51 | mnrmnaugh | is now known as BMCC |
| 2021-07-23 01:06:15 | <Axman6> | "The loser of the race is cancelled" bloody cancel culture |
| 2021-07-23 01:06:31 | BMCC | is now known as awk |
| 2021-07-23 01:07:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-23 01:07:42 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-23 01:07:49 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 258 seconds) |
| 2021-07-23 01:08:39 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-07-23 01:08:46 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-23 01:09:14 | <romes24> | ahahaha just now I got the joke. what a useful utility actually |
| 2021-07-23 01:09:34 | <Axman6> | lso, you should read parallel and concurrent programming in haskell |
| 2021-07-23 01:09:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-23 01:09:51 | <Axman6> | it |
| 2021-07-23 01:10:01 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-23 01:10:03 | <Axman6> | it's very approachable and explains all the nuances of concurrency in haskell |
| 2021-07-23 01:10:10 | <romes24> | yeah I haven't gotten into it at all but sounds wonderful |
| 2021-07-23 01:10:11 | <dsal> | +1 but also `race` is brilliant. |
| 2021-07-23 01:10:32 | → | meinside_ joins (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-07-23 01:10:33 | <romes24> | it does look like it ahah +1 |
| 2021-07-23 01:11:09 | <dsal> | @hoogle timeout |
| 2021-07-23 01:11:09 | <lambdabot> | System.Timeout timeout :: Int -> IO a -> IO (Maybe a) |
| 2021-07-23 01:11:09 | <lambdabot> | System.Directory.Internal.Prelude timeout :: () => Int -> IO a -> IO (Maybe a) |
| 2021-07-23 01:11:09 | <lambdabot> | System.Timeout.Lifted timeout :: MonadBaseControl IO m => Int -> m a -> m (Maybe a) |
| 2021-07-23 01:11:17 | <dsal> | I use that in a few places |
| 2021-07-23 01:11:29 | <dsal> | (the first one, anyway) |
| 2021-07-23 01:13:02 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 245 seconds) |
| 2021-07-23 01:15:14 | × | soft-warm quits (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) (Quit: Client closed) |
| 2021-07-23 01:15:46 | awk | is now known as mnrmnaugh |
| 2021-07-23 01:16:33 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-23 01:16:51 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-23 01:17:17 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-23 01:18:41 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-23 01:19:32 | × | xff0x_ quits (~xff0x@2001:1a81:5345:c200:35ab:ec93:2501:2232) (Ping timeout: 255 seconds) |
| 2021-07-23 01:21:10 | → | xff0x_ joins (~xff0x@2001:1a81:5383:d200:23a4:8563:bc41:3b3e) |
| 2021-07-23 01:23:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2021-07-23 01:24:40 | → | phma joins (~phma@host-67-44-208-73.hnremote.net) |
| 2021-07-23 01:25:40 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-23 01:27:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-23 01:29:41 | → | slack1256 joins (~slack1256@191.125.175.8) |
| 2021-07-23 01:31:00 | → | phma_ joins (~phma@host-67-44-208-68.hnremote.net) |
| 2021-07-23 01:31:02 | × | phma quits (~phma@host-67-44-208-73.hnremote.net) (Ping timeout: 252 seconds) |
| 2021-07-23 01:31:48 | <slack1256> | Do any of you use any haskell library to interface to the gpio pins on a RPi? |
| 2021-07-23 01:31:58 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-23 01:32:00 | <slack1256> | Tried `HPi` but didn't build. |
| 2021-07-23 01:35:19 | <monochrom> | I don't, someone else did, you'll have to wait for them, but they exist. |
| 2021-07-23 01:35:39 | <monochrom> | Then again, IIRC they just use FFI and write to I/O ports. |
| 2021-07-23 01:36:17 | <slack1256> | Mmm yeah, I better follow that route. |
| 2021-07-23 01:37:00 | <zzz> | when a language extension says it implies another does it mean we can ommit the latter? |
| 2021-07-23 01:37:08 | <c_wraith> | yes |
| 2021-07-23 01:37:22 | <zzz> | got it |
| 2021-07-23 01:37:37 | <monochrom> | "omit" and "emit" are easy to mix up. :) |
| 2021-07-23 01:38:00 | <monochrom> | -femit-yield and fno-omit-yield and -fno-emit-yield |
| 2021-07-23 01:38:06 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:9af4:e021:9dca:50c4) (Remote host closed the connection) |
| 2021-07-23 01:44:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-23 01:44:42 | → | favonia joins (~favonia@user/favonia) |
All times are in UTC.