March 2015 - Haskell-Cafe

Command Line Args passed to wxHaskell
by Michael Jones 28 Mar '15

28 Mar '15

I am seeing strange behavior with a wxHaskell app compiled on Windows 7. On Linux, all is well. I can call my app like: app +RTS -N4 -RTS myArg And in the app I can process the myArg and start a wxHaskell frame. When I compile the same application on Windows 7, I get an error dialog box that says: “Unexpected parameter `+RTS`. And a second Usage dialog that looks like it comes from wxHaskell. I am not sure why Windows is different, but perhaps it is the fact that on Windows 7 I compiled up wxHaskell 0.92, and on Linux I used 0.91 from a cabal update. I used 0.92 on on Windows because I could not get 0.91 to compile due to some type problems where the wxPack version was incompatible with a header file and the Haskell compiler related to 64 bit types long long. There is some noise about this on the web, but no solutions. Nonetheless, I assume that args are grabbed directly by wxHaskell and Environment.getArgs does not consume them such that they are still available to wxHaskell. Is there some way to consume arguments so they are no longer available or a way to modify them so that when wxHaskell starts up it sees arguments I can control in code? In wx there is an API to set arguments, but it does not seem to be part of wxHaskell. So I think I need something I can do outside the wxHaskell API. Mike

1 1

DSL
by Закиров Марат 28 Mar '15

28 Mar '15

Hi folks! Are there any examples of Domain Specific Language (DSL) on Haskell? Thank you in advance. -- *Regards, Marat.* *С уважением Марат.*

5 4

I need your feedback (GSoC): Analyzing stock market in Haskell
by CESAR FABIAN ORCCON CHIPANA 27 Mar '15

27 Mar '15

Hello This is my second proposal. It would be really useful for me to read your comments about this proposal. http://cfoch-dev.tumblr.com/post/114754745097/analyzing-stock-market-in-has… Thanks, Fabián Orccón -- ------------------------------------ Fabián Orccón (cfoch) http://cfoch.tumblr.com http://cfoch-art.tumblr.com http://cfoch-dev.tumblr.com

1 0

I need feedback: Create a function which makes a relation between types and functions.
by CESAR FABIAN ORCCON CHIPANA 27 Mar '15

27 Mar '15

Good morning (afternoon, evening) This is one of my proposals. http://cfoch-dev.tumblr.com/post/114756897282/create-a-function-which-makes… I hope you can give me your feedback. Thanks so much. -- ------------------------------------ Fabián Orccón (cfoch) http://cfoch.tumblr.com http://cfoch-art.tumblr.com http://cfoch-dev.tumblr.com

1 0

GSOC 2015 proposal: a standalone functional parser for CommonMark
by Julien Cretel 27 Mar '15

27 Mar '15

Dear Haskell-Cafe, This is very short notice, but here is a link to my proposal for this year's Google Summer of Code: https://gist.github.com/Jubobs/7a9298eeaf02bcefbc35 The goal of the project is to produce a standalone, pure-Haskell library for parsing CommonMark, the updated Markdown specification. Here is a link to the corresponding trac ticket, along with a link to a relevant Google-Groups discussion involving John MacFarlane and Matthew Pickering: https://ghc.haskell.org/trac/summer-of-code/ticket/1660 https://groups.google.com/forum/#!topic/pandoc-discuss/xZrf-dL0ZPs Should you have any comments, suggestions, corrections, etc... before the submission deadline, feel free to chime in. All the best, Julien

1 0

Terra language: Lua+LLVM JIT+multi-stage metaprogramming
by Bulat Ziganshin 27 Mar '15

27 Mar '15

Hello , http://terralang.org/ it doesn't have any relation to haskell, but i found it very interesting - it employs LLVM JIT to produce efficient code on the fly and can save it to .o files, and it's tightly integrated with Lua as metaprogramming language It has predecessors like template haskell, metalua, julia, ocamlp4, but all them lack either convenient multi-stage meta-programming, or efficency of low-level code -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

1 0

ListT considered harmful
by Fumiaki Kinoshita 27 Mar '15

27 Mar '15

