- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics
by John Lato 02 Jun '11

02 Jun '11

> > Message: 17 > Date: Fri, 20 May 2011 15:59:51 -0700 > From: Evan Laforge <qdunkan(a)gmail.com> > Subject: Re: [Haskell-cafe] Status of Haskell + Mac + GUIs & graphics > To: Erik Hesselink <hesselink(a)gmail.com> > Cc: haskell-cafe(a)haskell.org > Message-ID: <BANLkTi%3D74mM6ORtU2e192jtoOT9g49fzTQ(a)mail.gmail.com> > Content-Type: text/plain; charset=ISO-8859-1 > > > Note that it is supposed to be possible to build gtk2hs with gtk+osx, > > which will not use X11 but use the native OS X GUI. I've not been able > > to get this to work, but it's been a while since I tried. The Haskell > > wiki mentions it doesn't support Glade, but does support Cairo. If > > this were to work, gtk2hs would be a serious option as well. > > I've tried this 3 or 4 times, and failed every time. It's crazy > complicated. > I used to use this combination regularly. IME the difficulties are primarily with getting a working gtk+osx build. Once that was accomplished, gtk2hs was a straightforward install, provided you build from the src repo with the -quartz flag. Recently I've switched to using macports gtk2 with the quartz, no-x11 variant, which also uses native cocoa. This is much more reliable than gtk+osx. I don't know if it supports Glade though. My biggest problem with wx is that there's no support for building 64-bit wx applications on OS X. If that were fixed I might prefer it. John Lato

3 6

Re: [Haskell-cafe] Names for pretty-printing combinators
by Ivan Lazar Miljenovic 02 Jun '11

02 Jun '11

