- Haskell-Cafe - Haskell.org

Dutch National FP Day 2012
by Sean Leather 16 Nov '11

16 Nov '11

(Sent on behalf of Doaitse Swierstra) Despite some last minute changes to the planning we are happy to announce that the next Dutch functional programming day will take place on January 6, 2012, at the university campus "De Uithof" of Utrecht University. In case you want to give a presentation please send title, speaker and abstract to doaitse(a)swierstra.net before Dec 1. We will collect the proposals and try to make an interesting program out of it. Further details will be placed on the site: http://www.cs.uu.nl/wiki/FPDag2012 Best, hoping to see you all, Doaitse

3 3

How to Create Programming Language with Haskell?
by Shogo Sugamoto 16 Nov '11

16 Nov '11

Hi,Cafe. I want to create my own Programming Language with Haskell, and I learn how to do it. I read: WikiBooks of "Write Yourself a Scheme in 48 Hours", "Real World Haskell" of Chapter "Using Parsec", Source of "HJS", Book of "Introduction of Functional Programming Using Haskell". Ok,What is another good source creating my own Programming Language with Haskell? Thanks :) esehara

3 2

(no subject)
by Benjamin L. Russell 16 Nov '11

16 Nov '11

http://elikat.com/blogs/wp-content/plugins/index1.php

1 0

Re: [Haskell-cafe] A Mascot
by heathmatlock 16 Nov '11

16 Nov '11

On Tue, Nov 15, 2011 at 7:06 PM, Ivan Lazar Miljenovic < ivan.miljenovic(a)gmail.com> wrote: > Ummmmm.... do we _really_ need a mascot? I don't think a programming community every really needs a mascot, just nice to have. > And no offence to your > artistic abilities, but even if we did, I don't see how a lamb relates > to Haskell :/ > > The lamb is a play on lambda calculus. -- Heath Matlock +1 256 274 4225

1 1

Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14
by Achim D. Brucker 16 Nov '11

16 Nov '11

(Apologies for duplicates) ************************************************* **** Less than one month until the deadline *** **** for submitting abstract to TAP 2012 *** ************************************************* CALL FOR PAPERS Full and short Research Paper, Industrial Expierence Papers, Tool Papers Abstract submission: Dec 14, 2011, Paper submission Dec 21, 2012 6th INTERNATIONAL CONFERENCE ON TEST AND PROOFS (TAP 2012) http://lifc.univ-fcomte.fr/tap2012/ May 31 - June 1, 2012, Prague, Czech Republic Part of the TOOLS Federated Conferences 2012 http://tools2012.fit.cvut.cz/ The TAP conference is devoted to the convergence of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. Test and Proof seem to be contradictory techniques: if you have proved your program to be correct, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities. However, the development of both approaches lead to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity. Further evidence give test data generation techniques from models or programs which boil down to constraint resolution techniques for relatively large formula; the advent of powerful SMT solvers have therefore powered new testing techniques. Finally, since formal, proof-based verification is costly, testing invariants and background theories can be helpful to detect errors early and to improve cost effectivity. Summing up, in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. The TAP conference aims to bring together researchers and practitioners working in the converging fields of testing and proving, and will offer a generous allocation of papers, panels and informal discussions. Topics of interest cover theory definitions, tool constructions and experimentations and include (other topics related to TAP are welcome): - Transfer of concepts from testing to proving (e.g., coverage criteria) and from proving to testing - Program proving with the aid of testing techniques - New problematics in automated reasoning emerging from specificities of test generation - Verification and testing techniques combining proofs and tests - Generation of test data, oracles, or preambles by deductive techniques such as: theorem proving, model checking, symbolic execution, constraint logic programming - Model-based testing and verification - Generation of specifications by deduction - Automatic bug finding - Debugging of programs combining static and dynamic analysis - Formal frameworks - Tool descriptions and experience reports - Case studies combining tests and proofs - Applying combination of test and proof techniques to new application domains such as validating security procotols or vulnerability detection of programs Important Dates: ================ Abstract submission: December 14, 2011 Paper submission: December 21, 2011 Notification: March 2, 2012 Camera ready version: March 19, 2012 TAP conference: May 31 - June 1, 2012 (to be confirmed) TOOLS conferences (TOOLS, ICMT, SC, TAP): May 29 - June 01, 2012 Conference Chairs: Bertrand Meyer Program Chairs: Achim D. Brucker and Jacques Julliand Program Committee (to be extended): =================================== Nazareno Aguirre, Bernhard K. Aichernig, Paul Ammann, Dirk Beyer, Nikolaj Bjorner, Robert Clarisó, Marco Comini, Catherine Dubois, Gordon Fraser, Angelo Gargantini, Alain Giorgetti, Patrice Godefroid, Martin Gogolla, Arnaud Gotlieb, Reiner Hähnle, Bart Jacobs, Thierry Jéron, Gregory Kapfhammer, Nikolai Kosmatov, Victor Kuliamin, Karl Meinke, Jeff Offutt, Holger Schlingloff, T.H. Tse, Margus Veanes, Luca Viganò, Burkhart Wolff, Fatiha Zaidi Submission: =========== Please submit your papers via http://lifc.univ-fcomte.fr/tap2012/. TAP 2012 will accept two types of papers: - Research papers: full papers with at most 16 pages in LNCS format (pdf), which have to be original, unpublished and not submitted elsewhere. - Short contributions: work in progress, (industrial) experience reports or tool demonstrations, position statements; an extended abstract with at most 6 pages in LNCS format (pdf) is expected. Accepted papers will be published in the Springer LNCS series and will be available at the conference. The contents of previous TAP proceedings is available at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch

