Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-25 Thread i c
Although your post is a bit trollish, I answer below to clear any confusion. On Thu, Jul 25, 2013 at 7:18 AM, wrote: > > ivan.chollet wrote: >> let's consider the following: >> >> let fd = Unix.open ... >> let fd = Unix.open ... >> >> At this point one file descriptor cannot be closed. Static a

Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-23 Thread i c
purposely. This was what I meant by my comment. On Tue, Jul 23, 2013 at 9:02 PM, David Thomas wrote: > It strikes me as unlikely static analysis would be confused by shadowing. > > > On Tue, Jul 23, 2013 at 12:37 PM, i c wrote: > >> let's consider the following: &g

Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-23 Thread i c
exts and should have different names. On Tue, Jul 23, 2013 at 8:17 PM, Bardur Arantsson wrote: > On 2013-07-22 17:09, i c wrote: > > Usage of shadowing is generally bad practice. It is error-prone. Hides > > obnoxious bugs like file descriptors leaks. > > These claims need to

Re: [Haskell-cafe] Proposal: Non-recursive let

2013-07-22 Thread i c
On Wed, Jul 10, 2013 at 9:47 AM, wrote: > > Jon Fairbairn wrote: > > It just changes forgetting to use different variable names because of > > recursion (which is currently uniform throughout the language) to > > forgetting to use non recursive let instead of let. > > Let me bring to the record t