- Haskell-Cafe - Haskell.org

Directed rounding in haskell ?
by Dominik Peteler 14 Apr '14

14 Apr '14

Hello list, I'm going to implement an interval arithmetic library (following the IEEE P1788) in Haskell and for that I need support for directed rounding to the nearest floating point number. I had a quick look at the Decimal package which comes with the `roundTo` function for rounding to a specified number of decimal places but it doesn't provide directed rounding. Is there way to get directed rounding to to the nearest float (maybe even with machine floats) ? I'm also aware of the AERN-* packages but they seem to be unmaintained. At least there is no version which builds with the current GHC. Does anybody know something about that ? Regards dominik

7 10

Cabal flag default based on external program
by Sebastian Wiesner 14 Apr '14

14 Apr '14

Hello, I have a cabal package with some optional flags. The “reasonable” default for these flags depends on the target system, specifically on the result of some external program. Is there a way to dynamically set the default value of a Cabal flag based on the result of an external program in my .cabal file? Greetings, Sebastian Wiesner

1 0

Best practice to target different monad transformer libraries?
by Ismael Figueroa 14 Apr '14

14 Apr '14

I am developing the effective-aspects package, which currently depends on the mtl library. I want to develop a new version based on the "Monads, Zippers and Views" approach, developed by Schrijvers and Oliveira in ICFP'11. The question is: do I need to publish a new package, say, effective-aspects-mzv, which will be an almost duplicate of the original package? or is there another more elegant way to deal with this situations? Thanks -- Ismael

1 0

Patches for (abandoned?) pcre-light
by Nikolay Amiantov 14 Apr '14

14 Apr '14

Hello, I've tried the new ghc-7.8.1 and have had an issue with building pcre-light as one of dependencies for my project. I've made a patch which fixes this, but I can't reach maintainer by e-mail -- what can I do in this situation? Also, the second (unrelated) question would be: how can I find a package which depends on it in my project? I have found no way to dump a dependency tree in cabal. Thanks in advance, Nikolay.

5 8

Using GHC.Generics to print data type structure
by J. Stutterheim 14 Apr '14

14 Apr '14

Hi all, I'm trying to use GHC.Generics to print a data type's structure. I have a test type TestRecord: data TestRecord = TestRecord { trId :: Int , someStr :: String } deriving Generic And a PrintDT class: class PrintDT a where printDT :: a -> String default printDT :: (Generic a, GPrintDT (Rep a)) => a -> String printDT = gprintDT . from With a corresponding instance for TestRecord. The GPrintDT class and instances are defined as follows: class GPrintDT f where gprintDT :: f a -> String instance (GPrintDT a, GPrintDT b) => GPrintDT (a :*: b) where gprintDT (x :*: y) = " { " ++ gprintDT x ++ ", " ++ gprintDT y ++ " }" instance (Datatype d, GPrintDT f) => GPrintDT (D1 d f) where gprintDT d = "data " ++ datatypeName d ++ " = " ++ (gprintDT $ unM1 d) instance (Constructor c, GPrintDT f) => GPrintDT (C1 c f) where gprintDT con | conIsRecord con = conName con ++ (gprintDT $ unM1 con) | otherwise = "No record" instance (Selector s, GPrintDT a) => GPrintDT (S1 s a) where gprintDT m = selName m instance (PrintDT a) => GPrintDT (K1 i a) where gprintDT _ = "" instance PrintDT Int where printDT n = show n instance PrintDT String where printDT xs = xs In a first attempt, I apply printDT to a TestRecord value: test1 :: String test1 = printDT (TestRecord 1 "foo") This prints the expected result: "data TestRecord = TestRecord { trId, someStr }" Now ideally, I wouldn't have to specify some value of TestRecord to get this output, since so far, I'm only printing the structure of the TestRecord type, not the values. I would want the following to give me the same result string: test2 :: String test2 = printDT (undefined :: TestRecord) With the current implementation, test2 gives me the following output: "data TestRecord = TestRecord*** Exception: Prelude.undefined Is there a way to implement GPrintDT such that test2 gives me the same output as test1? Thanks! - Jurriën

3 3

Trouble splitting up source into multiple files, when using data abstraction.
by David Banas 14 Apr '14

14 Apr '14

Hi all, I’ve defined a typeclass, LogTree, and would like to put each instance definition in its own source file, in order that LogTree.hs not grow to a ridiculous length. I’m attempting to use data abstraction, in order to future-proof the user interface to this class. So, for instance, I don’t make all of the data constructors defined in LogTree accessible, via the module export list, but rather force the user to use certain “helper” functions, instead. However, the individual instance definitions do need access to these data constructors, but they’re in a different source file. Is this possible? That is, is it possible to provide different export lists to “friendly” vs. “unknown” client code? Thanks, -db

