News aggregator

network package and SIGVTALRM

haskell-cafe - Tue, 07/12/2016 - 11:35am
Hi all I am doing a DCC subsystem on a irc client. After all the handshakes are done I just connect to the server and start `recv`. The code I use for this is: getPackets :: MVar Int -> FilePath -- ^ Name media -> Int -- ^ File size -> AddrInfo -> ExceptT DCCError IO () getPackets mvar name totalSize addr = do receivedSize <- lift $ bracket acquire release receive let delta = (totalSize - receivedSize) if delta > 0 then throwE (NotFullRecv delta) else return () where bufferSize = 16384 acquire :: IO (IO.Handle,Socket) acquire = (,) <$> (IO.openFile name IO.WriteMode) <*> newSocket addr release :: (IO.Handle,Socket) -> IO () release (hdl, sock) = IO.hClose hdl >> close sock receive :: (IO.Handle,Socket) -> IO Int receive (hdl, sock) = flip execStateT 0 . fix $ \loop -> do mediaData <- lift (B.re
Categories: Offsite Discussion

SPLASH'16: 3rd Combined Call for Contributions toCollocated Events

General haskell list - Mon, 07/11/2016 - 9:40pm
################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ NEWS! Benjamin Pierce and Andy Ko have agreed to be keynotes for SPLASH'16! Sponsored by ACM SIGPLAN Combined Call for Contributions to Collocated Events: - SPLASH-I, SPLASH-E, Student Research Competition, Programming Languages Mentoring Workshop - Scala Symposium - Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC< at >SLE, META, MOBILE!, NOOL, PLATEAU, Parsing< at >SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems,
Categories: Incoming News

2016 Autumn School on Computational Logic

General haskell list - Mon, 07/11/2016 - 10:46am
(Apologies if you receive multiple copies of this email. Please distribute to interested parties.) The 2016 Autumn School on Computational Logic will be held on October 16-17, 2016, in New York, affiliated to the 32nd International Conference on Logic Programming (ICLP'16). Researchers and PhD students are encouraged to attend. Student scholarships are available (Deadline for application: July 20) Association for Logic Programming 2016 Autumn School on Computational Logic http://iclp16school.webs.upv.es/ October 16-17, New York, USA (Affiliated to ICLP'16) Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials on the following topics: 1. Constraint Logic Programming Lecturer: Roman Bartak, Charles Unive
Categories: Incoming News

Cannot install any packages after upgrading to GHC8.0.1

haskell-cafe - Mon, 07/11/2016 - 8:49am
Hi, I update my GHC to 8.0.1 and failed to install any packages since then. If I use cabal, I got 'installed package info from too old version of Cabal (key field does not match id field)' for every package. If I use Setup.hs, I got 'Configuring Cabal-1.24.0.0... Setup.hs: ghc-pkg dump failed'. What should I do? Googling did not get me an answer. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

ANN: enchant-0.1.0.0

General haskell list - Mon, 07/11/2016 - 4:35am
Hello, I'm happy to announce the first release of enchant, binding for the Enchant library. https://hackage.haskell.org/package/enchant-0.1.0.0 https://github.com/kseo/enchant What is Enchant? (from http://www.abisource.com/projects/enchant/) On the surface, Enchant appears to be a generic spell checking library. You Thanks, Kwang Yul Seo _______________________________________________ Haskell mailing list Haskell< at >haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Categories: Incoming News

ANN: qtah-0.1.0

General haskell list - Mon, 07/11/2016 - 3:55am
Hello all, I'm happy to announce the first Hackage-ready release of Qtah, Qt bindings for Haskell. I announced Qtah earlier this year, but a lot of work was needed to get it to the point where you can just "cabal install" it. That work has now been done, so I invite you to install qtah-qt5 or qtah-examples[1] (currently just the Qt notepad example), and check out: http://khumba.net/projects/qtah https://gitlab.com/khumba/qtah As a small demonstration, I have a good portion of Goatee ported (board rendering clearly missing): http://khumba.net/tmp/20160710-goatee-qt.png However, there is still lots of the Qt API left to cover. Thanks to ezyang for help working with some Cabal internals. Cheers, Bryan [1] cabal install --enable-executable-dynamic qtah-examples _______________________________________________ Haskell mailing list Haskell< at >haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Categories: Incoming News

ArgumentDo proposal updated

glasgow-user - Mon, 07/11/2016 - 3:24am
Hi glasgow-haskell-users, Thank you for all the feedback to the ArgumentDo proposal. Following the discussion, I made changes to the proposal and updated the wiki page [0]. Now the proposed grammar is greatly simplified: it doesn't add a new non-terminal anymore, indeed it removes one instead. The proposed set of accepted programs remains unchanged. I hope the this update addresses one major concern that was raised in the previous discussion. Any feedback is appreciated. Regards, Takano Akio [0]: https://ghc.haskell.org/trac/ghc/wiki/ArgumentDo _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users< at >haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
Categories: Offsite Discussion

Practical use of Stream's monad instance?

haskell-cafe - Sun, 07/10/2016 - 9:27pm
Hi, we've been debating the usefulness of Monad instances for Stream [2] or homogeneous tuples (fixed-length vectors). The Applicative implementation for them is simply zipping, very useful indeed. The "join" of their Monad instances takes the diagonal of a 2-dimensional plane (finite for tuples, infinite for Stream). (See also [1].) The question is, are such monad instances used in the wild? Are they actually useful or interesting for anything? [1] https://mail.haskell.org/pipermail/haskell-cafe/2009-April/thread.html#59079 [2] https://hackage.haskell.org/package/Stream-0.4.7.2/docs/Data-Stream.html Thanks Petr _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

Is the #functional programming paradigm antithetical to efficient strings? #Haskell

haskell-cafe - Sun, 07/10/2016 - 7:44pm
Is the #functional programming paradigm antithetical to efficient strings? #Haskell -- -- Sent from an expensive device which will be obsolete in a few months! :D Casey _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

Links on https://hackage.haskell.org/package/Cabal-1.24.0.0/docs/Language-Haskell-Extension.html are broken. How can I help?

haskell-cafe - Sun, 07/10/2016 - 5:22pm
Links to documentation are broken. I would be happy to fix. But how? https://hackage.haskell.org/package/Cabal-1.24.0.0/docs/Language-Haskell-Extension.html _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

Memory Management and Lists

haskell-cafe - Sun, 07/10/2016 - 4:41pm
Hi, short version of the question: when elements are 'drop'ped from a list, when is the memory for those elements released? And is there some way to control that? Longer version: I have this situation where I've got a State monad carrying a Data.Matrix, and I... 1) generate in infinite list of monadic operations with (repeat mf) where mf is a monadic function. 2) 'sequence' (from Control.Monad) to get a monad containing the infinite list of all states (i.e., a list of Matrices). 3) evalState(T) to extract the list 4) extract the nth state with (head (drop (n-1))) I like this approach. However, there seems to be a memory management issue: a Matrix itself should only be, I'm guessing, somewhere around 100KB. But instead I'm maxing out the 3GB of RAM on my old T60 laptop. Maybe I'm generating list elements (Matrices) a lot faster than memory management is releasing them...?
Categories: Offsite Discussion

What's wrong in my Data.Generic.Zipper code?

haskell-cafe - Sun, 07/10/2016 - 10:55am
Hello all, I do not understand why this simple piece of code returns Nothing instead of [1,2,3]. Can anybody help? {-# LANGUAGE BangPatterns,NoMonomorphismRestriction, DeriveDataTypeable #-} import Data.Typeable import Data.Data import Data.Generics.Zipper ex_list1 :: [Int] ex_list1 = [1,2,3] t1 = toZipper ex_list1
Categories: Offsite Discussion

Proposal and discussion: Deprecate Data.Set.mapMonotonic and Data.Map.mapKeysMonotonic; add correctly named functions

libraries list - Fri, 07/08/2016 - 6:49pm
We currently have a function mapMonotonic in Data.Set and one called mapKeysMonotonic in Data.Map. These names are confusing for two reasons: 1. In some mathematical contexts, a function is considered monotonic if it's *either* increasing or decreasing. 2. Even where monotonic specifically means *increasing*, it generally does *not* specifically mean *strictly increasing*. The functions in question work when, and only when, the given function is strictly increasing on the elements/keys in the set/map. I'd like to DEPRECATE these functions, and add new ones: Data.Set: mapStrictlyIncreasing and mapStrictlyDecreasing Data.Map: mapKeysStrictlyIncreasing and mapKeysStrictlyDecreasing Data.Map presents another possibility, however. We could make the replacements more general, giving them types Ord k => (k -> v -> (k', v')) -> Map k v -> Map k' v' and allowing the user to map over both keys and values in one pass. David Feuer _______________________________________________ Libraries mailing list Libraries< at >
Categories: Offsite Discussion

Position as lab docent Software Engineering at the University of Amsterdam

General haskell list - Fri, 07/08/2016 - 2:41pm
Dear all, I would like to draw your attention to the following job opening at the University of Amsterdam: <http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-267-lecturer-software-engineering.html>http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-267-lecturer-software-engineering.html This is a full-time teaching position in our MSc Software Engineering programme that is rated among the best ICT Master programmes in the Netherlands: http://www.uva.nl/en/education/master-s/master-s-programmes/item/software-engineering.html We partially take a rather formal approach to software engineering and use Haskell in at least one of our courses. So the position might indeed be of interest to subscribers of this mailing list. After some local hickups the definitive and firm deadline for application is Monday July 11 any time Amsterdam time. If you have any questions, do not hesitate to contact me. Best regards, Clemens Grelck
Categories: Incoming News

Natural keys in Haskell data structures

haskell-cafe - Fri, 07/08/2016 - 2:35pm
Dear cafe, What is the idiomatic way to "split" records into their natural keys and content in a data structure? For example, given a user: data User = { username :: ByteString, hash :: ByteString, address :: Text, ... } Using map, a first choice would be Map ByteString User, but this leads to duplication of the username. And it is possible to make mistakes, such as insert "John" (User "Jane" ... What does cafe think? Is there any pattern for this? This is probably just a small nit in the overall architecture, but I'm curious to know the clean way to do it. Regards, Hon _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

Chair in Information/Computer Security (Sheffield,UK)

haskell-cafe - Fri, 07/08/2016 - 2:04pm
(Apologies for duplicates) Dear all, The Computer Science Department of The University Of Sheffield has an open position for a Chair in Computer and Information Security. The new chair will lead a new research group in the Department of Computer Science and establish an agenda for security and privacy research across the wider university. Applications are welcome in all areas of computer and/or information security, including * Human factors and secure systems * Security aspects of distributed and autonomous systems Internet of things, cloud computing * Applications of secure systems Manufacturing, health, transport, robotics * Security analysis Intrusion monitoring, threat detection, links with machine learning and language processing * Secure software engineering (Both empirical and theoretical approaches) * Applied cryptography Applications in IT systems, homomorphic encryption For more information about the position and the Department, please visit http://www.sheffield.ac.uk/dcs/research
Categories: Offsite Discussion

3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!

General haskell list - Fri, 07/08/2016 - 1:26pm
(Apologies for duplicates) Less than 10 days until the deadline! CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2, 2016, Saint-Malo, France http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming an
Categories: Incoming News

3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!

haskell-cafe - Fri, 07/08/2016 - 1:26pm
(Apologies for duplicates) Less than 10 days until the deadline! CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2, 2016, Saint-Malo, France http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming an
Categories: Offsite Discussion

Strange error with cabal install on windows:

haskell-cafe - Fri, 07/08/2016 - 9:06am
I've got an error that I don't know how to fix with cabal install. Has anyone experienced such a thing? It installs fine on ubuntu but fails to install on windows 7. It's my own package called `sharc-timbre`: ~~~ Building sharc-timbre-0.1... Preprocessing library sharc-timbre-0.1... C:\Program Files\Haskell Platform\8.0.1\bin\ghc.exe: createProcess: does not exist (No such file or directory) cabal: Leaving directory 'C:\Users\антон\AppData\Local\Temp\cabal-tmp-4484\sharc-timbre-0.1' ~~~ Thanks, Anton _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
Categories: Offsite Discussion

Call for participation: PPDP 2016

General haskell list - Thu, 07/07/2016 - 3:15pm
============================================================ CALL FOR PARTICIPATION: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming Edinburgh, UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ co-located with LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation Edinburgh, UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ and SAS 2016 23rd Static Analysis Symposium Edinburgh, UK, September 8-10, 2016 http://staticanalysis.org/sas2016/ ============================================================ Registration is now open: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/ **Early registration until August 15** INVITED TALKS * Elvira Albert: Testing of Concurrent and Imperative Software using CLP * Greg Morrisett (jointly with LOPSTR'16): TBD * Francesco Logozzo (jointly with LOPSTR'16): TBD ACCEPTED PAPERS - Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio
Categories: Incoming News