[Haskell-cafe] Re: Type-Marking finite/infinte lists?

2007-09-16 Thread apfelmus
David Menendez wrote: Joachim Breitner wrote: today while mowing the lawn, I thought how to statically prevent some problems with infinte lists. I was wondering if it is possible to somehow mark a list as one of finite/infinite/unknown and to mark list-processing functions as whether they can

Re: [Haskell-cafe] How can I stop GHCi from calling show for IO actions?

2007-09-16 Thread Stuart Cook
On 9/16/07, Ryan Ingram [EMAIL PROTECTED] wrote: Is there a way to make GHCi not print the result of an action but still make my variables get bound? This seems to be a common question (I myself asked it recently), so I've added an entry to the GHCi page on the wiki.

Re: [Haskell-cafe] Data.Binary Endianness

2007-09-16 Thread Adrian Hey
Stefan O'Rear wrote: packages is only for those libraries that are shipped with GHC. It is? This is news to me. An obvious counter example seems to be the collections package which has been put here. This is not shipped with ghc and I'm not aware of any plans to do this. Perhaps if this is the

Re: [Haskell-cafe] How can I stop GHCi from calling show for IO actions?

2007-09-16 Thread Rodrigo Queiro
I've always wondered if ghc(i) --help should be a bit more instructive, or perhaps if there were a man page that lay somewhere between the --help message and the manual in terms of comprehensiveness. It's a pretty major jump from a short description of 4 command line options (only one of which I

[Haskell-cafe] Israel Haskell Programmers

2007-09-16 Thread B K
Hello, Are there any Haskell Hackers on this mailing list who live in Israel? I am interested in starting an Israel Haskell User Group. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Type-Marking finite/infinte lists?

2007-09-16 Thread Dan Piponi
On 9/16/07, apfelmus [EMAIL PROTECTED] wrote: But unfortunately, finiteness is a special property that the type system cannot guarantee. The above type signature for cons doesn't work since the following would type check bad :: a - List Nonempty Finite a bad x = let xs = cons x xs in

[Haskell-cafe] Parsec Scanner Question

2007-09-16 Thread Jude
Haskell Folks, I have an existing Parsec CharParser parser that I would like to extend to include line continuation support. When there's a backslash-newline combination anywhere in the token stream, I'd like to remove it so it's not read by the rest of the parser, even if its in the middle of a

Re: [Haskell-cafe] Israel Haskell Programmers

2007-09-16 Thread Ilya Tsindlekht
On Sun, Sep 16, 2007 at 06:11:03PM +0200, B K wrote: Hello, Are there any Haskell Hackers on this mailing list who live in Israel? I am interested in starting an Israel Haskell User Group. I am here, although I probably do not really count for Haskell Hacker.

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-16 Thread David Roundy
On Sat, Sep 15, 2007 at 08:27:02AM +0100, Adrian Hey wrote: Perhaps what you really mean is, you long for a Data.Map.Strict that carries the offically blessed status of being shipped with ghc (reminds me of someone asking for a ghc approved SDL binding a while back :-). Yes, that would be what

[Haskell-cafe] Re: [Haskell] Linear Equation Solver Using Arrays

2007-09-16 Thread Andrew Wagner
(Replying on haskell-cafe) Let me start with a disclaimer: I haven't looked at your code extensively. That said, the feeling that I get from it is one of listening to a non-native speaker. The things in your program are obviously not completely inaccurate, or they wouldn't have type-checked. And,

[Haskell-cafe] OzHaskell?!?

2007-09-16 Thread Manuel M T Chakravarty
There is AngloHaskell and now AmeroHaskell. Doesn't that call for OzHaskell? http://haskell.org/haskellwiki/OzHaskell Manuel ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe