- Haskell-Cafe - Haskell.org

Haskell on RedHat?
by Mario Blažević 07 Mar '15

07 Mar '15

What is the recommended route for installing a recent GHC on RedHat Enterprise Linux? All I could find on the official haskell.org Web pages is a GHC 7.8.4 repository for Fedora 21. Also, are there any potential difficulties with deploying a Haskell executable compiled on an Ubuntu system to RedHat EL, or vice versa? Thank you.

4 4

Beginner
by Sarthak Shetty 06 Mar '15

06 Mar '15

Hi everyone, this is Sarthak Shetty from India. I'm a CSE student who is somewhat comfortable with Java, C, Python and R. I would like to learn Haskell and start contributing right away. Can someone help me get started?

4 3

Lifting Writer to ListT
by Nicola Gigante 06 Mar '15

06 Mar '15

Hi all, Suppose I have this monad stack: type MyMonad = ListT (Writer W) Where ListT is done right (from the list-t package). What I want is a nondeterministic computation where each alternative logs to the same writer, and indeed the type of runWriter . toList is MyMonad a -> ([a], w) so I think I got it right. What I would like to do is to write an instance of MonadWriter for this monad, but I'm stuck with the implementation of listen. Just using lift won't work, and indeed I see that MonadWriter lifting instances for other monads (e.g MaybeT), are a bit convoluted. Could someone explain me a little bit what should I do (what listen should do in a ListT in the first place) Thank you :) Nicola

2 2

is it possible to implement Functor for ByteString and Text
by silvio 06 Mar '15

06 Mar '15

I have recently heard that some people want to burn bridges (introducing Foldable and Traversable to Prelude) and I've been wondering if it was possible somehow allow Text and Bytestring like containers to make use of those functions. Something along the lines of import qualified Data.ByteString as BS newtype ByteString' a = ByteString' BS.ByteString type ByteString = ByteString' Word8 instance (ByteString' a ~ ByteString' Word8) => Functor (ByteString') where fmap f (ByteString' bs) = ByteString' $ BS.map f bs Or if DataContexts worked as you would expect. newtype (Word8 ~ a) => ByteString' a = ByteString' BS.ByteString However I couldn't find a solution and I was just wondering if it is possible. P.S. Using GADTS it does actually work for Foldable, but only because it doesn't have to output any ByteStrings. It doesn't work for Functor for instance. data ByteString' a where ByteString' :: BS.ByteString -> ByteString' Word8 type ByteString = ByteString' Word8 instance Foldable ByteString' where foldr f ini (ByteString' bs) = BS.foldr f ini bs Silvio

7 9

Am I using Parsec correctly?
by Cody Goodman 06 Mar '15

06 Mar '15

-- trying to parse the text below using Parsec: -- ACT I. -- SCENE I. An open place. -- [An open place. Thunder and lightning. Enter three Witches.] -- FIRST WITCH. -- When shall we three meet again -- In thunder, lightning, or in rain? -- Here's the code I have import Text.Parsec import Control.Applicative import Data.Traversable (sequenceA) section s = sequenceA [string s, string " ", many1 letter] `endBy` char '.' act = section "ACT" scene = section "SCENE" main = do parseTest act "ACT I.\n" parseTest scene "SCENE I." -- this returns: -- λ> main -- [["ACT"," ","I"]] -- [["SCENE"," ","I"]] -- Am I using Parsec correctly so far? -- After this I want to match acts (many1 act) and scenes (many1 scene) and I believe I see how to do that, just wanting to make sure I'm on the right track.

2 1

Re: [Haskell-cafe] Hackage and Free Software
by Duncan Coutts 06 Mar '15

06 Mar '15

