October 2010 - Haskell-Cafe

Should Yesod.Mail be a separate package?
by Michael Snoyman 21 Oct '10

21 Oct '10

Hey all, I wrote a simple email module in Yesod[1] that handles such things as multipart messages and Base64 encoding. It's still missing some features (multipart/alternative, for instance), but it can be useful for throwing together emails. It's currently part of the yesod package, but I'm going to be moving it to a separate package to free me up to make breaking API changes more frequently. As of right now, I'm just going to move it into the yesod-auth package (also being split off from the main yesod package), and therefore it will still have all the dependencies on Yesod. My question is whether people would find this package useful outside the scope of Yesod. There are no dependencies from this module onto any Yesod-specific stuff, so this separation could easily be done. I just don't feel like adding another package to maintain if no one is interested. So if anyone wants this offered up as a separate package, and/or has any API suggestions, please let me know. Michael [1] http://hackage.haskell.org/packages/archive/yesod/0.5.4/doc/html/Yesod-Mail…

8 21

Is it possible to "easily" connect Haskell to JavaScript/JavaFX in the browser and use a browser as a Windows GUI? :)
by Dimitry Golubovsky 21 Oct '10

21 Oct '10

Hi, Atze Dijkstra wrote: [skip] >but to provide a proper interface to XML/HTML DOM (see http://www.haskell.org/haskellwiki/Haskell_in_web_browser) or a GUI abstraction around it (perhaps a subset of wxHaskell?) >will take more work & time. I hope this can be done as part of a studentproject, or maybe picked up during a Hackathon. I think a big portion of this task might be done using this package: http://hackage.haskell.org/package/webidl or its newer (not published on Hackage, but recommended) version split into two (you need both): http://code.haskell.org/yc2js/webidl/ -- lexer (FFI based), parser, and a test program.* http://code.haskell.org/yc2js/webidlsyn/ -- just AST and pretty-printer I must admit: I haven't touched this project for more than a year, and have little plans to do so: it is up for grabs by anyone interested. But if it can parse something like this: http://es-operating-system.googlecode.com/svn/trunk/include/w3c/html5.idl or http://es-operating-system.googlecode.com/svn/trunk/include/w3c/svg.idl it's likely still intact. Back in those days it could. A WebIDL converter helps derive type signatures for DOM methods and attributes (just like HSFFIG does this for C function prototypes). Have fun ;) and don't hesitate to ask questions. PS I'm glad that the idea lives on. With more GHC flrxibility on backends than it was in 2006-2007, and with faster Javascript engines in browsers, this can get a second life... ------------------------------ * the whole repo has to be downloaded: darcs get http://code.haskell.org/yc2js/ -- Dimitry Golubovsky Anywhere on the Web

1 0

data.time.zoneinfo
by Anatoly Yakovenko 21 Oct '10

21 Oct '10

I am trying to figure out how to use this library, seems like this should work Prelude Data.Time.ZoneInfo> ctx <- newContext Nothing Prelude Data.Time.ZoneInfo> name <- zoneInfoName (utcOlsonZone ctx) True Prelude Data.Time.ZoneInfo> newOlsonZone ctx name *** Exception: Data.Time.ZoneInfo.newOlsonZone: invalid argument (Invalid argument) but it doesn't, neither does Prelude Data.Time.ZoneInfo> newOlsonZone ctx "America/New_York" *** Exception: Data.Time.ZoneInfo.newOlsonZone: invalid argument (Invalid argument) and my zoneinfo seems to be kosher on my machine $ ls /usr/share/zoneinfo/America/New_York /usr/share/zoneinfo/America/New_York $ ls /usr/share/zoneinfo/GMT /usr/share/zoneinfo/GMT what am i missing?

2 2

Announce: splot-0.1.1
by Eugene Kirpichov 21 Oct '10

21 Oct '10

Hi cafe, I wrote yet another tiny visualization tool for my purposes and uploaded it on hackage. splot is a tool for visualizing the lifecycle of many concurrent multi-stage processes. For example, I'm using it to find the performance bottlenecks in a distributed application: processes are tasks and tasks have stages like "task in queue", "validating", "running", "response in queue". http://www.haskell.org/haskellwiki/Splot The tool is very basic but sufficient for my purposes. I'll be happy if anyone else also finds it useful (or not useful, but tells me in which exact way). P.S. Remember, there's also http://www.haskell.org/haskellwiki/Timeplot - a tool with similar purpose but a different (and bigger) set of features. There's a new version coming in a few days. However, I wasn't able to quickly implement the functionality of splot in Timeplot, and I needed it quickly, so I wrote a separate tool. -- Eugene Kirpichov Senior Software Engineer, Grid Dynamics http://www.griddynamics.com/

1 0

Is it possible to "easily" connect Haskell to JavaScript/JavaFX in the browser and use a browser as a Windows GUI? :)
by caseyh＠istar.ca 21 Oct '10

