Kata Library: Haskell Practice
Sign Up
Time to claim your honor
Training
Practice
Complete challenging
Kata
to earn honor and ranks. Re-train to hone technique
Freestyle Sparring
Take turns remixing and refactoring others code through
Kumite
Community
Leaderboards
Achieve honor and move up the global leaderboards
Chat
Join our
Discord
server and chat with your fellow code warriors
Discussions
View our
Github Discussions
board to discuss general Codewars topics
About
Docs
Learn about all of the different aspects of Codewars
Blog
Read the latest news from Codewars and the community
Log In
Sign Up
Library
Collections
Newest
Oldest
Popularity
Positive Feedback
Most Completed
Least Completed
Hardest
Easiest
Name
Relevance
Low Satisfaction
All
My Languages
Agda (Beta)
BF (Beta)
C
CFML (Beta)
Clojure
COBOL (Beta)
CoffeeScript
CommonLisp (Beta)
Coq
C++
Crystal
C#
D (Beta)
Dart
Elixir
Elm (Beta)
Erlang (Beta)
Factor (Beta)
Forth (Beta)
Fortran (Beta)
F#
Go
Groovy
Haskell
Haxe (Beta)
Idris (Beta)
Java
JavaScript
Julia (Beta)
Kotlin
λ Calculus (Beta)
Lean
Lua
NASM
Nim (Beta)
Objective-C (Beta)
OCaml (Beta)
Pascal (Beta)
Perl (Beta)
PHP
PowerShell (Beta)
Prolog (Beta)
PureScript (Beta)
Python
R (Beta)
Racket
Raku (Beta)
Reason (Beta)
RISC-V (Beta)
Ruby
Rust
Scala
Shell
Solidity (Beta)
SQL
Swift
TypeScript
VB (Beta)
Approved & Beta
Approved
Beta
All
Kata I have not trained on
Kata I have not completed
Kata I have completed
8 kyu
easiest
7 kyu
6 kyu
5 kyu
4 kyu
3 kyu
2 kyu
1 kyu
hardest
Algorithms
11
Arrays
5
Data Structures
3
Functional Programming
37
Fundamentals
21
Lists
5
Logic
1
Mathematics
3
Monads
1
Parsing
1
Puzzles
3
Recursion
2
Restricted
1
Sorting
1
Streams
1
Theorem Proving
2
Trees
1
Tutorials
2
FEATURED TAGS
Cryptography
Data Science
Debugging
Games
Tutorials
37 Kata Found
5 kyu
Calculating with Functions
86,009
BattleRattle
Functional Programming
6 kyu
Reducing by steps
4,504
g964
3 Issues Reported
Mathematics
Arrays
Functional Programming
Lists
Data Structures
7 kyu
Functional Addition
18,666
amrdraz
Functional Programming
Fundamentals
7 kyu
First-Class Function Factory
7,607
otajor
Fundamentals
Functional Programming
Arrays
7 kyu
Pair Zeros
2,359
Nianpeng
Algorithms
Arrays
Fundamentals
Functional Programming
2 kyu
Algebraic Isomorphism
541
lolisa
Functional Programming
Fundamentals
Tutorials
4 kyu
Functional streams
771
muesli4
2 Issues Reported
Streams
Functional Programming
Algorithms
2 kyu
Regular expression parser
1,118
phaul
15 Issues Reported
Parsing
Functional Programming
Algorithms
7 kyu
The dropWhile Function
3,483
jgdodson
1 Issue Reported
Functional Programming
Arrays
Algorithms
7 kyu
Sum of Odd Cubed Numbers
10,886
elliottmck
4 Issues Reported
Fundamentals
Functional Programming
Arrays
8 kyu
The 'if' function
34,103
user578387
10 Issues Reported
Functional Programming
Fundamentals
1 kyu
Scott Encoding
608
xenoexplorator
1 Issue Reported
Functional Programming
Fundamentals
3 kyu
Isomorphism
919
lolisa
Functional Programming
Fundamentals
5 kyu
Lambda Calculus: Lists
109
Freddie C
Functional Programming
Fundamentals
Lists
Data Structures
Beta
Multidimensional State
8
Trouble-Truffle
1 Issue Reported
Status:
Waiting for issues to be resolved
Estimated Rank:
2 kyu
Monads
Functional Programming
2 kyu
Count them all!
171
pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
2 kyu
What happened to good old if-statements?
30
mrum
Functional Programming
7 kyu
esreveR
10,875
xcthulhu
1 Issue Reported
Functional Programming
Fundamentals
Beta
Lazily Grouping
8
oisdk
Status:
Testing & feedback needed
Estimated Rank:
5 kyu
Algorithms
Functional Programming
Lists
1 kyu
Lambda Calculus: Lists as folds II
32
JohanWiltink
Algorithms
Lists
Data Structures
Functional Programming
6 kyu
Concat me like a fold
45
davidmaamoaix
Functional Programming
6 kyu
Factorial Lambda Calculus
77
JohanWiltink
Functional Programming
Algorithms
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
50
ice1000
2 Issues Reported
Theorem Proving
Functional Programming
Fundamentals
4 kyu
Lambda term reduction
63
hhelwich
1 Issue Reported
Mathematics
Logic
Functional Programming
Algorithms
Trees
Beta
A+B=B+A? Prove it in using DataKinds!
14
ice1000
1 Issue Reported
Status:
Testing & feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Functional Programming
Algorithms
Beta
Fibonacci Lambda Calculus
24
Freddie C
1 Issue Reported
Status:
Testing & feedback needed
Estimated Rank:
4 kyu
Functional Programming
Fundamentals
2 kyu
The most untyped typed language?
84
yihongz
1 Issue Reported
Functional Programming
Puzzles
6 kyu
One Line Task: Fix
46
haspience
Recursion
Functional Programming
Restricted
Fundamentals
3 kyu
Lens Apprentice
241
glebec
Functional Programming
Fundamentals
Tutorials
7 kyu
Get length of the list recursively
1,484
wichu
4 Issues Reported
Fundamentals
Functional Programming
Loading...
Confirm
Collect:
undefined
Loading collection data...