- Beginners - Haskell.org

how to split a list
by PICCA Frederic-Emmanuel 27 Mar '18

27 Mar '18

Hello, I try to achieve this but I can not find a convenient (elegant solution) let l =[1,2, 3, 4, 6, 7, 9, 10] I want this [[1, 2, 3, 4][6, 7],[9, 10]] In fact I want to split a list with all consecutive series. I imagine that it existe a one-liner for this but I did not find it :)) Cheers and thanks for your help Frederic

3 7

[Call for Contributions] Haskell Communities and Activities Report, May 2018 edition (34th edition)
by Mihai Maruseac 26 Mar '18

26 Mar '18

Dear all, We would like to collect contributions for the 34th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2018 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/11-2017/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2017/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/) The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

GSoC Project
by Sanya Negi 20 Mar '18

20 Mar '18

Hello! I am extremely interested in the project " offline mode for stack " for GSoC, for which I have learnt basic stack and have been learning more. Please guide me as to what other specific things I have to delve into and provide me pointers and inputs on how to break this problem into pieces to form my proposal. I can't seem to get in touch with the projects mentor Emanuel Borsboom. And as the deadline is reaching, I really need to start forming my proposal now. Soliciting a prompt and positive response. Sanya Negi

2 1

how to know if a value has already been evaluated?
by Ut Primum 18 Mar '18

18 Mar '18

In Haskell, the value of a variable is not always evaluated. This is fundamental when working with infinite lists. Is there a way of determining whether, at a certain point of the execution of a program, a value has been calculated or not? In particular, I would like to write a function that works on an infinite list that: - if the first value of a list, x, has already been evaluated, returns [x] - Else waits until it is evaluated, but without forcing its evaluation. (eventually, its evaluation will be forced later by other functions). Until then, the result of this function must be considered as [ ]. As soon as x is computed, it can return [x]. Is something like this possible in Haskell?

2 1

ReadP & Error Reporting
by Hilco Wijbenga 10 Mar '18

10 Mar '18

Hi all, I recently discovered ReadP (Text.ParserCombinators.ReadP) and I wondered if I could use it to write simple parsers _with decent error reporting_. Let's say I want to parse "[ab] [12]" (i.e. either 'a', or 'b', followed by whitespace, followed by '1', or '2'). I believe something like this does the trick: parse = do name <- ReadP.choice [ReadP.char 'a', ReadP.char 'b'] ReadP.skipMany1 (ReadP.satisfy (\ch -> ch == ' ' || ch == '\t')) value <- ReadP.choice [ReadP.char '1', ReadP.char '2'] return (name, value) How do you add error handling to this? Obviously, I could change the signature to return an Either but I don't see how I "return" anything other than Right. E.g., I would want to give a warning like "Expected 'a', or 'b'" if anything other than 'a', or 'b' is used as first character. Similarly for '1' and '2'. The obvious(?) way would be to add an error result as the last option. The best I can come up with is adding ReadP.pfail to the list of choices but that doesn't allow me to add a useful error. Is ReadP simply not powerful enough for this? Or am I overlooking something obvious? I did some googling and there is plenty about creating parsers with parser combinators but I could not find anything about error handling. Cheers, Hilco

2 1

Clarification regarding idea discussion
by Ashwin Samudre 08 Mar '18

08 Mar '18

Hello, I am Ashwin Samudre a CSE undergraduate from Pune, India. I started learning haskell some time ago and I am referring the book 'first principles with haskell'. Being a student, I thought of applying for upcoming GSOC with Haskell community after going through the ideas page. Can I ask for the help to discuss the selected project idea on this mailing list.? If not, please let me know which could be the right place to discuss regarding this. Thank you.

2 2

Functor instance
by Hilco Wijbenga 05 Mar '18

05 Mar '18

