Re: [Haskell-cafe] Re: Type-level arithmetic

that they are richer than existing ones. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I always wanted to be commander-in-chief of my own one-woman army -- Ani DiFranco ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Re: Type-level arithmetic

was looking for a language where you can write type signatures that encode list length, that certainly points to dependent types as one instance of that, even if there are other possibilities. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt The way NT mounts filesystems

Re: [Haskell-cafe] New slogan for haskell.org

saying, and, for those who know what these are, polymorphism, monadic effects, etc.? Only describing Haskell in terms of software engineeering doesn't seem right to me. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I know / no matter what / no matter who

Re: [Haskell-cafe] Pierce on type theory and category theory

own sanity. Better yet, find a study partner to discuss the problems with! I haven't gotten past the watch it collect dust while sitting on my coffee table point with the category theory book, but I can tell you that none of the problems in that one involve writing code. Cheers, Tim -- Tim

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

of design patterns. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt In fact, a sense of essence is, in essence, the essence of sense, in effect. -- Douglas Hofstadter ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: [Haskell] question about a failure to generalize

? Monomorphism restriction? Replacing fold with foldRegsUsed would work because there's a type signature for foldRegsUsed. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt ...There is no mystery; there is only paradox, the incontrovertible union of contradictory truths

[Haskell-cafe] GraphicsMagick binding for Haskell

a similar purpose, feel free to tell me about it as well. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Work is there when love is gone -- Greg Brown ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Is take behaving correctly?

to a list xs, returns the prefix of xs of length n, -- or xs itself if n length xs. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Modesty...is both alien and irrelevant to people who are happy in themselves, in their beings, in their skins, their natures

Re: [Haskell-cafe] Dynamic thread management?

to talk to who can confirm that opinion and help you get your paper submitted :-) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I cannot remember a time when I did not take it as understood that everybody has at least two, if not twenty-two, sides to him.--Robertson

Re: [Haskell-cafe] GHC optimisations

? I seriously doubt it, but there's an easy way to find out the answer to all these questions: pass the -ddump-simpl flag to GHC so that it prints out the intermediate code it generates. There's some information in the users' guide about how to read the results. Cheers, Tim -- Tim Chevalier

Re: [Haskell-cafe] Hints for Euler Problem 11

On 8/17/07, Kim-Ee Yeoh [EMAIL PROTECTED] wrote: Incidentally, GHC's type checker is Turing complete. You already have as much static evaluation as is practically possible. You already knew that. I don't see how the first statement implies the second. Cheers, Tim -- Tim Chevalier

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

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] 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] 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] 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] 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] 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] 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] 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] 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] 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

[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] 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

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] 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

<    1   2