- Haskell-Cafe - Haskell.org

recommendation for (best) sqlite3 bindings
by Gour 25 Jul '10

25 Jul '10

Hello! We are looking for recommendation which Haskell bindings for sqlite3 to use for destkop GUI app where we want, among other things to store *.png and/or *.jpg images. (Yeah, I know about the hint to store iamges in the filesystem and just store filepaths in the db, but for portability reasons so that user can easily carry/backup database, we want everything stored in one file.) By looking at Hackage, it seems there are 3 candidates: 1) sqlite - bindings by Galois (http://hackage.haskell.org/package/sqlite) - looks quite complete & low-level interface 2) direct-sqlite - it says "It is not as complete as bindings-sqlite3 (1), but is slightly higher-level...it supports strings encoded as UTF8, and BLOBs represented as ByteStrings." and 3) HDBC-sqlite3 - higher level but without support for BLOBs. Now, based on the above it looks that 2) is the best one - not high-level as 2), but adding BLOBs support which, iirc, is missing in HDBC. Otoh, having highr-level abstraction ala HDBC is nice, although at the moment we believe that we won't have need to go to PostgreSQL since it means that setup would be greatly complicated for the end-user, so we're staying focused on Sqlite3. I know there are also Takusen & HSQL, but based on my past experiences when watching those two projects, it seems they aren not supported as well as the above itemized ones. Any recommendation? May I add that, according to the recent "Merge hsql and HDBC -- there can only be one!" thread, I can only "+1" for having slight less & more complete database packages. Sincerely, Gour -- Gour | Hlapicina, Croatia | GPG key: F96FF5F6 ----------------------------------------------------------------

3 5

build and use ghc's rts without a full unregistered ghc port?
by Korcan Hussein 24 Jul '10

24 Jul '10

Hi, I was just wondering if this is possible, I would like to use a gcc port which cross compiles to the PPC architecture (Wii DevkitPPC to be specifically: http://wiibrew.org/wiki/DevkitPPC) for a platform that is not POSIX compatible I believe (at least not fully or maybe I'm wrong entirely). Ideally I would make an unregistered port of GHC but the problem is because GHC doesn't support true cross compiling yet I need to bootstrap on to the target machine, which isn't running a POSIX environment. Still I did try to attempt to build with both the host and target set to 'powerpc-unknown-linux' and build it with devkitPPC, I did use a custom build.mk which should pull in all the required dependencies, defines, etc for devkitPPC. In the end I didn't get very far with it, it looked like missing posix functions. I didn't want to spend to much time trying to make it work this way (maybe i'm doing it wrong completely). It's quite possible that I could make this work more easily if I used a linux port for the wii but I would like to avoid the need of using linux on the wii because I guess most home-brew users don't have such a setup. So I thought maybe it's possible with less effort to build GHC's RTS and then compile Haskell in C with the RTS as a library dependency. Is this possible? maybe I'm missing something or doing something stupid? Thanks in advance. _________________________________________________________________ http://clk.atdmt.com/UKM/go/197222280/direct/01/ We want to hear all your funny, exciting and crazy Hotmail stories. Tell us now

2 3

"New FGL" naming survey
by Ivan Lazar Miljenovic 24 Jul '10

24 Jul '10

Whether or not the new FGL that Thomas Bereknyei and I are working on should keep the name was a semi-hot issue when we first mentioned the fact that we were working on a new version about a month ago. As such, I've created a survey here to try and find out what the Haskell community overall thinks we should call it: https://spreadsheets.google.com/viewform?formkey=dGpzMmFnUWY3Uktodk5wdHlLQk… More info can be found on the actual survey page. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

2 2

Re: [Haskell-cafe] FGL problem: cannot acces data constructor NodeMap
by Ivan Lazar Miljenovic 24 Jul '10

24 Jul '10

Once again cc-ing -cafe; Immanuel, can you please do "reply to all" rather than just "reply" in GMail? :p Immanuel Normann <immanuel.normann(a)googlemail.com> writes: > 2010/7/24 Ivan Lazar Miljenovic <ivan.miljenovic(a)gmail.com> > >> CC-ing haskell-cafe again: >> >> Immanuel Normann <immanuel.normann(a)googlemail.com> writes: >> >> > 2010/7/24 Ivan Lazar Miljenovic <ivan.miljenovic(a)gmail.com> >> >> > Some of my lnodes in the graph have by construction unique labels and I >> want >> > to lookup the lnode from a graph given only the label of that lnode. >> >> Well, from my understanding NodeMap doesn't do what you want, since it >> assumes that _all_ of the node labels are unique > > > I wouldn't bother when NodeMap maps also non-unique labels to single nodes, > because I only lookup nodes with unique labels, e.g. assume my label are of > the form > data Label = Unique String | Multi Label I'm of the suspicion that using NodeMaps in this fashion will have problem when considering nodes with the same label (even if you don't explicitly use it for those nodes), as NodeMap seems to assume that node labels are unique. For example, mkNode assumes node labels are unique. >> Furthemore, the way of using it seems to be analogous of how one would use a >> State monad >> rather than for actual interactive use throughout. >> > > Could you elaborate this further, please. http://hackage.haskell.org/packages/archive/fgl/5.4.2.3/doc/html/Data-Graph… and http://hackage.haskell.org/packages/archive/fgl/5.4.2.3/doc/html/Data-Graph… If you just want a mapping from labels to nodes, you may be better off using your own custom Map (and maybe even defining a new graph type that has such a Map as part of it). The successor to FGL-5.x (whatever we'll end up calling it) will allow you to have custom node types rather than using Ints. However, this will not work for you in this situation. The node type is just an _index_ type, analogous to the actual hash value in a hash{map,array} (as opposed to the value which has the hashing function applied upon it). It's there to provide a unique identifier for a particular node. Arguably, an abstract type would be even better as an Int as it will prevent you from doing silly things like adding node indices together, but that's beside the point. If you wish to find a node with a specific label, try using something like gsel: http://hackage.haskell.org/packages/archive/fgl/5.4.2.3/doc/html/Data-Graph… -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

2 1

Re: [Haskell-cafe] FGL problem: cannot acces data constructor NodeMap
by Ivan Lazar Miljenovic 24 Jul '10

24 Jul '10

CC-ing haskell-cafe again: Immanuel Normann <immanuel.normann(a)googlemail.com> writes: > 2010/7/24 Ivan Lazar Miljenovic <ivan.miljenovic(a)gmail.com> > >> Immanuel Normann <immanuel.normann(a)googlemail.com> writes: >> > Afterall, my purpose is to get access to the map in a NodeMap and finally >> to >> > apply lookup to it. But I don't know how to access the map from a NodeMap >> > (the map selector isn't accessible either). >> >> You're not meant to; the point of NodeMap is to serve as a wrapper >> around the normal graph types, not for you to use directly (exactly the >> same as why the constructor for Map isn't exported). >> >> May I ask, however, why you want to use Data.Graph.Inductive.NodeMap? >> > > Some of my lnodes in the graph have by construction unique labels and I want > to lookup the lnode from a graph given only the label of that lnode. Well, from my understanding NodeMap doesn't do what you want, since it assumes that _all_ of the node labels are unique. Furthemore, the way of using it seems to be analogous of how one would use a State monad rather than for actual interactive use throughout. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