Hi all, I'm trying to implement my own Result type (and yes, I'm aware you can abuse Either for this :-) ) but doing something as (seemingly?) simple as implementing a Functor instance was surprisingly difficult. data Result failure success = Success success | Failure failure instance Functor (Result failure) where fmap f (Success value) = Success (f value) fmap _ (Failure error) = Failure error -- fmap _ result@(Failure error) = result -- fmap _ result = result 1) Is it possible to define "Result" as "Result success failure" (instead of "Result failure success") and _still_ create an instance of Functor? 2) The two alternatives for fmap for the Failure scenario do not compile (the end result is "Result failure a" instead of "Result failure b") and that makes sense. But I would like to be able to express that "result" is not touched. Is there any way to do that? 3) And while wondering about that, is GHC smart enough to realize that "= Failure error" in the failure scenario is actually a NOP? (I'm just curious.) Cheers, Hilco

5 7

Re: [Haskell-beginners] Functor instance
by Sumit Raja 04 Mar '18

04 Mar '18

> I'm trying to implement my own Result type (and yes, I'm aware you can > abuse Either for this :-) ) but doing something as (seemingly?) simple > as implementing a Functor instance was surprisingly difficult. > Without knowing your final use case are Bifunctors what you are after (https://hackage.haskell.org/package/base-4.10.1.0/docs/Data-Bifunctor.html)? I used them when I wanted to fmap Left to convert errors to other errors. -Sumit

2 1

Overload ^
by trent shipley 03 Mar '18

03 Mar '18

{- I want to override Prelude.^ (as an academic exercise). Can it be done? How? Trent -} (^) :: Int -> Int -> Int m ^ 0 = 1 m ^ n = m * (m ^ (n-1)) {- Hutton, Graham. Programming in Haskell (p. 263). Cambridge University Press. Kindle Edition. 2016. -} {- Result [1 of 1] Compiling Main ( ex6_3b.hs, interpreted ) ex6_3b.hs:3:16: error: Ambiguous occurrence ‘^’ It could refer to either ‘Prelude.^’, imported from ‘Prelude’ at ex6_3b.hs:1:1 (and originally defined in ‘GHC.Real’) or ‘Main.^’, defined at ex6_3b.hs:2:3 | 3 | m ^ n = m * (m ^ (n-1)) | ^ Failed, no modules loaded. -} -- So I try (^) :: Int -> Int -> Int m Main.^ 0 = 1 m Main.^ n = m * (m Main.^ (n-1)) {- Result Prelude> :reload ex6_3b.hs:2:3: error: Qualified name in binding position: Main.^ | 2 | m Main.^ 0 = 1 | ^^^^^^ [1 of 1] Compiling Main ( ex6_3b.hs, interpreted ) Failed, no modules loaded. -}

2 1

soap client python -> haskell
by PICCA Frederic-Emmanuel 23 Feb '18

23 Feb '18

Hello, I try to reproduce this kind of python code into haskell --- python -- whcih use the suds module cj = CookieJar() url_opener = urllib2.build_opener(urllib2.HTTPCookieProcessor(cj)) transport = HttpAuthenticated(username=self.getIspybUserName(), password=self.getIspybPassWord()) service_name = "ToolsForCollectionWebService" url = "http://195.221.10.20/ispyb-ws/ispybWS/ToolsForCollectionWebService?wsdl" collectionWSClient = Client(url, transport=transport, timeout=3) collect_params = collectionWSClient.service.findDataCollection(dataCollectionId)--- --- Has you can see, I create a Transport whcih need an Authentification and also I need to use a cookieJar in oder to manage the connection. The a soap client is instanciated from the url and with this transport. Then the findDatacollection service is called. Now I would like to reproduce this with Haskell and the soap package (or not if it is easier without) I started like this getDataCollection :: Transport -> Int -> IO Response getDataCollection t i = invokeWS t url () body parser where url = "http://195.221.10.20/ispyb-ws/ispybWS/ToolsForCollectionWebService?wsdl" -- ?wsdl/findDatacollection" body = elementA "ToolsForCollectionWebService" [("xmlns", "findDataCollection")] $ element "dataCollectionID" i parser = StreamParser . flaxTag "" $ response response = Response <$> flaxContent "filePath" main :: IO () main = do -- Initial one-time preparations. transport <- initTransportWithM defaultManagerSettings url pure pure response <- getDataCollection transport dataCollectionID print response And When I run this I have this message autoprocessing-exe: HttpExceptionRequest Request { host = "xxx.xxx.xxx.xxx" port = 80 secure = False requestHeaders = [("Content-Type","text/xml; charset=utf-8"),("SOAPAction","http://195.221.10.20/ispyb-ws/ispybWS/ToolsForCollectionWebService?wsdl")] path = "/ispyb-ws/ispybWS/ToolsForCollectionWebService" queryString = "" method = "POST" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutMicro 15000000 requestVersion = HTTP/1.1 } TlsNotSupported I know that I do not want the https, the url is http and not https. now I do not know how to modify this in order to deal with the authentification and the cookiesJar. It seems here that proxy is Nothing so I hope thqht it will use the http[s]_proxy environment variable. thanks for your help. Frederic

1 0