1 0

Build error with network/snap w/win7 haskell platform
by Adam Turoff 15 Nov '11

15 Nov '11

I'm trying to build snap-0.6 on win7/x64 with the current 64-bit haskell platform. I have the mingw compilers from the platform in $PATH, and I can get the network and snap-server modules to build. But snap-0.6 fails: [18 of 31] Compiling Snap.Snaplet.Internal.Types ( src\Snap\Snaplet\Internal\Types.hs, dist\build\Snap\Snaplet\Internal\Types.o ) Loading package ghc-prim ... linking ... done. ... Loading package murmur-hash-0.1.0.4 ... linking ... done. Loading package parsec-3.1.2 ... linking ... done. Loading package network-2.3.0.7 ... linking ... ghc.exe: unable to load package `network-2.3.0.7' ghc.exe: C:\Users\aturoff\AppData\Roaming\cabal\network-2.3.0.7\ghc-7.0.3\HSnetwork-2.3.0.7.o: unknown symbol `_acceptNewSock' cabal.exe: Error: some packages failed to install: snap-0.6.0.2 failed during the building phase. The exception was: ExitFailure 1 Any ideas? The platform comes with network-2.3.0.2, but cabal insists on upgrading it. Is there some way to force cabal to use the version that came with the platform instead? Specifying network==2.3.0.2 as a dependency just rebuilds it as a user package. Thanks, -- Adam

1 0

deepseq-1.2.0.1 missing Data.Map instance
by Henry Laxen 15 Nov '11

15 Nov '11

Dear Group, Today I tried to compile snap 0.6 with ghc 7.2, (using virthualenv, which is GREAT by the way) and got the following error somewhere along the way got a message about aeson-native requires deepseq-1.1.0.2 but I had deepseq-1.2.0.1 installed. So I unpacked aeson-native-0.3.3.1 in my virthualenv and changed the build-depends to just deepseq which caused: Configuring aeson-native-0.3.3.1... Preprocessing library aeson-native-0.3.3.1... Building aeson-native-0.3.3.1... [2 of 6] Compiling Data.Aeson.Types ( Data/Aeson/Types.hs, dist/build/Data/Aeson/Types.o ) Data/Aeson/Types.hs:196:22: No instance for (NFData Object) arising from a use of `rnf' Possible fix: add an instance declaration for (NFData Object) In the expression: rnf o In an equation for `rnf': rnf (Object o) = rnf o In the instance declaration for `NFData Value' cabal: Error: some packages failed to install: aeson-native-0.3.3.1 failed during the building phase. The exception was: ExitFailure 1 A little investigating and I discovered that instance (NFData k, NFData a) => NFData (Data.Map.Map k a) where rnf = rnf . Data.Map.toList is in deepseq-1.1.0.2 but not in deepseq-1.2.0.1. Adding it back got aeson-native-0.3.3.1 and later snap-0.6 to compile just fine. So I guess my question is: Is there a reason that the map instance was removed from deepseq-1.2.0.1, and can we please put it back in? Thanks. Best wishes, Henry Laxen

5 5

1p function for NonEmpty
by Yitzchak Gale 15 Nov '11

15 Nov '11

Hi Edward, I started @telling you on #haskell, but it has become too long for that. :) The following functions would be nice additions to Data.List.NonEmpty in the semigroups package: replicate1p :: Whole n => n -> a -> NonEmpty a take1p :: Whole n => n -> NonEmpty a -> NonEmpty a splitAt1p :: Whole n => n -> NonEmpty a -> (NonEmpty a, [a]) Also, your warnings in the haddocks about blowing up on negative arguments don't seem to be needed for take, drop, and splitAt. We could avoid the problem with negative arguments for (!!) too by providing an alternative for Whole numbers. But in that case the function would still be partial, so I'm not sure if it's worth it. I wish there were some way to get Whole to default to Natural. Thanks, Yitz

1 1

[Announcement] New release of SBV (0.9.22)
by Levent Erkok 14 Nov '11

14 Nov '11

New release of SBV (0.9.22) is out: http://hackage.haskell.org/package/sbv Major changes in this release are: - Support for explicit quantification (including alternating existentials and universals) - Ability to use Microsoft's Z3 SMT solver (in addition to Yices). Full release notes: http://github.com/LeventErkok/sbv/blob/b75fb082c013ae9612ef09b90d5feeaec652… Thanks, -Levent.

1 0

Can't establish subprocess communication
by Poprádi Árpád 14 Nov '11

14 Nov '11

Hi all! I have found a simple program on the web: --code begin: copierer.hs module Main (main) where main = interact id --code end I compiled it with ghc -threaded --make copierer.hs If i start it from a terminal,it behaves like the "cat" program without arguments: simply copies the stdin to stdout line by line. I wanted it to use from another Haskell program as subprocess: --code begin: twowaysubprocesscomm.hs module Main where import System.IO import System.Process import Control.Concurrent main :: IO () main = do (hin,hout,p) <- start_subprocess send_and_receive (hin,hout) "boo" send_and_receive (hin,hout) "foo" terminateProcess p start_subprocess :: IO (Handle,Handle,ProcessHandle) start_subprocess = do -- (hin, hout, _, p) <- runInteractiveProcess "cat" [] Nothing Nothing -- This line works as expected (hin, hout, _, p) <- runInteractiveProcess "copierer" [] Nothing Nothing -- This line doesn't work hSetBuffering hin LineBuffering hSetBuffering hout LineBuffering return (hin, hout, p) send_and_receive :: (Handle,Handle) -> String -> IO () send_and_receive (hin,hout) indata = do forkIO $ hPutStrLn hin indata outdata <- hGetLine hout putStrLn $ "outdata: " ++ outdata --code end I compiled it with: ghc -threaded --make twowaysubprocesscomm.hs then ran: ./twowaysubprocesscomm twowaysubprocesscomm: fd:7: hGetLine: end of file twowaysubprocesscomm: fd:6: hPutChar: resource vanished (Broken pipe) Copierer doesn't work as subprocess! If i compile twowaysubprocesscomm.hs using the original "cat", it works as expected: ./twowaysubprocesscomm outdata: boo outdata: foo What is wrong here? The "copierer.hs", its usage in "twowaysubprocesscomm.hs" or both? I use GHC 6.12.3 on a 64 bit linux. Thanks, Árpád

3 3