[Haskell] 2nd Call for Participation: Virtual BOB 2022 (March 11)

2022-02-23 Thread Stefan Wehr
= BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, online 0100+UTC

Re: Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread David Feuer
That answer (which I did indeed write once upon a time) is somewhat incomplete. Case matches on Ints actually work in about three different ways: 1. Linear search 2. Binary search 3. Jump table There's some amount of mix and match available for gappy things. I don't know all the details. As for

Re: Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread Clinton Mead
David, A random google search has revealed this StackOverflow answer , presumably by yourself or your evil twin, which mentions a binary search being performed. However the particular case you mention is a case match on "Ints", which are far from a

Re: Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread David Feuer
You can ask, but someone else will have to answer. Sorry. On Tue, Feb 22, 2022 at 9:52 PM Clinton Mead wrote: > > Thanks David. Can I ask why? Is it because the first constructor is treated > specially? (perhaps because it has zeroed tag bits)? Or is it just because > there's always an if/else

Re: Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread Clinton Mead
Thanks David. Can I ask why? Is it because the first constructor is treated specially? (perhaps because it has zeroed tag bits)? Or is it just because there's always an if/else chain in order of the constructor definition regardless of the order of the case statement so the higher up the list the

Re: Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread David Feuer
I can answer one of your questions for sure: the order of your case branches doesn't matter at all. However, the order of the data constructors in the type declaration does matter. Put your most likely one first. On Tue, Feb 22, 2022, 9:09 PM Clinton Mead wrote: > Hi All > > I'm developing an

Are constructors matched against using "switch" or chained if-else

2022-02-22 Thread Clinton Mead
Hi All I'm developing an unbounded integer type, which I won't go into the details here but in some circumstances has better performance than the standard "Integer". Anyway, whilst there are complex cases, the most common case is a standard machine int multiplication. Hence I want the type to

[Haskell] LPNMR 2022 - last call for workshops - 3 days to deadline

2022-02-22 Thread cfp
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---     CALL FOR WORKSHOPS    16th International Conference on    

[Haskell] Call for Papers: PACMPL issue ICFP 2022

2022-02-21 Thread ICFP Publicity via Haskell
PACMPL Volume 6, Issue ICFP 2022 Call for Papers Accepted papers to be invited for presentation at The 27th ACM SIGPLAN International Conference on Functional Programming Ljubljana, Slovenia

[Haskell] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)

2022-02-21 Thread Peter Achten
TFP 2022 = == Final Call For Papers == ==  registration opened  == === 23rd Symposium on Trends in Functional Programming 17-18 March, 2022 Online event https://trendsfp.github.io/index.html

[Haskell] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation

2022-02-21 Thread Nicolai Kraus
CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing Science 10-14 April 2022, Nottingham (UK) https://www.cs.nott.ac.uk/~psznk/events/mgs22.html OVERVIEW MGS is an annual spring school that offers an

[Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

2022-02-17 Thread Orven Llantos
-- Apologies for cross-posting. -- The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Niagara Falls, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/mobispc-22/

[Haskell] ZuriHac 2022 takes place as an in-person event 11-13 June, registrations now open

2022-02-15 Thread Jasper Van der Jeugt
Hi Friends of Haskell, After two years of virtual ZuriHac, we are very excited to bring back the Hackathon as an in-person event at the beautiful campus of OST (new name, same location as 2018/19), right next to lake Zürich. The event will take place Saturday 11 - Monday 13 June. You will

[Haskell] Call for Participation: ´Virtual BOB 2022 (March 11, registration open)

2022-02-14 Thread michael . sperber
= BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, online

[Haskell] LPNMR 2022 - second call for workshops

2022-02-11 Thread cfp
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---     CALL FOR WORKSHOPS    16th International Conference on

[Haskell] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)

2022-02-07 Thread Andrei Chis
15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) December 5-10, 2022 Auckland, New Zealand https://conf.researchr.org/home/sle-2022 http://www.sleconf.org/2022 Follow us on twitter:

[Haskell] ARRAY 2022: Call for Papers

