- Haskell-Cafe - Haskell.org

Dual-licensing the package on Hackage
by David Sorokin 30 Jul '13

30 Jul '13

Hi, Cafe! Probably, it was asked before but I could not find an answer with help of Google. I have a library which is hosted on Hackage. The library is licensed under BSD3. It is a very specialized library for a small target group. Now I'm going to relicense it and release a new version already under the dual-license: GPLv3 and commercial. In most cases GPL will be sufficient as this is not a library in common sense. Can I specify the GPL license in the .cabal file, or should I write OtherLicense? I'm going to add the information about dual-licensing in the description section of the .cabal file, though. Thanks, David

6 13

haskell.org down?
by Paul Koerbitz 29 Jul '13

29 Jul '13

Dear list, I am not sure if this is the right place to post this, but I just went to haskell.org and got a "Sorry! This site is experiencing technical difficulties." error message. cheers Paul

2 2

Re: [Haskell-cafe] CmdArgs non-flag arguments with newtypes
by wren ng thornton 29 Jul '13

29 Jul '13

On 7/23/13 9:01 PM, Michael Orlitzky wrote: > Obviously not what I want! Has anyone > else run into this? Figured out a workaround? I haven't run into this specific problem, but I do have a sort of workaround. Whenever dealing with CmdArgs (or any similar system) I typically define *two* record types. The first one just gets the raw input from CmdArgs; no more, no less. Thus, for your issue, this record would use String. For other issues mentioned recently about optionality, this record would use Maybe. The second one is the one actually used by the program as the configuration object. This one is generated from the first by performing various sanity checks, filling in defaults, converting types from their CmdArgs version to the version I actually want, etc. IME, regardless of language, trying to conflate these notions of an external-facing parser-state and an internal-facing configuration-record just causes problems and accidental complexity. It's best to keep them separate IMO. -- Live well, ~wren

2 1

[ANN] thirdake-0.1 the Makefile-like DSL
by Sergey Mironov 29 Jul '13

29 Jul '13

Hi, cafe. Neil Mitchell mentioned more than ten build systems written in Haskell in his paper [1]. The list includes shake (of cause) Abba, Coadjuke, hake, hmk, and even two cakes. I'm glad to announce the thirdcake - a DSL for make language. Thirdcake allows user to produce clean and safe (I hope) Makefiles for the good old GNU make. The package is in it's early stages and is not on Hackage yet. Consider visiting https://github.com/grwlf/cake3 or just git clone https://github.com/grwlf/cake3 ./Example/Foo contains working toy-project demonstrating the approach. Regards, Sergey [1] - http://community.haskell.org/~ndm/downloads/paper-shake_before_building-10_… PS My English is still buggy, feel free to patch the grammar as well as the rest

1 0

using network+conduit+tls for a client application?
by Petr Pudlák 29 Jul '13

29 Jul '13

Dear Haskellers, I wanted to write a small TLS application (connecting to IMAP over TLS) and it seemed natural to use conduit for that. I found the network-conduit-tls package, but then I realized it's meant only for server applications. Is there something similar for client applications? Thank you, Petr Pudlak

4 4

Is withAsync absolutely safe?
by Roman Cheplyaka 29 Jul '13

29 Jul '13

Can withAsync guarantee that its child will be terminated if the thread executing withAsync gets an exception? To remind, here's an implementation of withAsync: withAsyncUsing :: (IO () -> IO ThreadId) -> IO a -> (Async a -> IO b) -> IO b -- The bracket version works, but is slow. We can do better by -- hand-coding it: withAsyncUsing doFork = \action inner -> do var <- newEmptyTMVarIO mask $ \restore -> do t <- doFork $ try (restore action) >>= atomically . putTMVar var let a = Async t (readTMVar var) r <- restore (inner a) `catchAll` \e -> do cancel a; throwIO e cancel a return r I am interested in the case when an exception arrives which transfers control to 'cancel', and then another exception arrives to the same thread. Even though 'catchAll' (which is a type-restricted synonym for catch) masks the exception handler, 'throwTo' inside 'cancel' is interruptible (as stated by the documentation). Will this scenario lead to a thread leakage? Roman

2 2

Munich Haskell Meeting
by Heinrich Hördegen 29 Jul '13

29 Jul '13

Dear all, our monthly Haskell Meeting will take place tomorrow, Tuesday the 30th of July, at 19h30 in Munich. Please note that we will meet at Max-Emanuel-Brauerei. If you plan to join, please hit the button at http://www.haskell-munich.de/dates Have a nice week, Heinrich

1 0

haskell-gtk entry question
by briand＠aracnet.com 28 Jul '13

28 Jul '13

Hello all, This should be simple, and I thought it had it working, but I've broken it and can't figure out why. What I want is to invoke the callback whenever the user activates and entry in a dialogbox, so I did both this : Gtk.on entry Gtk.entryActivate (boxHandler entry) (I believe this supercedes the previous method which was onEntryActivate) and this Gtk.on entry Gtk.entryPreeditChanged (boxHandler entry) however neither method will invoke the callback. The program compiles and works just fine, it's just that the callback never runs. Thank you, Brian

2 2

casting a into Maybe a
by Joerg Fritsch 27 Jul '13

27 Jul '13

If I have the following type signature transMit :: Serialize a => Socket -> POSIXTime -> KEY -> Maybe a -> TPSQ -> TMap a -> IO () And the function is called with transMit s now key newmsgs q m where newmsgs is whatever type a I get but _not_ a Maybe a then I get the error Could not deduce (a ~ Maybe a) from the context (Serialize a) Can I somehow when I call transmit cast newmsgs into a Maybe newmsgs or so so that the function call fits the type signature? --Joerg

2 1

scrz - container management tool written (partly) in haskell
by Tomas Carnecky 27 Jul '13

27 Jul '13

Scrz (http://scrz.io) is a container (LXC) management tool. It is heavily inspired by docker and heroku, but also provides features which those two don't have. It comes in two parts, one is the supervisor which manages the containers, the other is a server which stores the configuration. The supervisor fetches its configuration from the server. Only the supervisor is written in Haskell, the configuration server is written in Ruby on Rails. I use scrz on my personal server, and it's also used to automate deployments of http://encounter.io (another side project that I have). I just recently updated the homepage and redesigned the configuration server UI (screenshot link at the bottom). It's more difficult to set up than docker, and not that well integrated into the system. This is partly due to lack of good low-level sysadmin libraries for Haskell (eg. to list/create/inspect network interfaces) and partly due to dependencies on new versions of software that are not even available in the latest stable ubuntu (lxc-tools version 0.9.x). The project is maintained on github: https://github.com/scrz. http://cl.ly/image/262v1x1r2T12

1 0