- Haskell-Cafe - Haskell.org

Dual Parser Failure???
by PR Stanley 13 Oct '07

13 Oct '07

Hi failure :: (Parser a) failure = \inp -> [] The code might contain some syntax errors and I'd be grateful for any corrections. What is a "dual parser failure"? Thanks, Paul

3 2

WinAmp plugin?
by Andrew Coppin 13 Oct '07

13 Oct '07

Does anybody here know WinAmp? [I feel sure the answer must be yes!] How hard would it be to write a visualisation plugin in Haskell? I think this would be a neat way of demonstrating that "Haskell isn't slow". Also, WinAmp plugins (and, actually, WinAmp) are notoriously buggy and unstable. Would be a nice place to show off how reliable Haskell programs are. OTOH, I have no idea about this kind of thing, so...

3 2

question about throwDyn
by Michael Vanier 13 Oct '07

13 Oct '07

In ghci, why does throw $ ArithException DivideByZero print *** Exception: divide by zero while throwDyn $ ArithException DivideByZero print *** Exception: (unknown) ? Mike

2 1

Defining Tree
by PR Stanley 13 Oct '07

13 Oct '07

Hi I'm reading the chapter on parsers in the Hutton book. The text refers to the data type tree which doesn't seem to be in prelude. So, I was wondering, what would be asuitable tree for a parser? A binary tree perhaps? Are there different types of tree for different parsers? Thanks, Paul

2 1

Re: [Haskell-cafe] WinAmp plugin?
by Andrew Coppin 13 Oct '07

13 Oct '07

pierre wrote: > > > Wouldn't it be better to write not just a visualization plugin, but a whole player from scratсh? :-) > ...this idea also occurred to me. ;-) Why, do *you* know how to decode MP3 data?

4 4

Re: Type-level arithmetic
by Andrew Coppin 13 Oct '07

13 Oct '07

I was actually thinking more along the lines of a programming language where you can just write head :: (n > 1) => List n x -> x tail :: List n x -> List (n-1) x (++) :: List n x -> List m x -> List (n+m) x and so forth. You know, instead of the elaborate simulations crafted out of systems that weren't meant to do this stuff. Of course, the integer case is probably fairly easy. I suspect the issue is that as soon as you try to do this kind of thing, you develop a terminal case of wanting to hyper-generalise everything which then directly results in an incomprehensible mess... ;-)

12 23

[libraries-owner@haskell.org: darcs patch: fix typo in docs.]
by David Roundy 12 Oct '07

12 Oct '07

It seems a little unfriendly to reject contributions from anyone who isn't subscribed to the libraries mailing list... I suppose one solution is to have maintainers for packages. But in this case it should be deprecated having the email of packages set to libraries(a)haskell.org. (Yes, I know I could register and then stop delivery of messages, but that's a bit much to ask random contributors to do.) David ----- Forwarded message from libraries-owner(a)haskell.org ----- Envelope-to: droundy(a)darcs.net Delivery-date: Thu, 11 Oct 2007 14:28:43 -0700 Subject: darcs patch: fix typo in docs. From: libraries-owner(a)haskell.org To: droundy(a)darcs.net You are not allowed to post to this mailing list, and your message has been automatically rejected. If you think that your messages are being rejected in error, contact the mailing list owner at libraries-owner(a)haskell.org. To: libraries(a)haskell.org From: David Roundy <droundy(a)darcs.net> Subject: darcs patch: fix typo in docs. DarcsURL: http://darcs.haskell.org/QuickCheck This fixes a typo in the docs of QuickCheck 2. David Thu Oct 11 17:26:19 EDT 2007 David Roundy <droundy(a)darcs.net> * fix typo in docs. Content-Description: A darcs patch for your repository! New patches: [fix typo in docs. David Roundy <droundy(a)darcs.net>**20071011212619] < > { hunk ./Test/QuickCheck/Arbitrary.hs 92 arbitrary :: Gen a arbitrary = error "no default generator" - -- | Produces a (possibly) empty list of all the possible + -- | Produces a (possibly empty) list of all the possible -- immediate shrinks of the given value. shrink :: a -> [a] shrink _ = [] } Context: [Haddock tweak. bringert@cs.chalmers.se**20061126234053] [Added a version of sampling that returns the test cases dpt@math.columbia.edu**20061126220704] [Added LICENSE file. bringert@cs.chalmers.se**20061126232241] [Fixed silly missed use of Positive constructor. Reported by Audrey Tang. bringert@cs.chalmers.se**20061124212824] [Added README. bringert@cs.chalmers.se**20061123144917] [Some haddock mark-up fixes to support haddock 0.7. bringert@cs.chalmers.se**20061123144831] [Removed BUGS. bringert@cs.chalmers.se**20061123144204] [Changed distribution of NonNegative to 1:5 for 0:everything else (was 9:1). bringert@cs.chalmers.se**20061120210126] [Added NonZero and reimplemented Positive in terms of NonZero and NonNegative. bringert@cs.chalmers.se**20061120205417] [Added BUGS file. bringert@cs.chalmers.se**20061120205405] [Added Integral and Real instances for Positive and NonNegative. bringert@cs.chalmers.se**20061120204544] [Some haddock tweaks. bringert@cs.chalmers.se**20061120112922] [More haddock comments. bringert@cs.chalmers.se**20061120112532] [More haddock and export list fixes. bringert@cs.chalmers.se**20061117201830] [Added lots of Haddock comments and cleaned up export lists. bringert@cs.chalmers.se**20061117200346] [Commented out generics import that Haddock choked on. bringert@cs.chalmers.se**20061117152818] [Removed shrinkSub workarounds for old GHC bugs. bringert@cs.chalmers.se**20061117152630] [Get rid of the last uses of modules from the haskell98 package, replace with base modules. bringert@cs.chalmers.se**20061117152400] [Added Cabal build system. bringert@cs.chalmers.se**20061117152230] [Removed Koen's CVS update script. bringert@cs.chalmers.se**20061117151819] [Renamed modules to Test.QuickCheck.*. bringert@cs.chalmers.se**20061117151417] [More fixes to get examples to compile. bringert@cs.chalmers.se**20061114164526] [Fixed some imports in examples. bringert@cs.chalmers.se**20061114163012] [Fixed Chalmers/QuickCheck/Monadic.hs to compile with GHC 6.6. bringert@cs.chalmers.se**20061114162953] [Moved examples to a top-level directory. bringert@cs.chalmers.se**20061114160643] [Fixed ExSet2 and ExLambda to compile with GHC 6.6. bringert@cs.chalmers.se**20061114160531] [Comment out generics stuff to compile with GHC 6.6. bringert@cs.chalmers.se**20061114160414] [Renamed QuickCheck to Chalmers to get module names right. bringert@cs.chalmers.se**20061114160326] [Tailorization of QuickCheck tailor@momo.medic.chalmers.se**20061114165514 Import of the upstream sources from the repository /users/cs/koen/CvsRoot as of revision 2006-05-03 18:37:52 by koen ] Patch bundle hash: a1cf7ea46740918443b7069e6caff5a51cff90aa ----- End forwarded message ----- -- David Roundy Department of Physics Oregon State University

