Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Isaac Dupree
James Russell wrote: On Thu, Jan 14, 2010 at 6:00 PM, Niklas Broberg wrote: I am pleased to announce the Functional Programming Bibliography at http://www.catamorphism.net/ Awesome indeed! I am eager for suggestions as to how the site could be made more useful. Allow (registered?) users to

Re: [Haskell] ANN: The Typeclassopedia, and request for feedback

2009-02-16 Thread Isaac Dupree
Natural numbers under min don't form a monoid, only naturals under max do (so you can have a zero element) Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just

Re: [Haskell] on starting Haskell-Edu, a new education-related Haskell-related mailing list

2008-07-05 Thread Isaac Dupree
Ketil Malde wrote: IMHO, we might as well just use the existing lists for both of these. If the perceived problem is the high-brow stuff scaring newbies off, it's better to add a new list for that topic. rather difficult, because beginner questions can easily spiral into curiosity about quite

Re: [Haskell] Empty instance declaration

2007-12-28 Thread Isaac Dupree
Neil Mitchell wrote: If the default methods form a cycle, and the user has not broken that cycle by inserting a real implementation, that's almost certainly a bug - I'd go as far as to say its an error rather than a warning. I'd agree except that "instance Num () where" with no specified defi

Re: [Haskell] Empty instance declaration

2007-12-28 Thread Isaac Dupree
Ralf Laemmel wrote: You did not say anything that's imprecise about "mentioning each other in a cycle", just the well-known fact that it's not equivalent to total termination checking (in fact, it's neither fully an overestimate nor underestimate of termination -- it's just an estimate that's lik

Re: [Haskell] Empty instance declaration

2007-12-28 Thread Isaac Dupree
Ralf Laemmel wrote: Isaac wrote: I wonder whether it would be safe for the compiler to infer simply by the default methods mentioning each other in a cycle. It might miss some cases when (probably involving laziness) the default methods actually terminate and form an intended set of implementi

Re: [Haskell] Empty instance declaration

2007-12-28 Thread Isaac Dupree
David Roundy wrote: The trouble, of course, is that classes could have rather complicated "minimum instance" requirements. Still, if someone came up with a decent syntax such as (but better than) class Foo f where foo :: f foo = bar bar :: f bar = foo requiring ( foo || bar ) it

Re: [Haskell] Re: [Haskell-cafe] PROPOSAL: Rename haskell@ to haskell-announce@

2007-09-24 Thread Isaac Dupree
Claus Reinke wrote: so everything that would be of interest to all haskellers, including those too busy to follow haskell-cafe, would go to haskell, everything else would go to haskell-cafe. but even those topics starting out on haskell are meant to migrate to haskell-cafe after a few posts at

[Haskell] Re: Numeric programming on toy problems in Haskell

2007-09-12 Thread Isaac Dupree
Philip K.F. Hölzenspies wrote: The GHC extensions are used, however, because of laziness; i.e. automatic derivation of Enum, Num, Fractional, Real and RealFrac. Without the GHC extensions, only Eq and Ord can be derived automatically. If I'm wrong about this, please let me know, because I would p

Re: [Haskell] Numeric programming on toy problems in Haskell

2007-09-10 Thread Isaac Dupree
Philip K.F. Hölzenspies wrote: You can have a look at the Number module here: http://www.cs.utwente.nl/~holzensp/Number.hs Now, whenever I've hacked together a small program, it nearly always works. When it doesn't, it generally complains about some numeric value somewhere. I just stick a "toNu

Re: [Haskell] Issue about use of WinHugs

2007-08-25 Thread Isaac Dupree
Zhao, Bingfeng wrote: Hi, list I'm new to WinHugs, what's wrong with isUpper of my WinHugs? Hugs> filter isUpper "ABCDEfgh" ERROR - Undefined variable "isUpper" Hugs> filter Char.isUpper "ABCDEfgh" ERROR - Undefined qualified variable "Char.isUpper" Hugs> :version -- Hugs Version Sep 2006 Same

Re: [Haskell] ghc.haddock?

2007-08-14 Thread Isaac Dupree
Conal Elliott wrote: Hi David. Thanks for the reply. I'm pretty confused. I understand your first paragraph as saying *not* to use that repo, and the second as saying to use it. Is the new haddock included in GHC 6.7 or is it still an app that works separately from GHC? If the latter, where i

Re: [Haskell] New book: Real-World Haskell!

2007-05-24 Thread Isaac Dupree
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Donald Bruce Stewart wrote: > Finally, a very exciting aspect of this project is that O'Reilly has > agreed to publish chapters online, under a Creative Commons License! Neat! "Which one?" (see e.g. Creative Commons in http://www.gnu.org/philosophy/

Re: [Haskell] boilerplate boilerplate

2007-05-22 Thread Isaac Dupree
Alex Jacobson wrote: > Consider this module for a blog entry that I will want to put in various > generic collections that require Ord > > {-# OPTIONS -fglasgow-exts #-} > module Blog.Types where > import Data.Typeable > import Data.Generics > > data BlogEntry = Entry EpochSeconds Name

Re: [Haskell] ANN: IOSpec 0.1

2007-04-24 Thread Isaac Dupree
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Wouter Swierstra wrote: > > * If you're an ICFP referee, you may want to avoid reading any further* > > > Test.IOSpecVersion 1.0 > > > I'm pleased to announce the first release of the Test.IOSpec library, > that provides a pure spe