2022-02-05 Thread Troels Henriksen
Website:https://pldi22.sigplan.org/home/ARRAY-2022 Submission: https://easychair.org/conferences/?conf=array2022 Deadline: April 4th Array programming is at home in many communities, including language design, library development, optimization, scientific computing, and across many existing

[Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

2022-02-01 Thread Orven Llantos
Apologies for cross-posting. The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Niagara Falls, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/mobispc-22/

Re: [Haskell] Request for Nominations to the GHC Steering Committee

2022-01-30 Thread Chris Dornan
Hi Joachim, I would like to nominate myself for a spot on the GHC Steering Committee if the committee thinks it is appropriate. I have been writing Haskell programs for pretty much as long as Haskell has been around. (I started with Miranda in 1987 and tracked the Haskell reports as they

[Haskell] Request for Nominations to the GHC Steering Committee

2022-01-29 Thread Joachim Breitner
Dear Haskell community, the GHC Steering committee is seeking nominations for at least two new members. 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.

[Haskell] LPNMR 2022 - Call for Workshops

2022-01-27 Thread cfp
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---     CALL FOR WORKSHOPS    16th International Conference on  

[Haskell] CMCS 2022: Deadline extension

2022-01-25 Thread Thorsten Wissmann
Call for Papers **Deadline Extension** The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022)

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-23 Thread David Feuer
There's no such directory in the Hackage or GitHub source. I guess it must have crept in on the GHC side? On Sun, Jan 23, 2022, 4:13 AM Jens Petersen wrote: > On Sun, 23 Jan 2022 at 15:40, David Feuer wrote: > >> Could you explain what you mean about the containers source not being >> "clean"?

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-23 Thread Jens Petersen
On Sun, 23 Jan 2022 at 15:40, David Feuer wrote: > Could you explain what you mean about the containers source not being > "clean"? > I forgot to say "in the source tarball" explicitly. If you look in libraries/containers/containers/dist-install, you can see what I am talking about. (I first

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-23 Thread Zubin
I wrote WinIO a couple of times when I meant to type Win32. Sorry! On 23 January 2022 1:32:15 pm IST, Zubin Duggal wrote: > >> - More serious: why was Win32 major bumped from 2.10 to 2.12? >> - this breaks foundation, hence current Stackage Nightly is kind of >> broken for Windows

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-23 Thread Zubin Duggal
- More serious: why was Win32 major bumped from 2.10 to 2.12? - this breaks foundation, hence current Stackage Nightly is kind of broken for Windows now: https://github.com/commercialhaskell/stackage/issues/6400 We needed to bump Win32 as per a request from the maintainer

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-22 Thread David Feuer
Could you explain what you mean about the containers source not being "clean"? On Sun, Jan 23, 2022, 2:31 AM Jens Petersen wrote: > First of all a big thank you and congratulations on the highly anticipated > 9.0.2 release. > > I have been putting off this mail for a while: > I actually built

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2022-01-22 Thread Jens Petersen
First of all a big thank you and congratulations on the highly anticipated 9.0.2 release. I have been putting off this mail for a while: I actually built it last month right away in Fedora's new ghc9.0 package (available now for all current Fedora releases). Also Stackage Nightly (primarily

[Haskell] CMCS 2022: Final Call for Papers

2022-01-21 Thread Thorsten Wissmann
Final Call for Papers The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022)

[Haskell] LPNMR 2022 - Call for Papers

2022-01-19 Thread cfp
[Apologies in case of multiple posting] Call for Papers ---     16th International Conference on Logic Programming and Non-monotonic Reasoning

[Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations

2022-01-18 Thread Tarmo Uustalu
The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See https://etaps.org/about/test-of-time-award .

[Haskell] TERMGRAPH 2022 workshop: First Call for Papers

2022-01-14 Thread Clemens Grabmayer via Haskell
First Call for Papers TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022

[Haskell] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan

2022-01-14 Thread Taro Sekiyama
[Please distribute, apologies for multiple postings.] Dear All, We are seeking a few postdoc researchers, who works for a project “Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software” by Japan Science and Technology Agency. We'd be grateful if you could spread

[Haskell] Call for Participation: BOB 2022 (March 11, Berlin or online)

2022-01-13 Thread Stefan Wehr
BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, Berlin or online

[Haskell] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)

2022-01-11 Thread Peter Achten
== TFP 2022 === == MOVING TO ONLINE SYMPOSIUM, NEW DATES == === 23rd Symposium on Trends in Functional Programming 17-18 March, 2022 Online event https://trendsfp.github.io/index.html Due the pandemic, we have had to make TFP

[Haskell] CMCS 2022: Second Call for Papers

2022-01-10 Thread Thorsten Wissmann
Second Call for Papers The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022)

