July 2008 - Haskell-Cafe

Re: [Haskell-cafe] Human-friendly compiler errors for GHC
by Max Bolingbroke 12 Jul '08

12 Jul '08

> Personally, I would suggest make it take up less space. A newline for each match may be alright if there are only 3 suggestions, but past that it begins to take up too much of the screen. Columns are nice, or perhaps a limit on how many matches will be displayed (with more available if the user asks?). I've actually limited it to 3 matches displayed in the current implementation, but indeed it would probably be good to display the matches in columns instead. Max

1 0

FPGA / Lava and haskell
by Marc Weber 12 Jul '08

12 Jul '08

Is Haskell still used (in industry as well ?) to write (V)HDL code to program FPGAs and create circuits on chips? The Chalmers Lava homepage tells abouta Xilinx version which should be merged in soon. But on the xilinx homepage there was no reference to neither Lava nor haskell.. I'm thinking about designing a similar tool to www.combimouse.com. Sincerly Marc

6 7

Getting module functions
by rodrigo.bonifacio 11 Jul '08

11 Jul '08

Hi all, Is there any function that can be used for retrieving the exposed functions of a given module? Thanks, Rodrigo.

3 2

Typeable and fancy types
by Ron Alford 11 Jul '08

11 Jul '08

Hey all, I've reduced my previous problem to a small example. Anyone know why typeOf (...) would work, but typeOf [...] would not? Is the derivation for lists funky? data Expr f = In (f (Expr f)) instance Typeable1 f => Typeable (Expr f) where typeOf (In x) = mkTyConApp (mkTyCon "TypeTest.Expr") [typeOf1 x] data Foo e = Foo deriving instance Typeable1 Foo *TypeTest> typeOf (In Foo) TypeTest.Expr TypeTest.Foo *TypeTest> typeOf [In Foo] *** Exception: Prelude.undefined

3 2

Newbie: Appending arrays?
by Dmitri O.Kondratiev 11 Jul '08

11 Jul '08

What is the best way to extend array? I would use a list instead of array as it is easy to append, but need to have random access to its elements later. So in fact I need to start with an integer array of size 1. Next I may need to add new elements to this array or modify values of the existing ones. Function: array :: (Ix a) => (a,a) -> [(a,b)] -> Array a b allows construct an array of a fixed size. How to add more elements to the array later? Thanks! -- Dmitri O. Kondratiev dokondr(a)gmail.com http://www.geocities.com/dkondr

7 11

Inductive graphs memory usage
by Andre Nathan 11 Jul '08

11 Jul '08

Hello I'm trying to create a directed graph using the Data.Graph.Inductive. The graph is a random graph using the G(n, p) model, that is, each of the n nodes is linked to every other node with probability p. I'm seeing a large increase of memory usage when n grows (this is using p = 0.1): n = 1000 -> 96MB n = 2000 -> 283MB n = 3000 -> 760MB So, I'm probably doing something very stupid :) The code is below. Is there anything I could do to optimize memory usage here? module Main where import Control.Monad import Data.Graph.Inductive import System.Random createEdges :: Int -> Double -> IO [LEdge Int] createEdges n prob = foldM create [] [1..n] where create es i = foldM (flip $ link i) es [i, i-1 .. 1] link i j es | i == j = return es -- no self-loops | otherwise = do es' <- maybeCreateEdge i j prob es es'' <- maybeCreateEdge j i prob es' return es'' maybeCreateEdge :: Node -> Node -> Double -> [LEdge Int] -> IO [LEdge Int] maybeCreateEdge i j prob es = do r <- randomDouble return $ if r < prob then (i, j, 0):es else es randomDouble :: IO Double randomDouble = getStdRandom $ random main :: IO () main = do let (n, p) = (3000, 0.1) es <- createEdges n p let g = mkGraph [(i, 0) | i <- [1..n]] es :: Gr Int Int return () Thanks, Andre

4 7

ANN: Takusen 0.8.3
by Alistair Bayley 11 Jul '08

11 Jul '08