FGL problem: cannot acces data constructor NodeMap
by Immanuel Normann 24 Jul '10

24 Jul '10

Hi, I have a problem with the data constructor NodeMap Data.Graph.Inductive.NodeMap of the graph library fgl-5.4.2.3 (also fgl-5.4.2.2): I cannot access the data constructor NodeMap, as the ghci session shows: Prelude> :m Data.Graph.Inductive.NodeMap Prelude Data.Graph.Inductive.NodeMap> :t NodeMap <interactive>:1:0: Not in scope: data constructor `NodeMap' However, when I load the source directly it works: Prelude> :l Data/Graph/Inductive/NodeMap.hs [1 of 3] Compiling Data.Graph.Inductive.Graph ( Data/Graph/Inductive/Graph.hs, interpreted ) [2 of 3] Compiling Data.Graph.Inductive.Internal.FiniteMap ( Data/Graph/Inductive/Internal/FiniteMap.hs, interpreted ) [3 of 3] Compiling Data.Graph.Inductive.NodeMap ( Data/Graph/Inductive/NodeMap.hs, interpreted ) Ok, modules loaded: Data.Graph.Inductive.Internal.FiniteMap, Data.Graph.Inductive.Graph, Data.Graph.Inductive.NodeMap. *Data.Graph.Inductive.NodeMap> :t NodeMap NodeMap :: (Ord a) => FiniteMap a Node -> Int -> NodeMap a Why is that so? Afterall, my purpose is to get access to the map in a NodeMap and finally to apply lookup to it. But I don't know how to access the map from a NodeMap (the map selector isn't accessible either). Immanuel

2 1

Weird behavior with arrow commands
by Ronald Guida 24 Jul '10

24 Jul '10

I am trying to figure out how to use GHC's arrow commands, and I found some extremely weird behavior. In GHC's manual, there is a description of arrow commands, which I don't really understand. http://www.haskell.org/ghc/docs/latest/html/users_guide/arrow-notation.html… (Primitive Constructs) I have two questions: 1. What are arrow commands supposed to do? 2. What is this code supposed to do? -- start of code -- {-# LANGUAGE Arrows #-} module Main where import Control.Arrow foo :: (b -> String) -> ((((b, Int), Float), Double) -> String) -> (b -> String) foo f g b = f b ++ " " ++ g (((b, 8), 1.0), 6.0) bar :: (t -> String) -> ((Double, Int) -> String) -> t -> String bar f g = proc x -> do (f -< x) `foo` \n m -> g -< (n) main = do putStrLn $ foo show show 17 putStrLn $ bar show show 17 putStrLn $ foo show show 42 putStrLn $ bar show show 42 -- end of code -- Output from GHCi: 17 (((17,8),1.0),6.0) 17 (6.730326920298707e-306,0) 42 (((42,8),1.0),6.0) 42 (6.730326920298707e-306,0) Output after compiling with GHC: 17 (((17,8),1.0),6.0) 17 (5.858736684536801e-270,0) 42 (((42,8),1.0),6.0) 42 (5.858736684536801e-270,0) GHC Version: The Glorious Glasgow Haskell Compilation System, version 6.12.3 Thank you -- Ron

3 2

ANNOUNCE: Haskell Platform 2010.2.0.0
by Don Stewart 24 Jul '10

24 Jul '10

We're pleased to announce the fifth release of the Haskell Platform: a single, standard Haskell distribution for everyone. Download the Haskell Platform 2010.2.0.0: http://hackage.haskell.org.nyud.net/platform/ (Caching server). The specification, along with installers (including Windows, Apple and Unix installers for a full Haskell environment) are available. The Haskell Platform is a single, standard Haskell distribution for every system, in the form of a blessed library and tool suite for Haskell distilled from the thousands of libraries on Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. When you install the Haskell Platform, you get the latest stable compiler, an expanded set of core libraries, additional development tools, and cabal-install – so you can download anything else you need from Hackage. What you get is specified here: http://hackage.haskell.org/platform/contents.html Thanks! -- The Platform Infrastructure Team

7 9

[Haskell-cafe] a patch for base.Foreign.C.String, the current locale
by Roman Beslik 24 Jul '10

24 Jul '10

Hi. I have composed a patch that implements Foreign.C.String according to Foreign Function Interface Addendum, i.e. C strings are treated as they are encoded with the current locale. Search "Locale.hs" in the patch for further directions. Ask if you do not know how to build a patched version of the "base" library. http://www.beroal.in.ua/prg/haskell/locale.patch -- Best regards, Roman Beslik.

1 0

Heavy lift-ing
by michael rice 24 Jul '10

24 Jul '10

Hi, I don't understand what's taking place here. >From Hoogle: ================= liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r Promote a function to a monad, scanning the monadic arguments from left to right. For example, liftM2 (+) [0,1] [0,2] = [0,2,1,3] liftM2 (+) (Just 1) Nothing = Nothing ================= What does it mean to "promote a function to a monad?" It would seem that the monad values must understand the function that's being promoted, like Ints understand (+). Prelude Control.Monad> liftM2 (+) (Just 1) (Just 1) Just 2 But how does one add [0,1] and [0,2] to get [0,2,1,3]? Michael

6 6