February 2021 - Haskell-Cafe

Re: [Haskell-cafe] Not too extensible records?
by Olaf Klinke 28 Feb '21

28 Feb '21

> I have a situation that I think is a good case to apply extensible records to. I > have two kinds of entities that are both extensible but in different ways — I > would like to make sure their fields are not mixed. At the same time, I want to > be able to extend the sets of fields across several modules. Is it possible and > is it practical? > My case is that I have a type for graphs that is a bifunctor — in node labels > and edge labels. > So, I need to be able to add more and more fields to labels, but in such a way > that it is impossible to assign an unsuitable field. If your graph is already a bifunctor, why not use a disctinct label or node type in each use case/module? That certainly fits the requirement of not mixing fields. Then you could go the old-fashioned way of type classes, e.g. class HasTopology label where topology :: label -> Topology instance HasTopology Topology where topology = id instance HasTopology label => HasTopology (label,moreInfo) where topology = topology.fst Or for updateable fields, use a Lens Topology. This is a lot of boilerplate, I admit, but you have fine-grained control over what your types have in common. Nested pairs are type- level polymorphic lists and with the right type classes can be used as such, if the list of types is known at compile-time. It is similar to what mtl does with the MonadFoo classes. Olaf

3 3

Not too extensible records?
by Ignat Insarov 27 Feb '21

27 Feb '21

Hello! I have a situation that I think is a good case to apply extensible records to. I have two kinds of entities that are both extensible but in different ways — I would like to make sure their fields are not mixed. At the same time, I want to be able to extend the sets of fields across several modules. Is it possible and is it practical? My case is that I have a type for graphs that is a bifunctor — in node labels and edge labels. I want to gradually decorate these labels with more and more information. For nodes, it may be the number of outgoing edges or the position of the node in space. For edges, it may be whether an edge is directed or not, or whether it was added by some computation, like say transitive closure. So, I need to be able to add more and more fields to labels, but in such a way that it is impossible to assign an unsuitable field. It would be nonsense if a node was said to be undirected or for an edge to be declared a leaf. I would also like not to provide all the labels ahead of time, but rather define whatever labels are needed in the module that defines the corresponding decorating functions. An example for the sort of things I have in mind: class Suitable label type | label → type … data Topology = Root | Internal | Leaf instance Suitable Topology NodeLabels detectTopology ∷ graph someNodeLabels whateverEdgeLabels → graph (someNodeLabels + Topology) whateverEdgeLabels I looked into `extensible` and `vinyl`. * `extensible` does not seem to fit because it defines field labels to be type level strings, making them all interchangeable — there is no way to enforce the distinction between labels suitable for nodes and for edges. * `vinyl` seems to be more flexible and low level, but this also means that it is steeper to learn. The example from the repository uses an enumeration to define a set of labels for a type of records, and this means that the set of labels cannot be extended across modules — this is a problem for me and I am not sure if it can be solved within `vinyl`. What should I do?

1 0

Is there a StateT but with resulting pair swapped?
by Javran Cheng 26 Feb '21

26 Feb '21

Hi cafe, I'm playing with alex recently and noticed that: newtype Alex a = Alex {unAlex :: AlexState -> Either String (AlexState, a)} which is almost StateT AlexState (Except String), and looks like I can make a MonadError instance out of it. Therefore I'm curious if there's any existing package that has newtype StateT' s m a = StateT' (s -> m (s, a)) -- note the swapped pair here so that I can just deriving (MonadError String) via StateT' AlexState (Except String) to implement MonadError. Thanks! -- Javran (Fang) Cheng

2 1

Re: [Haskell-cafe] Problem with stack
by Olaf Klinke 26 Feb '21

26 Feb '21

> Are you building on a networked filesystem? > > Here's a somewhat similar report where switching to a completely local > filesystem has resolved the issue. Speaking of which, is there a specification about what filesystem features stack and its sub-tools expect? I can not build stack projects on a remote cifs share, but on the local filesystem it works fine. The error is Encountered error while migrating Stack database: SQLite3 returned ErrorBusy while attempting to perform step: database is locked Please report this on https://github.com/commercialhaskell/stack/issues I suspect that things like symlinks are expected to work, which samba does not support despite the target drive being ext4. Olaf

4 5

International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague
by matteo＠confscience.com 25 Feb '21

25 Feb '21

Call for papers ************************************************* International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *************************************************************************** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *************************************************************************** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=rtatm2021) All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/rtatm/ *************************************************************************** CONTACT For more information, please send an email to info-rtatm(a)confscience.com

1 0

F-IDE 2021 - Last Call for Papers - Extended Deadline
by Andrei Paskevich 25 Feb '21

25 Feb '21