21 Oct '10

Is it possible to "easily" connect Haskell to JavaScript/JavaFX in the browser and use a browser as a Windows GUI? :)

5 5

playing around with network.curl
by Michael Litchard 21 Oct '10

21 Oct '10

I'm using this tutorial as a guide http://flygdynamikern.blogspot.com/2009/03/extended-sessions-with-haskell-c… github has changed since this was posted, but I have managed a successful login. Now I am faced with dealing with a re-direct. I found this constructor CurlFollowLocation Bool on this page http://hackage.haskell.org/packages/archive/curl/1.3.5/doc/html/Network-Cur… It seems to do what I want, But I am not clear on how to use it. Could someone provide an example? Thanks. End goal is to snarf the cookie that establishes the session.

2 3

hs-plugins and memory leaks
by Evan Laforge 21 Oct '10

21 Oct '10

I was happy to see the recent announcement about hs-plugins being updated to work with newer ghc. I have a project and had always been planning to use it. However, there are some questions I've had about it for a long time. The 'yi' paper mentions both 'yi' and 'lambdabot' as users of hs-plugins. However, both those projects have long since abandoned it. I can't find any documentation on why, or even any documentation at all for Yi wrt its dynamic code execution system, but from looking at the source it looks like it uses hint for dynamic code execution and dyre for configuration. Dyre in turn uses serialization to pass the old state to the reconfigured app. So we have retreated from the idea of hotswapping the application state. It seems to me that the advantages as put forth in the 'yi' paper still hold. Changing the configuration in yi is rather heavyweight. Relinking the entire editor takes a long time, and yi is still a relatively small program. Editors can keep most of their state on disk and can have very simple GUI state, so perhaps the serialization and deserialization isn't such a problem, but this doesn't hold for other programs. It seems to me the loss is significant: there's a big difference between being able to experiment with a command by editing and rerunning it immediately, and having to wait 10s or more for the app to recompile, relink, shut down the ui, serialize all state, and restart. And if you add hint, you are linking in large parts of ghc, with an even slower link time. So, yi is no longer a dynamically reconfigurable application, and is now merely a configurable application. The apparent loss of such a useful feature (you might even say a defining feature) would presumably only happen if keeping it was untenable. And of course that makes me reluctant to make any kind of design that relies on it without first knowing why all existing users jumped ship. I can think of one possible reason, and that's a memory leak. In ghc/rts/Linker.c:unloadObj there's a commented out line '// stgFree(oc->image);'. In a test program I wrote that behaves like 'plugs', every executed line increases the size of the program by 12-16k. I have to remove the resolveObjs call from plugs for it to work, but once I do it displays the same leak. So my questions are: Why did lambdabot and yi abandon plugins? Is unloadObj a guaranteed memory leak? As far as I can tell, it's never called within ghc itself. If the choices are between a memory leak no matter how you use it and dangerous but correct if you use it right, shouldn't we at least have the latter available as an option? E.g. a reallyUnloadObj function that also frees the image. If I uncomment that line will it fix the problem? Is it safe to do so if I first force all thunks that might contain unloaded code? Long shot, but are there any more principled ways to guarantee no pointers to a chunk of code exist? The only thing I can think of is to have the state be totally strict and consist only of types from the static core. Would it be possible to hand responsibility for the memory off to the garbage collector? GHC now supports dynamic libraries. Given that plugins may need to link large portions of the static core "library", can it be loaded as a dynamic library so both the core and the plugins can share the same code? I haven't been able to find many references to ghc's support for dynamic linking.

