- Haskell - Haskell.org

ANNOUNCE: hemokit 0.6.3 - Now with OpenVibe compatibility
by Niklas Hambüchen 31 Aug '14

31 Aug '14

Heya, out is Hemokit 0.6.3, which can now be connected to the OpenVibe EEG framework. OpenVibe allows fancy stuff like spelling words with your mind: Video: https://www.youtube.com/watch?v=08GNE6OdNcs Docs: http://openvibe.inria.fr/coadapt-p300-stimulator-tutorial There is a new tutorial on how to set up Hemokit+OpenVibe at: https://github.com/nh2/hemokit/wiki/OpenVibe If you set up something cool with that, don't forget to tell me about it! Grab Hemokit: https://hackage.haskell.org/package/hemokit Stand-alone Linux and Windows binaries are also available: https://github.com/nh2/hemokit/releases

1 0

[ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1
by Mateusz Kowalczyk 31 Aug '14

31 Aug '14

Hello, I'd like to announce the release of Haddock 2.15.0. Before we dive in, I'd like to announce that Haddock development has moved out of the GHC tree and is now done against the latest compiler release. If in the past you wanted to contribute but were intimidated by having to make sure it works against GHC HEAD then here's your chance. Additionally, it now should also work with GHC 7.8.2 so if for whatever reason you're forced to use that, you can now get the latest Haddock features. If you want to contribute then please let us know, we're understaffed! Come chat at #haddock or send us an e-mail. If you have been using 2.14.x, you should be good to simply ‘cabal install haddock’. Now the changes: This is an API-breaking bugfix release so any tickets originally scheduled for 2.15.0 were pushed towards 2.16. Perhaps the biggest change is that ‘cabal install haddock’ will now only give you the Haddock binary. To use Haddock API, please depend on ‘haddock-api’ from now on. I have sent out an e-mail about this couple of weeks in advance to any reverse dependencies of ‘haddock’. This is to workaround cabal's inability to pass flags to dependencies from the cabal file. ‘haddock-library’ only got a minor bump, 1.1.0 → 1.1.1 improving its output. The Monoid instance for DocH is gone however as it was ill-formed to begin with. Changes in version 2.15.0 * Always read in prologue files as UTF8 (#286 and Cabal #1721) * parser: don't wrap headers in DocParagraph (#307) * parser: don't mangle append order for nested lists (pandoc #1346) * parser: preserve list ordering in certain scenarios (#313) * parser: update the attoparsec version used internally giving slight parsing performance boost. * Move development to be against latest GHC release and not GHC HEAD. * Further split up the package to separate the executable from the library, necessary by things like GHCJS. We now have ‘haddock-library’ which are the parts that don't use GHC API, ‘haddock-api’ which are (some of) the parts that do use GHC API and ‘haddock’ which merely provides the executable. * Export few extra functions in the API. * Add compatibility with GHC 7.8.2. * Omit unnecessary ‘forall’s (#315 and #86) * Remove some files which were really old or did not belong in the repository in the first place. Once again, we'd love to have more people on board be it for the HTML backend, refactoring, LaTeX/Hoogle backend, parser improvements, test writing, new feature implementation or bug fixing. Our issue tracker[1] is up to date if you are interested. Thanks! [1]: https://github.com/haskell/haddock/issues -- Mateusz K.

1 0

ANN: Agda 2.4.2
by Andreas Abel 29 Aug '14

29 Aug '14

Agda 2.4.2 has been released! It comes with an experimental implementation of "type" classes (see "instance search" below). Download with cabal install Agda-2.4.2 (might need cabal update first) or go to http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download. Highlights: - Recursive instance search. Instance arguments are much faster than before and now work like a proper class system. - Major improvements to reflection - Quoting and unquoting of declarations and pattern matching lambdas. - New syntax to simplify using reflection: tactic f is sugar for quoteGoal g in unquote (f g) More details here: https://github.com/agda/agda/blob/2.4.2/doc/release-notes/2-4-2.txt -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www2.tcs.ifi.lmu.de/~abel/ -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www2.tcs.ifi.lmu.de/~abel/

1 0

Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy
by Dominic Duggan 29 Aug '14

29 Aug '14

Stevens Institute of Technology Department of Computer Science has an open position for a Postdoctoral Researcher in the fields of domain-specific languages, security and privacy, and mobile technologies for health information systems in Low and Middle Income Countries (LMIC). The MEDDC project (Mobile eHealthcare Delivery for Developing Countries) is a NIH and NSF-funded project that is developing and deploying tools for data collection and healthcare management in LMIC. It is affiliated with Central Africa IEDEA (International Epidemiological Databases to Evaluate AIDS), one of several NIH-funded projects that are engaged in data collection and analysis as part of the fight against the HIV/AIDS pandemic. The project has developed tools for producing data collection systems from declarative specifications. Some of the work to be done will involve adapting ideas from statistical and functional programming languages, to pursue a domain-specific language approach to developing local capacity for data analysis. This effort has a significant software development component. Although the IEDEA project employs full-time software developers to support data collection, this research work also includes software deliverables, as described. The development language is Java, but the applicant will preferably also have experience with, and enthusiasm for, functional programming languages such as Haskell and some of its domain-specific derivatives. Research opportunities include the adaptation of concepts from functional programming languages to build local capacity for medical and epidemiological analysis in LMIC, as well as the investigation of security and privacy issues in the collection and analysis of patient health information. For further information, please contact Professor Dominic Duggan ( dduggan(a)stevens.edu, dd(a)dominicduggan.org) Applications for the position should be submitted via this Web site: https://www2.apply2jobs.com/Stevens/ProfExt/index.cfm?fuseaction=mExternal.… Applicants for the position should also forward a copy of their application to Prof. Duggan, at the emails above. Job requirements: - PhD (or equivalent degree) in topics related to domain-specific languages, security and privacy, and mobile technologies. - Excellent Java programming skills. - Preferably a strong functional programming background. - Commitment to doing high-quality research. - Oral and written proficiency in English. -- Dominic Duggan Associate Professor, Computer Science Stevens Institute of Technology Hoboken, NJ 07030. Telephone: (201) 216-8042 Email: dduggan(a)stevens.edu Web: http://www.dominicduggan.org

1 0

[ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
by Stefan Wehr 29 Aug '14

29 Aug '14

Hi everyone, this is just a quick reminder: The Haskell Hackathon in Berlin is coming soon and there are still some places left. Please register now: http://goo.gl/aLfnWu The first keynote is also fixed; it will be given by Andres Löh (http://www.andres-loeh.de/) Thanks, Andres! Where: Berlin, Germany When: Fri 26 - Sun 28 September 2014 Meet in Berlin, discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! For all details, visit our wiki page (http://www.haskell.org/haskellwiki/HacBerlin2014) and make sure to register now! Cheers, Stefan

1 0

Haskell Weekly News: Issue 303
by Daniel Santa Cruz 28 Aug '14

28 Aug '14

1 0

ANN: cgi 3001.2.0.0
by John Alfred Nathanael Chee 27 Aug '14

27 Aug '14

Hello, I've just uploaded a new version of cgi to hackage [1]. This release supports GHC 7.8.3, 7.6.3, and 7.4.2. I'm also looking for co-maintainers or backup maintainers of cgi, please email me directly if you're interested. This release was made possible with the assistance and guidance of Carter Schonwald and was based on a patch by Alexander Vershilov. Thanks. [1] http://hackage.haskell.org/package/cgi -- Love in Jesus Christ, John Alfred Nathanael Chee http://www.biblegateway.com/ http://web.cecs.pdx.edu/~chee/

1 0

Fwd: [racket-dev] Call for Participation: SPLASH Educators Symposium
by Robby Findler 27 Aug '14

27 Aug '14

Do consider checking out SPLASH-E, as below. Best, Robby ---------------------------- SPLASH-E Call for Participation Tuesday, Oct 21 2014, Portland OR In conjunction with the SPLASH conference http://2014.splashcon.org/track/splash2014-splash-e SPLASH-E is a forum for software and languages researchers with activities and interests around computing education. This year's SPLASH-E will feature sessions around three themes: * Creating (and Assessing) Projects and Courses to Engage Students * Design Issues around Drag-and-Drop languages * Designing Software Engineering Courses as well as time dedicated to impromptu discussion around these and other topics that arise. Formal presentations will be short (15-20 minutes), designed to raise questions for discussion rather than to simply present papers. The PC is framing discussion questions within each theme, but also welcomes questions on these topics from the broader SPLASH community. If you have a research question or idea related to these themes and plan to attend, drop me a line so we can include your question in the discussion period. Come experience an interactive day of discussion on educational aspects of software systems. Hope to see you in Portland! Kathi Fisler SPLASH-E chair

1 0

ANNOUNCE: goatee, goatee-gtk: Go game editor
by Bryan Gardiner 23 Aug '14

23 Aug '14

After 359 days, I'm pleased to announce the first official release of Goatee, a game editor for the board game Go. (Don't worry, those two remaining liberties are eyes.) Here's the project summary: > Goatee is a Go library and game editor, written in Haskell. It > provides a GUI for recording, studying, and editing game records. > Underneath this is a portable library for manipulating SGF files to > build UIs and tools. Goatee aims to be full-featured by supporting > all of the SGF spec and allowing for full and easy customization of > the game records you create. UI features include: - Game navigation, variations and variation modes, game tree restructuring. - Annotations: marks (r/w), arrows and lines (r/o), visibility (r/o). - Full support for game info. - Manual editing of SGF properties. - One-color and blind Go modes. Two Hackage packages are available: 'goatee' is the shared library, and 'goatee-gtk' is the UI. Lots more is planned; stay tuned! http://khumba.net/projects/goatee http://hackage.haskell.org/package/goatee http://hackage.haskell.org/package/goatee-gtk Cheers, Bryan

1 0

CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures
by Slim Kallel 22 Aug '14

22 Aug '14

Call for papers =============================== Journal of Systems and Software (JSS, Elsevier) Impact Factor: 1.245 (5-Year Impact Factor: 1.443) Special issue on Adaptive and reconfigurable software systems and architectures =============================== The focal concerns are Service-oriented and component-based software systems, applications and architectures addressing adaptation and reconfiguration issues. Different investigation topics are involved, such as: CBSE, SOA, Functional and Non Functional (NF) requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research axes are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems. The development of composite services poses very interesting challenges concerning their functional and NF requirements. On the one hand, a composite software system depends on the NF requirements of its constituting components in order to provide a satisfactory service to the user. On the other hand, the main issues for the fulfilment of QoS and service level agreements (SLA) are concerned with performance variability. Indeed, the QoS may evolve frequently, either because of internal changes or because of workload fluctuations. The performance and the robustness of the composite software system may be significantly improved by monitoring the execution of the components and by flexibly reacting to degradation and anomalies in a timely fashion. The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and NF agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. Moreover, different NF requirements service levels might be considered in order to complete the execution in case of failure. ======= TOPICS ======= The special issue only solicits and accepts papers whose major contributions are within the domain of software engineering. Authors should refer to the highlighted scope of the JSS on the journal homepage for the precise scope of the JSS http://www.journals.elsevier.com/journal-of-systems-and-software/#scope. Contributions are devoted to functional and non-functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to: Distributed and centralized collaborative solutions for the diagnosis and repair of software systems Design for the diagnosability and repairability Collaborative Management of NF requirements (quality, security, robustness, availability) Monitoring simple and composite architectures, components and services Semantic (or analytic) architectural and behavioral models for monitoring, planning and deployment of software systems Dynamic reconfiguration of CB and SO software systems architectures Software architecture design and validation for complex systems Scalability management in software systems architectures Collaborative planning and decision-making Collaborative technologies for ensuring autonomic properties Predictive management of adaptability. Collaborative Management of autonomic properties Experiences in practical adaptive and reconfigurable CB and SO applications Tools and prototypes for managing adaptability of CB and SO applications ======= PAPER SUBMISSION ======= Submission deadline: *October 15, 2014* All submissions have to be prepared according to the Guide for Authors as published in the journal website at http://ees.elsevier.com/jss/. Authors should select “SI:AROSA”, from the “Choose Article Type” pull-down menu during the submission process. All contributions must not have been previously published or be under consideration for publication elsewhere. A submission extended from a previous conference version has to contain at least 30% new material. Authors are requested to attach to the submitted paper their relevant, previously published articles and a summary document explaining the enhancements made in the journal version. ======= Guest Editors ======= Khalil Drira( LAAS-CNRS, University of Toulouse, France) Slim Kallel (FSEGS, University of Sfax, Tunisia) Ismael Bouassida Rodriguez(LAAS-CNRS, University of Toulouse, France)

1 0