Logs: liberachat/#haskell
| 2021-07-22 17:08:57 | ← | Franciman parts (~francesco@openglass.it) (WeeChat 2.3) |
| 2021-07-22 17:09:30 | × | yo quits (~0xfe0@2405:201:5502:d69:ad6c:9daa:d1e4:a3ce) (Ping timeout: 256 seconds) |
| 2021-07-22 17:10:33 | × | mr-red quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 265 seconds) |
| 2021-07-22 17:10:54 | <davean> | yo: your julia definition must be semanticly different. |
| 2021-07-22 17:11:14 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 17:11:24 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-22 17:12:00 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2021-07-22 17:12:06 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-22 17:12:28 | <c_wraith> | Eh, I think it's possible for a modern CPU to advance a counter F(41) times in 3 seconds. |
| 2021-07-22 17:12:39 | <c_wraith> | If you remove all the function call overhead somehow |
| 2021-07-22 17:13:08 | <c_wraith> | Because any other algorithm should be *way* faster than 3 seconds. |
| 2021-07-22 17:15:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-22 17:15:56 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-22 17:16:10 | <c_wraith> | davean: why would it blow out the stack? the maximum depth is 41 |
| 2021-07-22 17:16:47 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 17:16:56 | <davean> | c_wraith: walking the adds - and infact it does for me |
| 2021-07-22 17:17:10 | <c_wraith> | the adds should mirror the recursive structure |
| 2021-07-22 17:17:17 | <int-e> | laziness is a wonderful thing |
| 2021-07-22 17:17:21 | <davean> | test.hs: stack overflow |
| 2021-07-22 17:17:30 | <davean> | So that preduction is correct for me |
| 2021-07-22 17:17:34 | <[exa]> | yorick: mind sharing the julia version? (/me curious) |
| 2021-07-22 17:17:47 | <[exa]> | (ah yo left, sorry for hilite) |
| 2021-07-22 17:18:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 17:19:04 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-22 17:20:03 | × | ubert quits (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-22 17:20:18 | <davean> | c_wraith: so note the error with the precident in the recursive calls to fib |
| 2021-07-22 17:20:22 | <int-e> | uh ... fib n-1 |
| 2021-07-22 17:20:33 | <c_wraith> | *oh*. that's the problem. |
| 2021-07-22 17:20:40 | <davean> | I was trying to call it out subtily so they'd notice |
| 2021-07-22 17:20:59 | <davean> | I didn't just want to give the answer away, but apparently they left |
| 2021-07-22 17:21:08 | <int-e> | c_wraith: Right. I couldn't poke any hole in your argument so I decided to look at the actual code :P |
| 2021-07-22 17:21:10 | <c_wraith> | I was trying to figure out what int-e was talking about, as laziness is irrelevant to the stack use depth there |
| 2021-07-22 17:21:39 | <davean> | Yah I said a few things, that looked closer |
| 2021-07-22 17:21:43 | <davean> | *then |
| 2021-07-22 17:21:57 | <davean> | And changed my covnersation |
| 2021-07-22 17:22:00 | <c_wraith> | so yeah, *that* algorithm can't finish in finite time on any processor :) |
| 2021-07-22 17:22:14 | <int-e> | it works for two values of n ;) |
| 2021-07-22 17:22:29 | <c_wraith> | but we were assuming 41! |
| 2021-07-22 17:23:13 | → | chomwitt joins (~chomwitt@ppp-94-67-220-135.home.otenet.gr) |
| 2021-07-22 17:23:35 | <davean> | Once you fix it, making it stricted DOES speed it up, as does optimization, I spotted the structure before I parsed it fully. It runs under 1 second when minorly fixed |
| 2021-07-22 17:24:43 | <int-e> | let f 0 = id; f 1 = (+1); f n = f (n-1) . f (n-2) in f 40 0 --> *** Exception: stack overflow |
| 2021-07-22 17:24:46 | <int-e> | ;-) |
| 2021-07-22 17:25:01 | <int-e> | (if you try hard enough...) |
| 2021-07-22 17:25:27 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) (Disconnected: No route to host) |
| 2021-07-22 17:28:22 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-07-22 17:30:27 | <arkanoid> | is "where" block to be considered as a container for private functions? |
| 2021-07-22 17:32:02 | <glguy> | private definitions in general, not necessarily functions |
| 2021-07-22 17:33:17 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-07-22 17:36:34 | <dsal> | where and let are interchangeable a lot of the time, but where is a bit nicer when they're roughly equivalent. Sometimes you have to use let. |
| 2021-07-22 17:41:30 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-22 17:42:32 | → | Morrow joins (~MorrowM_@147.161.8.143) |
| 2021-07-22 17:43:14 | → | Morrow_ joins (~MorrowM_@147.161.8.143) |
| 2021-07-22 17:46:20 | × | azeem quits (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-07-22 17:47:17 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 17:47:33 | × | justsome1 quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-22 17:48:17 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-22 17:49:54 | × | cuz quits (~user@38.140.58.234) (Ping timeout: 240 seconds) |
| 2021-07-22 17:50:51 | × | dunj3 quits (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) (Remote host closed the connection) |
| 2021-07-22 17:51:03 | <sm> | I wish to use small where blocks in the middle of a function all the time - eg at end of a line - but this is never allowed, right ? |
| 2021-07-22 17:51:48 | <sm> | or where is it allowed ? Have been confused about this a long time |
| 2021-07-22 17:52:02 | <__monty__> | sm: Only at the end of a definition IIRC. |
| 2021-07-22 17:52:12 | <Clint> | gotta use let instead |
| 2021-07-22 17:52:17 | <sm> | thanks, that's what I thought |
| 2021-07-22 17:54:29 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 17:56:03 | × | azeem quits (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
| 2021-07-22 17:56:11 | <dsal> | Sometimes I put where clauses in my where clauses just so I can yo dawg. |
| 2021-07-22 17:56:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 17:57:19 | → | azeem joins (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
| 2021-07-22 18:00:43 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 18:01:48 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 18:02:15 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 18:04:24 | × | Achylles quits (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) (Remote host closed the connection) |
| 2021-07-22 18:04:38 | → | Achylles joins (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) |
| 2021-07-22 18:04:50 | <sm> | I do that a lot, makes it easier to extract sub functions |
| 2021-07-22 18:07:06 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-22 18:16:28 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-07-22 18:16:30 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 18:16:44 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-22 18:17:18 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds) |
| 2021-07-22 18:17:38 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 252 seconds) |
| 2021-07-22 18:19:26 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-07-22 18:19:48 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-22 18:20:00 | → | ubert joins (~Thunderbi@178.115.32.89.wireless.dyn.drei.com) |
| 2021-07-22 18:21:58 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-22 18:26:12 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-22 18:28:51 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-07-22 18:30:01 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 18:30:50 | × | cuz quits (~user@38.140.58.234) (Ping timeout: 252 seconds) |
| 2021-07-22 18:32:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-22 18:32:53 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-22 18:33:46 | → | soft-warm joins (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) |
| 2021-07-22 18:34:13 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-07-22 18:35:25 | × | Nuxular quits (~Nux@165.89.93.209.dyn.plus.net) (Quit: Client closed) |
| 2021-07-22 18:36:39 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-22 18:37:36 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 18:38:01 | → | h98 joins (~h98@187.83.249.216.dyn.smithville.net) |
| 2021-07-22 18:38:02 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 18:39:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 18:39:13 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 18:41:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
All times are in UTC.