- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Testing for different dependency versions?
by Simon Jakobi 29 May '16

29 May '16

(I'm sending this again because I had subscribed to the mailing list with a different email address) Hi! I'm not sure if there's a better tool out there but I think stack (http://haskellstack.org/) is pretty convenient for testing a package with different versions of base and other packages on the same system. To test your package with base-4.7 you'd simply run stack test --resolver ghc-7.8 --install-ghc To test your package with base-4.8.2.0 and pkg-x-1.2.3 you'd save the following in a stack.yaml in the same directory as your cabal file: resolver: ghc-7.10.3 extra-deps: - pkg-x-1.2.3 Then run stack solver --update-config to add the remaining dependencies and stack test to build the package and run the tests. If you have your package on Github you can also use Travis CI to test your package with different configurations: http://docs.haskellstack.org/en/stable/travis_ci/ Hope that helps! Simon

1 1

Higher order type functions
by Matt 29 May '16

29 May '16

Hi folks! I'm playing with GHC 8 and have the following type family definend: type family InsertSorted (gt :: k -> k -> Bool) (a :: k) (xs :: [k]) :: [k] where InsertSorted f a '[] = '[a] InsertSorted f a (x ': xs) = If (f a x) (x ': InsertSorted f a xs) (a ': x ': xs) With appropriate type functions, I can evaluate this in GHCi with `:kind!` and it does what I want: λ> :kind! InsertSorted GreaterThan One '[Two, Four] InsertSorted GreaterThan One '[Two, Four] :: [Face] = '['One, 'Two, 'Four] λ> :kind! InsertSorted GreaterThan Queen '[Two, Four] InsertSorted GreaterThan Queen '[Two, Four] :: [Face] = '['Two, 'Four, 'Queen] However, I get an error if I try to use this in a type signature. This code: data Deck (b :: [k]) where Empty :: Deck '[] (:::) :: CardT s f -> Deck xs -> Deck (InsertSorted GreaterThan '(s, f) xs) gives me this error: • The type family ‘GreaterThan’ should have 2 arguments, but has been given none • In the definition of data constructor ‘:::’ In the data type declaration for ‘Deck’ What's the best way to use higher order type families? Thanks! Matt Parsons Here's the definitions I'm using for the above code: data Face = One | Two | Three | Four | Five | Six | Seven | Eight | Nine | Jack | Queen | King deriving (Eq, Ord, Bounded, Enum) type family FaceOrd (a :: Face) (b :: Face) :: Ordering where FaceOrd a a = 'EQ FaceOrd a 'One = 'GT FaceOrd 'One a = 'LT FaceOrd a b = FaceOrd (PredFace a) (PredFace b) type family FaceGT (a :: Face) (b :: Face) :: Bool where FaceGT a b = CompK a b == GT class GtK (a :: k) where type GreaterThan (a :: k) (b :: k) :: Bool instance GtK (a :: Face) where type GreaterThan a b = CompK a b == GT

3 3

read "2" in a "void" context?
by Erik Rantapaa 28 May '16

28 May '16

Hi fellow Haskellers! If I bring up ghci and evaluate `read 2` I get the error "Prelude.read: no parse" GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Prelude> read "2" *** Exception: Prelude.read: no parse Exactly how is this message coming about? I understand that `read` needs a return type in order to determine which type class instance to run. So, in this case, which type is `read` being asked to return? Thanks, Erik

4 4

Reminder: Functional High-Performance Computing 2016
by David Duke 28 May '16

28 May '16

Dear colleagues, A reminder of the approaching paper deadline (10th June) for FHPC 2016 ... ====================================================================== CALL FOR PAPERS FHPC 2016 The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing Nara, Japan September 22, 2016 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2016) Submission Deadline: Friday, 10 June, 2016 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2016 seeks to encourage a range of submissions, focussing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 10 June, 2016 (anywhere on earth) * Author notification: Friday, 8 July, 2016 * Final copy due: Sunday, 31 July, 2016 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2016 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc16 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== David Duke (co-chair) University of Leeds, UK Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan Baris Aktemur Özyeğin University, Turkey Marco Aldinucci University of Torino, Italy Jost Berthold Commonwealth Bank, Australia Kei Davis Los Alamos National Laboratory, USA Kento Emoto Kyushu Institute of Technology, Japan Zhenjiang Hu National Institute of Informatics, Japan Ben Lippmeier University of New South Wales, Australia Rita Loogen University of Marburg, Germany Geoffrey Mainland Drexel University, USA Mike Rainey INRIA, France Mary Sheeran Chalmers University of Technology, Sweden Satnam Singh Facebook, UK

1 0

Re: [Haskell-cafe] Fwd: representing institutions in haskell
by Till Mossakowski 28 May '16

28 May '16

Dear Rick, actually, in the Hets system [1], which is one of the largest Haskell programs, we have represented logics as institutions since 2002. Hets comprises of about 25 logics represented as institutions, including propositional logic, first-order logic, higher-oder logic, modal logic, OWL, and even some functional programming language. Hets provides parsing, static analysis, and proof management for logical theories formulated within these institutions (and also heterogeneous theories spanning several institutions). Interfaces to various theorem provers, SAT solvers and model finders are included. Hets' input language is the Distributed Ontology, Model and Specification language (DOL) [2], which has been standardized by the Object Management Group (OMG). More specifically, Hets employs a type class "Category" for representing categories, with functions for identities, domain, codomain and composition. On top of this, institutions form a multi-parameter type class "Logic", with a representation of signatures and signature morphisms as a category. The set of sentences is represented as one parameter type. This is a pragmatic decision, since in most institutions, sentences are uniform over signatures, and making this dependent on signature would be much more complicated. But many functions on sentences depend on a signature. Sentence translation along a signature morphism is represented by a function of the type class as well. Models and satisfaction are generally not represented due to their (in general) infinitary nature. But in some case, we represent models as certain theories, e.g. when processing the output of some model finder. Such models can even be translated using institution comorphisms. That said, we are interested in improving the representations of institutions in Hets, e.g. by making more using some libraries for category theory that have not been available in 2002 when we started Hets. However, I must admit that I did not understand your representation, Rick. Could you explain its general principles? What is the purpose of having "data Sign a = Sign a"? Why do conjunction and disjunction play such a role, given that there are institutions like equational logic that neither have conjunction nor disjunction? I could I execute your code, neither with ghc 7.6.3, nor ghc 8.0.2. I suggest that you choose some simple logic, like propositional logic, and represent it as an institution in Haskell with your approach. Then we will have a better basis for discussion. Best, Till [1] http://hets.eu [2] http://dol-omg.org Am 17.05.2016 um 14:55 schrieb rick: > Hello Christian: > > I thought I should send this to you separately in case you are not on > the Haskell list any more. > > You may enjoy the samples below which use some standard Haskell > libraries that may not have been available when you and Till started > work on HETS. > > -- > Rick > > -------- Forwarded Message -------- > Subject: [Haskell-cafe] representing institutions in haskell > Date: Mon, 16 May 2016 15:13:34 -0400 > From: rick <rick(a)rickmurphy.org> > To: haskell-cafe(a)haskell.org > > Has anyone here taken an interest in representing institutions [1] in > Haskell? > > Institutions originated in work on CLEAR [2] which was the first > algebraic specification language with rigorous semantics. > > Institutions take some time to explain, or unravel if you follow the > reference, but they come with a convenient slogan : "Truth is invariant > under change of notation." > > The stretch goal of institutions is transforming logics while preserving > satisfaction. > > They are conceived in terms of categorical abstractions, so it's natural > to represent them in categories. I hope some folks here find > institutions a useful domain to apply their work on categories. > > I've attached two samples in Haskell that uses some standard libraries : > Arrow, Monad, Category and Dual. > > The first sample, ri-0, outlines the essentials. The category of > signatures, constructions in the categories, signature morphisms, > sentences, models and the satisfaction condition. > > Using plain old Nat reduces the complexity of the exposition. > > I provide a constructive witness for satisfaction of the morphism from > conjunction to disjunction. > > You may recognize that I borrow some Bird/Hinze notation on Functors > like mapSign. And you find some experiments with Quickcheck and Yampa. > > Ri-0 runs from main, but just computes the witness to the satisfaction > condition. > > The second sample, ri-1, builds on ri-0. Rather than Nat, I use Either > to inject disjunction into the exposition. The exposition becomes more > complex, but the increased complexity is justified because maintaining > satisfaction under change on notation is central to institutions. > > The functions prodSum takes conjunction to disjunction and sumProd takes > disjunction to conjunction. I owe a citation to @BartoszMilewski and his > work on categories for programmers where I first saw these functions. > > The satisfaction condition and witness appear more complex in ri-1, but > its really just the substitution of the signature morphism on product > and sum rather than plain old Nat as in ri-0. > > I also plan a better write up, but before I do I expect to learn much > from an email exchange with interested folks here. > > Thanks for taking a look at this material. > > 1. https://cseweb.ucsd.edu/~goguen/pps/ins.ps > > 2. http://hopl.info/showlanguage.prx?exp=945 >

1 0

Announce: Haskell Platform 8.0.1
by Gershom B 28 May '16

28 May '16

On behalf of the Haskell Platform team, I'm happy to announce the release of Haskell Platform 8.0.1 Now available at https://www.haskell.org/platform/ This platform includes features initially planned in the "Improving the 'Get Haskell Experience'" proposal of June 2015. [1] * Minimal as well as Full distributions. The minimal distribution only includes GHC core libraries as well as additional tools. This is now the recommended distribution. The Full distribution remains an option for those who want a one-step installer with the broader set of platform libraries preinstalled. * Inclusion of the Stack tool for developing Haskell projects [2] Other highlights of this release include the following * The new cabal 1.24 including the great "new-build" tech preview of nix-like build dependency management [3] * On windows, a cabal/msys setup that allows packages such as "network" to build "out of the box". (almost*) * At long last, prebuilt Linux 32 bit platform installers Changes to Contents: * Some packages have been removed from the installed packages set (both minimal and full) including old-locale, old-time, cgi, and the transitive cgi dependencies: transformers-compat, multipart, and exceptions. * fixed has been added to the platform as a transitive dependency of GLUT. A full list of contents is available at https://www.haskell.org/platform/contents.html Thanks to all the contributors to this release, thanks to all the package and tool maintainers and authors, and a big thanks to the GHC team for putting together such an exciting new compiler release! A fuller list of new GHC changes is available at: https://mail.haskell.org/pipermail/ghc-devs/2016-May/012098.html A fuller list of new cabal changes is available at: http://coldwa.st/e/blog/2016-05-04-Cabal-1-24.html Happy Haskell Hacking all, Gershom [1] http://projects.haskell.org/pipermail/haskell-platform/2015-July/003129.html [2] http://haskellstack.org [3] http://blog.ezyang.com/2016/05/announcing-cabal-new-build-nix-style-local-b… * To build "network" and other msys-dependent packages on windows, you will need to augment your cabal config file with the following lines: extra-prog-path: C:\Program Files\Haskell Platform\8.0.1\msys\usr\bin extra-lib-dirs: C:\Program Files\Haskell Platform\8.0.1\mingw\lib extra-include-dirs: C:\Program Files\Haskell Platform\8.0.1\mingw\include

3 2

Munich Haskell Meeting, 2016-05-30 @ 19:30 Max Emanuel Brauerei
by Christian Neukirchen 27 May '16

27 May '16

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Monday, May 30 at *Max Emanuel Brauerei* at 19h30. For details see here: http://chneukirchen.github.io/haskell-munich.de/dates.html **Please note the changed location!** If you plan to join, please add yourself *quickly* to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-may-2016/ Everybody is welcome! cu, -- Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org

1 0

Hackage (partially) down?
by Bardur Arantsson 27 May '16

27 May '16

Hi all, I'm getting Error 503 Connection timed out Connection timed out Guru Mediation: Details: cache-ams4123-AMS 1464323906 827600523 Varnish cache server when trying to browse Hackage this morning. Anyone else having the same problem? (downforeveryoneorjustme.com says that "it's just me", so I'm guessing this is some sort of CDN issue?) Regards,

4 3

Re: [Haskell-cafe] Haskell newb trying to write a basic program.
by Erik Rantapaa 27 May '16

27 May '16

Have a look at the HaskellForMaths package. Using the Math.Algebra.Group.PermutationGroup module the expression `elts (_A n)` will return all the permutations of A_n. On Thursday, May 26, 2016 at 6:39:52 PM UTC-5, Blake Sims wrote: > > Hi, > > I am a newb to Haskell and programming in general, but I was trying to > write a basic program to find the elements for the alternating group for > any n. > > For the symmetric group I wrote something like this > > input Data.List > > symmetric n = permutations ([1..n]) > > What if I just want to find the even permutations? What is the quick and > dirty way of doing this? I was looking at the package Data.Matrix and > messing around with permutation matrices, but there has got to be a quicker > and easier way of doing it. I am skimming the book learn you a Haskell, but > my attention span is pretty short so if someone could direct me in the > right direction I'd be much obliged. >

1 0

GHC 8.0.1 Compile time regression + Trac ticket privileges
by aditya siram 27 May '16

27 May '16

[x-post from Reddit reply] Thanks so much for all the hard work! Unfortunately I have a compile time performance regression to report on my FLTKHS <https://github.com/deech/fltkhs> library. I also don't have a minimal example. There is a demo that took about 15 seconds compile and link in 7.10.3, but with no changes now takes over a minute in 8.0.1. I've reproduced this across machines and operating systems. Since there was interest expressed in using this example as a benchmark if any GHC devs are still willing to help, I'm willing to walk them through getting the library set up etc. It's not a long process. The tip of my Github branch has been updated to build with GHC 8.0.1. I made myself a Trac account but apparently I don't have Ticket privileges so it won't let me create one. My username is 'deech'. Thanks! -deech

2 2