Changes since 0.8.1 (I put 0.8.2 up on hackage with an error in Setup.hs, so it's been skipped): - ODBC support: datetime marshalling is improved. For bind parameters this uses the timestamp struct for most back-ends, but String for MS SQL Server because populating the timestamp struct always failed. - more Cabal improvements: now uses configurations, so the Setup.hs script should be both simpler and more robust. Requires Cabal >= 1.4. Oracle backend on Linux should build nicely. - bug fix for a resource leak if an exception was thrown when initiating a query (the Statement handle was not closed). - some basic result-set validation against the iteratee: if you try to fetch a column that is not in the result-set, an error is thrown (rather than garbage returned). The release bundle: http://hackage.haskell.org/packages/archive/Takusen/0.8.3/Takusen-0.8.3.tar… The latest code: darcs get http://darcs.haskell.org/takusen Docs: http://darcs.haskell.org/takusen/doc/html/index.html A comprehensive description of API usage can be found in the documentation for module Database.Enumerator (look for the Usage section): http://darcs.haskell.org/takusen/doc/html/Database-Enumerator.html Future plans: - Output bind-parameters and multiple-result sets for ODBC - FreeTDS backend (Sybase and MS Sql Server) - support for Blobs and Clobs For those of you unfamiliar with Takusen, here is our HCAR blurb: Takusen is a DBMS access library. Like HSQL and HDBC, we support arbitrary SQL statements (currently strings, extensible to anything that can be converted to a string). Takusen's 'unique-selling-point' is safety and efficiency. We statically ensure all acquired database resources - such as cursors, connection and statement handles - are released, exactly once, at predictable times. Takusen can avoid loading the whole result set in memory, and so can handle queries returning millions of rows in constant space. Takusen also supports automatic marshalling and unmarshalling of results and query parameters. These benefits come from the design of query result processing around a left-fold enumerator. Currently we fully support ODBC, Oracle, Sqlite, and PostgreSQL.

2 1

Combining Wouter's expressions with extensible records
by Ron Alford 11 Jul '08

11 Jul '08

Well, my extension of Wouter's datatypes proved to be unweildy.... So, I'm trying to use http://fmapfixreturn.wordpress.com/2008/05/03/simple-extensible-records-now… for extensible records. I ran across my first problem rather quickly! data Expr f = In (f (Expr f)) Ok, but to make it part of a record, it needs to implement Data: data Expr f = In (f (Expr f)) deriving Data but this gives No instances for (Data (f (Expr f)), Typeable (Expr f)) arising from the 'deriving' clause of a data type declaration at Planning/Wouter.hs:77:0-42 Any hints? Thanks, -Ron

2 12

More idiomatic use of strictness
by Grzegorz Chrupala 11 Jul '08

11 Jul '08

Hi all, Is there a less ugly way of avoiding laziness in the code pasted below then the use of seq in the last line? The program is supposed to split a large input file into chunks and check in how many of those chunks each of a list of words appear, as well as the total number of chunks. Without the seq it consumes huge amounts of memory. Thanks! Grzegorz {-# LANGUAGE BangPatterns, PatternGuards #-} import Data.List (foldl') split delim s | [] <- rest = [token] | otherwise = token : split delim (tail rest) where (token,rest) = span (/=delim) s main = do putStrLn =<< fmap (show . stats ["the","a","and"] . split "<DOC>" . words) getContents stats ws docs = foldl' f ((map (const 0) ws),0) docs where f (dfs,n) d = let dfs' = zipWith (\w df -> (df + fromEnum (w `elem` d))) ws dfs in sum dfs' `seq` (dfs',n+1) -- View this message in context: http://www.nabble.com/More-idiomatic-use-of-strictness-tp18379800p18379800.… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

3 3

FPGA / Lava and haskell
by Satnam Singh 11 Jul '08

11 Jul '08

Hello Marc. I've been distracted with the Kiwi project (parallel C# programs to hardware) and right now a Bluespec project so I've not made any progress on a merge of the Lava I produced for designing circuits (with layout) for Xilinx's FPGAs and the Chalmers version (which I recommend for situations where you don't care about circuit layout or when you don't want to use FPGA architecture specific features). The version of Lava on my website at http://raintown.org/lava/ still builds under the current version of ghc and it provides support for generating Xilinx EDIF netlists that supports the basic FPGA circuit building blocks. If you need things like ODDRs etc. which appear in the new FPGAs then you have to either add them yourself (not too difficult) or wait for me to do it :) Cheers, Satnam ________________________________ Satnam Singh Microsoft 7 JJ Thomson Avenue Cambridge CB3 0FB United Kingdom Email: satnams(a)microsoft.com<mailto:satnams@microsoft.com> UK tel: +44 1223 479905 Fax: +44 1223 479 999 UK mobile: +44 7979 648412 USA cell: 206 330 1580 USA tel: 206 219 9024 URL: http://research.microsoft.com/~satnams Live Messenger: satnam(a)raintown.org<mailto:satnam@raintown.org>

1 0