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

2007-08-17 Thread Tim Chevalier
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] GHC optimisations

2007-08-19 Thread Tim Chevalier
? 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] Dynamic thread management?

2007-08-21 Thread Tim Chevalier
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

[Haskell-cafe] GraphicsMagick binding for Haskell

2007-09-11 Thread Tim Chevalier
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?

2007-09-11 Thread Tim Chevalier
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

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

2007-09-15 Thread Tim Chevalier
? 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

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

2007-09-17 Thread Tim Chevalier
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

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

2007-09-25 Thread Tim Chevalier
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] New slogan for haskell.org

2007-10-04 Thread Tim Chevalier
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] Re: Type-level arithmetic

2007-10-12 Thread Tim Chevalier
). Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I always feel I have to take a stand and there's always someone on hand to hate me for standing there / I always feel i have to open my mouth and every time I do I offend someone somewhere -- Ani DiFranco

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

2007-10-12 Thread Tim Chevalier
, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Yeah. Okay. Yeah. Basically, swingers meet ISO 9000. -- DF, on cuddle parties ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell

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

2007-10-12 Thread Tim Chevalier
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

2007-10-12 Thread Tim Chevalier
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] On the verge of ... giving up!

2007-10-14 Thread Tim Chevalier
button might be a good first step, as well as refraining from giving the impression of certainty when one isn't actually sure. A little knowledge can be a dangerous thing, and it can be hard for newbies to evaluate the credibility of an answer. Cheers, Tim -- Tim Chevalier * catamorphism.org

Re: [Haskell-cafe] Stack overflow in ghci

2007-10-17 Thread Tim Chevalier
caused by infinite recursion, and you want to be notified of that sooner rather than later. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Live fast, love hard, and wear corrective lenses if you need them. --Webb Wilder

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread Tim Chevalier
information. As with the Haskell mailing list, you just have to watch out for unintentionally wrong information (and enough people watch the math articles that this probably tends to get fixed quickly.) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt

Re: [Haskell-cafe] OS Abstraction module??

2007-10-22 Thread Tim Chevalier
, that would be Concurrent Haskell: http://haskell.org/haskellwiki/GHC/Concurrency If that's not what you're looking for, post again. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt in a recent future, this is past -- James Keelaghan

Re: [Haskell-cafe] OS Abstraction module??

2007-10-22 Thread Tim Chevalier
to make it non-portable, you have to go to a lot of effort. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I don't care too much for money/Money can't buy me TeX. -- Jason Reed ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] OS Abstraction module??

2007-10-22 Thread Tim Chevalier
. Although there's also the System.Info.os function if you want to avoid CPP: http://www.haskell.org/ghc/docs/latest/html/libraries/base/System-Info.html However, since it just returns a string, it may not be too much better than using CPP... Cheers, Tim -- Tim Chevalier * catamorphism.org * Often

Re: [Haskell-cafe] Function Types

2007-10-22 Thread Tim Chevalier
and Programming Languages_ has some good chapters on type inference. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Ever wonder why 'bus error core dump' is the standard C program crap out? Because C freely hands out random pointers to anyone that asks. Slut. -- Olin

Re: [Haskell-cafe] Fusion for fun and profi (Was: newbie optimization question)

2007-10-28 Thread Tim Chevalier
function before doing anything that demands i. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Accordingly, computer scientists commonly choose models which have bottoms, but prefer them topless. -- Davey Priestley, _Introduction to Lattices and Order_

[Haskell-cafe] Re: [Haskell] Image manipulation

2007-10-29 Thread Tim Chevalier
to find out. There are obvious things like being able to define compositions of transformations -- which is easy to do when you're calling library functions in-memory, and less so if you're using a separate executable -- but maybe there are more interesting applications too. Cheers, Tim -- Tim

Re: [Haskell-cafe] Re: [Haskell] Image manipulation

2007-10-29 Thread Tim Chevalier
the experiment before I could give an answer to that. But yeah, if I were the OP, I would probably start by trying to write a shell script (or a simple Haskell program with calls to system) to do what I wanted, and see if that was adequate. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often

Re: [Haskell-cafe] Type inference problem with division (/)

2007-10-30 Thread Tim Chevalier
to a Double, write ppos = fromIntegral (pi/len2). (Type :t fromIntegral in ghci to see what else fromIntegral can be used for.) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt After three days without programming, life becomes meaningless. -- James Geoffrey

