- Haskell-Cafe - Haskell.org

Replacing cpp?
by Mike Meyer 12 Jun '15

12 Jun '15

I know the subject of cpp not working well with Haskell comes up every so often, usually with the conclusion that we need a preprocessor that understands Haskell code. If someone is working on that, this should probably be ignored. Maybe gpp could be used instead of having to write one from scratch? it allows you to define the syntax it uses for macros - both user and "meta". Possibly it's flexible enough to do what's needed?

3 2

Proposal: Shorter Import Syntax
by Anthony Cowley 12 Jun '15

12 Jun '15

Hi Everyone, I didn't think this would see any resistance as it doesn't break anything, but this is the internet, so, if you haven't already, take a look at this GHC feature request <https://ghc.haskell.org/trac/ghc/ticket/10478> The idea is that rather than writing, import Data.Map (Map) import qualified Data.Map as M you could instead write, import Data.Map (Map) as M The Map identifier would imported unqualified, while M would be introduced as an alias for the qualified import of Data.Map. Note that, currently, following a parenthesized group with the "as" keyword is a parse error. So allowing this syntax would not affect any currently working programs. I've mentioned this proposal before and gotten good response, so I finally wrote it up last night after people on IRC responded positively to it. As well as IRC and trac, I put the link up on Twitter to get it in front of a large audience, and here's what we have after a bit over 12 hours (not counting the handful of supporters in IRC): +20 -2 You can see the tweet at <https://twitter.com/a_cowley/status/605909841148702720> I'll try to summarize the two negative votes: 1) This isn't that big a burden, and we should instead focus on controlled export of class instances; and 2) We should instead focus on exporting name spaces, and that the ordering of parentheses and the "as" keyword is too close to the existing "import Foo as F(foo)" syntax. Since there are these negative votes, I think it best if as many people as possible at least see the proposal so the GHC developers can get a better sense for the overall response. Anthony

27 65

GHC.Generics: how to derive a Generic instance for an existential type?
by Andreas Abel 12 Jun '15

12 Jun '15

