December 2014 - Haskell-Cafe

Cabal 1.8 ignores bounds in test-suite sections?
by Tom Ellis 09 Dec '14

09 Dec '14

I have a cabal file with two test suites https://github.com/tomjaguarpaw/haskell-opaleye/blob/master/opaleye.cabal If I change the dependency in "test-suite tutorial", say, from `profunctors` to `profunctors >= 0.6` then the bound is completely ignored and cabal will attempt to compile and run the test suite even without a suitable version present. Is this expected behaviour? Tom

3 5

Typed communications in (Safe) Haskell
by Giacomo Tesio 09 Dec '14

09 Dec '14

Hi, I'm Giacomo and I'm new to this list. I'm looking for advices to develop an haskell p2p system where the nodes comunicate over an untrusted channel (the internet). I'd like to use TLS to authenticate each node with each other. I'm wondering if exists any library/framework that already suits my needs: 1. Enable typed communications (make it easy to go from ByteString to our ADT for messages) 2. Support TLS 3. Is written in plain (possibly Safe) Haskell, because I plan to make it runnable on HaLVM/HaLNS (in the long run) 4. Acceptably easy to use since most of nodes will simply receive messages, run a simple (often pure) function on them and return a response to the caller I've seen a lot of interesting libraries on hackage (courier, daemons and more...) but AFAIK none support TLS. Any suggestion? Thanks, Giacomo

2 1

External representation of GHC bytecode
by Sean Seefried 09 Dec '14

09 Dec '14

Friends, I'd like to ask a possible quite ignorant question. Can GHC produce an external representation of GHC byte code, and load that byte code back up? If it's just an internal representation is there any good reason for this? It seems to me that this would be useful for at least a few reasons: 1. This could solve the Template Haskell on cross compiler's dilemma. Currently, the problem is that a cross compiler will produce object code for the target machine which cannot be run on the host machine. But if this were bytecode the problem would be trivial to solve. 2. You could transmit Haskell programs over the network to run on arbitrary machines. 3. As it stands GHC sometimes has long standing bugs where it produces incorrect machine code on some architectures for various (fairly boring) reasons. Interpreting bytecode might be less efficient but would at least ensure that you could, in principle, run GHC on a variety of different platforms until these bugs are finally squashed. Sean

3 5

Music made with Haskell
by Anton Kholomiov 08 Dec '14

08 Dec '14

I wrote two tracks completely with Haskell. You can listen to them on the soundcloud: https://soundcloud.com/anton-kho/celtic https://soundcloud.com/anton-kho/invisible-ocean The music is based on samples but a single track uses no more than 6 samples. The code is under 100 lines of code. I'm using my libs csound-sampler and csound-expression. You can check out the source code at: http://ge.tt/3MjwF852/v/0 Please turn off the AdBlock for this page to download the code. Happy haskelling! Anton

4 7

New Functional Programming Job Opportunities
by Functional Jobs 08 Dec '14

08 Dec '14

Here are some functional programming job opportunities that were posted recently: Senior Software Engineer at McGraw-Hill Education http://functionaljobs.com/jobs/8771-senior-software-engineer-at-mcgraw-hill… Cheers, Sean Murphy FunctionalJobs.com

1 0

[Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands
by Atze Dijkstra 08 Dec '14

08 Dec '14

=========== AFP Summerschool 2015 =========== Applied Functional Programming (AFP) Summerschool July 6-17, 2015 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-progra… AFP website : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp(a)lists.science.uu.nl *** The 2015 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 6-17 July 2015. The summerschool teaches Haskell on both beginners and advanced levels via lectures and lab exercises. More info can be found via the references above, included here is a summary from the summerschool info: ``Typed functional programming in Haskell allows for the development of compact programs in minimal time and with maximal guarantees about robustness and correctness. The course introduces Haskell as well as its theoretical underpinnings such as typed lambda calculus, and Damas-Milner type inference. There is ample opportunity to put this all in practice during lab sessions. Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, type level programming, and functional design patterns. We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-on experience by doing lab exercises or a Haskell project of your own.'' *** This year is somewhat special in that the Tour de France starts in Utrecht the weekend before the start of the summerschool. It is an opportunity for enjoying the related festivities. It also implies that housing may be more difficult the weekend before the summerschool, something to keep in mind when you wait with registration until the latest. regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)uu.nl ............... / |___\ _______________________________________________ Haskell mailing list Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell

1 0

Announce: Leksah 0.14.3
by Hamish Mackenzie 08 Dec '14

08 Dec '14

Download it here https://github.com/leksah/leksah/wiki/download If you have not tried Leksah recently here are some things that are new(ish). If you have GHCJS installed you can build and run your applications in Leksah's output pane. https://www.youtube.com/watch?v=zQnExdDL63c There is also a WebKit "Web Inspect" pane built in (Right click in the Output pane and select Inspect Element). Windows and OS X binaries now use Gtk 3.14. Windows installer includes all the Gtk+-3.0 files you need to build Gtk2Hs applications (including Leksah).

1 0

Haskell CAD DSL
by Ovidiu Deac 07 Dec '14

07 Dec '14

Is there any Haskell-based CAD DSL? I found ImplicitCAD (http://www.implicitcad.org/) which has an Haskell API but the project seems dead as there is no activity on their github repository for the last 2 years. Are there any other options? Thanks!

2 2

No warning for unused import on first line
by Tom Ellis 06 Dec '14

06 Dec '14

Using GHC 7.6.3, if I have ``` import Data.List main :: IO () main = return () ``` then I get a warning as expected. ``` % ghc -fforce-recomp -Wall test1.hs [1 of 1] Compiling Main ( test1.hs, test1.o ) test1.hs:2:1: Warning: The import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() Linking test1 ... ``` However, if `import Data.List` appears on the first line, i.e. with no blank line at the top of the file ``` import Data.List main :: IO () main = return () ``` then I get no warning. ``` % ghc -fforce-recomp -Wall test1.hs [1 of 1] Compiling Main ( test1.hs, test1.o ) Linking test1 ... ``` Can anyone explain this? Tom

2 1

HaskellWiki
by Henk-Jan van Tuyl 05 Dec '14

05 Dec '14

L.S., Regarding the HaskellWiki: I am missing the colorization of differences in the "Difference between revisions" pages for some time, and now I see that the number of page views is not displayed anymore. Can we get those features back? Regards, Henk-Jan van Tuyl -- Folding@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 --

1 0