News aggregator

Strathclyde PhD position

Haskell on Reddit - Wed, 01/14/2015 - 8:26pm
Categories: Incoming News

TYPES 2015 call for contributions

General haskell list - Wed, 01/14/2015 - 7:43pm
CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Berge
Categories: Incoming News

Number of widgets extant and displayed varying overtime? (FRP, reactive-banana)

haskell-cafe - Wed, 01/14/2015 - 4:39am
Dear list, I want to write an application in which the set of widgets in existence, and the subset of them that is displayed, depends on user input. I am using reactive-banana. So far the simplest spec I have imagined for it is this: Initially there is just a text entry box and an empty (hence invisible) collection of labels. The user can do two things: enter the word "add", or enter an integer. Entering the word "add" causes a label to be added to the collection, but not displayed. The labels require no text content. Entering an integer N causes the first N labels to be displayed onscreen. The text entry box remains visible. I am totally baffled. In particular, the Behavior paradigm, though it is elegant and beautiful whenever I study it, I have no idea how to apply. Thank you, Jeff _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

ocharles.hs

del.icio.us/haskell - Wed, 01/14/2015 - 3:59am
Categories: Offsite Blogs

ocharles.hs

del.icio.us/haskell - Wed, 01/14/2015 - 3:59am
Categories: Offsite Blogs

ParallelListComp strange behavior

haskell-cafe - Wed, 01/14/2015 - 1:04am
I am trying to use ParallelListComp and have code that compiles but only produces one value, but I am not clear why. The code is something like: gen :: (a -> b) -> [MyType] gen f = [MyType (Just []) (Just c) (Just d) Nothing | c <- f | d <- [1,2,3,4] When the gen function is used with take or any other function, only one value is returned. Is there something here that can’t desugar properly to mzip that will still compile? Note I did not test this specific code, I am just writing it here to represent the different pieces of a larger piece of real code which is below. Mike ———— Real Code ———— data Config = Config { onOffControl::Maybe [DEVICE_ON_OFF_CONTROL_BITS] , seqUpPos::[Maybe ([DEVICE_SEQ_UP_POSITION_BITS], Word16)] , seqDownPos::[Maybe ([DEVICE_SEQ_DOWN_POSITION_BITS], Word16)] , tonTimers::[Maybe ([DEVICE_TON_TIMERS_BITS], Word16)]
Categories: Offsite Discussion

Future of the boxes package--call for ideas

glasgow-user - Wed, 01/14/2015 - 1:02am
I've just taken over maintainership of the boxes package, and will be making a maintenance release shortly (as soon as I figure out how and get added to the maintainers group). The package, however, currently suffers from a paucity of bug reports (no problem) and feature requests (not so great). To keep things lively, I need a bit of help from two groups of people. If you use the package but wish it could do something more for you, I want to know about it. If you considered using the package but rejected it because it couldn't quite handle your job, I want to know about that too. I'd prefer if people would open issues and pull requests at https://github.com/treeowl/boxes/issues but I will also accept requests by email. Thanks, David _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users< at >haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Categories: Offsite Discussion