From icfp.publicity at googlemail.com Fri Aug 1 21:50:51 2014 From: icfp.publicity at googlemail.com (David Van Horn) Date: Fri, 1 Aug 2014 17:50:51 -0400 Subject: [Haskell] ICFP 2014 Final Call for Participation Message-ID: [ Early registration ends 3 Aug; Invited speakers and conference program have been announced. ] ===================================================================== Final Call for Participation ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 31 - September 6, 2014 Gothenburg, Swedenhttp://icfpconference.org/icfp2014/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition * Program: http://icfpconference.org/icfp2014/program.html * Accepted Papers: http://icfpconference.org/icfp2014/accepted.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2014/local.html * Registration is available via: https://regmaster4.com/2014conf/ICFP14/register.php Early registration is due 3 August, 2014. * Programming contest, 25-28 July, 2014: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference Keynote speakers: * Kathleen Fisher (Tufts University): Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program * Robert Bruce Findler (Northwestern University): Behavioral Software Contracts * Stephanie Weirich (University of Pennsylvania): Depending on Types There are several events affiliated with ICFP: Sunday, August 31 ACM SIGPLAN Workshop on Generic Programming ACM SIGPLAN Workshop on Higher-order Programming with Effects Monday, September 1 ? Wednesday, September 3 ICFP Thursday, September 4 ACM SIGPLAN Commercial Users of Functional Programming: Day 1, Tutorials ACM SIGPLAN Haskell Symposium: Day 1 ACM SIGPLAN Workshop on Functional High-Performance Computing ACM SIGPLAN ML Family Workshop Friday, September 5 ACM SIGPLAN Commercial Users of Functional Programming: Day 2, Tutorials ACM SIGPLAN Haskell Symposium: Day 2 ACM SIGPLAN OCaml Workshop ACM SIGPLAN Erlang Workshop Saturday, September 6 ACM SIGPLAN Commercial Users of Functional Programming: Day 3, Talks ACM SIGPLAN Haskell Implementors Workshop ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Conference Organizers General Chair: Johan Jeuring, Utrecht University Program Chair: Manuel Chakravarty, University of New South Wales Local Arrangements Chair: Bj?rn von Sydow, Chalmers University Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, Ghent University Sam Tobin-Hochstadt, Indiana University Programming Contest Co-Chairs: Duncan Coutts, Well Typed LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum partners Jane Street Capital Gold partners Google Microsoft Research Mozilla Oracle Labs Standard Chartered Bank Silver partners Bloomberg Credit Suisse CyberPoint Erlang Solutions Facebook Galois Klarna Lexifi Twitter Bronze partners Alephcloud IntelliFactory Opera Software QuviQ Systeor Vest AS ===================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From wouter.swierstra at gmail.com Mon Aug 4 08:21:16 2014 From: wouter.swierstra at gmail.com (Wouter Swierstra) Date: Mon, 4 Aug 2014 10:21:16 +0200 Subject: [Haskell] =?utf-8?q?Haskell_Symposium_=E2=80=93_Call_for_particip?= =?utf-8?q?ation?= Message-ID: ==================================================================== CALL FOR PARTICIPATION ACM SIGPLAN Haskell Symposium 2014 Gothenburg, Sweden 4-5 September, 2014 (directly after ICFP) http://www.haskell.org/haskell-symposium/2014/ ==================================================================== The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Accepted papers and programme: http://www.haskell.org/haskell-symposium/2014/schedule.html REGISTRATION IS NOW OPEN: https://regmaster4.com/2014conf/ICFP14/register.php Local arrangements (including travel and accommodation): http://www.icfpconference.org/icfp2014/local.html I hope to see you in Gothenburg! Wouter Swierstra Haskell 2014 Program Chair From dstcruz at gmail.com Thu Aug 7 04:43:14 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 6 Aug 2014 22:43:14 -0600 Subject: [Haskell] Haskell Weekly News: Issue 301 Message-ID: Welcome to issue 301 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from July 27 to August 2, 2014 Quotes of the Week * bernalex: I used to have a problem then I used lens now I have an abstraction problem? * trap_exit: haskell is like the 'and they lived happily ever after' of programming languages Top Reddit Stories * The Comonad.Reader ? Letter to a Young Haskell Enthusiast Domain: comonad.com, Score: 236, Comments: 56 Original: [1] http://goo.gl/Z5usp3 On Reddit: [2] http://goo.gl/CpPKnC * seL4 is now open source: the world's first end-to-end verified OS kernel Domain: github.com, Score: 87, Comments: 20 Original: [3] http://goo.gl/Uz50bj On Reddit: [4] http://goo.gl/EQK0MQ * FP Haskell Center now free for open projects Domain: fpcomplete.com, Score: 81, Comments: 23 Original: [5] http://goo.gl/ULc9ze On Reddit: [6] http://goo.gl/ZleWCk * -XOverlappingInstances and -XIncoherentInstances to be deprecated Domain: haskell.org, Score: 76, Comments: 64 Original: [7] http://goo.gl/dokkrY On Reddit: [8] http://goo.gl/0AyqA2 * First-Class "Statements": IO as data Domain: blog.jle.im, Score: 68, Comments: 32 Original: [9] http://goo.gl/JNj2D1 On Reddit: [10] http://goo.gl/h1v7yp * Foldable and Traversable in Haskell Domain: blog.jakubarnold.cz, Score: 61, Comments: 30 Original: [11] http://goo.gl/mgI6Mg On Reddit: [12] http://goo.gl/nvwj6j * Minimalist GUI toolkit in GHCi Domain: github.com, Score: 61, Comments: 7 Original: [13] http://goo.gl/9PvsUP On Reddit: [14] http://goo.gl/jQKyG7 * early adopters rejoyce! Haskell Platform 2014.2.0.0 Release Candidate 2 Domain: haskell.org, Score: 48, Comments: 27 Original: [15] http://goo.gl/AGl5po On Reddit: [16] http://goo.gl/ThS3Wc * The Modular, Functional Client Side Domain: stackbuilders.com, Score: 46, Comments: 3 Original: [17] http://goo.gl/eydkfz On Reddit: [18] http://goo.gl/z9q8hE * Beware of bracket Domain: ro-che.info, Score: 46, Comments: 18 Original: [19] http://goo.gl/UYA2mF On Reddit: [20] http://goo.gl/ksMQVV * Real World Haskell: Shipping "Carnival", a Blog Commenting Service Domain: robots.thoughtbot.com, Score: 44, Comments: 5 Original: [21] http://goo.gl/UmPyiL On Reddit: [22] http://goo.gl/4PRdpm * Flee traveller! Flee or you will be corrupted and devoured! Domain: github.com, Score: 41, Comments: 16 Original: [23] http://goo.gl/e3sA6X On Reddit: [24] http://goo.gl/RuAZ4o * Reading files from the /proc filesystem Domain: yesodweb.com, Score: 35, Comments: 4 Original: [25] http://goo.gl/mVfVyM On Reddit: [26] http://goo.gl/Bd2HBT * clckwrks CMS source now on github. A sad farewell to darcs and an optimistic look towards greater contributions from the community. Domain: clckwrks.com, Score: 33, Comments: 31 Original: [27] http://goo.gl/ZLqVWl On Reddit: [28] http://goo.gl/q0za2l * Introduction to GHC.TypeLits with base 4.7, including runtime conversion of symbols. Domain: ponies.io, Score: 32, Comments: 13 Original: [29] http://goo.gl/6FtdyO On Reddit: [30] http://goo.gl/PpmkOc * Converting Make to Shake Domain: neilmitchell.blogspot.com, Score: 23, Comments: 14 Original: [31] http://goo.gl/dOWVhV On Reddit: [32] http://goo.gl/cHYTmS * Learn Snap: Interactive Snap + Heist Examples Domain: learnsnap.chromaticleaves.com, Score: 21, Comments: 14 Original: [33] http://goo.gl/Opwt40 On Reddit: [34] http://goo.gl/06AneL * Hackage: ghc-server: A server interface to GHC. Domain: hackage.haskell.org, Score: 18, Comments: 14 Original: [35] http://goo.gl/ZjhScl On Reddit: [36] http://goo.gl/b9wBfP * Bloggy Badger: Homemade FRP: a study in following the types Domain: gelisam.blogspot.com, Score: 17, Comments: 1 Original: [37] http://goo.gl/T7ujN3 On Reddit: [38] http://goo.gl/HAV1mR Top StackOverflow Questions * IO/Monadic assign operator causing ghci to explode for infinite list votes: 16, answers: 1 Read on SO: [39] http://goo.gl/TC0Snn * A performance conundrum votes: 14, answers: 1 Read on SO: [40] http://goo.gl/b910ez * Does an unused let binding have any effect in Haskell? votes: 12, answers: 3 Read on SO: [41] http://goo.gl/KEl13j * In Haskell, are guards or matchers preferable? votes: 12, answers: 1 Read on SO: [42] http://goo.gl/LiXDjk * If MonadPlus is the ?generator? class, then what is the ?consumer? class? votes: 12, answers: 2 Read on SO: [43] http://goo.gl/eqRu3a * Why would using head/tail instead of pattern matching make evaluation terminate? votes: 12, answers: 3 Read on SO: [44] http://goo.gl/LOjX0V Until next time, [45]+Daniel Santa Cruz References 1. http://comonad.com/reader/2014/letter-to-a-young-haskell-enthusiast/ 2. http://www.reddit.com/r/haskell/comments/2cbbgf/the_comonadreader_letter_to_a_young_haskell/ 3. https://github.com/seL4/seL4 4. http://www.reddit.com/r/haskell/comments/2c1bnp/sel4_is_now_open_source_the_worlds_first_endtoend/ 5. https://www.fpcomplete.com/business/blog/fp-haskell-center-going-free/ 6. http://www.reddit.com/r/haskell/comments/2c9u0g/fp_haskell_center_now_free_for_open_projects/ 7. http://www.haskell.org/pipermail/ghc-devs/2014-July/005830.html 8. http://www.reddit.com/r/haskell/comments/2c136i/xoverlappinginstances_and_xincoherentinstances_to/ 9. http://blog.jle.im/entry/first-class-statements 10. http://www.reddit.com/r/haskell/comments/2byuhj/firstclass_statements_io_as_data/ 11. http://blog.jakubarnold.cz/2014/07/30/foldable-and-traversable.html 12. http://www.reddit.com/r/haskell/comments/2c8b87/foldable_and_traversable_in_haskell/ 13. https://github.com/divipp/lensref/wiki 14. http://www.reddit.com/r/haskell/comments/2cge6f/minimalist_gui_toolkit_in_ghci/ 15. http://www.haskell.org/pipermail/haskell/2014-July/024276.html 16. http://www.reddit.com/r/haskell/comments/2c0ep4/early_adopters_rejoyce_haskell_platform_2014200/ 17. http://www.stackbuilders.com/news/the-modular-functional-client-side 18. http://www.reddit.com/r/haskell/comments/2c21j0/the_modular_functional_client_side/ 19. http://ro-che.info/articles/2014-07-30-bracket.html 20. http://www.reddit.com/r/haskell/comments/2c4li4/beware_of_bracket/ 21. http://robots.thoughtbot.com/ship-you-a-haskell 22. http://www.reddit.com/r/haskell/comments/2cfdms/real_world_haskell_shipping_carnival_a_blog/ 23. https://github.com/haskell/bytestring/blob/2530b1c28f15d0f320a84701bf507d5650de6098/Data/ByteString/Internal.hs#L624-L634 24. http://www.reddit.com/r/haskell/comments/2cbgpz/flee_traveller_flee_or_you_will_be_corrupted_and/ 25. http://www.yesodweb.com/blog/2014/07/reading-files-proc-filesystem 26. http://www.reddit.com/r/haskell/comments/2buufk/reading_files_from_the_proc_filesystem/ 27. http://www.clckwrks.com/page/view-page-slug/12/clckwrks-now-on-github 28. http://www.reddit.com/r/haskell/comments/2cd26w/clckwrks_cms_source_now_on_github_a_sad_farewell/ 29. http://ponies.io/posts/2014-07-30-typelits.html 30. http://www.reddit.com/r/haskell/comments/2c8bfi/introduction_to_ghctypelits_with_base_47/ 31. http://neilmitchell.blogspot.com/2014/07/converting-make-to-shake.html 32. http://www.reddit.com/r/haskell/comments/2bukaj/converting_make_to_shake/ 33. http://learnsnap.chromaticleaves.com/ 34. http://www.reddit.com/r/haskell/comments/2cdc36/learn_snap_interactive_snap_heist_examples/ 35. http://hackage.haskell.org/package/ghc-server-1.0 36. http://www.reddit.com/r/haskell/comments/2c17zz/hackage_ghcserver_a_server_interface_to_ghc/ 37. http://gelisam.blogspot.com/2014/07/homemade-frp-study-in-following-types.html 38. http://www.reddit.com/r/haskell/comments/2c0vg4/bloggy_badger_homemade_frp_a_study_in_following/ 39. http://stackoverflow.com/questions/24986296/io-monadic-assign-operator-causing-ghci-to-explode-for-infinite-list 40. http://stackoverflow.com/questions/25089668/a-performance-conundrum 41. http://stackoverflow.com/questions/24984661/does-an-unused-let-binding-have-any-effect-in-haskell 42. http://stackoverflow.com/questions/25000929/in-haskell-are-guards-or-matchers-preferable 43. http://stackoverflow.com/questions/25070740/if-monadplus-is-the-generator-class-then-what-is-the-consumer-class 44. http://stackoverflow.com/questions/25078598/why-would-using-head-tail-instead-of-pattern-matching-make-evaluation-terminate 45. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From mark.lentczner at gmail.com Sat Aug 9 22:28:47 2014 From: mark.lentczner at gmail.com (Mark Lentczner) Date: Sat, 9 Aug 2014 18:28:47 -0400 Subject: [Haskell] Haskell Platform 2014.2.0.0 is Released! Message-ID: On behalf of the Haskell Platform team, I'm happy to announce the release of *Haskell Platform 2014.2.0.0* featuring: GHC 7.8.3 53 packages 860+ public modules 4 tools This release features a major upgrade to OpenGL and GLUT. In addition, "behind the scenes", this release of the platform is produced with a new build system, and many improvements to the installations on all three OS families. Get it now: Download Haskell Platform ? for Windows ? for Mac OS X ? for Linux (and similar systems) N.B.: You may need to explicitly re-fresh those links when visiting in your browser - those pages tend to get cached for very long periods of time. ? Mark "platform wrangler" Lentczner P.S.: I realize this one was a long time a'comin'. I take the responsibility for the decisions that lead up to being this late, including deciding it was worth it to wait for GHC 7.8, and that this was the right time to re-write the platform build system. I hope the speed that we can now turn the platform will be evident in future releases. Haskell Platform is created by a team of many hands. Special call out to Randy Polen for the new Windows build, and Yitzchak Gale and Neil Mitchell for help with the new build system. Thanks also to all the intrepid folks that tried out the early alphas and release candidates. Additional help is always welcome! -------------- next part -------------- An HTML attachment was scrubbed... URL: From hjgtuyl at chello.nl Sat Aug 9 22:54:16 2014 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Sun, 10 Aug 2014 00:54:16 +0200 Subject: [Haskell] [Haskell-cafe] Haskell Platform 2014.2.0.0 is Released! In-Reply-To: References: Message-ID: On Sun, 10 Aug 2014 00:28:47 +0200, Mark Lentczner wrote: > On behalf of the Haskell Platform team, I'm happy to announce the > release of > > *Haskell Platform 2014.2.0.0* : > Download Haskell Platform > ? for Windows > ? for Mac OS X > ? for Linux (and similar > systems) The links on these pages are missing ".0" in several places, they should be: http://www.haskell.org/platform/download/2014.2.0.0/HaskellPlatform-2014.2.0.0-i386-setup.exe http://www.haskell.org/platform/download/2014.2.0.0/HaskellPlatform-2014.2.0.0-x86_64-setup.exe http://www.haskell.org/platform/download/2014.2.0.0/Haskell%20Platform%202014.2.0.0%2064bit.signed.pkg http://www.haskell.org/platform/download/2014.2.0.0/haskell-platform-2014.2.0.0-unknown-linux-x86_64.tar.gz Regards, Henk-Jan van Tuyl -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From mark.lentczner at gmail.com Sat Aug 9 23:01:13 2014 From: mark.lentczner at gmail.com (Mark Lentczner) Date: Sat, 9 Aug 2014 19:01:13 -0400 Subject: [Haskell] [Haskell-cafe] Haskell Platform 2014.2.0.0 is Released! In-Reply-To: References: Message-ID: Thanks for the quick catch... All links fixed. You may need to refresh in your browser. - Mark ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From jv at informatik.uni-bonn.de Mon Aug 11 08:17:15 2014 From: jv at informatik.uni-bonn.de (Janis Voigtlaender) Date: Mon, 11 Aug 2014 10:17:15 +0200 Subject: [Haskell] WLP/WFLP - Call for Participation - September 15-17 Message-ID: <53E87C0B.80407@informatik.uni-bonn.de> Call for Participation 28th Workshop on (Constraint) Logic Programming (WLP 2014) co-located with 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014) Lutherstadt Wittenberg, Germany, September 15 - 17 Early registration deadline: August 26 The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Invited Speakers: Michael Hanus: Declarative Multi-paradigm Programming (Tutorial). Sven Thiele: Answer Set Programming for Systems Biology. Accepted Papers and Preliminary Program: http://dbs.informatik.uni-halle.de/wlp14/program.html Registration: http://dbs.informatik.uni-halle.de/wlp14/reg.php Venue: http://www.leucorea.de/leucorea.html (Tagungszentrum) Tourist Information: http://www.wittenberg.de/ We look forward to seeing you in Wittenberg. Stefan Brass (WLP track chair and local organizer) Johannes Waldmann (WFLP track chair) From hjgtuyl at chello.nl Tue Aug 12 16:37:10 2014 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Tue, 12 Aug 2014 18:37:10 +0200 Subject: [Haskell] ANNOUNCE: wxHaskell 0.91.0.0 Message-ID: L.S., I am happy to announce a new version of wxHaskell. This version binds to both wxWidgets 2.9 and 3.0 [0]. As wxWidgets 3.0 is significantly better, I advice everyone, who is already using wxHaskell, to upgrade to wxWidgets 3.0.1 What is it? ----------- wxHaskell[1] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets ? a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. What's new? ----------- - Accept both wxWidgets 2.9 and 3.0, with a preference for 3.0 - Added bindings for wxGraphicsContext::CreatePath - Use the same custom hook for `cabal copy` in wxc/Setup.hs - Many updates in definitions of constants and some 'deprecated' annotations - samples/wx/TestTaskBarIcon.hs now displays an icon in the taskbar - Parsec.hs can now handle lines starting with "//" properly (package wxdirect) - Fixed build issue that was caused by not having both the 2.9 and 3.0 versions of wxWidgets installed - Made samples/test/STCEvent.hs compilable - Solved warnings about deprecated methods and duplicate constant definition - Added -Wl to options for compiling wxc.dll - Adapted upper limit for packages process and array - Solved "deprecated" warning from GHC 7.8.2 Links ----- See the homepage of wxHaskell for more information: https://www.haskell.org/haskellwiki/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] https://www.wxwidgets.org [1] https://www.haskell.org/haskellwiki/WxHaskell -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From cristian_gherghina at sutd.edu.sg Fri Aug 15 05:24:24 2014 From: cristian_gherghina at sutd.edu.sg (Cristian Andrei Gherghina) Date: Fri, 15 Aug 2014 05:24:24 +0000 Subject: [Haskell] APLAS 2014: Call for Posters and Demo Message-ID: <5b172e2f9a414b8281bb31681ee2eb88@SIXPR03MB125.apcprd03.prod.outlook.com> ?(Apologies for multiple copies.) Call for Posters and Demos: APLAS 2014 12th Asian Symposium on Programming Languages and Systems November 17-19, 2014 Singapore http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. APLAS 2014 will include a poster and demo session during the conference. The poster session aims to give students, researchers and professionals an opportunity to present technical materials to the research community, and to get responses from other students, researchers and professionals in the field. ===== SCOPE ===== Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - semantics, logics, foundational theory; - design of languages, type systems and foundational calculi; - domain-specific languages; - compilers, interpreters, abstract machines; - program derivation, synthesis and transformation; - program analysis, verification, model-checking; - logic, constraint, probabilistic and quantum programming; - software security; - concurrency and parallelism; - tools and environments for programming and implementation. ========== SUBMISSION ========== Each presenter should submit a 1-2 page abstract in PDF via the submission web page, https://easychair.org/conferences/?conf=aplas2014ps , by 15 September 2014 (Monday), 23:59 GMT. The abstract should include the title, style of the presentation (poster only or poster plus demo), author(s), affiliation(s) and summary of the work. Abstracts must be written in English using the Springer LNCS format. We will announce the accepted presentations on 22 September 2014. We hope to accommodate every presentation, but may restrict them (based on relevance and interest to the community) due to space constraints. The format of the poster will be announced later. =============== IMPORTANT DATES =============== Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) Conference: 17-19 November 2014 (Monday-Wednesday) ======= CONTACT ======= Poster chair: Cristian Gherghina (SUTD, Singapore) Email: cristian_gherghina at sutd.edu.sg ?? This email may contain confidential and/or proprietary information that is exempt from disclosure under applicable law and is intended for receipt and use solely by the addressee(s) named above. If you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of this email, or any attachment, is strictly prohibited. Please delete the email immediately and inform the sender. Thank You -------------- next part -------------- An HTML attachment was scrubbed... URL: From coreyoconnor at gmail.com Fri Aug 15 16:54:22 2014 From: coreyoconnor at gmail.com (Corey O'Connor) Date: Fri, 15 Aug 2014 09:54:22 -0700 Subject: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 Message-ID: 5.2.0 - Corrected handling of Color240 values. - Squashed warnings. Thanks jtdaugherty! - Config structure now specifies file descriptor to use. The default is stdInput and stdOutput file descriptors. Previously Vty used stdInput for input and the follow code for output: - hDuplicate stdout >>= handleToFd >>= (`hSetBuffering` NoBuffering) - the difference was required by Vty.Inline. Now, Vty.Inline uses the Config structure options to acheive the same effect. - removed: derivedVtime, derivedVmin, inputForCurrentTerminal, inputForNameAndIO, outputForCurrentTerminal, outputForNameAndIO - added: inputForConfig, outputForConfig - updates to vty-rogue from jtdaugherty. Thanks! - the oldest version of GHC tested to support vty is 7.4.2 -Corey O'Connor coreyoconnor at gmail.com http://corebotllc.com/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From coreyoconnor at gmail.com Fri Aug 15 17:49:28 2014 From: coreyoconnor at gmail.com (Corey O'Connor) Date: Fri, 15 Aug 2014 10:49:28 -0700 Subject: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 In-Reply-To: References: Message-ID: (I suppose links would be nice) http://hackage.haskell.org/package/vty-5.2.0 http://hackage.haskell.org/package/vty-examples-5.2.0 -Corey O'Connor coreyoconnor at gmail.com http://corebotllc.com/ On Fri, Aug 15, 2014 at 9:54 AM, Corey O'Connor wrote: > 5.2.0 > - Corrected handling of Color240 values. > - Squashed warnings. Thanks jtdaugherty! > - Config structure now specifies file descriptor to use. The default is > stdInput and stdOutput > file descriptors. Previously Vty used stdInput for input and the > follow code for output: > - hDuplicate stdout >>= handleToFd >>= (`hSetBuffering` NoBuffering) > - the difference was required by Vty.Inline. Now, Vty.Inline uses > the Config structure options > to acheive the same effect. > - removed: derivedVtime, derivedVmin, inputForCurrentTerminal, > inputForNameAndIO, > outputForCurrentTerminal, outputForNameAndIO > - added: inputForConfig, outputForConfig > - updates to vty-rogue from jtdaugherty. Thanks! > - the oldest version of GHC tested to support vty is 7.4.2 > > > -Corey O'Connor > coreyoconnor at gmail.com > http://corebotllc.com/ > -------------- next part -------------- An HTML attachment was scrubbed... URL: From fuuzetsu at fuuzetsu.co.uk Sat Aug 16 03:36:59 2014 From: fuuzetsu at fuuzetsu.co.uk (Mateusz Kowalczyk) Date: Sat, 16 Aug 2014 04:36:59 +0100 Subject: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 In-Reply-To: References: Message-ID: <53EED1DB.1030601@fuuzetsu.co.uk> On 08/15/2014 05:54 PM, Corey O'Connor wrote: > 5.2.0 > - Corrected handling of Color240 values. > - Squashed warnings. Thanks jtdaugherty! > - Config structure now specifies file descriptor to use. The default is > stdInput and stdOutput > file descriptors. Previously Vty used stdInput for input and the follow > code for output: > - hDuplicate stdout >>= handleToFd >>= (`hSetBuffering` NoBuffering) > - the difference was required by Vty.Inline. Now, Vty.Inline uses the > Config structure options > to acheive the same effect. > - removed: derivedVtime, derivedVmin, inputForCurrentTerminal, > inputForNameAndIO, > outputForCurrentTerminal, outputForNameAndIO > - added: inputForConfig, outputForConfig > - updates to vty-rogue from jtdaugherty. Thanks! > - the oldest version of GHC tested to support vty is 7.4.2 > > > -Corey O'Connor > coreyoconnor at gmail.com > http://corebotllc.com/ > > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > Just tried packaging for nix: Linking dist/build/verify-attribute-opsStub/verify-attribute-opsStub ... ghc: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-unknown-linux): Don't understand library name verify-attribute-ops Full log at [1]. [1]: http://lpaste.net/109463 -- Mateusz K. From coreyoconnor at gmail.com Sat Aug 16 16:49:55 2014 From: coreyoconnor at gmail.com (Corey O'Connor) Date: Sat, 16 Aug 2014 09:49:55 -0700 Subject: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 In-Reply-To: <53EED1DB.1030601@fuuzetsu.co.uk> References: <53EED1DB.1030601@fuuzetsu.co.uk> Message-ID: I was able to reproduce this independently of vty. Opened a bug in Cabal for now. Though I suspect, like many ghc panics, this is a bug in GHC: https://github.com/haskell/cabal/issues/2039 The bug is triggered by --enable-executable-dynamic. For now avoid that option when executing test suites. Thanks! Corey -Corey O'Connor coreyoconnor at gmail.com http://corebotllc.com/ On Fri, Aug 15, 2014 at 8:36 PM, Mateusz Kowalczyk wrote: > On 08/15/2014 05:54 PM, Corey O'Connor wrote: > > 5.2.0 > > - Corrected handling of Color240 values. > > - Squashed warnings. Thanks jtdaugherty! > > - Config structure now specifies file descriptor to use. The default is > > stdInput and stdOutput > > file descriptors. Previously Vty used stdInput for input and the > follow > > code for output: > > - hDuplicate stdout >>= handleToFd >>= (`hSetBuffering` > NoBuffering) > > - the difference was required by Vty.Inline. Now, Vty.Inline uses > the > > Config structure options > > to acheive the same effect. > > - removed: derivedVtime, derivedVmin, inputForCurrentTerminal, > > inputForNameAndIO, > > outputForCurrentTerminal, outputForNameAndIO > > - added: inputForConfig, outputForConfig > > - updates to vty-rogue from jtdaugherty. Thanks! > > - the oldest version of GHC tested to support vty is 7.4.2 > > > > > > -Corey O'Connor > > coreyoconnor at gmail.com > > http://corebotllc.com/ > > > > > > > > _______________________________________________ > > Haskell mailing list > > Haskell at haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > > > > Just tried packaging for nix: > > Linking dist/build/verify-attribute-opsStub/verify-attribute-opsStub ... > ghc: panic! (the 'impossible' happened) > (GHC version 7.8.3 for x86_64-unknown-linux): > Don't understand library name verify-attribute-ops > > Full log at [1]. > > [1]: http://lpaste.net/109463 > > -- > Mateusz K. > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Sun Aug 17 19:02:08 2014 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Sun, 17 Aug 2014 21:02:08 +0200 Subject: [Haskell] [ANN] BOB 2015: Call for Contributions Message-ID: The BOB conference will have a strong focus on functional programming, so Haskell submissions very welcome. Please consider submitting! BOB Conference 2015 Berlin 23.1.2015 http://bobkonf.de/2015/ CALL FOR CONTRIBUTIONS English: http://bobkonf.de/2015/cfp.html German: http://bobkonf.de/2015/cfp.html Deadline: September 30, 2014 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer you a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - micro-service architectures - persistent data structures and databases - ... everything really that isn't mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. It should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, ...) You can submit your proposal using the following form: https://docs.google.com/spreadsheet/viewform?formkey=dHJ0TjR1cEhUWmdBZFVITGVRVWN5VEE6MA - direct questions to bobkonf at active minus group dot de - proposal deadline: September 30, 2014 - notification: October 15, 2014 - program: October 2014, 2014 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Michael Sperber, Active Group - Stefan Wehr, factis research Wissenschaftlicher Beirat - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni T?bingen - Peter Thiemann, Uni Freiburg From ekmett at gmail.com Mon Aug 18 08:16:16 2014 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 18 Aug 2014 04:16:16 -0400 Subject: [Haskell] CUFP 2014: Call For Participation Message-ID: ****************************************************************** CALL FOR PARTICIPATION Commercial Users of Functional Programming (CUFP) 2014 at ICFP 2014; Gothenburg, Sweden, Sep 4-6. ****************************************************************** Overview ======== Functional programming has been at the forefront of a new generation of programming technologies: Companies employing functional programming use it to enable more effective, robust, and flexible software development. The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming: Practitioners meet and collaborate; language designers and users can share ideas about the future of their languages; experts share their expertise on practical functional programming. CUFP 2014 begins with two days of tutorials by top-notch language experts including advanced tutorials on special topics, followed by a day of talks about industrial applications of functional programming. More information about CUFP 2014 is available on the CUFP web site at http://cufp.org/2014/ Registration is available at: https://regmaster4.com/2014conf/ICFP14/register.php TUTORIALS, SEPTEMBER 4 ====================== T1: Programming with Dependent Types Ulf Norell T2: Haskell in the Real World Stefan Wehr T3: Intro to Elm: a field guide for functional front-end programming (Part 1) Evan Czaplicki & Spiros Eliopoulos T4: Elm-d3: Front-end Development without Frameworks (Part 2) Spiros Eliopoulos T5: Idris: Practical Software Verification with Dependent Types Edwin Brady T6: Lens Edward Kmett TUTORIALS, SEPTEMBER 5 ====================== T7: Introduction to OCaml Leo White & Jeremy Yallop T8: Programming in Rust Felix Klock & Lars Bergstrom T9: Tinkering with the Raspberry Pi using Erlang Torben Hoffmann T10: Hands-on Functional Web Development in F# with WebSharper Adam Granicz T11: Batteries Included: Generative Programming with Scala and LMS Tiark Rompf & Nada Amin T12: Introduction to testing with QuickCheck John Hughes TALKS, SEPTEMBER 6 ================== Keynote: Making Money From FP Joe Armstrong, Ericsson and Royal Institute of Technology in Stockholm Functional Programming at Verizon OnCue Timothy Perrett, Verizon Adopting Functional Programming with OCaml at Bloomberg LP Maxime Ransan, Bloomberg LP MBrace: large-scale programming in F# Eirik Tsarpalis, Nessos Probabilistic Synchronization of State Between Independent Nodes Erlend Hamberg Towards "annex", a Fact Based Dependency System Mark Hibberd Building data and time-series analytics tools for F# Tomas Petricek & Howard Mansell Haskell in the Misson Control Domain Michael Oswald Haskell tools for satellite operations Bj?rn Buckwalter F# For Fun and Games Anthony Brown Some usages of functional programming for FO and quants Renaud Bechade Reactive I/O with Scala, Akka, and Play Kenneth Owens, Comcast If your server is a function, is your company a library? Andrew Cowie -------------- next part -------------- An HTML attachment was scrubbed... URL: From dstcruz at gmail.com Thu Aug 21 04:20:27 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 20 Aug 2014 22:20:27 -0600 Subject: [Haskell] Haskell Weekly News: Issue 302 Message-ID: Welcome to issue 302 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 3 to 16, 2014 Quotes of the Week * alpha123: I don't think I have the gonads for monads. :( * edwardk: There is nothing Natural about a Word. * bernalex: I very often have to deal with people who think I'm pretentious for caring about what programming language I use. "it's just programming". lol. sopvop: I used to think the same sopvop: Then haskell corrupted me sopvop: Haskell is a ghetto Top Reddit Stories * ?_? :: String -> a Domain: hackage.haskell.org, Score: 122, Comments: 56 Original: [1] http://goo.gl/S87evt On Reddit: [2] http://goo.gl/vsfwgr * An inspiring Haskell story: the green screen of FP Domain: keera.co.uk, Score: 120, Comments: 13 Original: [3] http://goo.gl/z8Aecw On Reddit: [4] http://goo.gl/fevzzz * Haskell Platform 2014.2.0.0 is released Domain: haskell.org, Score: 117, Comments: 56 Original: [5] http://goo.gl/Wc6TAF On Reddit: [6] http://goo.gl/hMPM7F * criterion 1.0: a major new release Domain: serpentine.com, Score: 110, Comments: 13 Original: [7] http://goo.gl/7Qf3ox On Reddit: [8] http://goo.gl/Pa9fCW * What?s a module system good for anyway? Domain: blog.ezyang.com, Score: 102, Comments: 20 Original: [9] http://goo.gl/qtm97E On Reddit: [10] http://goo.gl/XlWrM2 * Easy Haskell Profiling Domain: danielvelkov.blogspot.com, Score: 83, Comments: 33 Original: [11] http://goo.gl/SWdxdC On Reddit: [12] http://goo.gl/z6clxp * Type Theory Podcast: Peter Dybjer on QuickCheck, verification, and semantics Domain: typetheorypodcast.com, Score: 57, Comments: 21 Original: [13] http://goo.gl/jN12Ak On Reddit: [14] http://goo.gl/tLVPpw * Fantasy World Haskell Domain: self.haskell, Score: 52, Comments: 165 Original: [15] http://goo.gl/UmJLhG On Reddit: [16] http://goo.gl/UmJLhG * Haskell for all: managed-1.0.0: A monad for managed resources Domain: haskellforall.com, Score: 51, Comments: 10 Original: [17] http://goo.gl/tbw8JN On Reddit: [18] http://goo.gl/cKB6xZ * Announcing auto-update Domain: yesodweb.com, Score: 47, Comments: 4 Original: [19] http://goo.gl/xhlw04 On Reddit: [20] http://goo.gl/GO6udg * Codeworld: An open-source educational programming environment using Haskell Domain: github.com, Score: 47, Comments: 8 Original: [21] http://goo.gl/7NTgnF On Reddit: [22] http://goo.gl/wJBgw5 * PureScript By Example Domain: leanpub.com, Score: 46, Comments: 25 Original: [23] http://goo.gl/vzcfP6 On Reddit: [24] http://goo.gl/p3gkEB * Lenses from the ground up Domain: taylor.fausak.me, Score: 45, Comments: 43 Original: [25] http://goo.gl/S31V8w On Reddit: [26] http://goo.gl/DAGBPz * Algebraic Terraforming: Trees from Magma Domain: fpcomplete.com, Score: 42, Comments: 22 Original: [27] http://goo.gl/1nGpnz On Reddit: [28] http://goo.gl/iX8ZST * Denotational Design: from meanings to programs By Conal Elliott at BayHac (Video) Domain: youtube.com, Score: 42, Comments: 5 Original: [29] http://goo.gl/rHeDrK On Reddit: [30] http://goo.gl/SLCZ5D * Just LOOK at the humongous type that Hindley-Milner infers for this tiny program! Domain: spacemanaki.com, Score: 38, Comments: 27 Original: [31] http://goo.gl/cAypnJ On Reddit: [32] http://goo.gl/ztDpK7 * Recommended Reading Material Domain: reinh.com, Score: 37, Comments: 12 Original: [33] http://goo.gl/LwGkEr On Reddit: [34] http://goo.gl/ED5pqI * (Monoidal) transducers are monoid homomorphisms Domain: oleksandrmanzyuk.wordpress.com, Score: 37, Comments: 43 Original: [35] http://goo.gl/VPDl6Y On Reddit: [36] http://goo.gl/5RY9Nf * ? Lessons: Pattern matching, first-class functions, and abstracting over recursion in Haskell Domain: stevekrouse.github.io, Score: 36, Comments: 3 Original: [37] http://goo.gl/NkxhS5 On Reddit: [38] http://goo.gl/4275GH Top StackOverflow Questions * What are the problems with an ADT encoding that associates types with data constructors? (Such as Scala.) votes: 41, answers: 1 Read on SO: [39] http://goo.gl/k4bw4R * Why is Haskell missing ?obvious? Typeclasses votes: 26, answers: 7 Read on SO: [40] http://goo.gl/2YElO8 * Is there a way to elegantly represent this pattern in Haskell? votes: 22, answers: 6 Read on SO: [41] http://goo.gl/sQdRMt * Why does Scala not have a return/unit function defined for each monad (in contrast to Haskell)? votes: 16, answers: 4 Read on SO: [42] http://goo.gl/MQlZTi * How did Haskell add Turing-completeness to System F? votes: 15, answers: 1 Read on SO: [43] http://goo.gl/weJo4Z * How to avoid superfluous variables in do notation? votes: 14, answers: 2 Read on SO: [44] http://goo.gl/b3IgC5 Until next time, [45]+Daniel Santa Cruz References 1. https://hackage.haskell.org/package/acme-lookofdisapproval-0.1/docs/Acme-LookOfDisapproval.html 2. http://www.reddit.com/r/haskell/comments/2dce3d/%E0%B2%A0_%E0%B2%A0_string_a/ 3. http://keera.co.uk/blog/2014/08/13/most-inspiring-green-screen-you-will-ever-see/ 4. http://www.reddit.com/r/haskell/comments/2djh3b/an_inspiring_haskell_story_the_green_screen_of_fp/ 5. http://www.haskell.org/platform/#2014.2.0.0 6. http://www.reddit.com/r/haskell/comments/2d3p2c/haskell_platform_2014200_is_released/ 7. http://www.serpentine.com/blog/2014/08/08/criterion-1-0/ 8. http://www.reddit.com/r/haskell/comments/2cyuv4/criterion_10_a_major_new_release/ 9. http://blog.ezyang.com/2014/08/whats-a-module-system-good-for-anyway/ 10. http://www.reddit.com/r/haskell/comments/2d3xuh/whats_a_module_system_good_for_anyway/ 11. http://danielvelkov.blogspot.com/2014/08/easy-haskell-profiling.html 12. http://www.reddit.com/r/haskell/comments/2d8ob4/easy_haskell_profiling/ 13. http://typetheorypodcast.com/2014/08/episode-1-peter-dybjer-on-type-theory-and-testing/ 14. http://www.reddit.com/r/haskell/comments/2df24l/type_theory_podcast_peter_dybjer_on_quickcheck/ 15. http://www.reddit.com/r/haskell/comments/2chb2h/fantasy_world_haskell/ 16. http://www.reddit.com/r/haskell/comments/2chb2h/fantasy_world_haskell/ 17. http://www.haskellforall.com/2014/08/managed-100-monad-for-managed-resources.html 18. http://www.reddit.com/r/haskell/comments/2d7109/haskell_for_all_managed100_a_monad_for_managed/ 19. http://www.yesodweb.com/blog/2014/08/announcing-auto-update 20. http://www.reddit.com/r/haskell/comments/2crqyg/announcing_autoupdate/ 21. https://github.com/google/codeworld 22. http://www.reddit.com/r/haskell/comments/2drcwx/codeworld_an_opensource_educational_programming/ 23. https://leanpub.com/purescript/read 24. http://www.reddit.com/r/haskell/comments/2cswdd/purescript_by_example/ 25. http://taylor.fausak.me/2014/08/03/lenses-from-the-ground-up/ 26. http://www.reddit.com/r/haskell/comments/2cl28r/lenses_from_the_ground_up/ 27. https://www.fpcomplete.com/user/bss/magma-tree 28. http://www.reddit.com/r/haskell/comments/2corq6/algebraic_terraforming_trees_from_magma/ 29. https://www.youtube.com/watch?v=zzCrZEil9iI 30. http://www.reddit.com/r/haskell/comments/2dh0sd/denotational_design_from_meanings_to_programs_by/ 31. http://spacemanaki.com/blog/2014/08/04/Just-LOOK-at-the-humongous-type/ 32. http://www.reddit.com/r/haskell/comments/2cka6d/just_look_at_the_humongous_type_that/ 33. http://reinh.com/notes/posts/2014-07-25-recommended-reading-material.html 34. http://www.reddit.com/r/haskell/comments/2cpr4z/recommended_reading_material/ 35. http://oleksandrmanzyuk.wordpress.com/2014/08/09/transducers-are-monoid-homomorphisms/ 36. http://www.reddit.com/r/haskell/comments/2d5ael/monoidal_transducers_are_monoid_homomorphisms/ 37. https://stevekrouse.github.io/hs.js/ 38. http://www.reddit.com/r/haskell/comments/2d1dpg/%CE%BB_lessons_pattern_matching_firstclass_functions/ 39. http://stackoverflow.com/questions/25330359/what-are-the-problems-with-an-adt-encoding-that-associates-types-with-data-const 40. http://stackoverflow.com/questions/25191659/why-is-haskell-missing-obvious-typeclasses 41. http://stackoverflow.com/questions/25107101/is-there-a-way-to-elegantly-represent-this-pattern-in-haskell 42. http://stackoverflow.com/questions/25238622/why-does-scala-not-have-a-return-unit-function-defined-for-each-monad-in-contra 43. http://stackoverflow.com/questions/25255413/how-did-haskell-add-turing-completeness-to-system-f 44. http://stackoverflow.com/questions/25314793/how-to-avoid-superfluous-variables-in-do-notation 45. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From slim.kallel at gmail.com Fri Aug 22 09:58:18 2014 From: slim.kallel at gmail.com (Slim Kallel) Date: Fri, 22 Aug 2014 10:58:18 +0100 Subject: [Haskell] CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures Message-ID: 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) -------------- next part -------------- An HTML attachment was scrubbed... URL: From bog at khumba.net Sat Aug 23 20:35:17 2014 From: bog at khumba.net (Bryan Gardiner) Date: Sat, 23 Aug 2014 13:35:17 -0700 Subject: [Haskell] ANNOUNCE: goatee, goatee-gtk: Go game editor Message-ID: <20140823133517.1cfb0433@khumba.net> 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 From robby at eecs.northwestern.edu Wed Aug 27 01:23:10 2014 From: robby at eecs.northwestern.edu (Robby Findler) Date: Tue, 26 Aug 2014 20:23:10 -0500 Subject: [Haskell] Fwd: [racket-dev] Call for Participation: SPLASH Educators Symposium In-Reply-To: References: Message-ID: 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 From cheecheeo at gmail.com Wed Aug 27 18:32:54 2014 From: cheecheeo at gmail.com (John Alfred Nathanael Chee) Date: Wed, 27 Aug 2014 11:32:54 -0700 Subject: [Haskell] ANN: cgi 3001.2.0.0 Message-ID: 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/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From dstcruz at gmail.com Thu Aug 28 05:40:57 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 27 Aug 2014 23:40:57 -0600 Subject: [Haskell] Haskell Weekly News: Issue 303 Message-ID: Welcome to issue 303 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 17 to 23, 2014 Quotes of the Week * monochrom: "point free" can be decomposed to: "point" refers to ".", "free" refers to using no "$". :) Top Reddit Stories * ? Bubble Pop! Domain: chrisuehlinger.com, Score: 97, Comments: 41 Original: [1] http://goo.gl/hVQq2F On Reddit: [2] http://goo.gl/OQWXK2 * The fundamental problem of programming language package management Domain: blog.ezyang.com, Score: 82, Comments: 54 Original: [3] http://goo.gl/fWmA0P On Reddit: [4] http://goo.gl/PfJbY0 * How Programming language subreddits talk (including Haskell) Domain: github.com, Score: 72, Comments: 31 Original: [5] http://goo.gl/2Ef0tB On Reddit: [6] http://goo.gl/KpTH74 * A fast, generic and type-safe image processing library written in Haskell Domain: hackage.haskell.org, Score: 59, Comments: 27 Original: [7] http://goo.gl/Pmeot3 On Reddit: [8] http://goo.gl/Veffgp * GHC company-mode Domain: github.com, Score: 58, Comments: 7 Original: [9] http://goo.gl/UVDEhl On Reddit: [10] http://goo.gl/uuxRCd * Hase - bringing state-of-the-art NLP to Haskell Domain: github.com, Score: 55, Comments: 8 Original: [11] http://goo.gl/l39RVB On Reddit: [12] http://goo.gl/A8FI9k * Lens 4.4 release notes Domain: self.haskell, Score: 54, Comments: 18 Original: [13] http://goo.gl/WjndWF On Reddit: [14] http://goo.gl/WjndWF * Jobs: Haskell developer roles at Standard Chartered Domain: donsbot.wordpress.com, Score: 48, Comments: 21 Original: [15] http://goo.gl/ik0pc3 On Reddit: [16] http://goo.gl/vDC3Jn * Speeding up conduit Domain: fpcomplete.com, Score: 42, Comments: 27 Original: [17] http://goo.gl/wdbJVY On Reddit: [18] http://goo.gl/hfnyhj * Why is GHC Runtime Enviornment in C? Domain: self.haskell, Score: 39, Comments: 34 Original: [19] http://goo.gl/9uh3YJ On Reddit: [20] http://goo.gl/9uh3YJ * An introduction to QuickCheck by example: Number theory and Okasaki's red-black trees Domain: matt.might.net, Score: 37, Comments: 1 Original: [21] http://goo.gl/DnXQrK On Reddit: [22] http://goo.gl/zkLzQi * [ANN] dash-haskell: Package dependency approximate documentation look-up & access for IDE(s) (Emacs,Vim+) Domain: github.com, Score: 31, Comments: 9 Original: [23] http://goo.gl/Z6HHFK On Reddit: [24] http://goo.gl/jxtJWW * Deprecating yesod-platform Domain: yesodweb.com, Score: 30, Comments: 10 Original: [25] http://goo.gl/C3sSj9 On Reddit: [26] http://goo.gl/P5w22y * Building Monad Transformers. Domain: jakubarnold.cz, Score: 25, Comments: 8 Original: [27] http://goo.gl/SBeulZ On Reddit: [28] http://goo.gl/0a5vYr * Better code readability with Vim Haskell Conceal+ Domain: github.com, Score: 20, Comments: 44 Original: [29] http://goo.gl/2pNWCz On Reddit: [30] http://goo.gl/FMThMu * What's the best practice for building a DSL in haskell? Domain: self.haskell, Score: 19, Comments: 22 Original: [31] http://goo.gl/v9fIO8 On Reddit: [32] http://goo.gl/v9fIO8 * Object-Oriented Style Overloading for Haskell Domain: research.microsoft.com, Score: 18, Comments: 9 Original: [33] http://goo.gl/SPkDps On Reddit: [34] http://goo.gl/UwF6X5 * SmartChecking Matt Might?s Red-Black Trees Domain: leepike.wordpress.com, Score: 18, Comments: 0 Original: [35] http://goo.gl/gd5aUQ On Reddit: [36] http://goo.gl/9Ubkra Top StackOverflow Questions * What kinds of type errors can Haskell catch at compile time that Java cannot? [closed] votes: 23, answers: 4 Read on SO: [37] http://goo.gl/19MljX * How to link custom object file with Haskell library votes: 18, answers: 0 Read on SO: [38] http://goo.gl/K6uC0X * Finding where <> happened votes: 17, answers: 2 Read on SO: [39] http://goo.gl/kby69L * What exactly makes Option a monad in Scala? votes: 17, answers: 3 Read on SO: [40] http://goo.gl/whDpHu * Arrow without arr votes: 16, answers: 0 Read on SO: [41] http://goo.gl/VBbo0Z * max and min with NaN in Haskell votes: 15, answers: 3 Read on SO: [42] http://goo.gl/xLFDhm * Simplifying a GADT with Uniplate votes: 11, answers: 1 Read on SO: [43] http://goo.gl/uWL1pI * Trying to apply CPS to an interpreter votes: 9, answers: 1 Read on SO: [44] http://goo.gl/kCtbcq * Jumping forward with the continuation monad votes: 8, answers: 1 Read on SO: [45] http://goo.gl/fBKheg Until next time, [46]+Daniel Santa Cruz References 1. http://chrisuehlinger.com/LambdaBubblePop/ 2. http://www.reddit.com/r/haskell/comments/2eak9t/%CE%BB_bubble_pop/ 3. http://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package-management/ 4. http://www.reddit.com/r/haskell/comments/2e74cn/the_fundamental_problem_of_programming_language/ 5. https://github.com/Dobiasd/programming-language-subreddits-and-their-choice-of-words 6. http://www.reddit.com/r/haskell/comments/2e3ie6/how_programming_language_subreddits_talk/ 7. https://hackage.haskell.org/package/friday 8. http://www.reddit.com/r/haskell/comments/2e6cof/a_fast_generic_and_typesafe_image_processing/ 9. https://github.com/iquiw/company-ghc 10. http://www.reddit.com/r/haskell/comments/2ebcim/ghc_companymode/ 11. https://github.com/slyrz/hase 12. http://www.reddit.com/r/haskell/comments/2edwtj/hase_bringing_stateoftheart_nlp_to_haskell/ 13. http://www.reddit.com/r/haskell/comments/2e9918/lens_44_release_notes/ 14. http://www.reddit.com/r/haskell/comments/2e9918/lens_44_release_notes/ 15. http://donsbot.wordpress.com/2014/08/17/haskell-development-job-at-standard-chartered/ 16. http://www.reddit.com/r/haskell/comments/2dsndt/jobs_haskell_developer_roles_at_standard_chartered/ 17. https://www.fpcomplete.com/blog/2014/08/iap-speeding-up-conduit 18. http://www.reddit.com/r/haskell/comments/2e5ykd/speeding_up_conduit/ 19. http://www.reddit.com/r/haskell/comments/2dx5rt/why_is_ghc_runtime_enviornment_in_c/ 20. http://www.reddit.com/r/haskell/comments/2dx5rt/why_is_ghc_runtime_enviornment_in_c/ 21. http://matt.might.net/articles/quick-quickcheck/ 22. http://www.reddit.com/r/haskell/comments/2dykb7/an_introduction_to_quickcheck_by_example_number/ 23. http://www.github.com/jfeltz/dash-haskell 24. http://www.reddit.com/r/haskell/comments/2dv68h/ann_dashhaskell_package_dependency_approximate/ 25. http://www.yesodweb.com/blog/2014/08/deprecating-yesod-platform 26. http://www.reddit.com/r/haskell/comments/2e1doq/deprecating_yesodplatform/ 27. http://jakubarnold.cz/2014/07/22/building-monad-transformers-part-1.html 28. http://www.reddit.com/r/haskell/comments/2duen1/building_monad_transformers/ 29. https://github.com/enomsg/vim-haskellConcealPlus 30. http://www.reddit.com/r/haskell/comments/2dxg0h/better_code_readability_with_vim_haskell_conceal/ 31. http://www.reddit.com/r/haskell/comments/2e8d53/whats_the_best_practice_for_building_a_dsl_in/ 32. http://www.reddit.com/r/haskell/comments/2e8d53/whats_the_best_practice_for_building_a_dsl_in/ 33. http://research.microsoft.com/en-us/um/people/simonpj/papers/oo-haskell/overloading.pdf 34. http://www.reddit.com/r/haskell/comments/2dyhbn/objectoriented_style_overloading_for_haskell/ 35. http://leepike.wordpress.com/2014/08/20/smartchecking-matt-mights-red-black-trees/ 36. http://www.reddit.com/r/haskell/comments/2e5t39/smartchecking_matt_mights_redblack_trees/ 37. http://stackoverflow.com/questions/25374362/what-kinds-of-type-errors-can-haskell-catch-at-compile-time-that-java-cannot 38. http://stackoverflow.com/questions/25424615/how-to-link-custom-object-file-with-haskell-library 39. http://stackoverflow.com/questions/25359461/finding-where-loop-happened 40. http://stackoverflow.com/questions/25361203/what-exactly-makes-option-a-monad-in-scala 41. http://stackoverflow.com/questions/25394745/arrow-without-arr 42. http://stackoverflow.com/questions/25375294/max-and-min-with-nan-in-haskell 43. http://stackoverflow.com/questions/25355570/simplifying-a-gadt-with-uniplate 44. http://stackoverflow.com/questions/25365900/trying-to-apply-cps-to-an-interpreter 45. http://stackoverflow.com/questions/25412238/jumping-forward-with-the-continuation-monad 46. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Fri Aug 29 07:33:44 2014 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Fri, 29 Aug 2014 09:33:44 +0200 Subject: [Haskell] [ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014 Message-ID: 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 From dd at dominicduggan.org Fri Aug 29 20:27:20 2014 From: dd at dominicduggan.org (Dominic Duggan) Date: Fri, 29 Aug 2014 16:27:20 -0400 Subject: [Haskell] Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy Message-ID: 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 at stevens.edu, dd at dominicduggan.org). Applications for the position should be submitted via this Web site: https://www2.apply2jobs.com/Stevens/ProfExt/index.cfm?fuseaction=mExternal.showJob&RID=10446&CurrentPage=1 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 at stevens.edu Web: http://www.dominicduggan.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From andreas.abel at ifi.lmu.de Fri Aug 29 22:56:04 2014 From: andreas.abel at ifi.lmu.de (Andreas Abel) Date: Sat, 30 Aug 2014 00:56:04 +0200 Subject: [Haskell] ANN: Agda 2.4.2 Message-ID: <54010504.3020403@ifi.lmu.de> 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 at 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 at gu.se http://www2.tcs.ifi.lmu.de/~abel/ From fuuzetsu at fuuzetsu.co.uk Sun Aug 31 13:50:28 2014 From: fuuzetsu at fuuzetsu.co.uk (Mateusz Kowalczyk) Date: Sun, 31 Aug 2014 14:50:28 +0100 Subject: [Haskell] [ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1 Message-ID: <54032824.103@fuuzetsu.co.uk> 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. From mail at nh2.me Sun Aug 31 16:09:52 2014 From: mail at nh2.me (=?UTF-8?B?TmlrbGFzIEhhbWLDvGNoZW4=?=) Date: Sun, 31 Aug 2014 18:09:52 +0200 Subject: [Haskell] ANNOUNCE: hemokit 0.6.3 - Now with OpenVibe compatibility Message-ID: <540348D0.6020004@nh2.me> 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