kotlin - Statically Typed Programming Language for the JVM

  •        0

Kotlin is a statically typed programming language that compiles to JVM byte codes and JavaScript. Java programming language has certain limitations and problems that are either impossible or very hard to fix due to backward-compatibility issues. This new statically typed JVM-targeted language free of the legacy has features include compilation at least as fast as Java, variable type inference, higher-order functions (closures), extension functions, code in interfaces and first-class delegation, etc;

https://kotlinlang.org/
https://github.com/JetBrains/kotlin

Tags
Implementation
License
Platform

   




Related Projects

Eta - A powerful language for building scalable systems on the JVM


Eta is a pure, lazy, strongly typed functional programming language on the JVM. It is a dialect of Haskell on the JVM. It is pure by default which means that calling a function with the same arguments will yield the same results every time. It is lazy by default which means that data stays in unevaluated state until a function needs to peek inside.

Go - Programming Language from Google


Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system enables flexible and modular program construction. Go compiles quickly to machine code yet has the convenience of garbage collection and the power of run-time reflection. It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language.

Groovy - A dynamic language for the Java platform


Groovy is a powerful, optionally typed and dynamic language, with static-typing and static compilation capabilities, for the Java platform aimed at multiplying developers’ productivity thanks to a concise, familiar and easy to learn syntax. It integrates smoothly with any Java program, and immediately delivers to your application powerful features, including scripting capabilities, Domain-Specific Language authoring, runtime and compile-time meta-programming and functional programming.

bend - A statically-typed programming language for the web


A statically-typed programming language for the web

blynx - Functional and statically-typed programming language that transcompiles to Javascript


Functional and statically-typed programming language that transcompiles to Javascript

kotlin-Examples - Example code based on Kotlin the new open source JVM language


Example code based on Kotlin the new open source JVM language

language - A statically typed, pure OO, interpreted language


A statically typed, pure OO, interpreted language

anna - Interpreter for statically typed, duck typed language with list style macros


Interpreter for statically typed, duck typed language with list style macros

JRuby - The Ruby Programming Language on the JVM


JRuby is an implementation of the Ruby language using the JVM. It aims to be a complete, correct and fast implementation of Ruby, at the same time as providing powerful new features such as concurrency without a global-interpreter-lock, true parallelism, and tight integration to the Java language to allow you to use Java classes in your Ruby program and to allow JRuby to be embedded into a Java application.

kannotator - This project has been retired


KAnnotator was originally created to support Kotlin — a JVM-targeted programming language that has null-safety built into its type system. Our experience has shown that external annotations are not a good fit for the Kotlin workflow, so we've removed support for external annotations from Kotlin and added support for platform types instead.With JSR 308 and Checkers Framework coming soon, KAnnotator gets another application area: the annotations it infers for Java libraries can be used by Java code checkers to verify Java code that uses these libraries.

The Laconic programming language


A statically-typed web programming language that supports concise program development based on metaprogramming and component re-use

one-lang - one-lang is a statically-typed self-hosted scripting language.


one-lang is a statically-typed self-hosted scripting language.

venom-lang - Statically typed scripting language


Statically typed scripting language

Lune - Statically typed ml-like language, with type classes. Not even alpha !


Statically typed ml-like language, with type classes. Not even alpha !

prism - A compiler for a strongly-, statically-typed language


A compiler for a strongly-, statically-typed language

shapely - An intermediate language for statically typed array-oriented DSLs


An intermediate language for statically typed array-oriented DSLs

kitten - A statically typed concatenative language.


A statically typed concatenative language.

hee - Statically-typed functional and concatenative language


Statically-typed functional and concatenative language

kdecaf-jvm - A compiler for the decaf typed language. It targets the JVM.


A compiler for the decaf typed language. It targets the JVM.

kotlin - The Kotlin Programming Language


The Kotlin Programming Language