3 5

How to make cabal pass flags to happy?
by Niklas Broberg 21 Oct '10

21 Oct '10

Hi all, I want to do something I thought would be quite simple, but try as I might I can't find neither information nor examples on how to achieve it. What I want specifically is to have happy produce a GLR parser from my .ly file, and I want this to happen during 'cabal install'. Which in turn means I want cabal to pass the "--glr" flag to happy during setup. My best guess is that I might want to use 'ppHappy' [1], or something in the vicinity, but there's no documentation for the combinator and it's far from obvious how to pass arguments to it. ... help? :-) Cheers, /Niklas

3 5

libefence useful for debugging ghc+ffi programs?
by Johannes Waldmann 20 Oct '10

20 Oct '10

Hi. I have an application compiled with ghc and using C via FFI (and lots of Haskell libraries as well) and it keeps annoying me with segfaults and (worse) unpredictable behaviour. I guess a C programmer would now apply electric-fence or valgrind. Is this a reasonable approach for ghc+ffi as well? E.g., this: Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 0x4114f950 (LWP 8343)] 0x00007f5af4e273b5 in free () from /usr/lib/libefence.so.0 (gdb) where #0 0x00007f5af4e273b5 in free () from /usr/lib/libefence.so.0 #1 0x00007f5af4059519 in ?? () from /usr/lib/libcurl.so.4 #2 0x00007f5af4059748 in ?? () from /usr/lib/libcurl.so.4 #3 0x00007f5af4059abd in ?? () from /usr/lib/libcurl.so.4 #4 0x00007f5af405f080 in ?? () from /usr/lib/libcurl.so.4 #5 0x00000000007bef95 in ?? () #6 0x00007f5aefb66628 in ?? () #7 0x00007f5af0df9f00 in ?? () #8 0x0000000000000000 in ?? () Is this a reason to distrust libcurl (the C libs) or curl (the Haskell package)? Thanks - J.W.

2 7

Return value of a (windows) process
by Arnaud Bailly 20 Oct '10

20 Oct '10

Hello, I have the following code (fragment) I use to wrap execution of various processes in Haskell, in the spirit of Don Stewart's slides about "Scripting in Haskell". instance MonadExec IO where exec proc args = do (exit, out, err) <- liftIO $ readProcessWithExitCode proc args "" case exit of ExitFailure e -> throwError $ userError ("Fail execution of " ++ program proc args ++ ": " ++ (show e) ++", " ++err) ExitSuccess -> return out Here is the abridged declaration of MonadExec: class (Monad m) => MonadExec m where exec :: String -> [String] -> m String The issue I am facing is that readProcessWithExitCode does not seem to return the expected failures. When I run some failing process within windows command shell, I have: D:\projets\psug-dojo\lags>"d:/Program Files/scala-2.8.0/bin/scalac.bat" -d target\test-classes -classpath target\classes;D:\projets\ psug-dojo\lags\test-lib\specs_2.8.0-1.6.5.jar;D:\projets\psug-dojo\lags\test-lib\scalacheck_2.8.0-1.7.jar;D:\projets\psug-dojo\lags\ test-lib\junit-4.7.jar -d target\test-classes src\test\scala\oqube\lags\LagsTest.scala src\test\scala\oqube\lags\LagsTest.scala:86: error: not found: value beS_== bid.sublists(List(Request(1,2,3))) must beS_==(List(Nil,List(Request(1,2,3)))) ^ one error found D:\projets\psug-dojo\lags>echo %ERRORLEVEL% 1 D:\projets\psug-dojo\lags> but wrapping this same process in my "shell", I always got an ExitSuccess. What am I doing wrong ? Thanks Arnaud

2 2