It is well known that ListT m in transformers is not a monad unless the underlying monad is commutative. The fact that ListT is not a monad transformer is sufficient to remove it from the package, and several packages already defined their own ListT. Oughtn't we deprecate ListT or replace it by a correct one?

4 3

ANNOUNCE: GHC version 7.10.1
by Austin Seipp 27 Mar '15

27 Mar '15

============================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.10.1 ============================================================== The GHC Team is pleased to announce a new major release of GHC. There have been a number of significant changes since the last major release, including: * Several new language features and changes have been implemented: - Applicative is now a superclass of Monad and in the Prelude. - Many prelude combinators have been generalized - Static pointers * GHC now has preliminary and experimental support for DWARF based debugging. * `integer-gmp` has been completely rewritten. * Type-checking plugins can now extend the type checker. * Support for partial type signatures * Many bugfixes and other performance improvements. * Preliminary support for 'backpack' features like signatures. * Typeable is now generated by default for all data types automatically. We've also fixed a handful of issues reported since RC3: - A bug in the call arity analysis that would result in invalid core was fixed (#10176) - A bug in the Win32 package causing it to fail to load was fixed (#10165) - ghc-prim has (correctly) been bumped to version 0.4.0.0, to comply with the PVP. - Several libraries have been bumped to their latest available versions after coordination. The full release notes are here: https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_guide/release-7-1… How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/Platforms https://ghc.haskell.org/trac/ghc/wiki/CodeOwners Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://www.haskell.org/mailman/listinfo/glasgow-haskell-users https://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug Hashes & Signatures ~~~~~~~~~~~~~~~~~ On https://downloads.haskell.org/~ghc/7.10.1/ you will find a signed copy of the SHA256 hashes for the tarballs, using my GPG key (0F8F 3AA9 9235 C704 ADA0 B419 B942 AEE5 3B58 D86F). -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

2 1

Applicative of Applicative
by martin 26 Mar '15

26 Mar '15

Hello all, I've been playing with temporal values, i.e. values which change over time at discrete points in time. I thought it would be good to make it an instance of Applicative and I was pleased with the results. I may be re-inventing some of frp here, but hey. Then I wondered how I would replace one Temporal by another at some point in time. Kind of like switching from summer schedule to winter schedule. Or switching channels on the TV, where each channel is a Temporal Image. It seems that by stacking up Temporals in this way, I could theoretically start with sample values and abstract my way up to a symphony. What is unclear to me is the following: when I have two Temporal Ints, I know what (+) <$> does. It operates on the Ints. But when I have Temporal Temporal Ints, then the function before the <$> would operate on the next level, i.e. it has to be a function which accepts a Temporal. But a Temporal Temporal Int can always be flattened into a Temporal Int. So I may just as well ask to apply a function to the bottom level, namely the Ints. How to I choose how deep down I want to reach? And any other guidance will also be much appreciated. Martin

7 11

Re: [Haskell-cafe] Version constraints and cabal.config files
by Miëtek Bak 26 Mar '15

26 Mar '15

On 2015-03-25, at 12:16, Michael Snoyman <michael(a)fpcomplete.com> wrote: > Trying to understand the problem: currently, with your approach, if the project depends on a library not in the LTS Haskell release, then the cabal-install dependency solver won't be able to find it. Instead, you'd like to be able to use the dependency solver to track down those extra dependencies. Is that correct? > > If so, why not take a multi-pass approach: download the cabal.config from stackage.org (which creates an inclusive snapshot), and then use --dry-run, which will tell you all the packages to be used. You’re correct. However, this will have to be `cabal install --dependencies-only --dry-run`, and not `cabal freeze --dry-run`, because `cabal freeze` always completely ignores any existing version constraints, whether local or global (https://github.com/haskell/cabal/issues/2265) I’m planning to switch away from `cabal freeze` soon, but it’s not going to be a drop-in replacement (https://github.com/mietek/halcyon/issues/52) This is a good moment to carefully consider the meaning of a per-application `cabal.config` file, and whether the `cabal freeze` flavour should be completely replaced by separate constraints files. Perhaps, as mentioned in the original `cabal freeze` proposal, we could also have separate constraints sets for different GHC versions. I’m hoping Cabal developers could chime in on the discussion. -- Miëtek https://mietek.io

4 16