All, Hackage has of course always been for open source Haskell software (and has always rejected "AllRightsReserved" packages). Prompted by this recent discussion, Gershom, SPJ, and the hackage admins have come up with a few changes to make our current implicit open source policy a bit more explicit: * The hackage homepage will say "Hackage is the Haskell community's central package archive of open source software." * The signup and upload pages will have a new blurb on open source licenses. See below. * We will accept a patch along the lines of https://mail.haskell.org/pipermail/cabal-devel/2015-March/010019.html to continue to reject "AllRightsReserved" on hackage (though we may move the check from cabal into hackage). * And on a somewhat related topic: we will finish the discussion on hackage trustee guidelines (mostly about editing package metadata) and post them. https://github.com/haskell/hackage-server/commit/66a7acd125d486e55bb6674358… Here's the new blurb: Open source licenses The code and other material you upload and distribute via this site must be under an open source license. This is a service operated for the benefit of the community and that is our policy. It is also so that we can operate the service in compliance with copyright laws. The hackage operators do not want to be in the business of making judgements on what is and is not a valid open source license, but we retain the right to remove packages that are not under licenses that are open source in spirit, or that conflict with our ability to operate this service. (If you want advice, see the ones Cabal recommends.) The hackage operators do not need and are not asking for any rights beyond those granted by the open source license you choose to use. All normal open source licenses grant enough rights to be able to operate this service. In particular, we expect as a consequence of the license that: 1. we have the right to distribute what you have uploaded to other people 2. we have the right to distribute certain derivatives and format conversions, including but not limited to: * documentation derived from the package * alternative presentations and formats of code (e.g. html markup) * excerpts and presentation of package metadata * modified versions of package metadata Please make sure that you comply with the license of all code and other material that you upload. For example, check that your tarball includes the license files of any 3rd party code that you include. We hope this will be uncontroversial as it is just the status quo. Note that the hackage admins are not getting involved in a license debate, and we are not asking for any grant of rights (implicitly or explicitly) when you upload stuff. The open source license you use grants all the rights we need to be able to run the site. Duncan On Sat, 2015-02-28 at 19:27 +0200, fr33domlover wrote: > Hello haskellers! > > I would like to make a proposal regarding the license of software in Hackage. > > > > One of the major parts of the Haskell community infrastructure in the package > database server Hackage. As far as I know - please correct me if I'm wrong - > Hackage makes no restriction on the license of packages upload to it. But as a > community working in cooperation to make good software, the Haskell community > has embraced licenses like (L)GPL, MIT and BSD, which are free software > licenses. > > Actually the all-rights-reserved tag in Hackage [1] has only two packages > tagged by it - the dummy no-op project HNop, and another package whose COPYING > file contains a broken link and whose README says "BSD style license". > > > > Software freedom is an ethical basis for collaboration on making software > that's truly good and loayl to its users, and providing them control and > freedom to access and use their computing resources. > > It seems to me that the Haskell community is already enbracing this ethical > basis, but Hackage doesn't provide any guarantees and it means that you'd have > to check each package to be sure. By having that all-rights-reserved tag it > also in a way welcomes software that doesn't go by these rules - however it > seems that no packages do that even in the presence of the possibility. > > > > > I'd like to make a suggestion: have Hackage accept only packages released under > free software licenses. This is probably true for most/all packages there, but > making it official will both send a strong message to and from the community, > and provide people with the security and peace of mind, knowing their software > is free as in freedom. > > It is also possible that companies use Haskell to create proprietary software > using permissive-licensed libraries and tools from Hackage. I hope this isn't > true, but even if it is, this software isn't offered by Hackage and I hope its > existence doesn't affect the community's use of Hackage and free software. > > > > Would you consider to embrace free software officially, including in Hackage? > > > > Thanks for reading, > waiting to hear from the community and from haskell.org maintainers, > fr33domlover > > > > [1] http://hackage.haskell.org/packages/tag/all-rights-reserved > > --- > fr33domlover <http://www.rel4tion.org/people/fr33domlover> > GPG key ID: 63E5E57D (size: 4096) > GPG key fingerprint: 6FEE C222 7323 EF85 A49D 5487 5252 C5C8 63E5 E57D > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

1 0

GHCi timing statistics
by David Rush 06 Mar '15

06 Mar '15

