[Haskell-cafe] data constructor names

2013-06-22 Thread Brian Lewis
Say you write data Callback = Error ... | ... because one of the kinds of callbacks you need to model is an error callback. Then, later, you write data Error = ... to model some error that can happen. They're both good names, but there's a conflict. So I started thinking I should prefix my

Re: [Haskell-cafe] data constructor names

2013-06-22 Thread Suzuki Tomohiro
I found syntax reference here. http://www.haskell.org/onlinereport/syntax-iso.html consym-(: {symbol | :})reservedop symbol-ascSymbol | uniSymbolspecial | _ | : | | ' constrs-constr1 | ... | constrn(n=1) Regards, Tomo On Saturday, June 22, 2013, Brian Lewis wrote: Say you write data

[Haskell-cafe] how to debug stack overflow?

2013-06-22 Thread Johannes Waldmann
What is the recommended method to find the exact reason for a stack overflow (when running a Haskell program compiled with ghc)? When I compile with -prof -auto-all, and run with +RTS -xc, I see a very short call stack, which can't be right. But that's probably because I am calling some library

Re: [Haskell-cafe] data constructor names

2013-06-22 Thread Tom Ellis
On Sat, Jun 22, 2013 at 04:26:14AM -0500, Brian Lewis wrote: Say you write data Callback = Error ... | ... [...] Then, later, you write data Error = ... [...] They're both good names, but there's a conflict. What do you mean by a conflict? That's fine as far as the compiler is concerned

[Haskell-cafe] Best practices for Arrows?

2013-06-22 Thread Tom Ellis
I feel I may be doing a lot of programming with Arrows in the near future. Currently I'm delighted that Arrow notation[1] exists. It makes using Arrows much less painful. Are there any best-practices I should be aware of with Arrows? Or is it just a case of getting on with it? Tom 1.

Re: [Haskell-cafe] how to debug stack overflow?

2013-06-22 Thread Aleksey Uymanov
On Sat, 22 Jun 2013 11:04:21 + (UTC) Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: What is the recommended method Try to use heap profiling. There is very high probability that the problem is because of space leak. -- Aleksey Uymanov s9gf4...@gmail.com

Re: [Haskell-cafe] Best practices for Arrows?

2013-06-22 Thread Ertugrul Söylemez
Tom Ellis tom-lists-haskell-cafe-2...@jaguarpaw.co.uk wrote: Are there any best-practices I should be aware of with Arrows? Or is it just a case of getting on with it? The best practice is probably to avoid them. If your type is a monad, there is little reason to use the awkward arrow

Re: [Haskell-cafe] Promoting Haskell via Youtube movies

2013-06-22 Thread Mihai Maruseac
On Wed, Jun 19, 2013 at 3:03 AM, Carlo Hamalainen ca...@carlo-hamalainen.net wrote: On 18/06/13 04:23, Mihai Maruseac wrote: I was wondering if we have similar movies for Haskell as https://www.youtube.com/watch?v=kLO1djacsfg and https://www.youtube.com/watch?v=E3418SeWZfQ exist for Java. I

Re: [Haskell-cafe] writing a function to make a correspondance between type-level integers and value-level integers

2013-06-22 Thread TP
o...@okmij.org wrote: I'm late to this discussion and must have missed the motivation for it. Specifically, how is your goal, vector/tensor operations that are statically assured well-dimensioned differs from general well-dimensioned linear algebra, for which several solutions have been

Re: [Haskell-cafe] [web-devel] The promising world of Monadic formlets

2013-06-22 Thread Anton Tayanovskyy
Our team at IntelliFactory has worked with monadic formlets for a while, we call them flowlets, in the context of WebSharper/F#. We even have an obscure paper out there about it. The difference with your approach is that we are working directly with DOM nodes and imperative widgets to execute

Re: [Haskell-cafe] how to debug stack overflow?

2013-06-22 Thread Johannes Waldmann
Aleksey Uymanov s9gf4ult at gmail.com writes: Try to use heap profiling. There is very high probability that the problem is because of space leak. Really? Would it help in the standard example: main = print $ foldr (+) 0 [1 .. 1::Int] this leaks space (that is, cannot run in small

Re: [Haskell-cafe] [web-devel] The promising world of Monadic formlets

2013-06-22 Thread Alberto G. Corona
I have a similar problema with the ids of formlets of different branches of execution. For example in the first case statement the branch represented can be one or the other depending on the previous user response. The identifiers of each branch must be different or else, the server application

[Haskell-cafe] tangential request...

2013-06-22 Thread Mark Lentczner
As you may know, I've been writing a shell in Haskell called Plushhttps://code.google.com/p/plush/ . I'm working on the look of the terminal input and output, and I want to do a little data gathering. I want to know what your terminal looks like! You can help me by: 1) Download this file:

Re: [Haskell-cafe] Best practices for Arrows?

2013-06-22 Thread Tom Ellis
Hi Ertugul. Thanks for taking the time to write me an in-depth reply! I have a few comments and a question. On Sat, Jun 22, 2013 at 03:36:15PM +0200, Ertugrul Söylemez wrote: Tom Ellis tom-lists-haskell-cafe-2...@jaguarpaw.co.uk wrote: Are there any best-practices I should be aware of with

Re: [Haskell-cafe] loop error message

2013-06-22 Thread Tobias Dammers
On Sat, Jun 22, 2013 at 06:09:58AM +0300, Mihai Maruseac wrote: On Sat, Jun 22, 2013 at 12:41 AM, Omari Norman om...@smileystation.com wrote: I compiled some code with GHC 7.6.3 that produces a simple error at runtime myProgramName: loop At which point the program exits with code 1.

Re: [Haskell-cafe] data constructor names

2013-06-22 Thread Tobias Dammers
On Sat, Jun 22, 2013 at 12:15:07PM +0100, Tom Ellis wrote: On Sat, Jun 22, 2013 at 04:26:14AM -0500, Brian Lewis wrote: Say you write data Callback = Error ... | ... [...] Then, later, you write data Error = ... [...] They're both good names, but there's a conflict. What do

Re: [Haskell-cafe] Best practices for Arrows?

2013-06-22 Thread Ross Paterson
On Sat, Jun 22, 2013 at 07:05:09PM +0100, Tom Ellis wrote: On Sat, Jun 22, 2013 at 03:36:15PM +0200, Ertugrul Söylemez wrote: If the interface is not under your control, make yourself comfortable with the complete arrow syntax, most notably how it handles operators, combinators and the `(|

Re: [Haskell-cafe] tangential request...

2013-06-22 Thread Michael Orlitzky
On 06/22/2013 01:28 PM, Mark Lentczner wrote: 3) Do not resize the terminal window and 5) Take a screen shot of the whole terminal window are mutually exclusive? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] tangential request...

2013-06-22 Thread Brandon Allbery
On Sat, Jun 22, 2013 at 9:49 PM, Michael Orlitzky mich...@orlitzky.comwrote: On 06/22/2013 01:28 PM, Mark Lentczner wrote: 3) Do not resize the terminal window and 5) Take a screen shot of the whole terminal window are mutually exclusive? No, he wants a window shot, not a whole-screen

Re: [Haskell-cafe] tangential request...

2013-06-22 Thread Evan Laforge
You're overthinking it. I just sent a whole screen. On Sat, Jun 22, 2013 at 7:25 PM, Brandon Allbery allber...@gmail.com wrote: On Sat, Jun 22, 2013 at 9:49 PM, Michael Orlitzky mich...@orlitzky.com wrote: On 06/22/2013 01:28 PM, Mark Lentczner wrote: 3) Do not resize the terminal window