Kata Library: Haskell Practice

Career Opportunities

{{ posting.company.name }} is hiring a {{ posting.title }}

FEATURED TAGS

37 Kata Found

Beta

Multidimensional State

1Trouble-Truffle1 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
2 kyu

Functional Programming

2 kyu

Count them all!

148pier-bezuhoff

Functional Programming

7 kyu

Functional Programming

2 kyu

What happened to good old if-statements?

Functional Programming

8 kyu

The 'if' function

25,051user5783879 Issues Reported

Functional Programming

6 kyu

Reducing by steps

3,726g9641 Issue Reported

Functional Programming

Data Structures

7 kyu

8,674xcthulhu1 Issue Reported

Functional Programming

5 kyu

Calculating with Functions

63,964BattleRattle

Functional Programming

Beta

Lazily Grouping

Status:Testing & feedback needed

Estimated Rank:
5 kyu

Functional Programming

7 kyu

The dropWhile Function

2,295jgdodson1 Issue Reported

Functional Programming

7 kyu

First-Class Function Factory

Functional Programming

1 kyu

Lambda Calculus: Lists as folds II

Data Structures

Functional Programming

6 kyu

Concat me like a fold

24davidmaamoaix

Functional Programming

5 kyu

Lambda Calculus: Lists

Functional Programming

Data Structures

6 kyu

Factorial Lambda Calculus

Functional Programming

7 kyu

Functional Addition

14,900amrdraz2 Issues Reported

Functional Programming

2 kyu

Regular expression parser

784phaul14 Issues Reported

Functional Programming

4 kyu

A+A=B+B so A=B? Prove it in Haskell!

35ice10001 Issue Reported

Theorem Proving

Functional Programming

4 kyu

Lambda term reduction

Functional Programming

Beta

A+B=B+A? Prove it in using DataKinds!

10ice10001 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
3 kyu

Theorem Proving

Functional Programming

Beta

Fibonacci Lambda Calculus

20Freddie C1 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
4 kyu

Functional Programming

3 kyu

Functional Programming

2 kyu

The most untyped typed language?

65yihongz1 Issue Reported

Functional Programming

6 kyu

One Line Task: Fix

Functional Programming

7 kyu

Sum of Odd Cubed Numbers

8,203elliottmck3 Issues Reported

Functional Programming

3 kyu

Lens Apprentice

Functional Programming

2 kyu

Algebraic Isomorphism

Functional Programming

7 kyu

Get length of the list recursively

1,196wichu4 Issues Reported

Functional Programming

1 kyu

542xenoexplorator

Functional Programming

6 kyu

Reusable memoisation

1,787JohanWiltink

Functional Programming

Loading...