Hi all - Is it my imagination, or are the statistics printed by GHCi when :set +s has been enabled entirely spurious when SMP parallelism is turned on? I'm trying to determine if I am actually getting any improvement, and - both by the wall clock and by the reported statistics I don't seem to be; however, the reported statistics don't seem to line up very well with the wall clock time. An additional oddity that I've noted is that my algorithm's reference implementation - which simply can't run in parallel due to a foolishly introduced data dependency - still seems to kick 16 CPUs well into the 90%+ utilization range when I have +RTS -N. This code has no parallelism primitives in it whatsoever. I realize that I'm not being terribly rigorous in my description here, but that is partly because I am not sure how to report on this yet. I think my next step is going to be to build a standalone executable to check using the Unix time command. For reference I am running Haskell platform from Debian Jessie on a 16- core amd64 system with 29GiB or RAM available. This would appear to be GHC 7.6.3 :( - d

3 2

Design of protocol implementation?
by Magnus Therning 06 Mar '15

06 Mar '15

By now I've written a couple of implementations of (reply / response) protocols in Haskell. They all basically follow the same pattern: 1. One message type with a constructor for each, e.g. data Message = PingMsg | ... 2. One reply type with a constructor for each, e.g. data Reply = PingReply | ... 3. Any message or reply containing data has a constructor taking an argument of a type for that data, e.g. data Message = ... | SendDataMsg SendDataD | ... data SendDataD = SendDataD ByteString 4. The raw data is received from somewhere and passed through a parser written using attoparsec. 5. The messages are rendered into ByteString using ByteString.Builder. So, in essence something like this: +------+ +----------+ +-------+ +------------+ +------+ | read | --> | parse | --> | stuff | --> | render | --> | send | | raw | | into | +-------+ | to | | raw | +------+ | Messages | | ByteString | +------+ +----------+ +------------+ I'm curious to hear about other ways to handle protocols. Are there any papers written on implementing protocols using FP in particular? The protocols I've faced are rather simple things, what about more complicated ones, e.g. multi-layered protocols (ala IP - TCP)? /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: magnus(a)therning.org jabber: magnus(a)therning.org twitter: magthe http://therning.org/magnus In order to understand recursion you must first understand recursion.

4 3

(no subject)
by S J Rajath Krishna 05 Mar '15

05 Mar '15

I would like to create an account with the following user name User name : "raxerz" (Without the quotes) Thanks,S J Rajath Krishna

3 6

ghci and dynamically linking to Objective-C objects on Mac OS X
by Sean Seefried 05 Mar '15

05 Mar '15

Hi all, I fear I might be unaware of something I should be. Say I have a file objc_util.m with the following contents: #include <Foundation/Foundation.h> void ns_log(const char *s) { NSString *str = [NSString stringWithUTF8String:s]; NSLog(@"%@", str); } I also have a file Main.hs with contents: {-# LANGUAGE ForeignFunctionInterface #-} module Main where import Foreign.C.Types import Foreign.C.String foreign import ccall "ns_log" cNSLog :: CString -> IO () nsLog s = withCString s cNSLog I compile objc_util.m with: gcc -c objc_util.m And then I try to open it up in GHCi. ghci objc_util.o Main.hs -framework Foundation I add the flag '-frame Foundation' in the hopes that symbols in objc_util.o will get resolved dynamically. However I get: GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading object (static) objc_util.o ... ghc: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/pv/pfxcyy117v31vt6lsshtgr_w0000gn/T/ghc33546_0/ghc33546_1.dylib, 9): Symbol not found: _OBJC_CLASS_$_NSString Referenced from: /var/folders/pv/pfxcyy1 17v31vt6lsshtgr_w0000gn/T/ghc33546_0/ghc33546_1.dylib Expected in: flat namespace in /var/folders/pv/pfxcyy117v31vt6lsshtgr_w0000gn/T/ghc33546_0/ghc33546_1.dylib Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug However, I have found a work around to this. If I do this: ln -s /System/Library/Frameworks/Foundation.framework/Foundation Foundation.o and then run ghci Foundation.o objc_util.o Main.hs I get this: GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading object (static) Foundation.o ... done Loading object (static) objc_util.o ... done final link ... done Everything has worked! And I can happily run 'nsLog' from GHCi and have it appear in the 'Console' app. However, it doesn't seem like I should have to do this. Where am I going wrong? Sean

3 6