Language of the Month for April 2022: Curry

Question

In accordance with our meta agreement, since one candidate received more votes than the others, we have a new featured language! Throughout April 2022, our Language of the Month will be:

Curry

What's a Language of the Month?

See the meta post for nominations. In short, during April, those who wish to participate should learn (at least the basics of) Curry, and use it to solve challenges. Participation is completely optional, but is anticipated to be fun!

Information about Curry

At first brush Curry just looks like a dialect of site darling Haskell. It has a slightly different basic library, and slightly more powerful pattern matching.

But Curry has something that makes it really interesting. Curry can also do logical programming. Meaning that while Haskell always takes the first available path, Curry will take all paths looking for correct result. You can get the compiler to do the search for you. This is the power behind Prolog combined with the clean expressive functional nature of Haskell.

Not only does this make Curry really unique and interesting as a language, this opens up all sorts of opportunities for golfing. Curry can be logical when it's the best and functional when it's not.

If you're into Haskell or Prolog golf I cannot recommend Curry enough. If you're not so into those but you are interested I think Curry is an excellent way to sample both techniques.

Resources

• Curry chatroom on CGCC
• PAKCS on TIO
• Sloth on TIO
• The MCC implementation.
• The KiCS2 implementation.
• The Curry2Go implementation.
• A Curry tutorial
• The KiCS2 manual.
• Currygle a Curry search engine based on Hoogle.

Answer 1

List of all Curry answers posted in April 2022

• Damerau-Damerau distance by alephalpha

• Generate all groupings by alephalpha

• Prime numbers in large number by ovs

• "DDoouubbllee ssppeeaakk!!" by Razetime

• Zip uneven lists by Wheat Wizard

• Flippign Lettesr Aroudn by Wheat Wizard

• Length-terminated sequences by Wheat Wizard

• Is it a tower permutation? by Wheat Wizard

• Is it a circumfix? by Wheat Wizard

• Is it a fibonacci-like sequence? by alephalpha

• Convert prefix to infix by alephalpha

• AoCG2021 Day 20: Wonky license check by alephalpha

• Are the brackets fully matched? by Wheat Wizard

• Is it double speak? by Wheat Wizard

• Determine whether strings are anagrams by Wheat Wizard

• Repeat List Until Longer by des54321

• Find the J twin by alephalpha

• Complex permutation by alephalpha

• AoCG2021 Day 2: Naughty or nice? by alephalpha

• Code-Golf: Permutations by Wheat Wizard

• Print a bunch of uninteresting numbers! by Razetime

• Convert the type modifiers from prefix to C-fix by alephalpha

• Generate all Sublist Partitions by alephalpha

• Is this propositional formula an instance of an axiom? by alephalpha

• Pair my brackets by alephalpha

• Convert J brackets back to 2-D list by alephalpha

• Count of "a"s and "b"s must be equal. Did you get it computer? by alephalpha

• Parse Ternary Lambda Calculus for correctness by alephalpha

• add entries in the form:

  [<challenge title>](https://codegolf.stackexchange.com/a/<answer-ID>) by [username](https://codegolf.stackexchange.com/users/<user-ID>)
  

List of relevant tips posted in April 2022

• add entries in the form:

  [<tip summary>](https://codegolf.stackexchange.com/a/<answer-ID>) by [username](https://codegolf.stackexchange.com/users/<user-ID>)
  

List of relevant challenges posted in April 2022

• add entries in the form:

  [<challenge title>](https://codegolf.stackexchange.com/a/<answer-ID>) by [username](https://codegolf.stackexchange.com/users/<user-ID>)