- Haskell-Cafe - Haskell.org

[ANNOUNCE] GHC 8.8.2-rc1 is now available
by Ben Gamari 12 Dec '19

12 Dec '19

Hello everyone, The GHC team is proud to announce the first release candidate of GHC 8.8.2. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/~ghc/8.8.2-rc1 Release notes are also available [1]. This release fixes a handful of issues affecting 8.8.1: - A bug (#17088) in the compacting garbage collector resulting in segmentations faults under specific circumstances. Note that this may affect user programs even if they did not explicitly request the compacting GC (using the -c RTS flag) since GHC may fallback to compacting collection during times of high memory pressure. - A code generation bug (#17334) resulting in GHC panics has been fixed. - A bug in the `process` library causing builds using `hsc2hs` to fail non-deterministically on Windows has been fixed (Trac #17480) - A typechecker bug (#12088) resulting in programs being unexpectedly rejected has been fixed. - A bug in the implementation of compact normal forms resulting in segmentation faults in some uses (#17044) has been fixed. - A bug causing GHC to incorrectly complain about incompatible LLVM versions when using LLVM 7.0.1 has been fixed (#16990). As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.2-rc1/docs/html/users_guide/8.8.2-not…

3 2

"Deep" Coding Support in Haskell
by Dušan Kolář 12 Dec '19

12 Dec '19

Dear Café, let me allow quite naive question, is there any library/tool/plugin supporting rapid application development in Haskell? I mean something that supports code completion, hints, help, code refactoring etc. Similar to Java support in e.g. Eclipse or IntelliJ IDEA. So far, I've found support for Vim, Eclipse. Nevertheless, my question goes farther - for implicit GUI editor/application development environment like Eclipse. Several years ago, I was able to run something in Eclipse, but not with good results. These days it seems dead (since 2015). Similarly, for IntelliJ IDEA - installed community version, downloaded Haskell plugin, tried to install additional plugins inside IntelliJ IDE, but after that no support for Haskell project (I'm on Arch linux, IDE from AUR, plugin install inside failed, downloaded it from https://plugins.jetbrains.com/plugin/8258-intellij-haskell/ versions[1] and it worked, at least installation, other plugins installed inside IDE worked partially - some of them were disabled by GUI after error). I'm sorry if I'm asking natural question. I've not found any additional how-tos to make it work... Best regards, Dusan -------- [1] https://plugins.jetbrains.com/plugin/8258-intellij-haskell/versions

7 7

stack install ghcide fails
by Dušan Kolář 11 Dec '19

11 Dec '19

Hello Café, Using stack, I've tried stack install ghcide, it reported to put the following into my global extra-deps: - haskell- lsp-0.17.0.0@sha256:ddfcc2798f04bcb1ec20fafc02c03faa197322192578e879cef5852 aba43ebcb,5264 - haskell-lsp- types-0.17.0.0@sha256:9078237412d0596a7d09d432389c8fa21d6f3e21ed2ed761b3 093a21607d6c28,2941 - hie- bios-0.2.1@sha256:5f98a3516ce65e0a3ffd88bf6fb416b04cc084371d0fbf0e1762780d e1d652ce,3219 - rope-utf16- splay-0.3.1.0@sha256:15a53c57f8413d193054bb5f045929edae3b2669def4c6af6319 7b30dc1d5003,2029 Nevertheless, the build failed anyway: stack install ghcide ghcide> configure ghcide> Configuring ghcide-0.0.4... ghcide> build ghcide> Preprocessing library for ghcide-0.0.4.. ghcide> Building library for ghcide-0.0.4.. ghcide> [ 1 of 33] Compiling Development.IDE.Core.Debouncer ghcide> [ 2 of 33] Compiling Development.IDE.Core.PositionMapping ghcide> [ 3 of 33] Compiling Development.IDE.GHC.Compat ghcide> [ 4 of 33] Compiling Development.IDE.GHC.CPP ghcide> [ 5 of 33] Compiling Development.IDE.Spans.Type ghcide> [ 6 of 33] Compiling Development.IDE.Types.Location ghcide> [ 7 of 33] Compiling Development.IDE.Types.Diagnostics ghcide> [ 8 of 33] Compiling Development.IDE.LSP.Protocol ghcide> [ 9 of 33] Compiling Development.IDE.GHC.Util ghcide> [10 of 33] Compiling Development.IDE.GHC.Orphans ghcide> [11 of 33] Compiling Development.IDE.Import.DependencyInformation ghcide> [12 of 33] Compiling Development.IDE.GHC.Error ghcide> [13 of 33] Compiling Development.IDE.Import.FindImports ghcide> [14 of 33] Compiling Development.IDE.GHC.Warnings ghcide> [15 of 33] Compiling Development.IDE.Core.Preprocessor ghcide> [16 of 33] Compiling Development.IDE.Core.RuleTypes ghcide> [17 of 33] Compiling Development.IDE.Types.Logger ghcide> [18 of 33] Compiling Development.IDE.Types.Options ghcide> [19 of 33] Compiling Development.IDE.Core.Shake ghcide> ghcide> /tmp/stack204611/ghcide-0.0.4/src/Development/IDE/Core/Shake.hs:106:5: error: ghcide> • No instance for (Control.Monad.Fail.MonadFail Rules) ghcide> arising from a do statement ghcide> with the failable pattern ‘Just x’ ghcide> • In a stmt of a 'do' block: ghcide> Just x <- getShakeExtraRules @ShakeExtras ghcide> In the expression: ghcide> do Just x <- getShakeExtraRules @ShakeExtras ghcide> return x ghcide> In an equation for ‘getShakeExtrasRules’: ghcide> getShakeExtrasRules ghcide> = do Just x <- getShakeExtraRules @ShakeExtras ghcide> return x ghcide> | ghcide> 106 | Just x <- getShakeExtraRules @ShakeExtras ghcide> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ghcide> -- While building package ghcide-0.0.4 using: /home/kolar/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal- simple_mPHDZzAJ_2.4.0.1_ghc-8.6.3 --builddir=.stack-work/dist/x86_64-linux-tinfo6/ Cabal-2.4.0.1 build --ghc-options " -fdiagnostics-color=always" Process exited with code: ExitFailure 1 Does that mean the ghcide is broken? Or am I doing something wrong? Best regards, Dusan

4 4

Request for Nominations to the GHC Steering Committee
by Joachim Breitner 11 Dec '19

11 Dec '19

Dear Haskell community, the GHC Steering committee is seeking nominations for one new member. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail(a)joachim-breitner.de until January 2nd. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Call for Haskell.org Committee Nominations
by Jasper Van der Jeugt 08 Dec '19

08 Dec '19

Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the Haskell.org committee. We have three members of our committee due for retirement -- Jasper Van der Jeugt, Niki Vazou, and Mitsutoshi Aoe. To nominate yourself, please send an email to committee at haskell.org by the 7th of January, 2020. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. The Haskell.org committee serves as a board of directors for Haskell.org, a 501(c)3 nonprofit which oversees technical and financial resources related to Haskell community infrastructure. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. We seek a broad representation from different segments of the Haskell world -- including but not limited to those focused on education, those focused on industrial applications, those with background in organizing users-groups, and those focused directly on our technical infrastructure. More details about the committee's roles and responsibilities are on https://wiki.haskell.org/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Warm regards, Jasper Van der Jeugt

1 0

ZuriHac 2020 (12-14 June) registration is now open
by Jasper Van der Jeugt 06 Dec '19

06 Dec '19

Hi Haskell friends! We are happy to announce that ZuriHac 2020 will take place from Friday the 12th to Sunday the 14th of June, hosted again at the HSR (https://www.hsr.ch/) on the shores of beautiful Lake Zurich. You can find all the information on: https://zurihac.com The Zurich Haskell Hackathon is a free, international, grassroots, and collaborative coding festival. Our goal is to nourish the Haskell community, learn exciting new things, and to have fun working on projects together. This year, we are already excited to announce talks by: - Alexis King - Rob Rix More speakers will be announced later. In addition to talks, we will offer beginner, intermediate, and advanced tracks, similar to last year. The details of this will also be communicated in the coming months. The event is open to any experience level, from beginners to gurus. If you are completely new to Haskell, rest assured that there will be tutorials for you to take, and a bunch of friendly advanced Haskellers to answer your questions and help you along. We will have space for 500 attendees, making this the largest Haskell gathering that we know of! Registration is free and open as of right now: https://zurihac.com/#registration We would also like to thank the Hochschule für Technik Rapperswil for their amazing support and for hosting us again this year. Without them, an event of this scale and quality would be extremely difficult to pull off. We can't wait to see you in June, The Zurich Friends of Haskell (https://zfoh.ch/)

1 0

[RFC] Constraint based arrow notation (GHC proposal)
by Alexis King 06 Dec '19

06 Dec '19

Hello all, I have recently written a GHC proposal to change the typechecking rules for arrow notation (aka `proc`) to better support custom control operators. Specifically, it reverses a change made in GHC 7.8 due to technical limitations that requires control operators to have significantly uglier types. Although arrows have fallen out of favor with the Haskell community in recent years, presumably there are still at least a few users. If you use `proc` notation, and especially if you use its support for custom control operators (i.e. (| banana brackets |)), your feedback would be highly valued. To read or comment on the proposal, follow this link: https://github.com/ghc-proposals/ghc-proposals/pull/303 Thanks, Alexis

1 0

ANN: hledger 1.16
by Simon Michael 03 Dec '19

03 Dec '19

I'm pleased to announce hledger 1.16.1 ! hledger 1.16 was released on schedule on 2019-12-01, but only to hackage and github, since I was travelling and behind a rain-disrupted microwave link. Today brings the release notes & docs updates on hledger.org, and a 1.16.1 point release with some packaging updates. Thanks to release contributors Dmitry Astapov, Mykola Orliuk, Brian Wignall, Alejandro García Montoro, Timofey ZAKREVSKIY, Amitai Burstein, and Michael Kainer. hledger is a robust, cross-platform, multicurrency, plain text accounting tool, with command-line, terminal and web UIs. It is one of the leading implementations of plain text accounting, and is a modern and largely compatible reimplementation of Ledger. Use it for tracking money, time, stocks, cryptocurrencies or any other commodity, Learn more at http://hledger.org and http://plaintextaccounting.org . WHAT'S NEW: GHC 8.8 support, much more powerful CSV conversion rules, percentage balance reports, misc improvements. https://hledger.org/release-notes#hledger-1-16 . GETTING STARTED: Many install methods are described at http://hledger.org/download . Some of these might take a few days to become up to date; look for the green badges. You can build the latest by doing: stack update; stack install --resolver=lts hledger-lib-1.16.1 hledger-1.16.1 hledger-ui-1.16.1 hledger-web-1.16.1 --silent or: cabal v2-update; cabal v2-install hledger-1.16.1 hledger-web-1.16.1 hledger-ui-1.16.1 To start recording transactions: "hledger add". To list more commands: "hledger". See http://hledger.org for docs and support, or join #hledger on Freenode (http://irc.hledger.org) or join via Matrix (http://riot.hledger.org) New and old users, contributors, sponsors, and all feedback are most welcome! Best, -Simon

1 0

Open Position: Lecturer in Cybersecurity - University of Exeter
by Achim D. Brucker 03 Dec '19

03 Dec '19

Dear all, As part of the expansion of the Department of Computer Science [1] at the University of Exeter, we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced Systems Group [2]. This is a *unique* opportunity to join a new group and to influence its future research and teaching. We are looking for a candidate with an outstanding research record in any area of cybersecurity such as (but not limited to): language-based security, access control, usable security, software security, formal methods for security, security analytics, security protocols, human aspects of security, security economics, security by design, applied cryptography, security testing. We are particularly keen on research areas that either extend the current strength in software security and formal methods in security or that complement these existing focus area. Please apply by 12th of December 2019! See the full announcement and application details at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACAN… Feel free to contact me for informal inquires about the post. Best, Achim [1] https://www.exeter.ac.uk/computer-science/ [2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

ANN: reflex-libtelnet-0.1.0.0
by Jack Kelly 02 Dec '19

02 Dec '19

I have just pushed an initial release of reflex-libtelnet[1] to Hackage. reflex-libtelnet wraps libtelnet[2] in a Reflex interface, so that you can describe data flows through a telnet state tracker using Reflex Events. Even if you're not using Telnet in 2019, you might find it interesting as a study in binding Reflex to a callback-oriented library. A telnet echo server is provided as an example[3]. Bug reports[4] and questions/patches[5] are welcome on Sourcehut. Best, -- Jack [1]: https://hackage.haskell.org/package/reflex-libtelnet-0.1.0.0 [2]: https://hackage.haskell.org/package/libtelnet [3]: https://git.sr.ht/~jack/reflex-libtelnet/tree/master/reflex-libtelnet-examp… [4]: https://todo.sr.ht/~jack/reflex-libtelnet [5]: https://lists.sr.ht/~jack/reflex-libtelnet-discuss

1 0