New Language Announcements

A big thanks to our community for continued support and participation. We have added more languages and updated language versions.

Functional Languages for the Web

Are you used to working within the JavaScript ecosystem or are you looking for a safer way to program? We have recently added some new statically typed functional languages that are worth taking a look at.


A strongly-typed functional programming language that compiles to JavaScript


A delightful language for reliable web apps. Generate JavaScript with great performance and no runtime exceptions.


Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

Languages with Dependent Types

We’re also very happy to introduce Idris and Agda! Special thanks to gallais and ice1000 for helping us add Agda.


A general purpose pure functional programming language with dependent types.


Agda is a dependently typed functional programming language.

We’ll be honest. We don’t know these languages enough to write nice introductions, but some of our users are extremely excited to have theorem proving challenges on Codewars. If you’re interested to start learning, check out 8 kyu “Theorem proving hello world: prove a+0=a and 0+a=a”.

The addition of these languages brings our count of supported languages to 41! Our library is steadily growing with kata built around the new languages and we would love to see more contributions from you! Check out some of the kata above.

New Language Versions

  • Dart 2.1
  • Java 11
  • Kotlin 1.3
  • Rust 1.33
  • TypeScript 3.3

We hope you enjoy these updates! We are continually working to improve the platform, so thank you for your patience and continued use of Codewars.