Re: [Haskell] Re: Making Haskell more open

2005-12-28 Thread Cale Gibbard
On 28/12/05, Ashley Yakeley <[EMAIL PROTECTED]> wrote: > Bulat Ziganshin wrote: > > for my taste, it is more beautiful (i say only about colors) and > > convenient (i say about guest/suest login) > > > > but main point is what one wiki will be better because we can > > crosslink and search all the

[Haskell] Re: Making Haskell more open

2005-12-28 Thread Ashley Yakeley
Bulat Ziganshin wrote: for my taste, it is more beautiful (i say only about colors) and convenient (i say about guest/suest login) but main point is what one wiki will be better because we can crosslink and search all the material. most of articles about GHC don't need links to bug reports and s

Re[2]: [Haskell] Making Haskell more open

2005-12-28 Thread Bulat Ziganshin
Hello Sven, Wednesday, December 28, 2005, 1:18:35 PM, you wrote: >> may be it will be better to use trac for all other things except for >> wiki? we already one wiki system, imho dividing wiki pages between two >> systems is not convenient SP> I totally agree with Bulat here: The current state w

[Haskell] Re: Boxing (Day) Question

2005-12-28 Thread Ashley Yakeley
Taral wrote: Just a strange thought, but what about... foo :: x# -> ... => ... foo (void *x, ...) { ... } Just because it's unboxed doesn't mean it isn't in memory... Then you have to worry about garbage collection. That's OK, but that would be a separate kind, pointers to unboxed values tha

Re: [Haskell] Conditional typechecking with GADTs

2005-12-28 Thread Taral
On 12/27/05, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > data a :+: bb -- Conj assertion a and assertions bb > data aa :@: bb -- Conjunction of assertions aa and bb Why is the difference here? > class WellTyped a > instance WellTyped Nil > ins

Re: [Haskell] Re: Boxing (Day) Question

2005-12-28 Thread Taral
On 12/26/05, Ashley Yakeley <[EMAIL PROTECTED]> wrote: > I thought functions receive dictionaries, rather than dictionaries being > stored inside values? For instance: > > class C (x :: #4) where ... > > foo :: (C x) => x -> Bool > foo x = ... > > might be generate something like this: > >

Re: [Haskell] A few newbie questions about tracing/debugging and order of execution

2005-12-28 Thread Robert Dockins
On Dec 28, 2005, at 12:07 PM, Hunter Kelly wrote: Yes, thank you, that did the trick! It produced the output for all steps, and in the order I would expect. Are there other techniques that people use to get debugging output? Well, if you are writing code in the IO monad, obviously you ca

Re: [Haskell] A few newbie questions about tracing/debugging and order of execution

2005-12-28 Thread Cale Gibbard
Hi, Mostly I just use ghci. If something isn't working (or even sometimes if it is), I break it down into smaller parts until I can understand and test each part separately. Usually once the functions are broken into small, easy to manage pieces, it becomes obvious where the error is. Sometimes t

Re: [Haskell] A few newbie questions about tracing/debugging and order of execution

2005-12-28 Thread Hunter Kelly
Yes, thank you, that did the trick! It produced the output for all steps, and in the order I would expect. Are there other techniques that people use to get debugging output? H On 12/28/05, Robert Dockins <[EMAIL PROTECTED]> wrote: > > On Dec 28, 2005, at 6:10 AM, Hunter Kelly wrote: > > > Heya

Re: [Haskell] A few newbie questions about tracing/debugging and order of execution

2005-12-28 Thread Robert Dockins
On Dec 28, 2005, at 6:10 AM, Hunter Kelly wrote: Heya, I decided to play around with Haskell and see what it's like. I used a small problem to explore it. Basically, given two words, find the least number of 1 letter changes that will go from one word to the other (e.g. for "fig" and "dog" ei

Re: [Haskell] Re: Boxing (Day) Question

2005-12-28 Thread Bulat Ziganshin
Hello Ashley, Tuesday, December 27, 2005, 2:46:11 AM, you wrote: >> it's unserious :) overloading of unboxed types must be resolved at >> compile time, as in C++ templates. Why can't (->>) that's been specialised to #4 -> #4 -> * just generate a AY> function that takes an anonymous 4-byte quan

[Haskell] A few newbie questions about tracing/debugging and order of execution

2005-12-28 Thread Hunter Kelly
Heya, I decided to play around with Haskell and see what it's like. I used a small problem to explore it. Basically, given two words, find the least number of 1 letter changes that will go from one word to the other (e.g. for "fig" and "dog" either fig -> fog -> dog or fig -> dig -> dog). I cam

Re: [Haskell] Making Haskell more open

2005-12-28 Thread Sven Panne
Am Donnerstag, 22. Dezember 2005 21:51 schrieb Bulat Ziganshin: > may be it will be better to use trac for all other things except for > wiki? we already one wiki system, imho dividing wiki pages between two > systems is not convenient I totally agree with Bulat here: The current state with 2 Wiki