Re: Typing of Pattern Synonyms: Required vs Provided constraints [was cafe DatatypeContexts / alternative]

2022-01-06 Thread Anthony Clayden
[Picking up a cafe thread from February that fits here https://mail.haskell.org/pipermail/haskell-cafe/2021-February/133459.html.] Am 23.02.21 um 20:07 schrieb Richard Eisenberg: >* You might be interested in my recent paper on exactly this problem: *>* how to make DatatypeContexts actually work

Re: Typing of Pattern Synonyms: Required vs Provided constraints

2022-01-06 Thread Anthony Clayden
On Fri, 7 Jan 2022 at 09:08, Richard Eisenberg wrote: > > > On Jan 5, 2022, at 9:19 PM, Anthony Clayden > wrote: > > So Pattern syns seem to be giving exactly the 'stupid theta' behaviour. > > > In your example, yes: the Required context is "stupid" in the way that > "stupid theta" is. The

Fwd: Typing of Pattern Synonyms: Required vs Provided constraints

2022-01-06 Thread Anthony Clayden
Thanks Gergö, I do find Richard's tendency to use ViewPattern examples distracts me from understanding the point. That arrow-to-nowhere or arrow-to-the-wrong-value syntax is nausea-inducing. Your "instructive" example is really nothing to do with PatSyns, just ordinary Haskell numeric patterns:

Re: Typing of Pattern Synonyms: Required vs Provided constraints

2022-01-06 Thread Gergő Érdi
Fwiw, a less contrived, and much more relatable, version of Richard's example would be pattern Is3 :: (Num a, Eq a) => a -- only a Required constraint pattern Is3 = 3 -- a polymorphic literal! I think it can be quite instructive for people new to patsyn typing to work out why this is exactly

Re: Typing of Pattern Synonyms: Required vs Provided constraints

2022-01-06 Thread Richard Eisenberg
> On Jan 5, 2022, at 9:19 PM, Anthony Clayden > wrote: > > So Pattern syns seem to be giving exactly the 'stupid theta' behaviour. In your example, yes: the Required context is "stupid" in the way that "stupid theta" is. The reason to have a Required context is if your pattern synonym does

Typing of Pattern Synonyms: Required vs Provided constraints

2022-01-05 Thread Anthony Clayden
There was an interesting exchange between the authors of Haskell compilers back in 1999 (i.e. when there were multiple compilers) http://web.archive.org/web/20151001142647/http://code.haskell.org/~dons/haskell-1990-2000/msg04061.html I was trying to simulate SPJ's point of view, using

[Haskell] Call for STSMs, deadline 16 January 2022

2022-01-03 Thread Ambrus Kaposi
COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear EuroProofNet COST Action participants, The next deadline is: * 16 January 2022, for STSMs during the period February - October 2022 (there will be more opportunities to apply, see

[Haskell] PEPM 2022 - Call for Participation

2022-01-02 Thread Youyou Cong
-- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 === * Website : https://popl22.sigplan.org/home/pepm-2022 * Time: 17th--18th January 2022 * Place :

[Haskell] ETAPS Test of Time Award 2022, call for nominations

2021-12-28 Thread Tarmo Uustalu
The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See https://etaps.org/about/test-of-time-award .

[Haskell] Postdoctoral Research Assistant position at University of Edinburgh

2021-12-27 Thread Philip Wadler
The School of Informatics, University of Edinburgh invites applications for a postdoctoral research assistant on the SAGE project (Scoped and Gradual Effects), funded by Huawei. The post will be for eighteen months. We seek applicants at an international level of excellence. The School of

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

2021-12-25 Thread Zubin Duggal
Oops. Pushed! On 21/12/25 15:37, Shayne Fletcher wrote: Awesome. Thank-you! There appears not to be a ghc-9.0.2-release tag. Might this be addressed please? ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

[Haskell] [ANNOUNCE] GHC 9.0.2 released

2021-12-25 Thread Zubin Duggal
The GHC developers are very happy to at long last announce the availability of GHC 9.0.2. Binary distributions, source distributions, and documentation are available at the [usual place](https://downloads.haskell.org/ghc/9.0.2/). Download Page:

[Haskell] IJCAR 2022 - Call for Papers

2021-12-17 Thread Andrei Popescu
IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates*** Submission deadline February 11, 2022 Start of authors response period April 16, 2022 End of authors response period April 18, 2022 Authors notification April 25, 2022

[Haskell] CFP : INTERNATIONAL CONFERENCE ON INTERDISCIPLINARY ASPECTS OF COMPUTER TECHNOLOGY AND ENGINEERING

2021-12-16 Thread IACTE - World Science Conferences
Call for papers * International Conference on Interdisciplinary aspects of computer technology and Engineering (IACTE- 2022) Lisbon, Portugal 02-03 June 2022 http://wsconf.org/Conference/IACTE

[Haskell] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)

2021-12-15 Thread Achim D. Brucker
Several fully funded PhD scholarships for UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and

[Haskell] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

2021-12-14 Thread James Cheney
=== Call for Participation === 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Philadelphia, Pennsylvania, United States 17-18th January 2022 https://popl22.sigplan.org/home/PADL-2022 Co-located with POPL 2022 == Venue and Conference Format == PADL

[Haskell] Tenure Track Position at University of Kansas

2021-12-09 Thread Perry Alexander
The University of Kansas (KU) Department of Electrical Engineering and Computer Science (EECS) seeks outstanding individuals for a full-time, tenure track, academic year (9-month) position in Computer Science. Successful candidates are expected to contribute to the development of academic

[Haskell] Certified Programs and Proofs (CPP) 2022: Call for Participation

2021-12-08 Thread Andrei Popescu
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration deadline: 3 January 2022 - Getting a visa: https://popl22.sigplan.org/attending/visa-information - Registration: https://popl22.sigplan.org/attending/registration - Further reduced student

[Haskell] Call for Workshop Proposals: ICFP 2022

2021-12-08 Thread Ilya Sergey via Haskell
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming September 11 - 16, 2022 Ljubljana, Slovenia

[Haskell] 2nd Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]

2021-12-01 Thread Stefan Wehr
BOB Conference 2022 "What happens when we use what's best for a change?" https://bobkonf.de/2022/cfc.html Berlin, Mar 11

[Haskell] Call for Haskell.org Committee Nominations

2021-11-28 Thread Jasper Van der Jeugt
Dear Haskellers, It is time to put out a call for new nominations (as usual, self-nominations and re-nominations are also welcome) for the Haskell.org committee. To nominate yourself or one of your friends for a 3-year term (2022-2025), write an email to: [committee at haskell.org] by the 31st

[Haskell] MSFP 2022 - First Call for Papers

2021-11-24 Thread Jeremy Gibbons
Ninth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 2nd April 2022, Munich, Germany A satellite workshop of ETAPS 2022 https://msfp-workshop.github.io/msfp2022/ ** Deadline: 16 December (abstract), 23 December (paper) ** The

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.2.1 now available

2021-11-17 Thread Evan Laforge
It seems the OS X distribution is missing profiling libs, details at https://gitlab.haskell.org/ghc/ghc/-/issues/20707 but that's basically the whole story :) ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

[Haskell] 2nd Call for Papers: FLOPS 2022

2021-11-17 Thread Michael Hanus
* The deadline has been extended to December. * Best papers will be invited to an SCP special issue. Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic

[Haskell] CMCS 2022: First Call for Papers

2021-11-15 Thread Thorsten Wissmann
First Call for Papers The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022)