(Changing the subject as it's going off-topic from the original email :p) On 25 May 2011 22:45, Simon Meier <iridcode(a)gmail.com> wrote: > 2011/5/25 Ivan Lazar Miljenovic <ivan.miljenovic(a)gmail.com>: >> >> Also, by clashes with Applicative, are you referring to empty and <$> >> ? I'm not sure if a better name than "empty" can be found; as for >> <$>, maybe using pretty's notation of $$ and $+$ rather than <$> and >> <$$> ? > > What about 'emptyDoc'? It's a bit more of a mouthful, and getting a bit close to Hungarian Notation, isn't it? :p Also, empty is already used a fair amount in other libraries as it stands (admittedly, most of those are in modules that are typically imported qualified...). > Moreover, if you are changing the names of > combinators, then moving them away from Applicative and Arrow would be > a good idea; i.e., don't use <+>, as it already used by ArrowPlus. *sigh* We really need to get a list of used operators somewhere so that libraries can stake a claim :p > Moreover, if you can make a Monoid instance such that `mappend` equals > <>, you would also make the library compatible to a future > introduction of (<>) = mappend. I was thinking about that actually... -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

4 3

ANN: fix-imports-0.1.0
by Evan Laforge 02 Jun '11

02 Jun '11

I just uploaded a new package called fix-imports. Maintaining the import block is one of the less fun things I do while writing haskell. So I wrote a little program to do that for me. Basically, I edit source, then hit ,a in vim, and it figures out which modules need to be imported, which imports are not needed, and sorts and formats the import list. I've been using it for the last week or so and it seems to be working ok, so I decided to upload it to hackage in case anyone else doesn't like maintaining import lists manually. The catch: it only works for qualified imports. Here's copy paste from the package description: A small standalone program to manage the import block of a haskell program. It will try to add import lines for qualified names with no corresponding import, remove unused import lines, and sort the import block according to some heuristic you can define. This only works for qualified imports! Unqualified imports are left untouched. It's most convenient if bound to an editor key.

1 0

Oracle Sessions in Takusen
by Dmitry Olshansky 02 Jun '11

02 Jun '11

Hello, Could anyone explain strange behavior of Takusen with OracleDB (OraClient 11.x)? Several sequential sessions give "Seqmentation Fault" error. In case of nested sessions it works well. {-# LANGUAGE ScopedTypeVariables #-} module Main where import Database.Oracle.Enumerator import Control.Monad(replicateM) import Control.Monad.Trans(liftIO) main = do {- -- This gives an Segmentation Fault for the second session replicateM 2 (do res <- withSession (connect "x" "x" "x") (do doQuery (sql "SELECT dummy FROM dual") (\(d::String) (_::Maybe String) -> result' $ Just d) Nothing ) print res ) -} -- This is works well withSession (connect "x" "x" "x") (do r1 <- doQuery (sql "SELECT dummy FROM dual") (\(d::String) (_::Maybe String) -> result' $ Just d) Nothing liftIO $ print r1 liftIO $ withSession (connect "x" "x" "x") (do r2 <- doQuery (sql "SELECT dummy FROM dual") (\(d::String) (_::Maybe String) -> result' $ Just d) Nothing liftIO $ print r2 ) ) Best regards, Dmitry

4 4

Haskell Weekly News: Issue 184
by Daniel Santa Cruz 02 Jun '11

02 Jun '11

Welcome to issue 184 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of May 22 to 28, 2011. Announcements The newsletter has not been posting new library announcements, but Ivan Lazar's announcement of his new wl-pprint-text library had to be an exception. Way to be creative Ivan! http://goo.gl/C6tu0 Simon Marlow wrote in to announce CamHac: (Haskell Hackathon in Cambridge, UK) during August 12 to 14, 2011. Registration is free, but they are limited to 50 people, so sign up soon! http://goo.gl/BySLB Quotes of the Week * Henning Thielemann: [On a slow solution to Euler's totien function] It's declarative and may help to verify more efficient implementations. * KC: Librarians have been struggling for years with classifying topics; I don't imagine classifying coding libraries as any easier. * max ulidtko: [on the *group hug* thread] Wow. I just subscribed to the list just an hour ago or so, and already receiving hugs! * Jacek Generowicz: What would be the point of asking non-ignorant questions, unless it is a rhethorical one? * Ketil Malde: Being brilliant doesn't mean the absence of mental bad hair days, but merely that they happen more rarely than for the rest of us. :-) * AndrewMorton: I was attacked by dselect as a small child and have since avoided Debian. * Cale: The hardest part of writing any binding is doing something to make up for the fact that libraries written for imperative languages are typically badly designed to begin with. * <lambdabot> *Exception: *Exception: *Exception: <Cale> E X C E P T I O N * Jafet: In strict languages, you implement Haskell, then use fix as usual. Top Reddit Stories * Multicore Garbage Collection with Local Heaps :: PDF Domain: community.haskell.org, Score: 45, Comments: 4 On Reddit: http://goo.gl/OcOqI Original: http://goo.gl/Zdkxv * Node.js creator first tried with haskell, but says he wasn't smart enough to hack GHC Domain: bostinnovation.com, Score: 41, Comments: 39 On Reddit: http://goo.gl/cDQWT Original: http://goo.gl/p8VpL * ANNOUNCEMENT: HaNS, the Haskell Network Stack. HaNS is a lightweight, pure Haskell network stack that can be used for Haskell networking in the context of the HaLVM, or with a Linux tap device. Domain: haskell.org, Score: 40, Comments: 12 On Reddit: http://goo.gl/hBlRB Original: http://goo.gl/H62UL * Haskell + FFI + Java + SWT: crazy, maybe, but working! Domain: jpmoresmau.blogspot.com, Score: 36, Comments: 17 On Reddit: http://goo.gl/9l45y Original: http://goo.gl/B6jO7 * Isomorphism lenses Domain: twanvl.nl, Score: 32, Comments: 10 On Reddit: http://goo.gl/rlBfs Original: http://goo.gl/BHrBh * Tail recursion makes your loops cleaner Domain: blog.ezyang.com, Score: 29, Comments: 14 On Reddit: http://goo.gl/7VD9g Original: http://goo.gl/YMqok * An insufficiently lazy map: the dangers of spine-strict data structures Domain: blog.ezyang.com, Score: 25, Comments: 0 On Reddit: http://goo.gl/DTBwg Original: http://goo.gl/dMEoI * From a 13M executable to an 84k one: use -dynamic with GHC for linking excellence Domain: stackoverflow.com, Score: 23, Comments: 13 On Reddit: http://goo.gl/tsN5H Original: http://goo.gl/poXbW * This is how a new package should be announced: Pretty-printing package for lazy Text values Domain: haskell.org, Score: 21, Comments: 3 On Reddit: http://goo.gl/iduqP Original: http://goo.gl/qyhrj * Happstack + JMacro + HSX Domain: happstack.blogspot.com, Score: 15, Comments: 2 On Reddit: http://goo.gl/33J1S Original: http://goo.gl/9mk8h Top StackOverflow Questions * Reading GHC Core votes: 27, answers: 4 Read on SO: http://goo.gl/wb6In * Small Haskell program compiled with GHC into huge binary votes: 26, answers: 2 Read on SO: http://goo.gl/poXbW * Force pre-computation of a constant votes: 8, answers: 1 Read on SO: http://goo.gl/Ri16N * Optimization of Function Calls in Haskell votes: 6, answers: 2 Read on SO: http://goo.gl/gPshb * How to make a CAF not a CAF in Haskell? votes: 6, answers: 6 Read on SO: http://goo.gl/KYTo7 * Concise if-then-else notation in do-blocks in Haskell votes: 6, answers: 4 Read on SO: http://goo.gl/dRlGY * Haskell (haskeline) word completion votes: 6, answers: 1 Read on SO: http://goo.gl/3TbFo * Why doesn't Haskell have symbols (a la ruby) / atoms (a la erlang)? votes: 6, answers: 5 Read on SO: http://goo.gl/4KxP8 * Why does Haskell appear to default to reading Int when reading Num? votes: 6, answers: 2 Read on SO: http://goo.gl/alCkY About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz

1 0

[iteratee] how to do nothing .. properly
by Sergey Mironov 01 Jun '11

01 Jun '11

Hi. Would anybody explain a situation with iter6 and iter7 below? Strange thing - first one consumes no intput, while second consumes it all, while all the difference is peek which should do no processing (just copy next item in stream and return to user). What I am trying to do - is to write an iteratee consuing no input, but returning a constant I give to it. I thought (return a) should do it, but it seems I was wrong as return actually consumes all unparsed stream. iter6 experience tells me that (peek>>return a) is what I need, but it's completely confusing and not what I expected. Thanks, Sergey import Data.Iteratee as I import Data.Iteratee.IO import Control.Monad import Control.Exception import Data.ByteString import Data.Char import Data.String -- countBytes :: (..., Num b) => Iteratee s m a -> Iteratee s m (a, b) countBytes i = enumWith i I.length iter6 = do h <- countBytes $ (peek >> return 0) s <- I.stream2list return (h,s) iter7 = do h <- countBytes $ (return 0) s <- I.stream2list return (h,s) print6 = enumPure1Chunk [1..10] (iter6) >>= run >>= print print7 = enumPure1Chunk [1..10] (iter7) >>= run >>= print Here is example ghci session *Main> print6 ((0,0),[1,2,3,4,5,6,7,8,9,10]) -- read 0 items, returns 0 *Main> print7 ((0,10),[]) -- read 10 items (???) returns 0 *Main>

1 0

Haskell School of Expression (graphics)
by michael rice 01 Jun '11

01 Jun '11

I installed the Haskell Platform (7.0.2) earlier, and I just downloaded package soegtk with cabal, apparently unsuccessfully. Any suggestions? Michael [michael@sabal ~]$ cabal updateConfig file path source is default config file.Config file /home/michael/.cabal/config not found.Writing default configuration to /home/michael/.cabal/configDownloading the latest package list from hackage.haskell.org[michael@sabal ~]$ cabal list SOE* soegtk Synopsis: GUI functions as used in the book "The Haskell School of Expression". Default available version: 0.11.1 Installed versions: [ Not installed ] Homepage: http://www.haskell.org/gtk2hs/ License: LGPL-2.1 [michael@sabal ~]$ cabal install soegtkResolving dependencies...Downloading cairo-0.11.1... /tmp/cairo-0.11.12906/cairo-0.11.1/Gtk2HsSetup.hs:25:2: warning: #warning Setup.hs is guessing the version of Cabal. If compilation of Setup.hs fails use -DCABAL_VERSION_MINOR=x for Cabal version 1.x.0 when building (prefixed by --ghc-option= when using the 'cabal' command) [-Wcpp][1 of 2] Compiling Gtk2HsSetup ( /tmp/cairo-0.11.12906/cairo-0.11.1/Gtk2HsSetup.hs, /tmp/cairo-0.11.12906/cairo-0.11.1/dist/setup/Gtk2HsSetup.o ) /tmp/cairo-0.11.12906/cairo-0.11.1/Gtk2HsSetup.hs:190:70: Couldn't match expected type `[PackageDB]' with actual type `PackageDB' Expected type: PackageDBStack Actual type: PackageDB In the sixth argument of `registerPackage', namely `packageDb' In the expression: registerPackage verbosity installedPkgInfo pkg lbi inplace packageDbDownloading glib-0.11.2... /tmp/glib-0.11.22906/glib-0.11.2/Gtk2HsSetup.hs:25:2: warning: #warning Setup.hs is guessing the version of Cabal. If compilation of Setup.hs fails use -DCABAL_VERSION_MINOR=x for Cabal version 1.x.0 when building (prefixed by --ghc-option= when using the 'cabal' command) [-Wcpp][1 of 2] Compiling Gtk2HsSetup ( /tmp/glib-0.11.22906/glib-0.11.2/Gtk2HsSetup.hs, /tmp/glib-0.11.22906/glib-0.11.2/dist/setup/Gtk2HsSetup.o ) /tmp/glib-0.11.22906/glib-0.11.2/Gtk2HsSetup.hs:190:70: Couldn't match expected type `[PackageDB]' with actual type `PackageDB' Expected type: PackageDBStack Actual type: PackageDB In the sixth argument of `registerPackage', namely `packageDb' In the expression: registerPackage verbosity installedPkgInfo pkg lbi inplace packageDbcabal: Error: some packages failed to install:cairo-0.11.1 failed during the configure step. The exception was:ExitFailure 1gio-0.11.1 depends on glib-0.11.2 which failed to install.glib-0.11.2 failed during the configure step. The exception was:ExitFailure 1gtk-0.11.2 depends on glib-0.11.2 which failed to install.pango-0.11.2 depends on glib-0.11.2 which failed to install.soegtk-0.11.1 depends on glib-0.11.2 which failed to install.[michael@sabal ~]$

6 9

Re: [Haskell-cafe] How on Earth Do You Reason about Space?
by John Lato 01 Jun '11

01 Jun '11

From: "Edward Z. Yang" <ezyang(a)MIT.EDU> > > Hello Aleksandar, > > It is possible that the iteratees library is space leaking; I recall some > recent discussion to this effect. Your example seems simple enough that > you might recompile with a version of iteratees that has -auto-all enabled. > Unfortunately, it's not really a safe bet to assume your libraries are > leak free, and if you've pinpointed it down to a single line, and there > doesn't seem a way to squash the leak, I'd bet it's the library's fault. > > Edward > I can't reproduce the space leak here. I tried Aleksander's original code, my iteratee version, the Ngrams version posted by Johan Tibell, and a lazy bytestring version. my iteratee version (only f' has changed from Aleksander's code): f' :: Monad m => I.Iteratee S.ByteString m Wordcounts f' = I.joinI $ (enumLinesBS I.><> I.filter (not . S.null)) $ I.foldl' (\t s -> T.insertWith (+) s 1 t) T.empty my lazy bytestring version > import Data.Iteratee.Char > import Data.List (foldl')import Data.Char (toLower) > > import Data.Ord (comparing) > import Data.List (sortBy) > import System.Environment (getArgs) > import qualified Data.ByteString.Lazy.Char8 as L > import qualified Data.HashMap.Strict as T > > f'2 = foldl' (\t s -> T.insertWith (+) s 1 t) T.empty . filter (not . L.null) . L.lines > > main2 :: IO () > main2 = getArgs >>= L.readFile .head >>= print . T.keys . f'2 None of these leak space for me (all compiled with ghc-7.0.3 -O2). Performance was pretty comparable for every version, although Aleksander's original did seem to have a very small edge. As someone already pointed out, keep in mind that this will use a lot of memory anyway, unless there's a lot of repetition of words. I'd be happy to help track down a space leak in iteratee, but for now I'm not seeing one. Best, John Lato

