News aggregator

Commentary/Compiler/FC – GHC

del.icio.us/haskell - Thu, 02/05/2015 - 8:18am
Categories: Offsite Blogs

Haskell Weekly News: Issue 316

General haskell list - Thu, 02/05/2015 - 6:21am
Welcome to issue 316 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from January 18 to 31, 2015 After doing more than 150 of these, I have come to the conclusion that it is time for me to take a permanent break from HWN. I realize that "we could do better", and have something a bit more edited than a collection of links, and some quotes. I wish I had more time to devote to such endeavor, but my time is currently being taken up by trying to help my 1 year old explore her little world. If you'd like to be the one to continue the long tradition of HWN, drop me a line. Thanks for following along for the last 3 years! Quotes of the Week * johnw: "Sir, what weapon did the assailant use against you?" "All I know is that it was done in IO, officer." * monochrom: $ can't buy you love, but it can buy you function application * hiptobecubic: benzrf, well sure. I'm not suggesting that lens has actually left any operators
Categories: Incoming News

Can Your Programming Language Do This? Haskell version?

Haskell on Reddit - Thu, 02/05/2015 - 4:30am

In 2006 Joel Spolsky published a blog post in which he derived Map Reduce in Javascript. It was simple, elegant, and mind-blowing to anyone not already aware of 1) how Map Reduce works, or 2) how expressive Javascript is, or 3) how functional programming provides new ways of thinking and problem solving.

Does anyone know if there is anything similar for Haskell, or more generally for Category Theory, of which Haskell is essentially a programming language implementation? I'm looking to introduce a skeptical team of low-level hardware/C/crypto (and recently Go) hackers to Haskell, ideally with a similarly simple, elegant, mind-expanding demonstration of Haskell's capabilities. Any and all ideas appreciated.

submitted by SkyMarshal
[link] [36 comments]
Categories: Incoming News

FP Complete: FP Complete is Hiring Test Engineers

Planet Haskell - Thu, 02/05/2015 - 4:00am

San Francisco, CA – Telecommute

FP Complete is excited to announce we are hiring again. Currently we are looking to hire creative software engineers to fill a couple testing roles we have open. You will be joining our Haskell development team to help us test and validate our products. Here is a little more about the positions we're looking to fill.

Haskell Test Software Engineer – Scientific Simulation

For this role we are looking for someone to help build our test and delivery capabilities. You will be working as a member of the development team providing direct input and support on product implementation, testing, and quality. Your mission is to innovate on the test infrastructure enabling and implementing automated tests and test suites across multiple product component. Learn more here Haskell Test Software Engineer – Scientific Simulation

Software Test Engineer – Scientific Medical Simulation

For this position we are looking for creative software test engineers to work on our scientific medical SaaS product. You will be working as a member of an international product team and you will be expected to provide direct input on product implementation, testing, and quality. Your mission is to represent the customer. You will learn the system from top to bottom validating the product and making sure it delivers what the customer needs. Learn more here Software Test Engineer – Scientific Medical Simulation

If you’d like to be part of our team and shape the future of Haskell, please send a resume or CV to admin@fpcomplete.com. Please include the title of the position you're applying for in the subject line.

Categories: Offsite Blogs

SmallCheck Depth

haskell-cafe - Thu, 02/05/2015 - 3:23am
The original SmallCheck paper [0] gives a type data Name = P | Q | R and states that all values of type Name have depth 0. To me this suggests that all values of type Bool would have depth 0 as well, seeing as Bool would simply be data Bool = True | False Sure enough, if I load up ghci with SmallCheck 0.2.1, I get [True, False] But in QuickCheck 1.1.1 I get [] Very puzzling to me is that it seems the definition of series for Bool has not changed in the new version. Both versions have something like series = cons0 True \/ cons0 False So what explains the different behavior? Thanks. --Omari [0] http://www.cs.york.ac.uk/fp/smallcheck/smallcheck.pdf
Categories: Offsite Discussion

learn you a good haskell exercises

haskell-cafe - Wed, 02/04/2015 - 11:07pm
Hello, If I want to look if I understand the contents of the book , are these good exercises : https://github.com/noelmarkham/learn-you-a-haskell-exercises Roelof
Categories: Offsite Discussion

