Greetings,
The Department of Computer Science at University of Sheffield has an
open position of Lecturer in Verification. Details can be found here:
https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification
Female applicants are particularly encouraged.
Best wishes,
Andrei
No hidden Bool here -- this is just a consequence of the way that view patterns
work, where you have to match against the result of the function, in this case,
(>0). See
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/view_patterns.html
Richard
> On Mar 12, 2021, at 6:37
Thank you Richard, Lennart, *Gergő*
>* pattern Positive :: (Ord a, Num a) => a*
>* pattern Positive <- ((>0) -> True)*
*Heh heh, there's another surprise/undocumented 'feature'.*
*It's not necessary to give a signature for pattern `Positive`, GHC
will infer that from the decl.*
*I was
On Thu, 11 Mar 2021, Richard Eisenberg wrote:
You're right that these features sit in a similar space. The difference is
that, with
a pattern synonym, the required context might be useful. This is because pattern
synonyms can perform computation (via view patterns), and this computation might
