Re: [Haskell-cafe] ghc warning Var/Type length mismatch

for GHC bugs but didn't find one. Try glasgow-haskell-bugs; I'm forwarding this message there (I don't know offhand whether that warning is anything to be concerned about, but on ghc-bugs it'll get noticed pretty quickly.) Cheers, Tim -- Tim Chevalier* [EMAIL PROTECTED] *Often in error, never

Re: [Haskell-cafe] cost of modules

when splitting a program into multiple modules, as GHC's optimizer is designed with separate compilation as a consideration. As always, you probably need to do profiling in order to figure whether it's worth bothering about. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never

Re: [Haskell-cafe] cost of modules

of the speed back. Yes, which is why it's a good idea to do profiling before sprinkling INLINE pragmas wantonly around your code. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt Confused? See http://catamorphism.org/transition.html

Re: [Haskell-cafe] cost of modules

-- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt Confused? See http://catamorphism.org/transition.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Lambdabot not running on XP

obviously at least one user found this confusing, perhaps you might want to change it to print out a message like No commands given... exiting! or something like that when it's invoked with no arguments. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt Confused

[Haskell-cafe] Bay Area Haskell users' group, anyone?

potentially interested, reply to me off-list, and I'll see what kind of response I get. I imagine that the first meeting, at least, would consist of people gathering informally over food, drink, or such. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt Confused? See http

Re: [Haskell-cafe] Language extensions

is probably type signatures. Those are usually simpler than the corresponding implementations. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Implementing Mathematica

by adding the -no-recomp flag. (There's already a feature request to make the recompilation checker consider changes to command-line options as well as code, it just haven't been implemented.) Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt

Re: [Haskell-cafe] Very simple parser

- (String,Int) runTick n = runState tick n Not exactly. Look up currying. (Writing out the same definition with the argument n specified explicitly like you did is called eta-expansion, by the way.) Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt My writing is all

Re: [Haskell-cafe] The Garbage Collector Ate My Homework

that, there's not too much we can say without either seeing your code, or the results of profiling when you compile with -prof -auto-all, or both. Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt There are no difficult problems, just unfortunate notations. -- Alfonso Gracia

Re: [Haskell-cafe] The Garbage Collector Ate My Homework

generations, you would expect to see some of the cached data move to generation 1. Lots of data in generation 0 implies your code continues to allocate many objects as it goes on running. On the other hand, you could still try and see if it helps. Cheers, Tim -- Tim Chevalier* catamorphism.org

Re: [Haskell-cafe] The Garbage Collector Ate My Homework

-G3 Nice -- but did you compare the results if you just add -H500M and not -G3? Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt Aw, honey, you can keep what's in my pockets, but send me back my pants. --Greg Brown

Re: [Haskell-cafe] Memoisation + unsafePerformIO

, that's implemented in GHC. It may not be the right thing for you, but you may be interested to see previous approaches to the problem in any case. Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt Poor man wanna be rich, rich man wanna be king, the king ain't

Re: [Haskell-cafe] Floating phi, round and even Fibonnaci numbers

see the problem. Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt There's no money in poetry, but there's no poetry in money, either. --Robert Graves ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] function unique

). Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt What doesn't kill you, makes you stronger -- or puts you on a talk show. --Carrie Fisher ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] problem with IO, strictness, and let

write a polymorphic function that does so, unless you use type class overloading. Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt 'There are no atheists in foxholes' isn't an argument against atheism, it's an argument against foxholes. -- James Morrow

Re: [Haskell-cafe] historical question about Haskell and Haskell Curry

explicitly. (Why no Haskell compilers' intermediate languages are named Alonzo is left as an exercise for the reader :-) Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt Base eight is just like base ten, really... if you're missing two fingers. -- Tom Lehrer

Re: [Haskell-cafe] Lazy in either argument?

the rationale behind this? Cheers, Tim -- Tim Chevalier* catamorphism.org *Often in error, never in doubt Religion is just a fancy word for the Stockholm Syndrome. -- lj user=pure_agnostic ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Lazy in either argument?

On 7/26/07, Tim Chevalier [EMAIL PROTECTED] wrote: To elaborate on that, the different behavior between the two versions of Dan's code, one with and one without a type signature, happens because f compiles like so if the type signature isn't given (this is the STG code): f_ri5 = \u [] let

[Haskell-cafe] Pure Haskell implementation of Float type?

Hello, Is there a pure Haskell implementation of Floats, i.e., one that (unlike GHC.Float) doesn't use foreign calls for things like isFloatNegativeZero? I don't care about performance; I'm just looking for something that doesn't use foreign calls. Thanks, Tim -- Tim Chevalier * http

Re: [Haskell-cafe] Pure Haskell implementation of Float type?

that doesn't use foreign calls. Huh, what's the use case? I'm implementing a compiler that doesn't support foreign calls (yet). Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt I cannot remember a time when I did not take it as understood that everybody

Re: [Haskell-cafe] Pure Haskell implementation of Float type?

On 1/20/09, Lennart Augustsson lenn...@augustsson.net wrote: Do you have Integer? Yes (with the integer-simple library -- I was hoping there was some analogue of integer-simple for Float, although Don didn't think there was one). -t -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error

Re: [Haskell-cafe] Haskell for children? Any experience?

to be programming in or what languages are practical. Sounds like a joy! Also, if you haven't, check out the book _Mindstorms_ by Seymour Papert -- the particular programming paradigm he advocates is different, but there should be some good fundamental ideas to inspire you. Cheers, Tim -- Tim Chevalier

Re: [Haskell-cafe] ($) not as transparent as it seems

-simpl) for each variation? Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt an intelligent person fights for lost causes,realizing that others are merely effects -- E.E. Cummings ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] hsmagick on OSX 10.6

is taking over maintainership of the library, so you may want to cc him on any emails. In general it's not too safe to assume that any particular library maintainer reads haskell-cafe regularly :-) Cheers, Tim (hsmagick maintainer) -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never

Re: [Haskell-cafe] ($) not as transparent as it seems

-- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt an intelligent person fights for lost causes,realizing that others are merely effects -- E.E. Cummings ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Proving correctness

are a rich enough language to let you express your intent in data and not just in code. That helps you help the compiler help you. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt an intelligent person fights for lost causes,realizing that others are merely

[Haskell-cafe] ANNOUNCE: hplaylist-0.1

, hplaylist allows me to type: $ hplaylist Songs about cheese which automatically copies the named playlist, and all music files included in the playlist, to my device. Download at: http://hackage.haskell.org/package/hplaylist-0.1 or https://github.com/catamorphism/hplaylist Cheers, Tim -- Tim

Re: [Haskell-cafe] Debugging with gdb?

of debuggers that are more tailored to the process of debugging a functional program. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt an intelligent person fights for lost causes,realizing that others are merely effects -- E.E. Cummings

Re: [Haskell-cafe] IO and Cont as monads

my question is: Is there anyone who knows how to prove that IO and Cont are monads with satisfing following properties: IO doesn't obey the monad laws, due to the presence of seq in Haskell. Sad but true... Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt

<    1   2