Re: Humble message of support and concern from an interested newbie

2021-11-12 Thread Haowen Liu via Haskell-prime
That's great! Thank you so much! Haowen On 11/11/2021 11:36 AM, Richard Eisenberg wrote: Great idea to link from the README: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6974 Thanks! Richard On Nov 10, 2021, at 2:59 PM, Haowen Liu via Haskell-prime wrote: On 11/10/2021 11:21 AM,

Re: Humble message of support and concern from an interested newbie

2021-11-11 Thread Richard Eisenberg
Great idea to link from the README: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6974 Thanks! Richard > On Nov 10, 2021, at 2:59 PM, Haowen Liu via Haskell-prime > wrote: > > On 11/10/2021 11:21 AM, Richard Eisenberg wrote: >> >>> On Nov 9, 2021, at 11:26 PM, Haowen Liu wrote: >>>

Re: Humble message of support and concern from an interested newbie

2021-11-10 Thread Haowen Liu via Haskell-prime
On 11/10/2021 11:21 AM, Richard Eisenberg wrote: On Nov 9, 2021, at 11:26 PM, Haowen Liu wrote: And thank you for that link!! I did not know it existed! (Why would they put it under a separate GitHub organization? That's why I didn't find it LOL) That's a good question. I think we did

Re: Humble message of support and concern from an interested newbie

