News aggregator

--split-objs

glasgow-user - Wed, 12/18/2013 - 11:08am
The documentation for --split-objs states that "this only makes sense for libraries". How is an executable compiled against a split-objs library? According to https://github.com/haskell/cabal/issues/1611#issuecomment-30750655, this isn't happening by default. -- View this message in context: http://haskell.1045720.n5.nabble.com/split-objs-tp5741209.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com.
Categories: Offsite Discussion

SYB supports genuine gmap. [Was: Polymorphicupdating with TC/TFs?]

haskell-cafe - Wed, 12/18/2013 - 11:06am
adam vogt wrote SYB supports the type-changing generic map, of the signature It was discovered back in 2008. Please see the following thread starting http://www.haskell.org/pipermail/generics/2008-July/000349.html The fake described in haskellwiki/SYB#fmap with unsafeCoerce is not needed at all. There is a genuine gmap.
Categories: Offsite Discussion

Haskell and Big Data

haskell-cafe - Wed, 12/18/2013 - 9:41am
Hello Cafe, Big Data is a bit trendy these days. Does anybody know about plans to develop an Haskell eco-system in that domain? I.e tools such as Storm or Spark (possibly on top of Cloud Haskell) or, at least, bindings to tools which exist in other languages. Thank you Regards J-C _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

Monad.Reader #23 call for copy

General haskell list - Wed, 12/18/2013 - 5:35am
Call for Copy: The Monad.Reader - Issue 23 -------------------------------------------- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 23 will be: **Friday, January 17, 2014** The Monad.Reader ~~~~~~~~~~~~~~~~ The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. Submission Details ~~~~~~~~~~~~~~~~~~ Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (ezyang< at >mit.edu). Articles should be written according to the guidelines available from http://themonadreader.wordpress
Categories: Incoming News

text 1.0.0.0 producing cabal hell?

haskell-cafe - Tue, 12/17/2013 - 11:03pm
Check this out: http://packdeps.haskellers.com/reverse/text 306 outdated dependencies! I am guessing that most libraries could easily change the boundaries to >=0.11 && <1.1 <http://hackage.haskell.org/package/digestive-functors-blaze> because the API hasn't changed a lot. As far as I can see only a function was added. Or is everybody using sandboxing tools? Maybe the author of a library should have the right to change the boundary of all reverse dependencies. So that Brian has to adjust all 306 boundaries if he knows that this would work :-) Just the boundaries, not the code. -Tillmann _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy

General haskell list - Tue, 12/17/2013 - 8:58pm
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 analys
Categories: Incoming News

Frankfurt Haskell User Group Meetup - Wed. 18.12.

haskell-cafe - Tue, 12/17/2013 - 5:19pm
Dear All, The next meeting of Frankfurt Haskell meetup takes place on Wednesday, 18th of Dec. and is about programming a game with HGamer3D. See game video here: http://www.youtube.com/watch?v=DKq0YsWRPoc and link to invitation here: http://www.meetup.com/Frankfurt-Haskell-User-Group/events/150475792/. Also we will have time for hacking on HWebUI. Peter _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

ANNOUNCE: New OpenAL packages

haskell-cafe - Tue, 12/17/2013 - 3:07pm
New versions of the OpenAL packages are available on Hackage: * OpenAL 1.5.0.0 * ALUT 2.3.0.0 The main change is that the installation doesn't require autoconf anymore, instead of that, a pure Cabal-based build system is used now. This should make installing the packages on non-Linux systems much easier. Apart from that, uniqueBuffers works now and iOS is a supported platform, thanks to Stephen Blackheath. The packages depend on OpenGL now instead of ObjectName/StateVar/Tensor, because the latter packages were assimilated into OpenGL and there are probably very few programs using OpenAL without OpenGL. Have fun, S.
Categories: Offsite Discussion

haddock for all modules (exposed and other) in acabalized project?

haskell-cafe - Tue, 12/17/2013 - 2:09pm
I have a cabalized project with few "exposed-modules", and a lot of "other-modules". How can I invoke "cabal haddock --hyperlink-source" for *all* modules? - Thanks, J.W.
Categories: Offsite Discussion

Building applications with profiling

haskell-cafe - Tue, 12/17/2013 - 3:14am
Greetings, I want to profile the Yi text editor. A quick look on the Haskell wiki suggests that I need --enable-executable-profiling, however enabling that complains that the yi libraries weren't built with profiling. Additionally enabling --enable-library-profiling allows me to recompile the libs but at the very end I get an error about ‘mtl’ not having been built with profiling. I can't really recompile mtl with profiling considering that just about every single package on my system seems to depend on it and they would (probably?) all break. Does anyone have any suggestions on how to approach the problem? Am I doing it all wrong? Thanks
Categories: Offsite Discussion

Polymorphic updating with TC/TFs?

