Are there any functional programming languages designed for code golfing? I know that golfscript and CJam fulfill the same category for stack based, but I couldn't find a functional code golfing language.
Husk is a pure functional golfing language created by me and Leo and inspired by Haskell. It combines a rigid type system, type inference and extensive overloading. Functions are first class values and can be manipulated as easily as other data. Development of Husk is ongoing and many features are still missing, but you can try it out at TIO. We also have a SE chatroom for the language.
Pyth is a functional language that transpiles to python