Re: [Haskell-cafe] pure programs

2008-11-06 Thread Jason Dusek
Conal Elliott [EMAIL PROTECTED] wrote: To help me understand your question, would you be unhappy with the following structure? -- runnable main = interact f -- composable f = ... The discipline is to use interact (or another combinator) to wrap a

Re: [Haskell-cafe] pure programs

2008-11-05 Thread Alberto G. Corona
A performance improvement could be the caching of responses based on computation costs and number of accesses. This functionality can be implemented a general module that may be used to wrap any pure program if needed. This is something that only pure programs can ever do. And the haskell type

RE: [Haskell-cafe] pure programs

2008-11-05 Thread Mitchell, Neil
System.Info is broken. os has the wrong type. And the wrong value! I have not installed mingw32 on this machine, mingw32 isn't even an os... /me has goal of having os on Linux report wine1.1.7 Thanks Neil == Please

Re: [Haskell-cafe] pure programs

2008-11-05 Thread Jason Dusek
Jules Bean [EMAIL PROTECTED] wrote: Jason Dusek wrote: Though that seems reasonable, it is not, in general, true. For example,System.Info.osis generally treated as pure, though it is not. It's not clear to me how to disambiguate these born again values from really pure values.

Re: [Haskell-cafe] pure programs

2008-11-05 Thread Conal Elliott
Hi Jason, To help me understand your question, would you be unhappy with the following structure? -- runnable main = interact f -- composable f = ... The discipline is to use interact (or another combinator) to wrap a functional/composable/pure component like f into an

Re: [Haskell-cafe] pure programs

2008-11-04 Thread Jamie Brandon
You're essentially describing functional reactive programming. You end up with the system being described as pure, reactive values and plugging IO based streams in at the edges. Have a look at the wiki description (http://www.haskell.org/haskellwiki/Functional_Reactive_Programming) and especially

Re: [Haskell-cafe] pure programs

2008-11-04 Thread Brandon S. Allbery KF8NH
On 2008 Nov 4, at 19:12, Jason Dusek wrote: Many useful programs that I would like to write in Haskell don't fall into this category -- for example, network servers -- but a lot of their components do. Can these components can be Haskell functions without IO in their signatures? I'm

Re: [Haskell-cafe] pure programs

2008-11-04 Thread Bulat Ziganshin
Hello Jason, Wednesday, November 5, 2008, 3:12:29 AM, you wrote: Many useful programs that I would like to write in Haskell don't fall into this category -- for example, network servers -- but a lot of their components do. Can these components can be Haskell functions without IO in