I wonder whether GHC.Generics supports existential types yet... {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE StandaloneDeriving #-} import GHC.Generics data U = forall a. (Generic a) => U a -- deriving (Generic) -- Can't make a derived instance of ‘Generic U’: -- Constructor ‘U’ has existentials or constraints in its type -- Possible fix: use a standalone deriving declaration instead -- deriving instance Generic U -- Can't make a derived instance of ‘Generic U’: -- U must be a vanilla data constructor -- In the stand-alone deriving instance for ‘Generic U’ data D1Ser data C1_0Ser instance Generic U where type Rep U = D D1Ser (C1 C1_0Ser (S1 NoSelector (Rep a))) -- Not in scope: type variable ‘a’ -- How to bring the existential type `a' into scope? -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www2.tcs.ifi.lmu.de/~abel/

3 2

Lecturer position in Programming Languages / Security at Kent
by Simon Thompson 12 Jun '15

12 Jun '15

We’re looking for excellent PL/security people to recruit as faculty to join us in the School of Computing at Kent. Do apply if you’re interested, or mail me if you want to find out more. Simon Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson(a)kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

1 1

TH to generate imports?
by Corentin Dupont 12 Jun '15

12 Jun '15

Hi guys, I wanted to know if it's possible to use TH on an "import" statement. What I want to do is to generate the names of the packages I need to import. For example: import $(genImport "MyPackage") genImport :: String -> Q TH.Exp genImport s = ... Is that possible? Thanks! Corentin

3 3

Questions about concurrency and laziness
by Tony Garcia 11 Jun '15

11 Jun '15

Hi, First of all, apologies if this is not the right place to ask this question. I'm reading the book "Parallel and concurrent programming in Haskell" and I'm having some issues reasoning about the impact of laziness. Looking at the first example in chapter 8 [1] main = do m1 <- newEmptyMVar m2 <- newEmptyMVar forkIO $ do r <- getURL "http://www.wikipedia.org/wiki/Shovel" putMVar m1 r forkIO $ do r <- getURL "http://www.wikipedia.org/wiki/Spade" putMVar m2 r r1 <- takeMVar m1 r2 <- takeMVar m2 print (B.length r1, B.length r2) I don't understand why this function is not just putting an unevaluated thunk in the MVar. Well, I assume that getURL is an eager function, but looking at its code [2] or at the documentation of Network.Browser [3] I don't see why... Am I looking at this wrong? Is there any rule of thumb to be used in these cases? I have the impression that it's really easy to end up creating thunks in parallel threads and evaluating them in the main one... Thanks, Jose. [1] http://chimera.labs.oreilly.com/books/1230000000929/ch08.html [2] https://github.com/simonmar/parconc-examples/blob/master/GetURL.hs [3] http://hackage.haskell.org/package/HTTP-4000.0.8/docs/Network-Browser.html

3 3

US Haskell Developer Position
by Christopher Lewis 11 Jun '15

11 Jun '15

Karamaan Group, a principal investment firm based in Manhattan, is looking for an outstanding software developer to develop tools for financial analysis and knowledge management. We are a growth oriented firm that values people who take a craftsman's pride in their work. Our ideal candidate is an experienced software developer with strong analytical, organizational, and communication skills. A candidate who demonstrates an intense focus on quality, but has the ability to recognize and make the tradeoffs that are a necessary part of day-to-day software development. Candidates should have at least a degree in a quantitative field and a keen interest in building robust and elegant computer programs. This is a high-impact, high-visibility position where successful candidates will be entrusted with a lot of responsibility for products that have a direct effect on the P&L of the firm and influences our workflow. The ideal candidate will have experience with Haskell, relational database technologies, and Java. All new development is performed in Haskell, but our legacy Java code base occasionally requires maintenance. Unlike most finance companies, our atmosphere is informal and intellectual. We don't require previous experience in finance or business, but knowledge in those areas is a plus. Karamaan Group is situated in Manhattan, we are an investment adviser to hedge funds and family offices. We value innovative thinking, encourage an entrepreneurial atmosphere, and enjoy spirited conversations. We also offer lunch, and every once in a while we go bowling. Telecommuting is an option, but you must be located in the Continental United States and authorized to work in the United States. Please send your CV and cover letter to recruitment at karamaan dot com. Please do not reply to the original poster.

1 0

Benchmarking two versions of the same package?
by Alp Mestanogullari 11 Jun '15

11 Jun '15

Hi -cafe, While we can easily benchmark different functions or libraries easily with criterion, I can't think of a reasonably easy (and accurate!) way of benchmarking two versions of the same package. And not necessarily version as in cabal version -- one of the use cases I have in mind would be running a benchmark suite whenever a PR gets merged to the main branch of a library, so the benchmark would need to compare the performance of the library's-code-before-merging and after. This definitely can't be accomplished with something like criterion because we can't have two different instances of a package in scope for a module, even with -XPackageImports. If we separately build the same program against two instances of the same library and run the benchmarks separately, this might happen far apart enough that the machine running this might be under a different load. This does however seem to be the only actual solution? Run separately at two different commits, diff the numbers, report. I have felt the need for a solution to this for quite some time, but have never needed it bad enough that it became a priority. Thinking about it again today, I thought I should drop an email to the list and see if fellow haskellers have an easy-to-use solution for this? I may very well be overlooking something. -- Alp Mestanogullari

3 5

haskell team at megacorp is hiring!
by Carter Schonwald 11 Jun '15

11 Jun '15

Dear Haskell Colleagues, my team at megacorp, one of the largest for profit organizations on the planet, is looking to grow! about the haskell team: currently 3 engineers, though a 4th on the way already, in the past 6 months alone we've deployed customer facing APIs into production (no small feat in megacorp), built self serve generative sampling based data anonymization tools that promise to transform how megacorp customer data gets shared within and without. And thats just to start! We've repeatedly demonstrated that our use of haskell helps us develop and evolve great software for the business. the haskell team is part of a larger "new product / R&D" group whose mission is to build new tools, products and services to help pull megacorp kicking and screaming into the 2010's in terms of technology and services. The new product group is broadly seeking competent thoughtful technologists across a range of skill sets -- frontend, python, java, and haskell -- to join the engineering team. (so even if you're not the perfect fit for the team, we may know great folks we can point you to) *The Perks* *• *our management fully supports upstreaming bugfixes and improvements to the open source tools that we use • amazing view out of our Brooklyn and/or NYC offices (you will need to be in NYC to work with us, though I believe we can help with relocation) • by dint of the sheer scale of megacorp, every successful project will have pretty huge impact • because we're awesome, we will make sure you get your own mac along with the standard megacorp workstation. • picking a new project to work on every 3-6 months is the norm, owing to our role as a sort of prototyping / R&D group. *The Caveats* • it is megacorp, its a huge organization, and while the new product group is shielded from a lot of that, it can still be overwhelming • you will have to live somewhere within commuting distance of Brooklyn New York. • you have to deal with me and a few other interesting colleagues on a daily basis. *Should you apply?* • we welcome candidates of all experience levels, junior or senior. • we'd love it if you have some portfolio work/open source/work experience that demonstrates your ability to tackle engineering projects headon or master some nontrivial technical problem domain. • colleagues who take teaching/learning new things seriously • you'd enjoy working out of Brooklyn NYC. • you enjoy programming / software engineering and try to do it well. *how to apply* •*email me with the subject "functional megacorp job"*, attaching your resume/cv and if you want, a teeny cover letter that articulates your unique strengths and interests as a professional software engineer. •I can tell you more about the company and team via email. I or another member of the engineering team will be screening resumes first before kicking off any interview processes, so there will not be any HR limbo going on. Every email will get a reply. (NB: actual org name is easy to figure out with some googling, but for various reasons cannot be used publicly by its employees without an authorization process that befits a megacorp) also megacorp is is an equal opportunity and affirmative action employer

1 0

Thank you to new maintainers
by Fred Ross 11 Jun '15

11 Jun '15

The libraries I used maintain have all be handed off. Thank you to: Adam Bergmark for taking over hscamwire. Lana Black for taking over hdaemonize. Jose Calderon for taking over serial. And goodbye for now to this wonderful community. Maybe I'll be back in a few years. Unless I become a field ecologist or a florist or something. Fred Ross http://madhadron.com

1 0