- Haskell-Cafe - Haskell.org

Where should I report about https://www.haskell.org/ghc/
by Yuji Yamamoto 25 Feb '19

25 Feb '19

Hello Haskellers, I found a typo [in the download page of GHC][1]: the "Current Stable Release" section must be "8.6.3" instead of "8.6.2"! So I want to file an issue for the repository or sending a patch via pull request or merge request. But as long as I looking for https://gitlab.haskell.org/ghc/ghc , I can't get sure of where the download page is managed. Can you tell me where is the right place to report or how to send a patch? Thanks in advance! [1] https://www.haskell.org/ghc/download.html -- 山本悠滋 twitter: https://twitter.com/igrep GitHub: https://github.com/igrep GitLab: https://gitlab.com/igrep Facebook: http://www.facebook.com/igrep

4 4

Munich Haskell Meeting, 2019-02-26 @ 19:30
by Leah Neukirchen 24 Feb '19

24 Feb '19

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, February 26 at Rumpler at 19h30. For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-feb-2019/ Everybody is welcome! cu, -- Leah Neukirchen <leah(a)vuxu.org> http://leah.zone

1 0

Feedback on new warning for MINIMAL pragmas
by Levent Erkok 24 Feb '19

24 Feb '19

Dear Haskell enthusiasts: I recently came across a scenario where GHC's output confused me regarding MINIMAL pragmas, and filed a "feature request" for GHC: https://github.com/ghc-proposals/ghc-proposals/pull/210 Simon PJ asked me to turn it into a proposal to gather feedback: https://github.com/ghc-proposals/ghc-proposals/pull/210 Alas, it gathered no feedback so far, aside from Simon PJ and myself. It's a very simple change and hopefully one that is also very easy to implement. If you could take a moment to comment on the proposal (or better yet, volunteer to implement it!), it would be much appreciated. I'm always very pleasantly surprised on the thoughtfulness and the technical depth of the comments this community provides, and it would be nice to make sure there are no gotcha scenarios. To keep the traffic on the haskell-cafe low, please comment directly on the proposal itself. Thanks, -Levent.

1 1

segfault depending on code position in source file
by Damien Mattei 22 Feb '19

22 Feb '19

my code is structured like this , in summary: -- this function will return th N°BD from Sidonie for a given name -- note: names have been standardized between Sidonie and WDS getAlphaDelta :: Connection -> String -> IO (Double,Double) getAlphaDelta conn name = do let qry_head_AlphaDelta_AngularDistance = "select alpha,delta from AngularDistance where Nom = ?" :: Query (alpha_delta_rows :: [(Double,Double)]) <- query conn qry_head_AlphaDelta_AngularDistance (Only (name::String)) -- putStrLn $ show alpha_delta_rows return (head alpha_delta_rows) main = do conn <- connect defaultConnectInfo { connectHost = "moita", connectUser = "mattei", connectPassword = "sidonie2", connectDatabase = "sidonie" } -- check getAlphaDelta works: let name3 = "A 7" putStrLn $ show name3 ad3 <- getAlphaDelta conn name3 putStr "ad3 =" putStrLn $ show ad3 this works i got result such as: "A 7" ad3 =(11297.0,-619.0) if i move the 5 lines of code at the end of file it segfault between the begin and end i have some DB connection and queriung , filtering, mapping... any idea? should i really upgrade the version of GHCI? Damien

5 10

Advert for: 12 fully-funded 3-year PhD scholarships at Kent
by Simon Thompson 22 Feb '19

22 Feb '19

