| Ballerina | 2017 | concurrent computing | static typing, inference typing, structural typing, strong typing | — |
| Beef | — | object-oriented programming | static typing | — |
| Boo | 2003 | object-oriented programming | static typing, duck typing, inference typing, strong typing | 2 |
| Chapel | 2009 | parallel computing, array programming, object-oriented programming | static typing, inference typing | — |
| Crystal | 2014 | concurrent computing, multi-paradigm programming, object-oriented programming | static typing, nominative typing, duck typing, inference typing | — |
| D | 2001 | functional programming, imperative programming, object-oriented programming | static typing, inference typing, strong typing | 5 |
| Dart | 2011 | reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, inference typing, strong typing | 1 |
| F# | 2005 | reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming | static typing, inference typing, strong typing | 4 |
| Gosu | 2002 | object-oriented programming | static typing | 1 |
| Hack | 2014 | — | dynamic typing, gradual typing, static typing, inference typing, weak typing | — |
| Java | 1995 | generic programming, reflective programming, functional programming, structured programming, imperative programming, class-based programming, concurrent object-oriented programming, component-based software engineering, object-oriented programming | manifest typing, static typing, nominative typing, safe typing, strong typing | 43 |
| JS++ | 2011 | generic programming, functional programming, structured programming, imperative programming, object-oriented programming | dynamic typing, gradual typing, static typing | — |
| Kotlin | 2011 | generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming | static typing, inference typing, strong typing | 2 |
| Monkey X | 2011 | object-oriented programming | — | — |
| Nim | 2008 | concurrent computing, procedural programming, functional programming, imperative programming, macro metaprogramming, metaprogramming, object-oriented programming | static typing, inference typing, structural typing, strong typing | — |
| PascalABC.NET | 2007 | object-oriented programming | — | — |
| PowerShell | 2006 | reflective programming, procedural programming, functional programming, imperative programming, object-oriented programming | dynamic typing, inference typing, safe typing, strong typing | — |
| Q# | 2017 | functional programming, imperative programming, quantum programming | static typing, strong typing | — |
| Ring | 2016 | procedural programming, functional programming, imperative programming, declarative programming, object-oriented programming | dynamic typing, duck typing | — |
| Rust | 2006 | generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming | static typing, nominative typing, inference typing, linear typing, strong typing | 12 |
| Swift | 2014 | functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programming | static typing, inference typing, strong typing | 5 |
| TypeScript | 2012 | generic programming, event-driven programming, functional programming, imperative programming, object-oriented programming | gradual typing, duck typing, structural typing | 2 |
| Vala | 2006 | structured programming, imperative programming, object-oriented programming | static typing, inference typing, structural typing, strong typing | — |