****************************************************************** F-IDE 2021: 6th Workshop on Formal Integrated Development Environment Affiliated with NASA Formal Methods 2021 May 24-25, 2021 -- held online https://cister-labs.pt/f-ide2021 ****************************************************************** Keynotes * Prof. Jan Friso Groote, Eindhoven Univ. of Technology, the Netherlands * Benoît Rognier, Edukera, France Important Dates * Abstract submission - extended: Mon, Mar 8, 2021 * Full paper submission - extended: Mon, Mar 15, 2021 * Notification: Mon, Apr 19, 2021 * Camera-ready: Mon, May 3, 2021 * Workshop: May 24-25, 2021 Overview High levels of safety, security, and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application to ease the justification of design choices and the review of code and proofs. Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second is to offer a language and/or an environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Tools for testing and static analysis may be embedded within F-IDEs to support the assessment process. Topics The workshop is open to contributions on all aspects of a system development process, including specification, design, implementation, analysis, and documentation. It welcomes the presentation of tools, methods, techniques, and experiments. Topics of interest include, but are not limited to, the following: * F-IDE building: design and integration of languages, development of user-friendly front-ends * How to make high-level logical and programming concepts palatable to industrial developers * Integration of object-oriented and modularity features * Integration of static analyzers * Integration of automated proof tools, theorem provers, and testing tools * Documentation tools * Impact of tools on certification * Experience reports on developing F-IDEs * Experience reports on using F-IDEs * Experience reports on formal methods-based assessments in industrial applications Submission Guidelines We accept both long (15 pages) and short (6 pages) paper submissions. The page limit does not include the bibliography. Submitted papers must present original contributions whose main results and conclusions have not been published or submitted elsewhere. Each submission will be reviewed by at least three members of the Program Committee. We expect that one author of every accepted paper will present their work at the workshop. Submitted papers must be written in English and follow the EPTCS LaTeX format (http://style.eptcs.org) Authors are invited to submit the following types of contributions: * Research papers providing new concepts and results * Experience reports * Position papers and research perspectives * Tool presentations Papers should be submitted via EasyChair at F-IDE 2021's workshop page: https://easychair.org/conferences/?conf=f-ide2021. Preliminary proceedings will be made available in electronic form at the workshop. Post-proceedings will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Program Committee * Andrew Reynolds, University of Iowa, USA * Damien Doligez, Inria, France * Bernhard Rumpe, RWTH Aachen University, Germany * Carlo A. Furia, Chalmers University of Technology, Sweden * César Muñoz, NASA Langley, USA * Cinzia Bernardeschi, University of Pisa, Italy * Claudio Sacerdoti Coen, University of Bologna, Italy * Enrico Tassi, Inria, France * François Pessaux, ENSTA ParisTech, France * José Creissac Campos, University of Minho, Portugal * Kenneth Lausdahl, Aarhus University, Denmark * Laurent Voisin, Systerel, France * Lucas Wagner, Collins Aerospace, USA * Makarius Wenzel, sketis.net * Markus A. Kuppe, Microsoft Research, USA * Mattias Ulbrich, Karlsruhe Institute of Technology, Germany * Pierre-Yves Strub, LIX, École Polytechnique, France * Rosemary Monahan, Maynooth University, Ireland * Silvia Lizeth Tapia Tarifa, University of Oslo, Norway * Simão Melo de Sousa, Universidade Beira Interior, Portugal * Stefan Mitsch, Carnegie Mellon University, USA * Stephan Merz, Inria, France * Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay, France * Yannick Moy, AdaCore, France * Yi Zhang, Massachusetts General Hospital, USA PC Chairs * Andrei Paskevich, Université Paris-Saclay, France * José Proença, CISTER/ISEP, Portugal Steering Committee * Catherine Dubois, Samovar, ENSIIE, France * Paolo Masci, US National Institute of Aerospace (NIA), USA * Dominique Méry, LORIA, Université de Lorraine, France

1 0

Problem with stack
by Seph Shewell Brockway 25 Feb '21

25 Feb '21

Hi all, A system update (on Arch Linux) seems to have broken my stack installation. It’s started producing linker errors that look like this: dns > /usr/bin/ld.gold: error: /mnt/data/home/seph/.stack/snapshots/x86_64-linux-tinfo6/0ae0d61c27cd61876740871252be93ed57cf041b2170a9014507e77ea977085d/8.10.4/lib/x86_64-linux-ghc-8.10.4/libHScryptonite-0.27-G0nFpwexMw39Vj7zbfAUBq-ghc8.10.4.so:1:1: invalid character dns > collect2: error: ld returned 1 exit status dns > `gcc' failed in phase `Linker'. (Exit code: 1) This seems to happen no matter what snapshot I’m using, although not necessarily with the same packages. Does anyone have any idea what might be going on? Regards, Seph -- Seph Shewell Brockway, BSc MSc (Glas.) Pronouns: she/her