The Programming Languages and Systems (PLAS) group at the University of Kent's School of Computing invites applications for 12 fully-funded 3-year PhD scholarships (for UK/EU students). Applications are due by the 26th April 2019. The PLAS group is one of the largest programming languages research groups in Europe. It is currently ranked 17th worldwide by the independent CSrankings website: http://csrankings.org/#/index?plan&world. We provide a supportive environment for research and we have a vibrant postgraduate population. We encourage our students to engage with the wider research community through attending conferences and taking internships with leading industrial companies. We are located in Canterbury, a lively and cosmopolitan historic town with convenient travel links to London and Europe. You can apply to study for a PhD in any topic that falls within our range of expertise. We have studentships up to a value of £19,945 per annum that are available by competition. Application process: Select a potential supervisor (see below) and send them an informal project proposal as well as a brief CV (preferably by the first week of April 2019). Staff contact details can be found on their web pages. Submit your formal applications through the university admission system by the 26th April 2019. Your application should include a completed online admission form; the name and contact details of two referees; an original document providing confirmation of your degree (or a transcript if the degree is not yet awarded). For non-native English speakers, a certificate of competence in English is required at IELTS 6.5 or higher, with no element less than 6.0 (or equivalent). Programming Languages and Systems Group: https://www.cs.kent.ac.uk/research/groups/plas/index.html Topics suggested by our group https://www.cs.kent.ac.uk/research/groups/plas/pgprojects.html Applications process: https://www.cs.kent.ac.uk/research/studyingforaphd/howtoapply.html For general inquiries about the process, please e-mail: cs-phd-plas(a)kent.ac.uk. PLAS is a large research group with potential supervisors who work across the breadth of programming languages and systems research. *Dr Mark Batty* (Additional scholarship: https://www.cs.kent.ac.uk/people/staff/mjb211/studentship/studentship.htm) Concurrency; software verification; systems; relaxed memory; programming language semantics; GPU concurrency. *Dr Laura Bocchi* Foundations and engineering of API with complex behaviour, verification of distributed concurrent systems; behavioural types; real-time systems; transactions and transaction protocols. *Dr Olaf Chitil* Tracing, semantics, algorithmic debugging, type error debugging, compilation and functional programming. *Dr Radu Grigore* Program analysis; runtime verification; probabilistic models of computation. *Dr Rogerio de Lemos* Software engineering for self-adaptive systems: assurances and resilience evaluation; architecting resilient systems. *Prof. Richard Jones* Language implementation; memory management; garbage collection; object demographics; program analysis for improved memory management; program visualisation, rigorous performance evaluation. *Dr Stefan Kahrs* Expressiveness of programming languages, type systems, term rewriting, infinitary rewriting. *Dr Stephen Kell* Language implementation, tools, interoperability, runtimes and operating systems. *Prof. Andy King* Abstract interpretation, logic programming, decompilation and reverse engineering *Dr Julien Lange* Process calculi, automata theory, behavioural types, model checking and their application to the implementation and verification of concurrent and distributed systems. *Dr Stefan Marr* Language implementation techniques, concurrency, parallel programming, optimizations, tooling, debugging, virtual machines, interpreters, compilation. *Dr Matteo Migliavacca* On-line data processing, distributed publish-subscribe, and high-performance event processing in large scale and cloud scenarios. *Dr Dominic Orchard* Mathematical structure of programs; logical foundations of programming; categorical semantics; behavioural type theories; programming language design; program verification for computational science. *Dr Scott Owens* Semantics of shared memory concurrency; design of programming languages; formal verification for software and interactive theorem proving, especially for CakeML (https://cakeml.org) *Dr Tomas Petricek* Programming languages and tools, especially for data science, studying interactions of programming, bridging the gap between data and types; foundations of programming in a broad sense, including design and human experience; philosophy and history of computing and programming. *Prof. Simon Thompson* Functional programming in Haskell, Erlang and OCaml; refactoring functional programs: tool building. theory and practice: dependently-typed functional programming; DLT: languages for smart contracts on blockchains, including Marlowe on Cardano. Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson(a)kent.ac.uk <mailto:s.j.thompson@kent.ac.uk> | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt <http://www.cs.kent.ac.uk/~sjt>

1 0

ANNOUNCE: waargonaut-0.6.0.0 (better mousetrap)
by Sean Chalmers 22 Feb '19

22 Feb '19

## Waargonaut 0.6.0.0 This release of Waargonaut sees several issues fixed and a generous helping of cleanups and refactoring. This is a breaking change as the API has been drastically altered for some parts. Other changes include more granular modules and generalisation. ### Bug fixes - Unicode was not being handled correctly, sometimes. The encoding/decoding to a `Text` or `String` value wasn't correct due to my own lack of understanding. - Upper-case hexadecimal input was being silently zeroed out during some conversion steps. Those issues should all be resolved now. In the process of fixing those issues, it tugged on a couple of threads for things I've been wanting to do. So I did them, see below: ### Changes: #### Decoding! Using `parseWith` and the requirement to DIY almost an entire parsing function is a thing of the past. Replaced with the following structure: Functions: - `decodeWith` - `decodeFromText` - `decodeFromString` - `decodeFromByteString` - `decodeWithInput` - as well as their pure variants These functions only require you provide a function from the respective input type and has an implementation of the `CharParsing` interface. The greatly simplifies the process of providing your own parsing function. #### Default Parsing Functions! Waargonaut now provides some default parsing functions using the `attoparsec` package. These are in the `Waargonaut.Attoparsec` module and should make it easier for people to be up and running with the package when requirements of a custom parser aren't important. #### New Optics! The `Waargonaut.Lens` module provides some Prisms for use with the `Json` type. Working in a similar way to the `lens-aeson` package. These optics are law abiding and they have tests to prove it. #### Better Builder To complement the more streamlined parsing functions, the encoder has had its builder internals reworked to support either `Text` or `ByteString`. In the style of "scrap your typeclasses" to keep things simple. Added tests to check their output matches. #### More modules! - Factored out components into more focused submodules: - UnescapedJChar - EscapedJChar - HexDigit4 - Elem - Elems - JAssoc - Decode.Runners - Builders for all `Json` types now live under `Waargonaut.Encode.Builder` #### Deprecate Traversal decoder The decoder in `Waargonaut.Decode.Traversal` has been marked as deprecated and will be removed in a future release. It is bit rotting somewhat compared to the succinct powered decoder and doesn't operate at anywhere near the same level of speed or memory efficiency. If people care they can open an issue to let me know. #### Test re-structure Tests have been reordered into more granular modules. Some tests have been removed or reworked to be more accurate. More tests have been added to try to protect from regressions. More tests have been added to confirm that various instances or functions are law abiding. As a consequence there have been a few instances and functions that have been removed.

