- Haskell-Cafe - Haskell.org

Munich Haskell Meeting
by Heinrich Hördegen 27 May '14

27 May '14

Dear all, our next Haskell meeting in Munich is scheduled for the 29th of May, 19h30 at Cafe Puck. If you plan to join, please go to http://www.haskell-munich.de/dates and klick the button. With hope to see many of you, Heinrich

1 0

Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)
by Janis Voigtlaender 27 May '14

27 May '14

CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - equational reasoning and other rewriting techniques for program verification and analysis; - lambda calculi and type systems for functional programs and higher-order rewrite systems; - rewriting of type expressions in the type checker; - rewriting of programs by refactoring tools, optimizers, code generators; - execution of programs as a form of graph rewriting (terms with sharing); - Template Haskell, generally introducing a rewriting-like macro language into the compilation process. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtländer (co-chair) Johannes Waldmann

1 0

Cabal, tar and uploading to Hackage
by Magnus Therning 26 May '14

26 May '14

Lately my attempts at creating tar-balls for uploading to Hackage have been failing. I use the standard `./Setup.hs sdist` method to generate tar-balls, but apparently that uses `/usr/bin/tar` (GNU tar), which defaults to the 'gnu' format, while Hackage requires the 'ustar' format. Is there some way to pass arguments to `tar` when using `./Setup.hs sdist`? /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: magnus(a)therning.org jabber: magnus(a)therning.org twitter: magthe http://therning.org/magnus Heuristic is an algorithm in a clown suit. It’s less predictable, it’s more fun, and it comes without a 30-day, money-back guarantee. -- Steve McConnell, Code Complete

4 4

How to write fast for loops
by Niklas Hambüchen 26 May '14

26 May '14

As you probably now, `forM_ [1..n]` is incredibly slow in Haskell due to lack of list fusion [1]; a manually written loop is 10x faster. How do you people work around this? I keep defining myself something like loop :: (Monad m) => Int -> (Int -> m ()) -> m () loop bex f = go 0 where go !n | n == bex = return () | otherwise = f n >> go (n+1) Is there a function for this somewhere already? Or do you have another way to deal with this problem? Thanks! [1]: https://ghc.haskell.org/trac/ghc/ticket/8763

11 29

New Functional Programming Job Opportunities
by Functional Jobs 26 May '14

26 May '14

Here are some functional programming job opportunities that were posted recently: Haskell Developer at skedge.me http://functionaljobs.com/jobs/8712-haskell-developer-at-skedgeme Cheers, Sean Murphy FunctionalJobs.com

1 0

Chan with priorities
by Bulat Ziganshin 26 May '14

26 May '14

Hello Haskell-cafe, can you please point me to any OSS implementation of IO Channels with priorities - i.e. data pushed to the Chan using high priority should be read prior to the data pushed with lower priority: pushChan ch 1 'x' pushChan ch 2 'y' readChan ch >>= print -- prints 'y' i've found only STM implementations - i don't know STM enough, may be i just need to convert STM to IO operations? i don't expect strong guarantees, my algorithm will remain correct anyway. and i don't have lot of objects, it's just a few dozens -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

4 4

Job opening: Anchor Hosting, Sydney - Linux Haskell Developers
by Christian Marie 26 May '14

26 May '14

Anchor hosting is hiring Haskell developers! ============================================ Anchor hosting has job opportunities for two entry-to mid-level developers. We will be building an open source cloud hosting platform built upon Ceph and OpenStack in Haskell. This will involve experience across diverse fields, such as: Linux systems development, distributed systems, metric storage, data analysis, monitoring, tool development, REST API design and development, to name a few. We have two positions available; if you can't make your mind up, feel free to ask about them. Linux Systems Developer / Wizard ================================ You will work alongside sysadmins and developers on the Systems Team. This developer will be cutting a lot of Linux systems automation code, and will probably build a distributed system by the time you're done. A proven track record with Haskell and Linux is a must. Knowledge of type theory and language design would be a bonus. A working knowledge of C and basic algorithms is expected. You'll get to work on a Cloud hosting framework with interesting technologies, doing some cool things that nobody has done before. Data engineer ============= Part of our Analytics team, this role is fundamentally about helping our engineers make evidence-based decisions. You would be writing code to take numbers (such as the CPU usage of a set of machines) and convert them into more useful numbers (such as the probability of those servers catching fire in the next week, or the usage we should be billing the customer for). In addition to a working knowledge of Haskell and UNIX programming, experience working with large datasets, computational stats or machine learning would be a big plus. Applicants ========== Please send a resume along with a link to your Github account to pingu(a)anchor.com.au. Perks ===== Why Anchor should be your home away from home: * Our kick-ass office is on Hyde park, with Town Hall station just minutes away. * Well-stocked drinks fridge. * Catered lunch every Friday. * Pizza and board games every Tuesday night. * Transparent, no-nonsense and trusting environment – if we hire you we know you’ll do the right thing. * Company account with a great coffee shop across the road means your daily caffeination is free of charge! -- Christian Marie - Sparkly Code Princess

1 0

wanted: Function to break circular data dependencies
by Job Vranish 24 May '14

24 May '14

Is a function like the following possible?: avoidCircularDataDependency :: a -> a -> a avoidCircularDataDependency a b = ? I want avoidCircularDataDependency to evaluate 'a', but if in the process of evaluating 'a' its own result is demanded (which normally would result in an infinite loop) it returns 'b' otherwise it returns 'a' . I've often found myself wanting a function like this. It would make certain kinds of knot-tying/cycle detection _much_ easier. Is there any reason why this function can't/shouldn't exist? - Job

10 11

Typeclasses -- if does not satisfy
by Dmitry Bogatov 24 May '14

24 May '14

Hello! I am working on package to generalize common `runSomeThing` and `runSomethingT` functions. It is very easy to generalize runStateT and runReaderT like class Runnable a where type RunResult a run :: a -> RunResult a instance Runnable (StateT s m a) where --- Why ScopedTypeVariables do not work here? type RunResult (StateT s m a) = s -> m (a, s) run = runStateT --- ReaderT absolutely the same But problem is that `State s a` is in fact `StateT s Identity a` and I get type family conflicts. In fact, it boils down to following: type family TestIdentity (m :: * -> *) type instance TestIdentity Identity = Int type instance TestIdentity m = () -- Anything but Identity. In general, with all this TypeClass magic, I have a lot of ways that something belong to some class, and no (aside OverlappingInstances) to tell that it does NOT belong. I belive, there is reason to, but I do not see it. Also, seems even TH does not helps here. PS. Please, keep me in To: -- Best regards, Dmitry Bogatov <KAction(a)gnu.org>, Free Software supporter, esperantisto and netiquette guardian. git://kaction.name/rc-files.git GPG: 54B7F00D

2 2

haskell on OpenBSD 5.5
by Michael S 23 May '14

23 May '14

Good day all, I installed OpenBSD 5.5 in order to learn haskell. There are a few glitches however. I installed the haskell-platform meta-package and the issues I noticed are: - hs-vector wouldn't install - ghci wouldn't start, the message: unable to load package `integer-gmp' Has anyone experienced the same issue? Is this happening on OpenBSD 5.4? Is this OpenBSD specific? Thanks in advance.

3 5