News aggregator

Final Call for Papers: OCL 2014 Submissions Due inOne Week

haskell-cafe - Thu, 07/03/2014 - 4:15pm
(Apologies for duplicates) CALL FOR PAPERS 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014) Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) September 28-30 (tbc), 2014, VALENCIA, SPAIN Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have thei
Categories: Offsite Discussion

Restarting doc build on hackage

haskell-cafe - Thu, 07/03/2014 - 2:55pm
Hi cafe, Does anyone know if there is a way to restart a documentation build on hackage? We have a package where the documentation failed to build due to a dependency lacking upper bounds. That has recently been fixed (using the new in-place cabal file editing feature), and we'd like to get documentation for our package now. Is there any way to do this (apart from uploading a new version without changes)? Erik
Categories: Offsite Discussion

Writing a plugin to save xmonad state?

Haskell on Reddit - Thu, 07/03/2014 - 2:33pm

I've been using the xmonad tiling window manager for a while now, and picked up a bit of Haskell along the way so I could make sense of configuring it. I'm mainly a Python guy, and I enjoyed doing a bit of Clojure not too long ago - I really liked it, but pure functional languages like Haskell are new to me.

I soon came to need one feature that xmonad lacks - namely, being able to save the current state of a workspace, complete with any modifications to the layout state such as resizing and reordering windows. This StackOverflow answer comes pretty close: xmonad already stores and then reloads all of its state when you restart it. I would like to implement this in order to learn some actual Haskell; however, I'm a complete newb at Haskell and I find myself at a complete loss.

I'm thinking of starting out by writing something like a LayoutModifier which responds to a message and writes the underlying layout's state to a file... only I don't understand file IO in Haskell and can't figure out whether the layout state would be in the available scope. Actually, can a LayoutModifier even take a Choice of layouts (which the ||| layout combinator seems to be returning)? Do you nice folks happen to have any pointers?

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

Proposal: New mailing lists -- haskell-jobs &haskell-academia

haskell-cafe - Thu, 07/03/2014 - 2:33pm
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 The proposal is simply as follows. 1. Make a list, haskell-jobs. This would be primarily for job postings and looking-for-job posts. A secondary purpose is discussing jobs. E.g. "Anyone know any jobs in the Foo area?", and meta-discussions like "How well does Haskell jobs pay in your experience?". 2. Make a list, haskell-academia. This would be primarily for studentship postings and call for papers. A secondary purpose is discussing academia. E.g. "Anyone know any unis that use Haskell extensively in the Foo area?", and meta-discussions like "How well is Haskell taught at unis in your experience?" The motivation for this is twofold. 1. We get a lot of job postings and studentship postings. Many of these will be ignored by readers, up until they suddenly find themselves looking for a job or studentship. It would be useful if they could then easily filter their email on lists -- or go to the online archives for that specific list. The latter is a big Win, b
Categories: Offsite Discussion

Haste-perch: for dynamic html

Haskell on Reddit - Thu, 07/03/2014 - 8:15am
Categories: Incoming News

Haskell Weekly News: Issue 298

General haskell list - Thu, 07/03/2014 - 6:59am
Welcome to issue 298 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from June 15 to 28, 2014 Quotes of the Week * Kinnison * imagines a radio station playing only things like 'Life tru a Lens', stuff by 'Dire States' or 'Monadonna' Top Reddit Stories * Today I published an introductory book on Haskell Data Analysis Domain:, Score: 99, Comments: 26 Original: [1] On Reddit: [2] * Backpack: An ML-like module system for Haskell Domain:, Score: 76, Comments: 44 Original: [3] On Reddit: [4] * Cgrep, a context-aware grep for source code. Domain:, Score: 67, Comments: 13 Original: [5] On Reddit: [6] * Teenage Haskell Domain:, Score: 63, Comments: 7 Original: [7]
Categories: Incoming News

Closed type families, apartness, and occurs check

glasgow-user - Wed, 07/02/2014 - 9:19am
From the user manual, it sounds like a clause of a closed type family should be rejected once no subsitution of the type could make it unify with the clause. If so, it doesn't seem to do an occurs check: type family IsEq a b :: Bool where   IsEq a a = True   IsEq a b = False forall a . IsEq a a :: Bool = forall (a :: k). 'True forall a . IsEq a [a] :: Bool = forall a. IsEq a [a] I came across this while trying to using Generics to find the immediate children of a term - this sort of non-reduction happens while comparing a type like (Term var) with a constructor argument of type var. Brandon _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users< at >
Categories: Offsite Discussion

New gtk2hs 0.12.4 release

gtk2hs - Wed, 11/21/2012 - 12:56pm

Thanks to John Lato and Duncan Coutts for the latest bugfix release! The latest packages should be buildable on GHC 7.6, and the cairo package should behave a bit nicer in ghci on Windows. Thanks to all!


Categories: Incoming News