1 0

ghci segmentation fault
by Damien Mattei 21 Feb '19

21 Feb '19

when executing this code i have a segmentation fault: printNameAndData :: (String,Float,Float) -> IO () printNameAndData (name,bdSidonie,bdWDS) = do putStrLn $ name ++ " " ++ show bdSidonie ++ " " ++ show bdWDS return () main :: IO () main = do rm <- mapM printNameAndData fltrdNamesBDsApprox *Main> :load UpdateSidonie.hs [1 of 1] Compiling Main ( UpdateSidonie.hs, interpreted ) Ok, one module loaded. *Main> main Segmentation fault (core dumped) if i hat a print statement: putStrLn $ show rm it works: [output cut] ... STT 448 28.4162 28.4162 STT 453 6.493 6.493 STT 487 79.761 79.761 STT 518 7.952 7.952 STT 524 19.3533 19.3533 STT 531 37.878 37.878 STT 534 21.3296 21.3296 VDK 1 26.1293 26.1293 VDK 2 7.4946 7.4946 VOU 42 -16.461 -16.461 WOR 7 71.851 71.851 WOR 12 27.4445 27.4445 WOR 17 -9.956 -9.956 WOR 20 16.2316 16.2316 WOR 24 31.25 31.25 [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),()] strange? the version is: GHCi, version 8.2.2 Damien

3 4

(no subject)
by Damien Mattei 20 Feb '19

20 Feb '19

in my previous message instead of 'hat' we must read 'add' ... gasp...

1 0

Deadline extension: DBPL 19
by Alvin Cheung 20 Feb '19

20 Feb '19