2 1

Fast Paced Haskell Tutorial
by Paulo J. Matos 12 Oct '07

12 Oct '07

Hello all, I'm interested in a freely available fast paced haskell tutorial. By fast paced, I means I want something that goes through basic in a very fast pace, presents a couple of examples and then talks about more advanced features. A set of tutorials would be also good. References to these kind of tutorials would be great. Cheers, -- Paulo Jorge Matos - pocm at soton.ac.uk http://www.personal.soton.ac.uk/pocm PhD Student @ ECS University of Southampton, UK

3 2

Type Synonyms
by Tom Davies 12 Oct '07

12 Oct '07

Newbie question: I was wondering the other day if type synonyms might be more useful if they were more restricted, that is, with the definitions: type Foo = String type Bar = String foo :: Foo foo = "a foo" bar :: Bar bar = "a bar" x :: Foo -> ... x f b = ...only valid for Foo Strings... both 'x foo' and 'x bar' type check correctly. Wouldn't it be useful if Foo and Bar were both equivalent to String, but Foo and Bar were not equivalent themselves? For instance, if you are using Strings as properties of something and want to associate the type of the property with its value, without wrapping the String. Would this break a transitivity property of the type system? Am I just suffering from laziness?

5 5

Hugs, dotnet, C#...
by Peter Verswyvelen 12 Oct '07

12 Oct '07

In the (Win)Hugs documentation, I found "Only the ccall, stdcall and *dotnet *calling conventions are supported. All others are flagged as errors." However, I fail to find any more information on how to invoke dotnet methods. This might be really handy for me, as I'm very familiar with the dotnet framework. For example, yesterday I rewrote and extended a program that I wanted to develop in Haskell in just 3 hours using dotnet, while I spend weeks trying do this in Haskell. Of course, I'm a Haskell newbie and a dotnet expert, so this is not a fair comparison. However, I got a strange feeling, which I want to share with you :) First of all, it was a *horrible* experience to program C# again; I needed to type at least 3 times the amount of code, much of which was boilerplate code, and the code is not elegant. Haskell really changed my point of view on this; before I knew Haskell, I found C# (I'm talking C# 3.0 here) a really neat and nice language. On the other hand, the great Visual Studio IDE and Resharper addin made it at least 3 times faster to type, navigate, refactor, and debug the code... Somehow, I get things done really really really fast in C#, albeit in an "ugly" way. Once again, I just wish Haskell had such an IDE... And yes, I know of the existance of Visual Haskell, EclipseFP, Haskell Mode for Emacs (which I'm using), VIM, YI, but still, these do not compare with the experience I have when using Visual Studio/Resharper (or Eclipse or IntelliJ/IDEA for Java). But that might just be me of course... A slightly frustrated Peter ;-) BTW: I don't want to bring up the IDE discussion again, no really ;-)

4 6