2021-11-10 Thread Richard Eisenberg
> On Nov 9, 2021, at 11:26 PM, Haowen Liu wrote: > And thank you for that link!! I did not know it existed! (Why would they put > it under a separate GitHub organization? That's why I didn't find it LOL) > > That's a good question. I think we did it because it's a GHC-specific process, not

Re: Humble message of support and concern from an interested newbie

2021-11-09 Thread Haowen Liu via Haskell-prime
Hi Richard, Thank you for chiming in! I think I now have a better idea what happened several years ago when the Haskell2020 effort died down... And thank you for that link!! I did not know it existed! (Why would they put it under a separate GitHub organization? That's why I didn't find it

Re: Humble message of support and concern from an interested newbie

2021-11-09 Thread Richard Eisenberg
I want to chime in with agreement that the GHC2021 push may meet many of the goals you may be after. I also want to bring in a further aspect of challenge in producing a new Report: we don't really understand Haskell well enough to do so. The two Reports do a very fine job of specifying the

Re: Humble message of support and concern from an interested newbie

2021-11-08 Thread Cale Gibbard
To some extent I can agree with the view that certain small things should possibly be folded in, but from another perspective, I actually like the way that major language features are modular, and I can tell a lot about what to expect by looking at the top of a file. There are also things that

Re: Humble message of support and concern from an interested newbie

2021-11-08 Thread Cale Gibbard
The tricky thing is that while a new document describing the language in detail would be welcomed, it's hard for people to justify doing all the work that's involved in producing a new document that's substantially more helpful than the Haskell 2010 or '98 Report. Right at the moment, there's

Humble message of support and concern from an interested newbie

2021-11-08 Thread Haowen Liu via Haskell-prime
Hi, I hope this email finds you all well. I'm a newbie only starting with Haskell very recently, but I LOVE what I'm discovering with Haskell and its ecosystem. That's why I was shocked to see that the latest Haskell standard is still Haskell2010, and activities on this list has halted for 3

Re: [ANNOUNCE] GHC 9.2.1 now available

2021-11-05 Thread Jens Petersen
On Fri, 29 Oct 2021 at 23:54, Ben Gamari wrote: > https://downloads.haskell.org/ghc/9.2.1 > If you are on Fedora you can now install ghc-9.2.1 with: sudo dnf --enablerepo=updates-testing-modular module install ghc:9.2/default Cheers, Jens ___

[Haskell-community] Hiring Haskellers

2021-11-04 Thread Oskar Greda
Hi, I am a hiring manager for MLabs - Haskell Consultancy. I am wondering if it's possible to advertise a job for a Haskell Developer at MLabs with yourselves? Thanks Oskar ___ Haskell-community mailing list Haskell-community@haskell.org

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

2021-11-02 Thread Manuel Hermenegildo
TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Systems in general, including Distributed

[Haskell] Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]

2021-11-02 Thread Stefan Wehr
BOB Conference 2022 "What happens when we use what's best for a change?" http://bobkonf.de/2022/cfc.html Berlin, Mar 11

[Haskell] Journal of Functional Programming - Call For PhD Abstracts

