- Haskell-Cafe - Haskell.org

Naming convention for version branches (Package versioning)
by Alois Cochard 20 May '15

20 May '15

Hi all, I am currently writing a tool to automate the release and version bump of cabal projects. Currently you can call the tool by giving as argument the rank of the branch you want to bump, for example given 0.0.0.0: - `cabal-release 0` bump to `1` - `cabal-release 1` bump to `0.1` - `cabal-release 2` bump to `0.0.1` - `cabal-release 3` bump to `0.0.0.1` As we are not all robots (yet), I thought that in addition to this it would be great if the user could give a human friendly name for the rank. For now, here is what I have for the different rank: 0 == --major 1 == --major-fix 2 == --minor 3 == --minor-fix I'm curious to know what you think of those names? any suggestions or known established convention about that? Thanks -- *Λ\ois* http://twitter.com/aloiscochard http://github.com/aloiscochard

4 6

advanced cabal configuration
by Kazu Yamamoto 20 May '15

20 May '15

Hi, I'm a maintainer of simple-sendfile and need to implement the following is to rescue 32bit Linux: - If the COff size is 8, the following FFI is used: foreign import ccall unsafe "sendfile64" c_sendfile :: Fd -> Fd -> Ptr COff -> CSize -> IO (#type ssize_t) - Otherwise, the following FFI is used: foreign import ccall unsafe "sendfile" c_sendfile :: Fd -> Fd -> Ptr COff -> CSize -> IO (#type ssize_t) How can I implement this? I guess that Setup.hs should evaluate (sizeOf (1 :: COff)) and define a C macro, say LARGE_OFFSET and write the following code. #ifdef LARGE_OFFSET foreign import ccall unsafe "sendfile64" #else foreign import ccall unsafe "sendfile" #endif I have no experience to use Build-Type: other than Simple in cabal files. Would someone explain how to implement it concretely or suggest examples which implement similar things? For more informaion, please read: https://github.com/yesodweb/wai/issues/372 Thanks. --Kazu

5 7

Re: [Haskell-cafe] Request for maintainers
by Fred Ross 20 May '15

20 May '15

Thank you! I've added you to the maintainers list. You might want to go ahead and fork the repository at https://github.com/madhadron/serial, update serial.cabal with your info, and upload a new version. Fred Ross On May 18, 2015, at 11:05 AM, Jose Calderon <jmct(a)cs.york.ac.uk> wrote: > Hello, > > I'll happily take the serial library off your hands. > > My hackage username is jmct. > > Cheers, > > Jose > http://jmct.cc > > > > On 18 May 2015 at 02:34, Fred Ross <madhadron(a)gmail.com> wrote: > I have finally accepted that I won't be part of the Haskell community in any real sense in the foreseeable future. There are three libraries that I am still the maintainer of that I need to hand off. Is there anyone who would take over any of the following? > > hdaemonize - Utilities for writing Unix daemons in Haskell > serial - Serial port access library > hscamwire - FFI bindings to camwire to access IIDC1394 Firewire cameras > > Fred Ross > http://madhadron.com >

1 0

Request for maintainers
by Fred Ross 19 May '15

19 May '15

I have finally accepted that I won't be part of the Haskell community in any real sense in the foreseeable future. There are three libraries that I am still the maintainer of that I need to hand off. Is there anyone who would take over any of the following? hdaemonize - Utilities for writing Unix daemons in Haskell serial - Serial port access library hscamwire - FFI bindings to camwire to access IIDC1394 Firewire cameras Fred Ross http://madhadron.com

2 1

Automatically generate sum type members -> [String]
by Cody Goodman 19 May '15

19 May '15

Can I use either template Haskell, GHC Generics, or something else to get the list of Constructors in Codes? Then I could do `map show codeSumTypeMembers` and get `["A0100A","A0500A"]`? Here's an example of solving this problem manually: data Codes = A0100A | A0500A deriving Show codeExists "A0100A" = True codeExists "A0500A" = True codeExists _ = False main = print $ codeExists xmlElementName where xmlElementName = "A0500A" -- λ> main -- True

8 8

New Functional Programming Job Opportunities
by Functional Jobs 19 May '15

19 May '15

Here are some functional programming job opportunities that were posted recently: Senior Software Engineer (Functional Programming/Scala) at AdAgility http://functionaljobs.com/jobs/8826-senior-software-engineer-functional-pro… Cheers, Sean Murphy FunctionalJobs.com

1 0

data EitherF m1 m2 a = LeftF (m1 a) | RightF (m2 a)
by Daniel van den Eijkel 18 May '15

18 May '15

Hi, I am wondering if there is a library with a datatype like the following defined: data EitherF m1 m2 a = LeftF (m1 a) | RightF (m2 a) I could not find anything with Hoogle. Does anybody know such a thing? Thank you & best, Daniel

3 3

FIXME pragma
by Christopher Done 18 May '15

18 May '15

What's the feeling on having a FIXME pragma so that I can attach warnings to unfinished things? {-# FIXME foo "Reasons here." #-} I would use the WARNING pragma but that doesn't work within a module and only triggers on use. Compiler errors are the one thing I and everyone else pays attention to, it would be very handy to have more control over things GHC reports to the developer to aid development. Ciao

6 10

OCL 2015: First Call for Papers
by Achim D. Brucker 18 May '15

18 May '15

(Apologies for duplicates) CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org) Important Dates =============== Submission of papers: July 17, 2015 Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/

1 0

CFP: Haskell Symposium Regular Track Final Call
by Ben Lippmeier 18 May '15

18 May '15

===================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015 ===================================================================== Reminder that the Haskell Symposium Regular Track abstract deadline is this: Tuesday 19th of May, with full papers due this: Friday 22nd of May. Authors that have *already submitted to the early track*, have until 5th of June to resubmit an improved version of those papers. Deadlines stated are valid anywhere on earth. (the HotCRP submission site states them in US EDT, but don't fret) See the website for further details http://www.haskell.org/haskell-symposium/2015 =====================================================================

1 0