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]
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.
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
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 firstname.lastname@example.org. Please include the title of the position you're applying for in the subject line.
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.
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:nkpart
[link] [4 comments]
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]
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]