- Haskell-Cafe - Haskell.org

ANN: network-2.7.0.0
by evan＠evan-borden.com 28 Apr '18

28 Apr '18

Announcing network-2.7.0.0 https://hackage.haskell.org/package/network-2.7.0.0 The 2.7.0.0 release is mostly communicating change. There are a few new APIs, but much of this release is dedicated to preperation for 3.0.0.0. Many long standing functions and modules with tacit deprecation have been officially marked as such. Change log: * Obsoleting the Network module. * Obsoleting the Network.BSD module. * Obsoleting APIs: MkSocket, htonl, ntohl, getPeerCred, getPeerEid, send, sendTo, recv, recvFrom, recvLen, inet_addr, inet_ntoa, isConnected, isBound, isListening, isReadable, isWritable, aNY_PORT, iNADDR_ANY, iN6ADDR_ANY, sOMAXCONN, sOL_SOCKET, sCM_RIGHTS, packFamily, unpackFamily, packSocketType * Do not closeFd within sendFd [#271](https://github.com/haskell/network/pull/271) * Exporting ifNameToIndex and ifIndexToName from Network.Socket. * New APIs: setCloseOnExecIfNeeded, getCloseOnExec and getNonBlock * New APIs: isUnixDomainSocketAvailable and getPeerCredential * socketPair, sendFd and recvFd are exported even on Windows. Upcoming changes in 3.0.0.0 will include: * Functions and modules marked as deprecated in 2.7.0.0 will be removed. * New APIs introduced in 2.7.0.0 will be present in 3.0.0.0. * Socket addresses will have an extensible API. * Linux, BSD and Windows will all have the same API. 3.0.0.0 has been implemented, but we will wait a sufficient period of time before releasing it. As always thanks to network contributors!

1 0

mallocForeignPtrArray with check against buffer overflows
by Henning Thielemann 27 Apr '18

27 Apr '18

I like to test whether some low-level routines overwrite non-allocated memory area. On the Amiga there was the program Mungwall that surrounded memory blocks with some byte patterns at allocation and checked the integrity of those patterns at deallocation. This would also be possible in Haskell with a modified mallocForeignPtrArray. Has someone already implemented this idea? If yes, how could I easily switch between the mallocForeignPtrArray version with such debugging support and the plain function? It would be unfeasible to re-compile a lot of packages only for debugging. Ideally the test-suite of a package would use the debugging version of mallocForeignPtrArray and the library part would use plain allocation. I thought about using valgrind but I remember this often gave many false positive bug reports for Haskell programs.

3 5

Object assignment and equivalence
by Alfred Matthews 26 Apr '18

26 Apr '18

Numerically, wondering if there are design implications to or via defining integers (1,12) as let mod(1)=0, 0<x<=12 as opposed to let mod(1):=0, 0<x<=12 or 0<x<=12, let mod(1)==0 I think I mean mathematically, since none are anything more than Haskell pseudocode. Possibly this makes only metaphorical sense. Thanks in advance. Alfred.

1 0

Block editor for Haskell
by Alex McLean 26 Apr '18

26 Apr '18

Hi all, I'm wondering if anyone has made a 'block editor' for Haskell, i.e. a syntax-aware text editor where you make a program by snapping together type-compatible words, usually with a mouse. Something similar to Scratch for example: https://scratch.mit.edu/ Any leads appreciated! Best wishes alex

4 3

HaRe : informal poll
by Alan & Kim Zimmerman 26 Apr '18

26 Apr '18

Currently HaRe (on hackage) supports GHC 7.10 and 8.0 There is a new version ready to roll, with GHC 8.2 and 8.4 support. But due to the complexities of the build environment (details here[1] for anyone who cares) it will not be able to support earlier GHC versions. Will this be a problem for anyone? Alan [1] https://github.com/haskell/cabal/pull/5275

1 0

Numerical Programming in Functional Languages (CfP)
by dominic＠steinitz.org 26 Apr '18

26 Apr '18

I’m the chair this year for the first(!) ACM SIGPLAN International Workshop on Numerical Programming in Functional Languages (NPFL), which will be co-located with ICFP this September in St. Louis, Missouri, USA. Please consider submitting something! All you have to do is submit between half a page and a page describing your talk. There will be no proceedings so all you need do is prepare your slides or demo. We do plan to video the talks for the benefit of the wider world. We have Eva Darulova <https://people.mpi-sws.org/%7Eeva/> giving the keynote. The submission deadline is Friday 13th July but I and the Committee would love to see your proposals earlier. See here <https://icfp18.sigplan.org/track/npfl-2018-papers> for more information. Please contact me if you have any questions! Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.wordpress.com Twitter: @idontgetoutmuch

1 0

need to find generated reflex/reflex-dom docs
by Michael Litchard 26 Apr '18

26 Apr '18