Due to multiple requests, we are extending the deadline for *both* paper tracks to *Monday Feb 25* (anytime on Earth). Please feel free to submit via our hotcrp website. Questions can be directed to dbpl19-pcchairs(a)cs.washington.edu . ---------------------------------------------------------------------- The 17th International Symposium on Database Programming Languages https://pldi19.sigplan.org/track/dbpl-2019-papers Phoenix, Arizona, USA June 23, 2019 hosted as part of PLDI 2019 Call for Papers For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas at the intersection of databases and programming languages. Many key contributions in query languages for object-oriented data, persistent databases, nested relational data, and semistructured data, as well as fundamental ideas in types for query languages, were first announced at DBPL. Today, this creative research area is broadening into a subfield of data-centric computation, currently scattered among a range of venues. DBPL is an established destination for such new ideas and solicits submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of data-centric computation. Scope ----- DBPL solicits practical and theoretical papers in all topics at the intersection of databases and programming languages. Papers emphasizing new topics or emerging areas are especially welcome. Suggested, but not exclusive, topics of interest for submissions include: - Compiling Query Languages to Modern Hardware - Data-Centric Programming Abstractions, Comprehensions, Monads - Data Integration, Exchange, and Interoperability - Data Synchronization and Bidirectional Transformations - Declarative Data Centers (e.g., distributed query processing, serverless computing platforms, social computing platforms, etc) - Emerging and Nontraditional Data Models - Language-Based Security in Data Management - Language-Integrated Query Mechanisms - Managing Uncertain and Imprecise Information - Metaprogramming and Heterogeneous Staged Computation - Programming Language Support for Data-Centric Programming (e.g., databases, web programming, machine learning, etc) - Query Compilation and In-memory Databases - Query Language Design and Implementation - Query Transformation and Optimization - Schema Mapping and Metadata Management - Semantics and Verification of Database Systems - Stream Data Processing and Query Languages - Type and Effect Systems for Data-Centric Programming Author Guidelines ----------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Submissions should be no more than 10 pages long, excluding references, in the two-column ACM proceedings format, following PLDI's formatting requirements (https://pldi19.sigplan.org/track/pldi-2019-papers#Call-for-Papers) Each submission should begin with a succinct statement of the problem and a summary of the main results. Authors may provide more details to substantiate the main claims of the paper by including a clearly marked appendix at the end of the submission, which is not included in the page limit and is read at the discretion of the committee. At least one author of each accepted paper must attend the symposium to present their work. Short papers of at most 4 pages (same format as long papers) describing work in progress, demos, research challenges or visions are also welcome. Accepted short papers may be included or excluded from the formal proceedings, whichever the author(s) prefer. Full and short papers are both due on the deadline, February 25, 2019. Instructions on how to submit will be posted on the symposium website noted above. Review is single-blind, so authors do not need to anonymize their submissions. PC submissions are allowed, except for the co-chairs. Important Dates --------------- - Paper Submission: February 25, 2019 - Notification: March 29, 2019 - Final versions due: April 16, 2019 - Symposium: June 23, 2019 Proceedings ----------- Accepted papers will appear as part of the PLDI Proceedings for DBPL 2019. Program Committee ----------------- *Program Co-Chairs* Alvin Cheung, University of Washington Kim Nguyen, Universite Paris-Sud *Program Committee* William Cook, University of Texas at Austin Vasiliki Kalavri, ETH Harshad Kasture, Oracle Oleg Kiselyov, University of Tsukuba Sam Lindley, University of Edinburgh Tiark Rompf, Purdue University Stefanie Scherzinger, OTH Regensberg Amir Shaikhha, EPFL / University of Oxford Avi Shinnar, IBM Guido Wachsmuth, Oracle Melanie Wu, Pomona College History ------- The 17th Symposium on Data Base Programming Languages (DBPL 2019) continues the tradition of excellence initiated by its predecessors in Roscoff, Finistere (1987), Salishan, Oregon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), Kinloch Rannoch, Scotland (1999), Marino, Rome (2001), Potsdam, Germany (2003), Trondheim, Norway (2005), Vienna, Austria (2007), Lyon, France (2009), Seattle, Washington (2011), Riva del Garda, Italy (2013), Pittsburgh, Pennsylvania (2015), Munich, Germany (2017). DBPL was affiliated with VLDB from 1999-2013 and in 2017. In 2015, it is affiliated with SPLASH for the first time and in 2019, it is affiliated with PLDI for the first time.

1 0

ANNOUNCE: eccrypto 0.1.0, timing attack safe cryptography in Haskell
by Marcel Fourné 19 Feb '19

19 Feb '19

Dear Haskell Community! I'd like to introduce some new cryptographic code, containing a verified[*] timing-attack safe pure Haskell[**] implementation of Ed25519 and as of yet unverified implementations of textbook ECDH and ECDSA on the NIST prime curves. Install it by $ cabal install eccrypto or download it from Hackage[0]. Also contained are test vectors, usable by the trusty $ cabal test as well as benchmarking code which you can invoke by $ cabal bench if you want to try my code before using it. Please note that this is a one person project, so there is still much room for optimization. The intended focus groups are implementors of cryptographic protocols as well as other cryptographers and interested third parties. My code uses no[**] embedded C code or assembly to achieve timing attack resistance, only careful Haskell constructions in the internal modules, the obligatory hackers footgun included only in those. ;-) Security sketch: The timing attack safety is built on the constant time criterion, namely, that no branches or memory access indices may be based on the content of the secret key bits. The name of this criterion is from the strict evaluation world of cryptography, but does not prohibit non-strict evaluation semantics per se. The API is only slightly different from contemporary libraries like "ed25519"[1], but the content of the signatures is just the same. The number of dependencies are also in the same ballpark, if you'd like to use the code for infrastructure - but in that case, please talk to me to not use unverified/insecure operations! Best of wishes to a thriving community, Marcel Fourné [*]: paper upcoming but as of now it only exists in my notes; analysis was done "by hand" on assembly generated by GHC 8.4.4, mechanization based on established proofs is planned [**]: using integer-gmp, might change in the future to low-level Haskell [0]: https://hackage.haskell.org/package/eccrypto-0.1.0 [1]: https://hackage.haskell.org/package/ed25519

1 0