Re: [Haskell-cafe] Type inference problem with division (/)

2007-10-31 Thread Tim Chevalier
On 10/30/07, Felipe Lessa [EMAIL PROTECTED] wrote: On 10/30/07, Tim Chevalier [EMAIL PROTECTED] wrote: ppos = pi/len2; pi and len2 are both Ints, so dividing them gives you an Int. To convert to a Double, write ppos = fromIntegral (pi/len2). (Type :t fromIntegral in ghci to see what else

Re: [Haskell-cafe] The question of ByteString

2007-11-02 Thread Tim Chevalier
this doesn't exist, but I also don't think it's necessarily *just* a matter of no one having had time yet. As always, there are trade-offs involved, and people try to avoid introducing *too* many special cases into the compiler. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error

Re: [Haskell-cafe] Monte Carlo Pi calculation (newbie learnings)

2007-11-05 Thread Tim Chevalier
be expressible using a foldM as well. In fact, fSumListTail looks like it ought to be a pure function. Think about how you can isolate the parts of the code that do IO so that most functions are pure. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Faith, faith

Re: [Haskell-cafe] FP design

2007-11-05 Thread Tim Chevalier
before writing the code. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Thus spake the Master Programmer: When you have learned to snatch the error code from the trap frame, it will be time for you to leave.--J. Geoffrey

[Haskell-cafe] Re: [Haskell] AmeroHaskell

2007-11-17 Thread Tim Chevalier
billed as a functional programming user group rather than a Haskell-specific group, we shouldn't duplicate effort. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt I don't know whether I believe in me, but I still believe in my friends -- Nerissa Nields

Re: [Haskell-cafe] Re: [Haskell] AmeroHaskell

2007-11-17 Thread Tim Chevalier
going for something roughly equivalent to AngloHaskell? Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt ...Losing your mind, like losing your car keys, is a real hassle. -- Andrew Solomon ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] who develops and maintains the Unix package?

2007-12-02 Thread Tim Chevalier
that the unix package wouldn't work on Cygwin. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Are you aware that rushing toward a goal is a sublimated death wish? It's no coincidence we call them 'deadlines'. -- Tom Robbins

Re: [Haskell-cafe] Possible Improvements

2007-12-02 Thread Tim Chevalier
. Otherwise, there's no need to clutter your code and your mind with them :-) 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 ___ Haskell

Re: [Haskell-cafe] Graph theory analysis of Haskell code

2007-12-05 Thread Tim Chevalier
that you've already independently conceived of an idea that lots of smart people have seen fit to put a lot of time into :-) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt It's true I don't want to join the Army or turn lathes in precision parts factories, I'm

Parsing integers [was: Re: [Haskell-cafe] help]