I've installed reflex-platform on ubuntu via nix, and am pretty sure I have local docs installed. I located this file /nix/store/hv5zkh1gmhklk4sgwhd8gy1q79l37zpc-reflex-dom-0.4-doc/share/doc/html/index.html But it doesn't lead to very much. I'm thinking I didn't do a full doc install. I'd like some advice on how to make sure I've got a complete local install of reflex docs.

2 1

how to catch/bracket in yesod-1.6?
by waldmann 25 Apr '18

25 Apr '18

Dear Cafe, I wonder what's the recommended way to catch an exception, clean up resources, etc., in a yesod Handler. I was using Control.Monad.Catch.bracket_ in legacy code but now I get "No instance for (Control.Monad.Catch.MonadMask (HandlerFor App))" - J

3 2

ML4PL '18, 1st Call for Submissions
by Artem Pelenitsyn 25 Apr '18

25 Apr '18

******************************************************************************** | | | The 2nd International Workshop on Machine Learning Techniques | | for Programming Languages (ML4PL '18) | | | | July 18th 2018, Amsterdam, Netherlands | | Collocated with ECOOP & ISSTA | | | ******************************************************************************** A workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains an interactive character. Workshop web-site: https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers Submission web-site: https://ml4pl18.hotcrp.com/ ********************************** SCOPE *********************************** Over the last years, we have seen a rapid growth in the use of machine-learning technologies in programming languages and systems. This growth is driven by the need to design programming languages to analyze, detect patterns, and make sense of Big Data, along with the increasing complexity of programming language tools, including analyzers and compilers, and computer architectures. The scale of complexity in available unstructured data and system tools has reached a stage where simple heuristics and solutions are no longer feasible or do not deliver adequate performance. At the same time, statistical and machine learning techniques have become mainstream. This workshop is a broad forum to bring together researchers with interests in the intersection of programming languages and system tools with machine learning. Topics of interest include (but are not limited to): * Program analysis + machine learning * Programming languages + machine learning * Compiler optimizations + machine learning * Computer architecture + machine learning * Probabilistic programming languages * Design space exploration Submissions should take the form of talk abstract or 2-page problem statements. Materials of accepted talks will be published in ACM DL. --------------- IMPORTANT DATES --------------- Submission deadline: Wednesday, May 18th, 2018, AOE Notification (tentative): Monday, June 1st, 2018 ML4PL Workshop: Wednesday, July 18th, 2018 ----------------- PROGRAM COMMITTEE ----------------- * Miltiadis Allamanis (Microsoft Research, Cambridge, United Kingdom) * Lasse Blaauwbroek (Czech Institute for Informatics Robotics and Cybernetics, Czech Republic) * Yoav Goldberg (Bar Ilan University, Israel) * Georgy Lukyanov (Newcastle University, United Kingdom) * Alex Polozov (Microsoft Research, United States) * Mark Santolucito (Yale University, United States) * Meital Zilberstein (Technion, Israel) ------------------------------ ORGANIZING COMMITTEE & CONTACT ------------------------------ * Hila Peleg (Technion, Israel) * Artem Pelenitsyn (Czech Technical University in Prague, Czech Republic) Please, address any questions to Artem (a.pelenitsyn(a)gmail.com)

1 0

WST 2018 - Last Call for Papers (deadline: April 30, 2018)
by Salvador Lucas 25 Apr '18

25 Apr '18

========================================================================== WST 2018 - Call for Papers 16th International Workshop on Termination July 18-19, 2018, Oxford, United Kingdom http://wst2018.webs.upv.es/ ========================================================================== NEW: James Worrell and Akihisa Yamada, WST 2018 invited speakers The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018) http://www.floc2018.org/ IMPORTANT DATES: * submission deadline: April 30, 2018 * notification: May 28, 2018 * final version due: June 11, 2018 * workshop: July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to): * abstraction methods in termination analysis * certification of termination and complexity proofs * challenging termination problems * comparison and classification of termination methods * complexity analysis in any domain * implementation of termination methods * non-termination analysis and loop detection * normalization and infinitary normalization * operational termination of logic-based systems * ordinal notation and subrecursive hierarchies * SAT, SMT, and constraint solving for (non-)termination analysis * scalability and modularity of termination methods * termination analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, etc.) * well-founded relations and well-quasi-orders INVITED SPEAKERS: James Worrell - University of Oxford "Termination Checking and Invariant Synthesis for Affine Programs" Akihisa Yamada - NII Japan "Towards a Unified Method for Termination" COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE: Cristina Borralleras - U. de Vic Ugo Dal Lago - U. degli Studi di Bologna Carsten Fuhs - Birkbeck, U. of London Samir Genaim - U. Complutense de Madrid Juergen Giesl - RWTH Aachen Raul Gutiérrez - U. Politecnica de València Keiichirou Kusakari - Gifu University Salvador Lucas (chair) - U. Politecnica de Valencia Fred Mesnard - U. de La Reunion Aart Middeldorp - U. of Innsbruck Albert Rubio - U. Politecnica de Catalunya Rene Thiemann - U. of Innsbruck Caterina Urban - ETH Zürich SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission.

1 0