- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release
by Niemeijer, R.A. 20 Apr '09

20 Apr '09

> * Experimental language extensions, some of which have not been > implemented before. Does anybody know if there are any plans to incorporate some of these extensions into GHC - specifically the existential typing ? I would love to be able to use existential typing without having to give up the robustness of GHC.

5 7

Re: Matrices
by Patrick Perry 20 Apr '09

20 Apr '09

Hi Cetin, This is probably the easiest way: > (m - es)^2/es listMatrix (2,2) [0.6163270413689804,0.600918865334756,0.33217626255600896,0.3238718559921087 ] This will create 2 temporary arrays. Alternatively, > let res = listMatrix (shape m) [ (o-e)^2 / e | o <- colElems m | e <- colElems es ] where colElems = concatMap elems . cols > res listMatrix (2,2) [0.6163270413689804,0.600918865334756,0.33217626255600896,0.3238718559921087 ] In a later version of the library, "colElems" will probably be built- in. This version has the disadvantage that it doesn't use BLAS calls. If you *really* want to get tricky and eliminate temporary arrays: > runSTMatrix $ do res <- newCopyMatrix m subMatrix res es modifyWith (^2) res divMatrix res es return res Now, to get the sum: > sumAbs $ vectorFromMatrix res 1.8732940252518542 or > sum $ elems res 1.8732940252518542 The first version will usually be more efficient, since it calls the BLAS1 function "dasum". Patrick

1 0

Looking for the fastest Haskell primes algorithm
by Niemeijer, R.A. 20 Apr '09

20 Apr '09