7 7

ANN: haskell-src-exts-1.15.0
by Roman Cheplyaka 13 Apr '14

13 Apr '14

I'm pleased to announce the release of haskell-src-exts-1.15.0! Hackage: https://hackage.haskell.org/package/haskell-src-exts-1.15.0 GitHub: https://github.com/haskell-suite/haskell-src-exts Changes from the last 1.14.0.1 release: * Add support for extensions: - MultiWayIf - LambdaCase - DataKinds * Remove support for old (deprecated) Generics * Derive GHC's Generic instances for datatypes * Derive some missing Data and Typeable instances * Many bug fixes * Add missing Functor and Applicative instances for monads * Remove support for GHCs older than 7.4 This release is brought to you by: Adam Vogt Andrés Sicard-Ramírez Ben Gamari Daniel Oom Danylo Hlynskyi Michael Sloan Neil Mitchell Niklas Broberg Niklas Hambüchen Philipp Schuster phischu Roman Cheplyaka Stefan Wehr Stijn van Drongelen

1 0

Handling Windows file name conventions without unix (Posix) package?
by Dominick Samperi 13 Apr '14

13 Apr '14

Hello, The unix package (System.Posix) is not supported under Windows and I wonder if there is an alternative solution that deals with the odd file naming convention under windows (backward vs unix forward slash), spaces in file names, etc. It looks like System.Environment is a good substitute for System.Posix.Env, but it is not clear how to deal with file naming conventions. Any pointers or tips would be much appreciated. Thanks, Dominick

4 3

Video chair at ICFP
by Johan Jeuring 13 Apr '14

13 Apr '14

Dear people, We are busy organising ICFP 2014, which will happen together with the Haskell Symposium and many other events in Göteborg in Sweden from August 31 until September 6 2014. I am looking for a Video chair to organise the recording of the events on video. Tasks - prepare the video recording of the events: equipment (camera's, software, microphones?), required post-processing, ... - instruct student-volunteers in assisting the recording process - oversee the post-processing of the recordings, and the uploads Budget - we have some budget available for buying or renting equipment for the video recordings, or we can pay you for you bringing your own equipment - we will defray your costs for travelling to Göteborg, staying in Göteborg, and attending ICFP 2014 and affiliated events Please contact me if you are interested in this position/task, With kind regards, Johan Jeuring General chair for ICFP 2014

2 1

warp vs scotty + some benchmark numbers
by Miro Karpis 13 Apr '14

13 Apr '14

Hi, I'm trying to make a small benchmarking for warp and scotty (later with json/no-json text performance test). My client is a Qt c++ application. I made a minimum code in both Haskell and C++. The problem is the numbers I'm getting. (Benchmark::pong-warp) - total requests: 10000 , send/received in msec: 3848 (Benchmark::pong-scotty) - total requests: 10000 , send/received in msec: 3814 Only sending 10k requests from my c++ client takes around 1 sec. What I don't understand is: a) how is it possible that scotty is so close to warp (in this run it even wins)? b) 10k requests I'm getting in approximately 4 seconds. Here<http://www.yesodweb.com/blog/2011/03/preliminary-warp-cross-language-benchm…>is one 2 years old benchmark with 80k/second. Why is there so big difference? I'm running on macbook-pro 16g, 2.3 GHz Scotty and warp is compiled with: -O2 -threaded --scotty import Web.Scotty import Data.Monoid (mconcat) main = scotty 3005 $ do get "/" $ do text "pong" --warp import Network.Wai(responseLBS, Application) import Network.HTTP.Types(status200) import Network.Wai.Handler.Warp (run) app :: Application app _ = return $ responseLBS status200 [("Content-Type", "text/plain")] "pong" main :: IO () main = do let port = 3000 putStrLn $ "Listening on port " ++ show port run port app --c++ client sample (Qt) simStart = QDateTime().currentMSecsSinceEpoch(); for(int i=0; i<requests; i++){ QNetworkReply *reply = manager->get(QNetworkRequest(url)); QEventLoop eventLoop; QObject::connect(manager, SIGNAL(finished(QNetworkReply *)), &eventLoop, SLOT(quit())); eventLoop.exec(); QObject::disconnect(manager, SIGNAL(finished(QNetworkReply *)), &eventLoop, SLOT(quit())); } qDebug() << "(Benchmark::pong) - total requests: " << requests << ", send in msec: " << (QDateTime().currentMSecsSinceEpoch()-simStart); cheers, miro

4 3