2007-12-09 Thread Tim Chevalier
/haskellwiki/Homework_help If this isn't homework, try posting again and phrasing your question in the form of a question; saying I am unsure of how to begin doesn't help us help you think about the problem. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt [Teaching children

Fwd: Parsing integers [was: Re: [Haskell-cafe] help]

2007-12-09 Thread Tim Chevalier
If this isn't homework, try posting again and phrasing your question in the form of a question; saying I am unsure of how to begin doesn't help us help you think about the problem. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt [Teaching children to read

Re: [Haskell-cafe] #haskell works

2007-12-14 Thread Tim Chevalier
taken 0.35 seconds. The end. I would be careful about making this statement if I were you. Did you actually try running the same code in GHC 5.0? It's not as if GHC didn't implement *any* optimizations in 2003 (you said above that 0.35 seconds was the result you got with -O0.) Cheers, Tim -- Tim

Re: Re[2]: [Haskell-cafe] #haskell works

2007-12-14 Thread Tim Chevalier
, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt People tell me I look down / but I'm always standing sixty-six inches off the ground. -- Carrie Bradley ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] #haskell works

2007-12-14 Thread Tim Chevalier
://hackage.haskell.org/trac/ghc/wiki/Status/Nov07 Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Science fiction is not predictive; it is descriptive. --Ursula K. Le Guin ___ Haskell-Cafe mailing list Haskell-Cafe

Re: Re[4]: [Haskell-cafe] #haskell works

2007-12-15 Thread Tim Chevalier
deal of generality, an advantage that gcc doesn't have. Or, I mean, feel free to insist things are impossible, but try not to stand in the way of the people who are doing them while you say so. :-) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt It's easy

Re: [Haskell-cafe] #haskell works

2007-12-15 Thread Tim Chevalier
-timing flag. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt and there's too much darkness in an endless night to be afraid of the way we feel -- Bob Franke ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Re: #haskell works

2007-12-15 Thread Tim Chevalier
On 12/15/07, Peter Hercek [EMAIL PROTECTED] wrote: Tim Chevalier wrote: Try the -Rghc-timing flag. Interesting, that one does not work in my program compiled with ghc 6.8.1 (looks like ghc runtime does not consume it but passes it to my haskell code). +RTS -tstderr works but its

Re: Re[6]: [Haskell-cafe] #haskell works

2007-12-15 Thread Tim Chevalier
writing Haskell compilers as a job description. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt The blues isn't about feeling better, it's about making other people feel worse, and making a few bucks while you're at it. -- Bleeding Gums Murphy

Re: [Haskell-cafe] #haskell works

2007-12-15 Thread Tim Chevalier
that takes things like instruction scheduling into account. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt Stupidity combined with arrogance and a huge ego will get you a long way. -- Chris Lowe ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] OOP'er with (hopefully) trivial questions.....

2007-12-17 Thread Tim Chevalier
into newtypes. (To generalize, if you were going to allow newtypes like newtype X = X (A, B, C), the tuple would be unboxed, and you'd have the same strictness/laziness distinction.) This is explained in section 4.2.3 of the H98 Report: http://www.haskell.org/onlinereport/decls.html Cheers, Tim -- Tim

Re: [Haskell-cafe] OOP'er with (hopefully) trivial questions.....

2007-12-17 Thread Tim Chevalier
, if you write newtype X = X A, X _|_ has to be indistinguishable from _|_ at runtime. In other words, the data constructor X has to be strict. In types declared with data, constructors are lazy -- if they weren't, you wouldn't be programming in Haskell. Cheers, Tim -- Tim Chevalier * catamorphism.org

Re: [Haskell-cafe] OOP'er with (hopefully) trivial questions.....

2007-12-17 Thread Tim Chevalier
., newtype X = X A B C -- and that's the question I was answering. But maybe I misunderstood. Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never in doubt After three days without programming, life becomes meaningless. -- James Geoffrey

[Haskell-cafe] Re: #haskell works

2007-12-20 Thread Tim Chevalier
why the backend was being worked on actively. The -fvia-C code wasn't much better. However, this was with GHC 6.2, so obviously this suggests that porting House to a newer GHC version might be worthwhile for us to do :-) Cheers, Tim -- Tim Chevalier * catamorphism.org * Often in error, never

Re: [Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread Tim Chevalier
believe that human is superior to computer you should also believe that bacterium is superior to human The only thing that computers can do that humans can't is to work without getting bored. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt It's mad

Re: Re[2]: [Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread Tim Chevalier
question, and people have written about it in detail before. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Instant gratification takes too long.--Carrie Fisher ___ Haskell-Cafe mailing list Haskell-Cafe

Re: Re[4]: [Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread Tim Chevalier
? :-) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt ...It's wonderful that I can trust you not to spit in my milk, but what's the point if you're going to drink from the bottle? -- Sarah Barton ___ Haskell-Cafe

Re: [Haskell-cafe] Good US Grad schools for functional languages?

2010-05-17 Thread Tim Chevalier
at Galois ( http://www.galois.com/blog/ ). tl;dr: Portland State wants you! See http://hasp.cs.pdx.edu/ and/or contact me (or the people listed on that page) for more details. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt It's never too early to start drilling

Re: [Haskell-cafe] Re: Why functional programming matters

2008-01-23 Thread Tim Chevalier
song of referential transparency :-) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt You never have to aspire to difficulty, darling. It arrives, uninvited. Then it stays for dinner.--Sue Miller ___ Haskell-Cafe

Re: [Haskell-cafe] Internships at GHC HQ

2008-01-25 Thread Tim Chevalier
place to spend an autumn as well. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt The more you talk, the more I get / a sense of something that hasn't happened yet / The more you talk, the more I want to know / the way I'll remember you when I go. -- Ani

Re: The programming language market (was Re: [Haskell-cafe] Why functional programming matters

2008-01-26 Thread Tim Chevalier
On 1/26/08, Paul Johnson [EMAIL PROTECTED] wrote: * Say computers are cheap but programmers are expensive whenever explaining a correctness or productivity feature. This is true only if talking to people in high-income nations. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc

Re: The programming language market (was Re: [Haskell-cafe] Why functional programming matters

2008-01-26 Thread Tim Chevalier
On 1/26/08, Paul Johnson [EMAIL PROTECTED] wrote: Tim Chevalier wrote: This is true only if talking to people in high-income nations. Even in low-income nations, its only false in the short term. If you have skilled programmers with computers and Internet connections then their wages

Re: [Haskell-cafe] Re: The programming language market (was Re: Why functional programming matters

2008-01-26 Thread Tim Chevalier
is always expensive and hardware is always cheap by comparison is a culturally biased statement, at least right now, on January 26, 2008. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt I eat too much / I laugh too long / I like too much of you when I'm gone

Re: Re[2]: The programming language market (was Re: [Haskell-cafe] Why functional programming matters

2008-01-27 Thread Tim Chevalier
either in another day or two. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt don't you understand / in the day to day / in the face to face / i have to act just as strong as i can / just to preserve a place where i can be who i am -- Ani DiFranco

Re: [Haskell-cafe] How to organize code

2008-01-27 Thread Tim Chevalier
not to confuse Haskell's type class system with the idea of a class in object-oriented programming. I suggest you read this article: http://trevion.blogspot.com/2007/02/snowball-chance.html Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt ...It's a thin line

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
Haskell, stress on the first syllable; the first syllable is like the word has and the second syllable is pronounced with a schwa where the e is written. Sometimes you will hear people stress the second syllable, but that is not Preferred. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
On 1/28/08, Jeremy Apthorp [EMAIL PROTECTED] wrote: On 29/01/2008, Tim Chevalier [EMAIL PROTECTED] wrote: Haskell, stress on the first syllable; the first syllable is like the word has and the second syllable is pronounced with a schwa where the e is written. Sometimes you will hear

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
a bit late for that. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Work is there when love is gone -- Greg Brown ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Now I'm trying to get back to what I know that I should be / hoping to God that I was just a temporary absentee -- Gerard McHugh ___ Haskell-Cafe mailing list Haskell

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
On 1/28/08, Tim Chevalier [EMAIL PROTECTED] wrote: On 1/28/08, Jeremy Shaw [EMAIL PROTECTED] wrote: Hello, If my sources are to be believed, the following clip contains Simon Peyton Jones saying 'Haskell' several times. http://www.n-heptane.com/nhlab/spj-haskell.wav I have

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
the acceptance of Haskell in the broader world we should spell it Hascal and stress the second syllable. :) I think to ease the acceptance of Haskell in the broader world, we should just change the name to Schönfinkel. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-28 Thread Tim Chevalier
On 1/28/08, Anton van Straaten [EMAIL PROTECTED] wrote: Tim Chevalier wrote: I suppose you would really want to ask Haskell Curry how *he* pronounced his name, but it's a bit late for that. Someone could ask Alonzo Church, Jr. how his one-time date pronounced her father's name: http

Why isn't there a FAQ? (was: Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?)

2008-01-28 Thread Tim Chevalier
turns up this as one of the first ten hits: http://www.mail-archive.com/[EMAIL PROTECTED]/msg01153.html which is hardly current. So somebody should write one. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt What you call 'lying', other people would call

Re: Why isn't there a FAQ? (was: Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?)

2008-01-28 Thread Tim Chevalier
On 1/28/08, Brandon S. Allbery KF8NH [EMAIL PROTECTED] wrote: On Jan 28, 2008, at 21:54 , Tim Chevalier wrote: I thought that the .wav file that Jeremy linked to should go in the Haskell FAQ, if there was one, but it doesn't seem to exist. http://www.haskell.org/haskellwiki/Category:FAQ

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-29 Thread Tim Chevalier
messages on this subject, and I will have really to call an ambulance so they can take me away, far from Internet... Have them stop at my place next... Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Yeah. Okay. Yeah. Basically, swingers meet ISO 9000

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-29 Thread Tim Chevalier
the way they say them.) (The first convention doesn't work with my last name, though the second one does.) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Living with depression is like trying to keep your balance while you dance with a goat -- it is perfectly

Re: [Haskell-cafe] anybody can tell me the pronuncation of haskell?

2008-01-29 Thread Tim Chevalier
there were Danish Vikings, coming from the place where I sit now... Indo-European turtles all the way down. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt The geeks shall inherit the earth. -- Karl Lehenbauer

Re: [Haskell-cafe] Who started 42, and when?

2008-02-01 Thread Tim Chevalier
To pre-empt the next couple of questions, the numbers 17 and 23 are from _The Illuminatus! Trilogy_ by Robert Shea and Robert Anton Wilson, and the number 37 is from the Jersey Trilogy of movies by Kevin Smith. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never

Re: [Haskell-cafe] FP and Quality

2008-02-04 Thread Tim Chevalier
Programming) workshops. The schedules have links to slides from talks by people using FP in industry. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Not only would I never want to belong to any club that would have me for a member -- if elected I would wear

[Haskell-cafe] Re: [Haskell] Extensible records: Static duck typing

2008-02-06 Thread Tim Chevalier
offhand, and no one else can either, maybe it's not that important... (Examples don't have to be very complicated to be useful, by the way. Simpler is better.) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt If pots couldn't call kettles black, there'd

Re: [Haskell-cafe] I love purity, but it's killing me.

2008-02-08 Thread Tim Chevalier
don't believe Haskell doesn't have a semantics, graph-based or not... or at least not a formal one, and if not a formal one, I don't know what you mean :-) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt There are no sexist decisions to be made

Re: [Haskell-cafe] An offer to any haskell projects out there.

2008-03-12 Thread Tim Chevalier
decided to put time into this. Thanks in advance! Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt You never have to aspire to difficulty, darling. It arrives, uninvited. Then it stays for dinner.--Sue Miller

Re: [Haskell-cafe] intersection of sets

2008-03-18 Thread Tim Chevalier
On 3/18/08, Walt Potter [EMAIL PROTECTED] wrote: All, We're running out of space when we intersect two large sets. We've imported Data.Set. Any suggestions? What optimization and other compiler flags (heap size, etc.) are you using? Have you tried profiling? Cheers, Tim -- Tim

Re: [Haskell-cafe] intersection of sets

2008-03-18 Thread Tim Chevalier
until you know what's actually taking up space. If you have problems with profiling, then ask on the glasgow-haskell-users mailing list. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Aw, honey, you can keep what's in my pockets, but send me back my pants

Re: [Haskell-cafe] ANN: The Disciplined Disciple Compiler - alpha 1

2008-03-20 Thread Tim Chevalier
whether it should be on haskell.org (I don't care about that :-)) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt It's easy to consider women more emotional than men when you don't consider rage to be an emotion. -- Brenda Fine

Re: [Haskell-cafe] FFI C Structs

2008-07-19 Thread Tim Chevalier
not to do), but you could look at my half-finished GraphicsMagick binding: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsmagick Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Good memories make me feel bad / Bad memories make me feel small

Re: [Haskell-cafe] GHC core packages: same core?

2009-10-31 Thread Tim Chevalier
file a bug report or post to the glasgow-haskell-users list with me CCed. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt The higher you climb, the more you show your ass. -- Alexander Pope ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Memoization/call-by-need

2010-09-15 Thread Tim Chevalier
performance worse. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Both of them are to world religions what JavaScript is to programming languages. -- Juli Mallett, on Satanism and Wicca ___ Haskell-Cafe mailing list Haskell

[Haskell-cafe] ANN: extcore 1.0

2011-01-13 Thread Tim Chevalier
. Please direct replies to glasgow-haskell-us...@haskell.org, with me CCed. Please make sure not to reply to hask...@haskell.org. Cheers, Tim Chevalier -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt an intelligent person fights for lost causes,realizing that others

Re: [Haskell-cafe] ANN: extcore 1.0

2011-01-15 Thread Tim Chevalier
On Thu, Jan 13, 2011 at 11:45 AM, Tim Chevalier catamorph...@gmail.com wrote: Hello, I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter, typechecker, and interpreter for External Core

Re: [Haskell-cafe] ANN: extcore 1.0

2011-01-18 Thread Tim Chevalier
On Sun, Jan 16, 2011 at 9:32 AM, Permjacov Evgeniy permea...@gmail.com wrote: On 01/13/2011 10:45 PM, Tim Chevalier wrote: Hello, I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter

[Haskell-cafe] Building Haskell Platform on PowerPC?

2011-01-18 Thread Tim Chevalier
for a colleague who didn't have any version of GHC installed on his machine, and I just couldn't find a simpler way than installing two other versions of GHC first. Just curious if anyone has done it. I realize PPC is unsupported. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error

Re: [Haskell-cafe] Best book/tutorial on category theory and its applications

2008-07-28 Thread Tim Chevalier
I've only read the beginning, but I recommend _Conceptual Mathematics_ by Lawvere and Schanuel for a *very* gentle introduction (seriously, you could probably teach category theory to ten-year-olds out of this book.) Nothing about applications there, though. Cheers, Tim -- Tim Chevalier * http

[Haskell-cafe] ANN: wavconvert 0.1.1

2008-08-18 Thread Tim Chevalier
(as it is, it assumes a particular file structure and OGG encoder.) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Research is what I'm doing when I don't know what I'm doing.--Wernher von Braun ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] ANN: wavconvert 0.1.1

2008-08-19 Thread Tim Chevalier
On 8/19/08, Erik de Castro Lopo [EMAIL PROTECTED] wrote: Tim Chevalier wrote: The trouble is that .wav files don't have metadata (ID3 tags) that specify artist, album and track names. WAV files can't have ID3 tags, but they most definitely can support metadata including all the ones

Re: [haskell-cafe] Monad and kinds

2008-09-04 Thread Tim Chevalier
the profiler. Cheers, TIm -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Science fiction is not predictive; it is descriptive. --Ursula K. Le Guin ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

Re: [haskell-cafe] Monad and kinds

2008-09-04 Thread Tim Chevalier
imagine one. That's because optimization *is* the only reason why programmers should care about strictness information. IMO, arguing that programmers should care at all amounts to conceding that default laziness is treacherous. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error

Re: [haskell-cafe] Monad and kinds

2008-09-04 Thread Tim Chevalier
in that paragraph of your essay? Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt The Internet wasn't created for mockery, it was created to help researchers at different universities share data sets. -- Homer Simpson ___ Haskell

Re: [haskell-cafe] Monad and kinds

2008-09-04 Thread Tim Chevalier
is superior to strictness, or versa; I don't, either. But you do say it's good to be encouraged to use laziness more often. Why? You mention compositionality above as a possible reason, in reply to which, see above. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never

Re: [haskell-cafe] Monad and kinds

2008-09-05 Thread Tim Chevalier
. Strictness analysis is an approximation to the problem of determining what parts of a program can be evaluated strictly without changing their meaning, because if we had a perfect solution to that problem, we could solve the halting problem. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often

Re: [haskell-cafe] Monad and kinds

2008-09-05 Thread Tim Chevalier
to unexpected strictness equally numerous? Are they equally deep? Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Just enough: Obama/Biden '08. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] haskell core definition

2008-09-09 Thread Tim Chevalier
version of the documentation -- so if you upgrade to 6.10 when it is released and are still poring over Core code then, be sure to get the new documentation. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Just enough: Obama/Biden '08

Re: [Haskell-cafe] [Fwd: profiling in haskell]

2008-09-09 Thread Tim Chevalier
}) = (:) (d ++ show k ++ ++ n ++ ++ (show vl)) Then your profiling report will tell you how much time/memory that particular call to foldWithKey uses. By the way, using foldl rather than foldl' or foldr is almost always a performance bug. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc

Re: [Haskell-cafe] [Fwd: profiling in haskell]

2008-09-10 Thread Tim Chevalier
here (foldl' I understand). Could you shed some light on that for me please? I meant the call to foldl in termToStr. There's a good explanation of this at: http://en.wikibooks.org/wiki/Haskell/Performance_Introduction (look for foldl). Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc

Re: [Haskell-cafe] [Fwd: profiling in haskell]

2008-09-12 Thread Tim Chevalier
, either. Perhaps you could try the glasgow-haskell-users mailing list, where people interested in this are more likely to be reading carefully... Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Just enough: Obama/Biden '08

Re: [Haskell-cafe] Announcing OneTuple-0.1.0

2008-10-03 Thread Tim Chevalier
subservient to the second. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt If you don't understand the causes, it is impossible to come up with a solution. -- Joe Biden ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Announcing OneTuple-0.1.0

2008-10-03 Thread Tim Chevalier
won't check that assumption for you. I don't know whether that has anything to do with the original question, though :-) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt If you don't understand the causes, it is impossible to come up with a solution. -- Joe

  1   2   >