Re: [Haskell-cafe] Erlang's module discussion

2011-05-30 Thread Gregory Crosswhite
On 5/28/11 10:11 AM, Alex Rozenshteyn wrote: Since no-one has yet mentioned it, and I think it might be relevant, http://types.bu.edu/seminar-modularity/first-class-modules-for-haskell.pdf I haven't read it with any degree of understanding, but I don't think it's tractable to remove modules fr

Re: [Haskell-cafe] Erlang's module discussion

2011-05-30 Thread Richard O'Keefe
On 28/05/2011, at 3:37 PM, Brandon Allbery wrote: > On Fri, May 27, 2011 at 23:10, Tom Murphy wrote: >> I sure love Hackage, but there's a very interesting discussion >> going on, on the Erlang mailing list, about completely restructuring >> the module-model. > > Sounds like one of those id

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Brandon Allbery
On Sat, May 28, 2011 at 13:34, Ketil Malde wrote: > Tom Murphy writes: >>      Before you dismiss it as crazy, know that the topic was brought >> up by Joe Armstrong > > Being brilliant doesn't mean the absence of mental bad hair days, but > merely that they happen more rarely than for the rest o

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Ketil Malde
Tom Murphy writes: Modules tend to group togheter data structures and functions that operate on them - i.e. natural units of code. So I think modules are good also for didactical reasons, in that module imports limit the scope a reader needs to know to understand the code. I don't know Erlang,

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Alex Rozenshteyn
Since no-one has yet mentioned it, and I think it might be relevant, http://types.bu.edu/seminar-modularity/first-class-modules-for-haskell.pdf I haven't read it with any degree of understanding, but I don't think it's tractable to remove modules from haskell, nor desirable. On Sat, May 28, 2011

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Brandon Allbery
On Sat, May 28, 2011 at 05:12, Alex Kropivny wrote: > Regardless of how crazy it sounds, an idea from Joe Armstrong is worth > seriously thinking over. Possibly, but this is just another manifestation of a general problem that nobody has yet managed to solve very nicely. Admittedly, the way Erla

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Serguey Zefirov
2011/5/28 Alex Kropivny : > Erlang has the advantage of functions being the basic, composeable building > block. Packages and modules are merely means to organize them, and mediocre > means at that, so a better system is definitely a possibility. Haskell has > the complication of having type defini

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Alex Kropivny
Regardless of how crazy it sounds, an idea from Joe Armstrong is worth seriously thinking over. This has bugged me before: think about how we design and write code as project size, or programmer skill grows. You start with composing statements inside a single function; later, you start to compose

Re: [Haskell-cafe] Erlang's module discussion

2011-05-28 Thread Dmitry Vyal
On 28.05.2011 07:10, Tom Murphy wrote: Hi All, I sure love Hackage, but there's a very interesting discussion going on, on the Erlang mailing list, about completely restructuring the module-model. Before you dismiss it as crazy, know that the topic was brought up by Joe Armstrong, one

Re: [Haskell-cafe] Erlang's module discussion

2011-05-27 Thread Brandon Allbery
On Fri, May 27, 2011 at 23:10, Tom Murphy wrote: >     I sure love Hackage, but there's a very interesting discussion > going on, on the Erlang mailing list, about completely restructuring > the module-model. Sounds like one of those ideas that looks really neat on paper but in the real world run

[Haskell-cafe] Erlang's module discussion

2011-05-27 Thread Tom Murphy
Hi All, I sure love Hackage, but there's a very interesting discussion going on, on the Erlang mailing list, about completely restructuring the module-model. Before you dismiss it as crazy, know that the topic was brought up by Joe Armstrong, one of the creators of the language. Here's t