- Haskell-Cafe - Haskell.org

ccall vs capi
by Julian Ospald 14 Jun '21

14 Jun '21

Hi, recently during a ghcup release, we stumbled over yet another `ccall` bug on Darwin: https://github.com/biegunka/terminal-size/pull/16 This took Ben some time to debug (thanks again) and it isn't always clear with such bugs whether something is wrong with GHC/RTS/GC or a library, so this can be a time-sink. It's also not the first time it happened: * https://github.com/haskell/unix/pull/110#issuecomment-613384845 * https://github.com/hasufell/hpath/commit/74d686547e67da3eeae327c84c63f83833… I can't say that I fully understood what the exact difference here is and why it seems to matter much more on Darwin than on other systems. So I think it would be helpful if we could come up with: 1. a clear description of the differences of ccall vs capi 2. an explanation why ccall can lead to terrible bugs on darwin 3. a guideline of when using one over the other is appropriate Not everyone deals with ffi on a regular basis, so I hope the experts here can shed some light! Cheers, Julian

3 2

Need advise with using Quickcheck
by Han Joosten 12 Jun '21

12 Jun '21

Dear café, I want to implement a roundtrip test for a parser/prettyprinter combination. Let me try to explain what I am struggling with. I start with some type definitions of functions I have *data Guarded a =* * Errors (NE.NonEmpty CtxError) | Checked a [Warning]* *parseFoo :: Text -> Guarded Foo* *prettyFoo :: Foo -> Text* The idea is that for all foo :: Foo, the following holds: *parseFoo . prettyFoo $ foo* should be equal to *Checked foo []* Now, if there is a counterexample, I would like to see prettyFoo foo as output, folowed by the show of the Errors part. I have been struggling to get this working, but without luck so far. I am not very familiar with Quickcheck, so that could be the problem too. Any help would be appreciated! Thanks Han

5 6

ZuriHac 2021 is happening in a week!
by Jasper Van der Jeugt 12 Jun '21

12 Jun '21

Hey folks, This is a final reminder that ZuriHac is taking place next weekend, Friday 18 June - Sunday 20 June 2021. Here are a couple of things to know: - You can register and join the Discord server through the following link: https://zureg.zfoh.ch/register/ - There will be the traditional pre-event socializing on Thursday, starting at 19:00 CEST. - We finalised the schedule, and there have been a couple of really cool additions. You can seee the calendar at https://zfoh.ch/zurihac2021/#schedule If you submitted a project, please ping us anytime on Discord in the #helpdesk channel, and we'll set up text and video channels for you. Happy hacking! The Zurich Friends of Haskell - https://zfoh.ch/

1 0

Optimizing Eq instances with reallyUnsafePtrEquality#
by Simon Jakobi 11 Jun '21

11 Jun '21

Hi everyone! In https://github.com/haskell-unordered-containers/unordered-containers/issues… we're wondering whether certain Eq instances, for example record types or strings, could be optimized by including a pointer equality check that detects when an object is compared with itself. Does anyone here have experience with such an optimization? Has this been considered before, for example in GHC's deriving machinery? One complication seems to be the correct handling of fields with irreflexive instances, for example Float and Double. In such a case, pointer equality doesn't imply "==-equality". I'm looking forward to hearing your thoughts on this! :) Cheers, Simon

6 7

Could optimize attoparsec if GHC would collapse `runParser (Parser parser)` to `parser`
by Tyson Whitehead 11 Jun '21

11 Jun '21

Hi. I'm hoping someone with some knowledge about GHC optimizations can weigh in and help out here. The attoparsec library has a `<|>` combinator for choice. Since attoparsec does arbitrary backtracking, you would expect that `recursiveLhs <|> rhs` would stack up a bunch of `rhs` alternatives to the depth of the recursion. Looking at the definitions though, would make you believe that so long as the `rhs` is constant as it usually is (e.g., `pure []` if you are collecting a list), inlining should result in it not stacking up a bunch of the `rhs` alternatives (intuitively the most recent one will always succeed so there is no reason to hold on to more than one). Unfortunately, it doesn't seem to work. The full details can be found in this bug report https://github.com/haskell/attoparsec/issues/186 but I believe it comes down to the fact that GHC is not collapsing a packing and immediate unpacking of the parser datatype ``` runParser (Parser parser) -> parser ``` which is resulting in the fact that the `rhs` always succeeds (i.e., doesn't use the failure continuation) not being exposed. I am hoping someone knowledgeable in these matters could weigh in. Thanks! -Tyson PS: The parser datatype is a wrapper on CPS style lambda ``` newtype Parser i a = Parser { runParser :: forall r. State i -> Pos -> More -> Failure i (State i) r -> Success i (State i) a r -> IResult i r } ``` where Failure and Success are type synonyms for the continuations ``` type Failure i t r = t -> Pos -> More -> [String] -> String -> IResult i r type Success i t a r = t -> Pos -> More -> a -> IResult i r ```