haskell-cafe - Tue, 12/17/2013 - 2:37am
Hello, I am working with a set of type classes of the following form (http://lpaste.net/97110). The idea is that every such class provide an associated type Foo, and a lens to the Foo in every instance. I.e. this class is used to provide view/set/modify for all types that contain a Foo somewhere deep in its structure. For "simple lenses", i.e. functions that does not modify the associated Foo, this is straightforward. However to support polymorphic updates it seems necessary to add another associated type NoFoo, which must be used to constraint the return type of set. What bothers me is the redundancy of the two set functions. I would intuitively expect set' to be implemented in terms of set (as it seems to be a restriction of that function), but this is not possible, as the compiler can not deduce that (NoFoo a (Foo a) ~ a). Is there a way to add this constraint to the type class? Hans
Categories: Offsite Discussion

Removing MonadFail from Monad

libraries list - Tue, 12/17/2013 - 12:26am
Hey everyone, I feel like there are a couple of elephants in the room that are sort of important but nobody really addresses them directly. One of them was what became the AMP, and `fail` is another one. I resurrected and refurbished this proposal from a 6 month old Gist because there seemed to be some interest/talk going on in the form of side remarks in other discussions here. The sun shines, let's make some hay! The proposal text can be found at the end of this text (for the mailman archives), or in pretty HTML here: https://github.com/quchen/articles/blob/master/monad_fail.md Although this will technically a language-level change, the impact will mainly be a library and fail-safety detail. For this reason I think this mailing list is more suitable than other more specialized lists. Greetings, David/quchen PS: I would have chosen Fail Removal Proposal so we have a new buzzword, but unfortunately it does not abbreviate well. Call it the "fail of Haskell issue"? ;-) Removing `fail` from `Mona
Categories: Offsite Discussion

[ANN] IHaskell Update -- Call for Help/Suggestions

haskell-cafe - Mon, 12/16/2013 - 10:40pm
Hey everyone! I'm excited to announce a significant update to IHaskell. I originally announced IHaskell a few months ago, but there's been a few exciting changes: Significantly more stable and less buggy. It's been updated to use the GHC API for parsing and evaluation, so behavior should be very similar to GHCi in most places. You can now defined modules in cells instead of just interactive code. These modules are compiled to object code and loaded and provide fast runtime compared to interactive code. Most important: IHaskell can now load additional packages in order to provide rich display capabilities for specific data types. This means that it can be augmented through separate packages. If you have interest in providing a rich display mechanism for a data type, please consider writing an IHaskell extension package to do so! (If there are any data types that you think would be particularly useful but don't have time to implement yourself, let me know, too!) The extensibility is provided through an IHask
Categories: Offsite Discussion

10 PhD studentships in Nottingham

haskell-cafe - Mon, 12/16/2013 - 11:38am
Dear all, The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, type theory, category theory, lambda calculus, quantum computing. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. Henrik Nilsson - functional reactive programming, modelling and simulation languages, domain-specific languages. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science Univ
Categories: Offsite Discussion

10 PhD studentships in Nottingham

General haskell list - Mon, 12/16/2013 - 11:36am
Dear all, The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, type theory, category theory, lambda calculus, quantum computing. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. Henrik Nilsson - functional reactive programming, modelling and simulation languages, domain-specific languages. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science Univ
Categories: Incoming News

Clearing up the status of GHCi on Raspberry Pi

haskell-cafe - Mon, 12/16/2013 - 9:09am
Hello, There seems to be a bit of confusing information out there regarding what is possible with regard to Haskell and Raspberry Pi. Specifically, availability of GHCi (and as such, the ability to compile certain thing such as Vector) in various versions of ghc. Debian Weezy came with GHC 7.4.1. It doesn't come with GHCi. This fact was reflected in what I've read online. So far so good. Now, we come to GHC 7.4.2.: http://www.haskell.org/haskellwiki/Raspberry_Pi#GHC_Status This currently says the following: "Note: GHCi does not currently work on ARM below version 7.4.2. See this post on haskell-cafe for information on this djhuk has been able to compile and install GHC-7.4.2 via QEMU to the Raspberry Pi but there still seems to be some work to do." This seems to imply that GHC 7.4.2. will include GHCi on arm. It implies that, though there were at the time of writing some unspecified problems, if one could get 7.4.2. working on their Rasperry Pi, one would get GHCi. Futher, I extrapolated this to mean
Categories: Offsite Discussion

Real world project with Cloud Haskell

haskell-cafe - Mon, 12/16/2013 - 8:37am
Hello, Has anybody heard about (or better, made) a real world project using Cloud Haskell? Thank you Regards J-C _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

[ANN] Canberra -- Introduction to FunctionalProgramming course (free)

haskell-cafe - Mon, 12/16/2013 - 5:43am
*Title: *Introduction to Functional Programming *Presenters:* Mark Hibberd and Tony Morris *When: * Tuesday 4th, Wednesday 5^th & Thursday 6^th February, 9.00am
Categories: Offsite Discussion

Mips64el Linux Build

glasgow-user - Mon, 12/16/2013 - 5:32am
Hello, I am new to the list, though I have been using GHC for a long time. Just say Hello. I would like to share my experience about building GHC (7.7.20131112) on/for mips64el linux, just in case anybody is interested, as it seems not documented (on Wiki pages of Platforms, CrossCompiling, or Porting). Ignore this email if it is not interesting or too trivial. It bootstrapped by cross compiling on x86_64 linux, with some tweaking on mk/build.mk and the build process. In particular, I needed to specify export CPP="mips64el-unknown-linux-gnu-gcc -E" otherwise the configure script just found to use the native "gcc -E" and it failed in preprocessing rts C files. Also in mk/build.mk I forced GhcThreaded = NO GhcWithInterpreter = YES # so, it can use TH and build happy The make process failed when trying to use ghc-stage2, but at that point the stage 2 compiler is already built, that's enough. With this cross-compiled ghc-stage2, the native build on mips64el machine was done without much interleaving. in
Categories: Offsite Discussion

Data.Vector with stride

haskell-cafe - Mon, 12/16/2013 - 4:13am
For low-level performance, especially when dealing with images, pixel buffers, camera devices etc, arrays can have a "stride" to align rows to word boundaries. http://en.wikipedia.org/wiki/Stride_of_an_array Data.Vector does not support strides (as mentioned in http://u.arboreus.com/2011/03/how-to-choose-haskell-array-library.html), but it would be nice to have them, especially for Storable vectors and interfacing with C imaging libraries. Is there a particular reason / difficulty that would go against an implementation of a Data.Vector.Storable.Stride and the corresponding generic vector instances?
Categories: Offsite Discussion