Today I happened to need a large list of prime numbers. Obviously this is a well-known problem, so I figured there would be something on Hackage that I could use. Surprisingly, there isn't, or if there is it's not easy to find. Searching for prime or primes on Hackage reveals nothing. Searching for primes on Hayoo gives Codec.Encryption.RSA.NumberTheory, but that uses the inefficient one-liner implementation. The HaskellWiki article on primes (http://www.haskell.org/haskellwiki/Prime_numbers) has a number of implementations, but the faster they get, the longer and uglier they become. Since it's such a common problem I'd say it would be a good idea to add a package to Hackage that exports primes :: [Integer] and hides the ugly implementation details. Data.Numbers.Primes seems a logical choice for the namespace, but I'm open to suggestions. The trick then is to find the most efficient implementation of primes. The Haskell wiki article mentions ONeillPrimes.hs as one of the fastest ones, but maybe there's a faster version. So my question is: does anybody know what the fastest Haskell algorithm for generating primes is?

14 14

Fwd: [Haskell-cafe] General function to count list elements?
by Alberto G. Corona 19 Apr '09

19 Apr '09

here goes a test of pointer equality (valid for functions too): samepointer :: a -> a -> IO Bool samepointer f1 f2 = do p1<- varHash f1 p2<- varHash f2 return $ p1 == p2 where varHash x= do sn <- makeStableName x return $ hashStableName sn 2009/4/18 <nowgate(a)yahoo.com>: > Hi John, > > Yes, I see now what the hullabaloo was about. > > I've only been hacking Haskell for a few weeks, so I'm still seeing the > "forest" rather than the "trees". But I'm coming along. > > Thanks. > > Michael > > --- On Sat, 4/18/09, John Dorsey <haskell(a)colquitt.org> wrote: > > From: John Dorsey <haskell(a)colquitt.org> > Subject: Re: [Haskell-cafe] General function to count list elements? > To: "michael rice" <nowgate(a)yahoo.com> > Cc: haskell-cafe(a)haskell.org > Date: Saturday, April 18, 2009, 2:36 PM > > Michael, > >> I had a count function that worked fine for an enum type, but thought >> why not go polymorphic with it. So I changed it and got the error I >> originally inquired about. > > For variety, I'll go a slightly different direction. > > If you generalize count to use any predicate, instead of always > equality... > > gcount :: (a -> a -> Bool) -> a -> [a] -> Int > gcount pred x0 xs = length (filter (pred x0) xs) > > count = gcount (==) > > This will work with any type that you can write a predicate for with the > type (a -> a -> Bool). I can even use this with functions, if I'm > careful. > > ghci> gcount (\f g -> True) (*2) [id,(const 1),(*3)] > 3 > ghci> gcount (\f g -> f 1 == g 1) (^2) [id,(const 1),(*3)] > 2 > > By the way, do you see why everyone's bothing you about comparing > functions? The type you gave count, which didn't have an Eq constraint, > was an assertion that you could compare two values of *any* type. If > there's a type that's not comparable, then count's type was wrong. > Functions are the canonical example of an incomparable type. > > When you're bored some time, read a bit about the Curry-Howard > correspondence. It's interesting, even if (like me) you don't grok all > of its implications. > > Regards, > John > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > >

1 0

RE: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release
by Niemeijer, R.A. 19 Apr '09

19 Apr '09

If only it were that easy. Sadly, it's not. Let's look at the following example: data Test = Test { foo :: Int, bar :: Char, baz :: Bool } smallPrint t = concatMap (\f -> show $ f t) [foo, bar, baz] In this code the list [foo, bar, baz] should have the type [exists a. Show a => Test -> a]. If we explicitly specify the type, replacing the exists with a forall, then GHC complains about not being able to match Int, Char and Bool against type a. Forall is not the same as exists and GHC only implements the former. ________________________________________ From: Bulat Ziganshin [bulat.ziganshin(a)gmail.com] Sent: 19 April 2009 22:07 To: Niemeijer, R.A. Cc: haskell-cafe(a)haskell.org Subject: Re[2]: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release Hello R.A., Sunday, April 19, 2009, 11:46:53 PM, you wrote: > Does anybody know if there are any plans to incorporate some of > these extensions into GHC - specifically the existential typing ? it is already here, but you should use "forall" keyword instead odf "exists" -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

Re: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release
by Daniel Fischer 19 Apr '09

19 Apr '09

Am Sonntag 19 April 2009 13:09:17 schrieb Thomas Davie: > >> I don't understand what makes user installs more convenient. > >> Certainly, > >> my preference would be for global all the time I expect something > >> that > >> says it's going to "install" something to install it onto my > >> computer, > >> like any other installation program does. What is it that makes user > >> installs more convenient in this situation? > > > > You don't need 'sudo' access for user installs. This means that 'cabal > > install' works out of the box on every system, without needing > > admin/root privs (esp. important for students). > > But students will be used to needing to configure this in every > other installation system out there they need to tell it to install in > their user directory. Personally I find it more convenient to have > the "install" program do what it says it does! Install it! But it does install it, only not where you want it. Just for the record, I (no student, my own computer, sole user) prefer user-installs and cabal's default behaviour. Makes it so much easier to get rid of things I don't want anymore without any fear of buggering my system because something depends on it. > > This would save confusion about old tools that do things globally, and > not confuse students, because they're all already used to giving extra > flags to make install not install things system wide. Yes, it is bad that the runhaskell Setup interface has a different default. But, as Duncan said, too late to change it now. > > Bob

3 4

Re: [Haskell] Helpful libraries to implement a board game?
by Conrad Meyer 19 Apr '09

19 Apr '09

On Sunday 19 April 2009 01:39:40 pm Frank Rosemeier wrote: > Dear Haskellers, > > I would like to implement a board game for a single player in Haskell. > The pieces may be moved one step in any direction if there is no > piece next to it, > and the goal is to rearrange the pieces to their home positions. > The Haskell program should find an optimal solution (with minimal > number of moves). > > Can anybody recommend some helpful libraries for this task? > Any hints are very welcome! > > > Frank Rosemeier (This should probably be on haskell-cafe, so I'm moving it there, CC-ing the author.) Hi, If you're interested in gametree search (i.e. game AI), which it sounds like you are, then the game-tree library on Hackage may interest you[0]. [0]: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/game-tree Regards, -- Conrad Meyer <konrad(a)tylerc.org>

1 0

Announce: A pragmatic Haskell .NET interop layer, 0.4.0
by Sigbjorn Finne 19 Apr '09

19 Apr '09

A new version of a Haskell .NET interop layer, hs-dotnet, has just been released and is now available for download, http://haskell.forkIO.com/dotnet It lets you access .NET functionality from Haskell and vice versa. Tool support is included in this release to aid such interop. The new version includes development done since the start of the year. Apart from rewriting the internals completely to put it all on a sounder footing, this release includes proper support for .NET generic types (classes and interfaces), mapping them naturally on to Haskell parameterized types. The support for generics enables for instance mixed Haskell-.NET LINQ programming; see the distribution for examples of this along with some other interesting applications of the hs-dotnet interop layer. enjoy --sigbjorn

2 1

Using GHC as an arrows preprocessor?
by Peter Verswyvelen 19 Apr '09

19 Apr '09

I'm making some custom arrows and I'm getting bugs when using the GHC preprocessor, but not when using the old standalone preprocessor. In order to debug this, it would be nice to use GHC as an arrows preprocessor (so converting the arrow notation into plain Haskell and outputting the converted source code); is this possible? I also noticed that GHC's builtin preprocessor generates far more intermediate combinators than the old preprocessor. The benchmark in this paper <http://www.cs.yale.edu/homes/hl293/download/NEPLS-talk.pdf> seems to confirm this. Is this a known issue? Thanks, Peter

2 2

Matrices
by Cetin Sert 19 Apr '09

19 Apr '09

http://ccnmtl.columbia.edu/projects/qmss/the_chisquare_test/about_the_chisq… given two matrices, Prelude Data.Matrix.Dense Data.Vector.Dense> m listMatrix (2,2) [46.0,37.0,71.0,83.0] Prelude Data.Matrix.Dense Data.Vector.Dense> es listMatrix (2,2) [40.9746835443038,42.0253164556962,76.0253164556962,77.9746835443038] how can I flatten them to do: [ (o-e)^2 / e | o <- m, e <- es ] or use a function that will apply a given function to every corresponding elements of 2 or n matrices and create a result matrix? If I should use a different matrix type or library altogether, please specify which one and how ^__^" Best Regards, Cetin Sert

3 2