2 1

A matrix.org client library proposal
by Tristan Cacqueray 11 Jun '21

11 Jun '21

Dear Café, I'd like to publish a rather simple `matrix-client` package on hackage based on this implementation: https://github.com/softwarefactory-project/matrix-client-haskell Please let me know if you are interested or if you have a similar implementation we could collaborate on. Kind Regards, -Tristan

2 2

Hiring two Haskell devs at Standard Chartered bank
by José Pedro Magalhães 09 Jun '21

09 Jun '21

Hello, I'm hiring two Haskell devs for my team at Standard Chartered bank, in London, Singapore, or Hong Kong. My team sits in front office and has about 20 Haskell devs (well, technically Mu, our in-house variant). We work in close collaboration with trading, sales, and structuring to build diverse software, from desktop GUI applications to server-side financial analytics reports and services. The current roles are at a relatively junior level -- 2 to 5 years industrial experience expected, or a relevant PhD. Feel free to reach out to me directly if you're interested and have any questions, but applications should go via the links below. Singapore: https://scb.taleo.net/careersection/ex/jobdetail.ftl?job=2100014272 Hong Kong: https://scb.taleo.net/careersection/ex/jobdetail.ftl?job=2100014571 London: https://scb.taleo.net/careersection/ex/jobdetail.ftl?job=2100012204 Standard Chartered supports (practically fully) remote working, but only from the country of payroll. We will cover visa and relocation costs for successful applicants. Cheers, Pedro

1 0

Using stack outside the project box
by Galaxy Being 08 Jun '21

08 Jun '21

As a beginner, I was told to use stack. And I seemed to get something Haskell installed initially on my Ubuntu 21.04. But stack seems to be geared toward projects and compiling executables with ghc, and not a global ghci REPL-based way. I'm using Emacs org mode "Babel" which allows for a very nice "literate" programming in tandem with a running REPL in many REPL-friendly languages, e.g., here are code blocks in an org-mode file #+begin_src haskell :results silent :exports code data Peano = Zero | Succ Peano deriving (Show) #+end_src #+begin_src haskell :results silent :exports code myThree = Succ (Succ (Succ Zero)) #+end_src #+begin_src haskell :results verbatim :exports both myThree #+end_src #+RESULTS: : Succ (Succ (Succ Zero)) I simply hit Evaluate (Ctr-C Ctr-C) and the evaluation is handled by a running ghci REPL started up in another Emacs buffer. Supposedly, a haskell-mode and a specific Babel ob-haskell package are working together to enable this. And so it works okay, once quirks (must enclose multi-lined code in :{..:} and every REPL session seems to need a :set +m as well). I'm really quite happy with this way of doing things and have resisted the whole monolithic 1) create project in a directory, 2) put code into .hs file, 3) compile with ghc. But what I'm constantly having problems with is getting additional packages beyond the Prelude basics. My org files are in various directories, but I want (like most languages offer) to simply interact with that language on a global level wherever I am, whatever files and directories and Haskell code I'm working on. Sometimes doing an import works; often enough not. Then I have to do something with stack -- hopefully globally . . . and there the confusion and inconsistencies begin. Lately I can't seem to get Safe installed. And all docs about editing some yaml stuff get me lost in the weeds quickly. What yaml where for my "global" situation? If you simply say to me, Don't try to work outside of the project--hs files--compile to executable framework I'll say okay, then have to decide whether I want to stay within the org-mode world or leave Haskell for an org-mode friendlier language. And no, lhs and jupyter are primitive compared to org-mode literate programming. Both are a step backwards. Any help on working outside the project box with stack, e.g., how to install and use packages (and even how to update/upgrade ghc and ghci would be a start!). - ⨽ Lawrence Bottorff Grand Marais, MN, USA borgauf(a)gmail.com

6 14

[ANN] hindley-milner-type-check-0.1.1.0 - type-checker for extended lambda-calculus
by Anton Kholomiov 08 Jun '21

08 Jun '21

I am happy to announce the first release of hindley-milner-type-check. It is generic type checker for lambda-calculus augmented with let-expressions, case-expressions pattern-matching and polymorphism. Library can report source code locations and returns the list of all errors if any. The library is generic in terms of source code locations, names for variables, literals of the language. You can find tutorials and examples in the github repo. Links: Hackage: https://hackage.haskell.org/package/hindley-milner-type-check Github: https://github.com/anton-k/hindley-milner-type-check Happy type-checking! Cheers, Anton

1 0

Re: [Haskell-cafe] [Haskell] [ANNOUNCE] GHC 8.10.5 released
by Zubin Duggal 06 Jun '21

06 Jun '21

The correct link to the release notes is: https://downloads.haskell.org/ghc/8.10.5/docs/html/users_guide/8.10.5-notes… (Note the missing tilde) Apolgies, Zubin

1 0