Re: [Haskell-cafe] Debugging with gdb?

2011-04-13 Thread Tim Chevalier
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

2011-04-13 Thread Tim Chevalier
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

[Haskell-cafe] ANNOUNCE: hplaylist-0.1

2011-04-09 Thread Tim Chevalier
, 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] Proving correctness

2011-02-12 Thread Tim Chevalier
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

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

2011-02-03 Thread Tim Chevalier
-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

2011-02-03 Thread Tim Chevalier
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

2011-02-03 Thread 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 are merely effects -- E.E. Cummings ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

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

2011-01-31 Thread Tim Chevalier
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] 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] 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

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

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

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

2009-01-20 Thread Tim Chevalier
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?

2009-01-20 Thread Tim Chevalier
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?

2009-01-20 Thread Tim Chevalier
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] 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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1   2   >