5 6

maybe a GHC bug but not sure
by Edward Amsden 01 Jun '11

01 Jun '11

When building the Haskell Objective C bindings tool from <http://code.google.com/p/hoc> Using GHC 7.0.3 for Haskell Platform 2011.2.0.1, OS X 64 bit HOC compiles HOC_cbits.o before trying to build it into the rest of the program (I don't say link because this came up while trying to compile: > [18 of 31] Compiling HOC.StdArgumentTypes ( HOC/HOC/StdArgumentTypes.hs, dist/build/HOC/StdArgumentTypes.o ) > [loading packages, like you'd see from ghci...] > Loading object (static) dist/build/HOC_cbits.o ... ghc: dist/build/HOC_cbits.o: Bad magic. Expected: feedfacf, got: feedface. GHC says "the impossible happened" and tells me to report it as a GHC bug, but based on the odd behavior I think the HOC build script might be doing something odd. I just don't have any idea where to start looking. For instance, why the heck is it looking at the magic bits for an object file while compiling a source file? Any insight appreciated. -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com

1 1

Re: [Haskell-cafe] How on Earth Do You Reason about Space?
by John Lato 01 Jun '11

01 Jun '11

> > From: Brandon Moore <brandon_m_moore(a)yahoo.com> > > > I was worried data sharing might mean your keys > retain entire 64K chunks of the input. However, it > seems enumLines depends on the StringLike ByteString > instance, which just converts to and from String. > That can't be efficient, but I suppose it avoids excessive sharing. That's true for 'enumLines', however the OP is using 'enumLinesBS', which operates on bytestrings directly. Data sharing certainly could be an issue here. I tried performing Data.ByteString.copy before inserting the key into the map, but that used more memory. I don't have an explanation for this; it's not what I would expect. The other parameter which affects sharing is the chunk size. I got a much better memory profile when using a chunksize of 1024 instead of 65536. Oddly enough, when using the large chunksize I saw lower memory usage from Data.Map, but with the small chunksize Data.HashMap has a significant advantage. John Lato

2 1