-
Notifications
You must be signed in to change notification settings - Fork 4.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add the Curry programming language #5111
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Bit light on usage, I'm afraid. Of the 4,437 files indexed by GitHub, I managed to harvest 4,402 of them, yielding only 56 repositories among 46 users. Since this falls far below the minimum usage criteria, I didn't bother downloading the results to pick out false matches, so the actual number of relevant users might be even less than this.
We can monitor .curry
usage by adding it to #4219. Once the language reaches sufficient popularity, we can revisit this.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please can you address the conflicts.
Once this is good to go, I'll approve this based on the temporary requirements detailed in #5756
Curry is a functional logic programming language that combines a Haskell-like syntax with nondetermism and free variables. See - http://curry-language.org - https://en.wikipedia.org/wiki/Curry_(programming_language)
Additionally, set the ace_mode to Haskell as the language is syntactically nearly a superset of Haskell.
Sure, I've rebased the branch on the current |
Description
This PR adds the functional logic language Curry, as proposed in #795.
See also:
Checklist:
.curry
Prelude
, the core of Curry's standard libraryData.Nat
, a representation of Peano numbers in Curry, showcasing e.g. free variables.curry
Color
I chose the color
#531242
for Curry as a blend of blue and red, the colors of the official logo. Additionally, the color is similar to Haskell's color#5e5086
and Prolog's color#74283c
, which provides a nice analogy, considering how Curry combines Haskell's syntax with many of Prolog's features.