2021-11-01 Thread Graham Hutton
Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200 published to date, deadline 30th November 2021. Please share! Best wishes,

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread Albert Y. C. Lai
On 2021-10-30 3:43 p.m., Brandon Allbery wrote: Wasn't there specifically a new cabal version released to deal with 9.2.1? 3.4.1.0 / 3.6.2.0? There is a double fault here. Firstly yes, one should use a newer version of cabal-install that is known to support GHC 9.2. So, 3.6.2.0 it is! But

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread Mikolaj Konarski
Hi George, Have you looked at the ticket I gave you? Here's one linked from it mentioning the topic of ghc-pkg compatibility with v2-install: https://github.com/haskell/cabal/issues/6508 I'm afraid we don't have any systematic exposition of cabal history with rationale for its major changes, but

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread Brandon Allbery
Wasn't there specifically a new cabal version released to deal with 9.2.1? 3.4.1.0 / 3.6.2.0? On Sat, Oct 30, 2021 at 3:24 PM George Colpitts wrote: > > Thanks for the quick response Mikolaj. Sorry for the confusion, with cabal > install I did use --lib but accidentally omitted that in my

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread George Colpitts
Thanks for the quick response Mikolaj. Sorry for the confusion, with cabal install I did use --lib but accidentally omitted that in my original email. In 9.0.1 this results in a successful compilation but in 9.2.1 it does not thus I believe this is a regression. Here's the output I got in 9.2.1:

Re: regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread Mikolaj Konarski
Hi George, Since many versions of cabal, `install` only installs executables, not libraries, so if that worked for you, you must have had an old version of cabal. Please see https://github.com/haskell/cabal/issues/6481 for some context and to help you find a new workflow that works for you

regression in ghc / cabal integration in 9.2.1

2021-10-30 Thread George Colpitts
Thanks Ben! There seems to be a regression in ghc / cabal integration in 9.2.1. In 9.2.1 if I do cabal install vector Compilation of a file containing import Data.Vector main = undefined fails with Could not find module ‘Data.Vector’ Perhaps you meant Data.Functor (from

[Haskell] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022

2021-10-29 Thread Jonathan Protzenko
Update: the deadline has been extended to Mon Nov 8th. Please submit! All details are on the PriSC site . Call for Presentations: PriSC 2022 @ POPL 2022

Re: [ANNOUNCE] GHC 9.2.1 now available

2021-10-29 Thread George Colpitts
Great news! Install works on mac os if you do xattr -rc . before doing make install The mail didn't mention that nor is it mentioned in the INSTALL file. I thought this had been fixed. I guess I'm mistaken or this is only an issue for me. Thanks again for getting this out! There's a lot of

[ANNOUNCE] GHC 9.2.1 now available

2021-10-29 Thread Ben Gamari
Hi all, The GHC developers are very happy to at long last announce the availability of GHC 9.2.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.2.1 GHC 9.2 brings a number of exciting features including: * A native code

Re: osx conundrum

2021-10-14 Thread Steven Smith
> The issue would be macports. It uses its own version of the iconv lib and > that always gets headaches if the ghc touches anything else. No, Macports ghc links against the symbol iconv from /usr/lib/libSystem. See:

Re: osx conundrum

2021-10-13 Thread Carter Schonwald
The issue would be macports. It uses its own version of the iconv lib and that always gets headaches if the ghc touches anything else. if you’re using macports you have to make sure everything is Mac ports only for ghc linking. Else you have to make sure you don’t touch any macports c Libs via

Re: osx conundrum

2021-10-13 Thread Steven Smith
FWIW, MacPorts does compile from source. If you want, just do sudo port -s install ghc and watch a multistage compiler build. That’s where the MacPorts binary installs come from, so it’s just easier to use those. > On Oct 13, 2021, at 07:57, David Duke wrote: > >  > Thanks Steven. Looks

Re: osx conundrum

2021-10-13 Thread YueCompl via Glasgow-haskell-users
Maybe you'd like to install a virtual instance of OSX and test things from clean scratch, I'd expect any routine installation of GHC should work, then add macports/homebrew etc. to bisect the culprit. Free VirtualBox should do, VMWare Fusion or Parallel Desktop can offer even smoother

Re: osx conundrum

2021-10-13 Thread David Duke
Thanks Steven. Looks like it might be something with my system. I reinstalled from macports 8.10.7 @ Carter yes I've been carefully check the compiler version on each trial. However trying to compile a Haskell source gives the same libHSbase error ndefined symbols for architecture x86_64:

Re: osx conundrum

2021-10-12 Thread Carter Schonwald
i would make sure you're using the ghc version you *think* you're using i've never had that problem with a self managed style install (which should be equiv to using ghcup's setup). i'm at 8.10.7 at the moment. whats the output of `which -a ghc` and `which ghc`? mixing several ghc installs of

