- Haskell-Cafe - Haskell.org

missing rseq?
by Kees Bleijenberg 11 Mar '15

11 Mar '15

In the book Parallel and Concurrent Programming in Haskell http://chimera.labs.oreilly.com/books/1230000000929/ch02.html#sec_par-eval-s udoku2 a list of sudokus is solved in parallel. In version 2 (sudoku2.hs) the program splits the list of sudokus in 2 seperate lists and solves these lists in parallel. In version3 (sudoku3.hs) parMap is used. What I don't understand is why in sudoku2 the program has to wait until the parallel computations are finished with rseqs while in sudoku3.hs there is no rseq (not in the main program nor in parMap)? Why can't program sudoku3.hs terminate before all parallel calculations are finished as in Example 2-1. rpar/rpar? Kees

2 2

Basic question about recursive data type...
by Nicholls, Mark 11 Mar '15

11 Mar '15

a long time since I did some Haskell and my brain has reverted to its OO dogma... > {-# LANGUAGE GADTs, TypeFamilies, TypeOperators, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, FlexibleContexts #-} consider > data Next input output where > End :: Next () () > Next :: (input -> output) -> Next input output this is a bit like curried function... I can construct > y :: Next Integer (Next String (Next () ())) > y = Next (\x -> > if (x == 1) then > Next (\y -> > if (y == "s") then > End > else > End) > else > Next (\y -> > if (y == "t") then > End > else > End)) which is a bit like "Integer->String->()" I can execute it... > exe :: Next input output -> input -> output > exe (Next f) i = f i > exe End () = () > p :: Next String (Next () ()) > p = exe y 1 ok.... but how do I constrain all the outputs to be of type Next? I don't want this to be valid > z :: Next Integer Integer > z = Next (\x -> x + 1) CONFIDENTIALITY NOTICE This e-mail (and any attached files) is confidential and protected by copyright (and other intellectual property rights). If you are not the intended recipient please e-mail the sender and then delete the email and any attached files immediately. Any further use or dissemination is prohibited. While MTV Networks Europe has taken steps to ensure that this email and any attachments are virus free, it is your responsibility to ensure that this message and any attachments are virus free and do not affect your systems / data. Communicating by email is not 100% secure and carries risks such as delay, data corruption, non-delivery, wrongful interception and unauthorised amendment. If you communicate with us by e-mail, you acknowledge and assume these risks, and you agree to take appropriate measures to minimise these risks when e-mailing us. MTV Networks International, MTV Networks UK & Ireland, Greenhouse, Nickelodeon Viacom Consumer Products, VBSi, Viacom Brand Solutions International, Be Viacom, Viacom International Media Networks and VIMN and Comedy Central are all trading names of MTV Networks Europe. MTV Networks Europe is a partnership between MTV Networks Europe Inc. and Viacom Networks Europe Inc. Address for service in Great Britain is 17-29 Hawley Crescent, London, NW1 8TT.

1 1

How to abstract away set representation
by martin 11 Mar '15

11 Mar '15

Hello all, I was trying to construct a data type "Profile" which allows some set-like behavior. I started with functions to count, add and filter profiles. type Count = Int data Prof a = P { pCount :: Count, pFilter :: (a -> Bool) -> Prof a, pAdd :: (Prof a) -> (Prof a) } | NoProfile When I tried to actually implement a Profile, the first two functions were easy: exProfile :: [Int] -> Prof Int exProfile xs = P { pCount = length xs, pFilter = \p -> exProfile [x | x<-xs, p x], } But I didn't know how to implement pAdd. I was tempted to write something like pAdd = exProfile (xs ++ ys) But I wouldn't know where to take the ys from. I also hesitate to declare a toList function (which would solve the problem) in Prof. I would only do this *because* it is handy in exProfile, not because it is an intrinsic feature of Prof. What would be a good way to work with set-like behavior without being tied to one particular implementation?

3 5

[] == []
by Rustom Mody 10 Mar '15

10 Mar '15

My impression is that earlier [] == [] used to give a type error. Now it gives True. So 1. Which instance of == is being used? 2. Is there some option controlling this behavior?

5 10

raspberrypi and ghci
by Vasili I. Galchin 10 Mar '15

10 Mar '15

Hello, I have a B++ pi. I did a "apt-get install haskell-platform. No " ghci"!. So I did a google on this issue. Circa 2013 ghci seemed to be an issue with raspberrypi/arm. What is the current status of "ghci" on the pi/arm??. Vasili

2 3

Fwd: Freelance and full-time Haskell development jobs in tech startups
by Vasili I. Galchin 10 Mar '15

10 Mar '15

Hello, Was this posted on this mail list? I am afraid of phishing. Vasili ---------- Forwarded message ---------- From: Vassili van der Mersch <vassvdm(a)sevendays.io> Date: Fri, Mar 6, 2015 at 10:21 AM Subject: Freelance and full-time Haskell development jobs in tech startups To: "biohaskell(a)biohaskell.org" <biohaskell(a)biohaskell.org> Hi BioHaskell, I'm a co-founder at Sevendays - it's a website where tech startups can find quality programmers and designers (amongst other jobs): https://www.sevendays.co <https://www.sevendays.co/?utm_source=Email_2&utm_medium=email&utm_campaign=…> We're looking for great programmers and designers who like to work at startups, either on freelance or permanent basis, on site or remotely. We're growing fast and we're constantly looking for talented developers - in particular, Haskell dev skills are highly demanded at the moment. We never take a cut - you'll keep 100% of your earnings. I'd be grateful if you could have a look and tell me what you think. Have a great day! Vassili ------------------------------------------------------------------------------- Co-founder at Sevendays - https://www.sevendays.co Customer support: info(a)sevendays.co Follow us on Twitter: https://twitter.com/sevendaysapp

4 3

Leuven Haskell User Group meeting March 17 @ 19:00
by Tom Schrijvers 10 Mar '15

10 Mar '15

Dear all, Our next Leuven Haskell User Group meeting will take place on Tuesday, March 17 at 19h00. For details see here: https://groups.google.com/d/msg/leuven-haskell/q863tfr2Na4/Yp6AKMVzMcIJ Everyone is welcome! Tom -- prof. dr. ir. Tom Schrijvers Research Professor KU Leuven Department of Computer Science Celestijnenlaan 200A 3001 Leuven Belgium Phone: +32 16 327 830 http://people.cs.kuleuven.be/~tom.schrijvers/

1 0

Re: [Haskell-cafe] ghc -O2 out of memory
by Kees Bleijenberg 10 Mar '15

10 Mar '15

Carter, Thank you. My assumption was that 7.8.3 is 32 bits and 7.8.4 is 64 bits. I got this idea from reading https://github.com/fpco/minghc#readme Kees Van: Carter Schonwald [mailto:carter.schonwald@gmail.com] Verzonden: dinsdag 10 maart 2015 3:10 Aan: Kees Bleijenberg CC: ghc-devs(a)haskell.org Onderwerp: Re: [Haskell-cafe] ghc -O2 out of memory there SHOULD be a 32bit 7.8.4 build available somewhere for windows, and if not , thats a real problem! I'm gonna shift this thread to ghc-devs, because that *should* get addressed @ghc-devs, how can we help this user get ahold of a 32bit windows 7.8.4 build? (eg, why do we not have one available yet?) -Carter On Mon, Mar 9, 2015 at 4:13 AM, Kees Bleijenberg <K.Bleijenberg(a)lijbrandt.nl> wrote: Thanks for your answer. I also use ghc to create 32 bits dll’s. 7.8.4 is 64 bits GHC and can’t create 32 bits dll’s (?). This means I have to install 7.8.3 and 7.8.4 on the same Windows machine. Is this possible? <snip>

1 0

New Functional Programming Job Opportunities
by Functional Jobs 10 Mar '15

10 Mar '15

Here are some functional programming job opportunities that were posted recently: Hacker (Node.js, NOSQL, Data Science) at Mobitrans http://functionaljobs.com/jobs/8793-hacker-nodejs-nosql-data-science-at-mob… Full-Stack Senior Functional Web Engineer at Front Row Education http://functionaljobs.com/jobs/8792-full-stack-senior-functional-web-engine… Cheers, Sean Murphy FunctionalJobs.com

1 0

Re: [Haskell-cafe] ghc -O2 out of memory
by Kees Bleijenberg 09 Mar '15

09 Mar '15

Thanks for your answer. I also use ghc to create 32 bits dll’s. 7.8.4 is 64 bits GHC and can’t create 32 bits dll’s (?). This means I have to install 7.8.3 and 7.8.4 on the same Windows machine. Is this possible? Kees Van: Carter Schonwald [mailto:carter.schonwald@gmail.com] Verzonden: zaterdag 7 maart 2015 20:02 Aan: Kees Bleijenberg Onderwerp: Re: [Haskell-cafe] ghc -O2 out of memory Upgrade to ghc 7.8.4, theres some known bugs in O2 optimization that resulted in excessive memory usage that are fixed in 7.8.4 You'll still have painful compilation times with a 30kloc module , but memory usage should be physically possible after the upgrade. On Mar 7, 2015 10:58 AM, "Kees Bleijenberg" <K.Bleijenberg(a)lijbrandt.nl> wrote: I’ve written a program that reads a Excel file, parses the contents and generates a haskell module. Every cell in the xls has it’s own function in the module. This worked fine. Now I have a bigger xls. The resulting module Xls.hs contains 30000 lines haskell code (without comment). I created a testprogram test.hs that calculates and prints one cell. I did ghc --make test.hs and everything works fine. The generated execuatable is very slow. I did ghc --make –O2 test.hs. The compilations takes 15 minutes and aborts with ‘ghc: out of memory’. I’am working on Win 7 64 bits , ghc version = 7.8.3. What can I do to fix this? I do need –O2. I found with smaller xls’s that optimization speeds up the executable dramatically. Before I start experimenting, does it help to split up the xls .hs in seperate files? I.e. the cells that refer to other cells and cells that don’t refer to other cells. Or will I still get ‘out of memory’ because the optimization is global? Kees _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe No virus found in this message. Checked by AVG - www.avg.com Version: 2015.0.5751 / Virus Database: 4299/9258 - Release Date: 03/09/15

1 0