Haskell opportunities at Facebook

haskell-cafe - Wed, 02/04/2015 - 9:57pm
Hi, friends – I have a number of very interesting openings at Facebook HQ in Menlo Park, California. There are two different teams hiring. The first set of positions are for an entirely new team. This project involves distributed systems, data mining, and machine learning. There may be roles on this team for less experienced candidates in a few months, but right now we are looking for people who have written a reasonable amount of Haskell, have built real production systems in some language or other (and have the scars to prove it), and can contribute in major ways to the design and construction of a demanding new system that we're building from scratch. The second set of positions are for a cousin team, which is building on the success of our Haxl project to extend our capability to fight spam and malware. For these roles, we're open to a broader range of experience levels. If you're interested, please drop me an email with a current CV. Cheers, Bryan. _______________________________________________
Categories: Offsite Discussion

Prisms and [Monad]Errors

Haskell on Reddit - Wed, 02/04/2015 - 9:09pm

In the same way that you can use classy lenses to avoid committing to a concrete state monad, you can use classy prisms to avoid committing to a concrete error monad.

There's a fair bit of prior art that demonstrate the use of classy lenses. A browse through Quine will uncover some examples, and there have been discussions here in the past about the technique.

However, there's much less material about classy prisms, and I only realised they could be assembled this way last night, so I've encoded what I've learnt in this gist:

https://gist.github.com/nkpart/c3bcb48c97c5ded6e277

submitted by nkpart
[link] [4 comments]
Categories: Incoming News

Haskell: Does it support cross compilation?

Haskell on Reddit - Wed, 02/04/2015 - 4:29pm

I want to generalize and port a small CLI utility (https://github.com/unbalancedparentheses/gut) that was coded in Erlang to a language/platform where I can easily generate a standalone binary that does not depend on vms, interpreters. I need to generate a binary for windows, linux, os x and bsds.

Up to now I could find that Go (http://dave.cheney.net/2012/09/08/an-introduction-to-cross-compilation-with-go and https://github.com/laher/goxc) and Ocaml (https://ocaml.org/learn/portability.html) have good support for cross compilation. I am trying to check if rust, nim and haskell have good support for it before choosing the programming language/platform. I would prefer to do it in Haskell, since this would be my first real project with it. However I could only find this: - https://ghc.haskell.org/trac/ghc/wiki/CrossCompilation - http://stackoverflow.com/questions/6171429/cross-compilation-with-ghc and it does not seem it has good support for generating binaries for another OS/architecture

I would like to know if it is supported by ghc or how do you manage to generate binaries for different plataforms.

Thanks in advance!

submitted by pyotrgalois
[link] [12 comments]
Categories: Incoming News

How does RTS judge that a STM transaction is blocked?

haskell-cafe - Wed, 02/04/2015 - 2:59pm
Hi, I met an issue while I was using xhb. When a certain property of root window being changed, it was supposed to give me an AccessError. But actually I got "thread blocked indefinitely in an STM transaction" when I waitForEvent. AFAIK, in xhb, it forks a thread to read what X server sends. Then parse and put it into a TChan. waitForEvent reads from the TChan. It is reasonable to me that if X server did not send anything, then waitForEvent would be blocked. But apparently there are some other policies in RTS. So what is that? And how should I debug it?
Categories: Offsite Discussion

Haskell opportunities at Facebook

Haskell on Reddit - Wed, 02/04/2015 - 2:00pm

Hi, friends –

I have a number of very interesting openings at Facebook HQ in Menlo Park, California. There are two different teams hiring.

The first set of positions are for an entirely new team. This project involves distributed systems, data mining, and machine learning. There may be roles on this team for less experienced candidates in a few months, but right now we are looking for people who have written a reasonable amount of Haskell, have built real production systems in some language or other (and have the scars to prove it), and can contribute in major ways to the design and construction of a demanding new system that we're building from scratch.

The second set of positions are for a cousin team, which is building on the success of our Haxl project to extend our capability to fight spam and malware. For these roles, we're open to a broader range of experience levels.

If you're interested, please drop me an email with a current CV.

submitted by bos
[link] [40 comments]
Categories: Incoming News