Re: Glasgow-haskell-users Digest, Vol 212, Issue 5

2021-10-12 Thread George Colpitts
Try doing cabal update and then compiling On Mon, Oct 11, 2021 at 5:12 PM David Duke wrote: > Thanks Dominic George for that. I had env var set. iconv --version gives > GNU libiconv 1.16 > I created a clean shell so env vars set other than PATH and installed > using the tarball on the

[Haskell] Chordify is looking for Haskell developers

2021-10-12 Thread Jeroen Bransen via Haskell
Hi, Chordify [1] is looking for Haskell developers to strengthen our team in the Utrecht, The Netherlands office. Our mission at Chordify is to make it as easy as possible for musicians of various skill levels to learn to play their favorite music. Our apps and website are powered by a

Re: osx conundrum

2021-10-11 Thread Steven Smith
I’m a maintainer of the MacPorts ghc port. The MacPorts installations do not have this issue, whether installed from the buildbot binaries or compiled from source, that all work on multiple macOS versions 10.9–11. Here’s the build recipe:

Re: Glasgow-haskell-users Digest, Vol 212, Issue 5

2021-10-11 Thread David Duke
Thanks Dominic George for that. I had env var set. iconv --version gives GNU libiconv 1.16 I created a clean shell so env vars set other than PATH and installed using the tarball on the link George provided. It appeared to install okay . However trying to compile throws up: cannot satisfy

Re: Glasgow-haskell-users Digest, Vol 212, Issue 5

2021-10-11 Thread George Colpitts
Hi David I've also used ghc for years on Mac OS and have also never seen this problem. I don't use nix. Currently I am on ghc 9.0.1. and Mac OS 11.6. I installed from https://downloads.haskell.org/ghc/9.0.1/ More specifically ghc-9.0.1-x86_64-apple-darwin.tar.xz

Re: Glasgow-haskell-users Digest, Vol 212, Issue 5

2021-10-11 Thread Dominic Steinitz
Hi David I am a long time user of ghc on OSX. I have seen that problem but never on native OSX only when using nix (and then I added it explicitly). Two things spring to mind: Add it explicitly on the compile command `-liconv` Use nix and then you can control the build environment in a totally

Re: osx conundrum

2021-10-11 Thread David Duke
Thanks! I've not had the problem with other software. To check I reinstalled iconv with macports brew, and building and installing it direct from GNU sources. however the problem does not seem to be libiconv per se, but libHSbase, and its unclear how to fix that _hs_iconv in

Re: osx conundrum

2021-10-11 Thread YueCompl via Glasgow-haskell-users
Never met this issue myself (with currently osx 10.14.6 Mojave, and a few previous versions), I guess macports/homebrew or some other pieces aren't playing nicely with some others in your machine. Checkout https://newbedev.com/libiconv-or-iconv-undefined-symbol-on-mac-osx

Re: osx conundrum

2021-10-11 Thread Karel Gardas
I'd recommend to search for iconv library in your packaging system. Find that and install that. Probably it looks like dependency on this is missing in provided ghc package(s). Anyway, not osx user here, just general unix user... Good luck! Karel On 10/11/21 11:00 AM, David Duke wrote: > I

osx conundrum

2021-10-11 Thread David Duke
I have a conundrum on which advice would be appreciate. Does anyone know how to successfully install ghc on OSX I've tried various binary instalation routes: macports, brew, direct binary downloads from haskel.org All have the same result. when I try to compile a basic hello world program I get

<    1   2   3   4   5   6   7   8   9   10   >