2 3

[ANN] cabal-install-3.4.0.0
by Emily Pillmore 24 Feb '21

24 Feb '21

The Cabal team is excited to announce the release of cabal-install 3.4. This is the third release of the 3.0 release series, bringing a support for the `Cabal-Version: 3.4` `.cabal` file format. This introduces a number of user-facing features including: - Support for GHC 9.0 - Package sublibrary dependency syntax - Allowing omission of the `default-language` declaration - A mixins field allowing the user to specify a sublibrary - [Many other features]( https://cabal.readthedocs.io/en/latest/file-format-changelog.html#cabal-ver… ) In addition, the `cabal-install` frontend itself has gained a number of new features including: - New `active-repositories` `cabal.project` fields allowing users to specify an order and various ways of combining package repositories - Improvements to `cabal init` - A rework of the `cabal v2-sdist` command. `cabal v1-sdist` is removed as of this version - `source-repository-package` directories are no longer local - A new `list-bin` command - `cabal sandbox` is now removed in favor of default nix-style builds - `cabal list` now accepts regular expressions - More rich `index-state` syntax. `v2-freeze` saves `index-state` I'd also like to thank the many contributors who offered patches, tickets, and other help in the preparation of this release. We appreciate all of your help! For a full set of release notes, see https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.…. If you have issues, we'd love to hear about there here: https://github.com/haskell/cabal/issues. Happy hacking! Emily

2 2

Cabal 3.2.0.0, run okay with profiling enabled, but installed exe NO profiling enabled
by YueCompl 24 Feb '21

24 Feb '21

Dear Cafe, I'm not sure it is a bug or just designed behavior? But I can't install profiling-enabled exe with cabal 3.2.0.0, while direct running works correctly. $ cabal --version cabal-install version 3.2.0.0 compiled using version 3.2.0.0 of the Cabal library $ cabal run --enable-profiling --enable-executable-profiling exe:els -- +RTS --info Up to date [("GHC RTS", "YES") ,("GHC version", "8.8.4") ,("RTS way", "rts_thr_p") ,("Build platform", "x86_64-apple-darwin") ,("Build architecture", "x86_64") ,("Build OS", "darwin") ,("Build vendor", "apple") ,("Host platform", "x86_64-apple-darwin") ,("Host architecture", "x86_64") ,("Host OS", "darwin") ,("Host vendor", "apple") ,("Target platform", "x86_64-apple-darwin") ,("Target architecture", "x86_64") ,("Target OS", "darwin") ,("Target vendor", "apple") ,("Word size", "64") ,("Compiler unregisterised", "NO") ,("Tables next to code", "YES") ,("Flag -with-rtsopts", "-maxN31 -qg") ] $ cabal install --enable-profiling --overwrite-policy=always --enable-executable-profiling exe:els && els +RTS --info Wrote tarball sdist to ... Resolving dependencies... Up to date Copying 'els' [("GHC RTS", "YES") ,("GHC version", "8.8.4") ,("RTS way", "rts_thr") ,("Build platform", "x86_64-apple-darwin") ,("Build architecture", "x86_64") ,("Build OS", "darwin") ,("Build vendor", "apple") ,("Host platform", "x86_64-apple-darwin") ,("Host architecture", "x86_64") ,("Host OS", "darwin") ,("Host vendor", "apple") ,("Target platform", "x86_64-apple-darwin") ,("Target architecture", "x86_64") ,("Target OS", "darwin") ,("Target vendor", "apple") ,("Word size", "64") ,("Compiler unregisterised", "NO") ,("Tables next to code", "YES") ,("Flag -with-rtsopts", "-maxN31 -qg") ] $ cabal install --enable-profiling --overwrite-policy=always --enable-executable-profiling exe:els && els +RTS -p Wrote tarball sdist to ... Resolving dependencies... Up to date Copying 'els' els: the flag -p requires the program to be built with -prof els: els: Usage: <prog> <args> [+RTS <rtsopts> | -RTS <args>] ... --RTS <args> els: ... Is there other options to get a profiling enabled exe installed? Thanks with regards, Compl

2 2

[ANN] zlib-0.6.2.3
by Emily Pillmore 22 Feb '21

22 Feb '21

Hello Everyone, I'm pleased to announce zlib-0.6.2.3, which adds support for the bytestring-0.11 work, and unblocks a decent number of packages to the next bytestring versions. I would also like to announce that two new maintainers have been added to the zlib team: Andrew Lelechenko (bodigrim), and myself (topos). Cheers, Emily

1 0