Is there any language that is as similar as possible to Python in syntax, readability, and features, but is statically typed?

• Nim

  346 16,060 9.9 Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  

• F#

  26 2,199 0.0 F#

  Discontinued Please file issues or pull requests here: https://github.com/dotnet/fsharp (by fsharp)

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• kotlin-script-examples

  1 284 3.9 Kotlin

  Examples of Kotlin Scripts and usages of the Kotlin Scripting API

  

+1. Especially useful kts (Kotlin script). It even have notation for dependencies right in script. (https://github.com/Kotlin/kotlin-script-examples/blob/master/jvm/main-kts/scripts/kotlinx-html.main.kts)

• crystal

  239 19,110 9.8 Crystal

  The Crystal Programming Language

  

• dynamic-dns

  1 0 0.0 Crystal

  An automated dynamic DNS solution for Docker and DigitalOcean

• haxe

  82 5,958 9.7 Haxe

  Haxe - The Cross-Platform Toolkit

  

• fast-sqlite3-inserts

  11 363 0.0 Rust

  Some bunch of test scripts to generate a SQLite DB with 1B rows in fastest possible way

I have a side project where I tried to insert one billion rows in SQLite. I was able to insert 100 million rows using Python under 210 seconds. The same thing with PyPy took 120 seconds. I am wondering what kind of speed boost I would get with Cython

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• MonkeyType

  9 4,533 5.4 Python

  A Python library that generates static type annotations by collecting runtime types (by Instagram)

  

• julia

  350 44,510 10.0 Julia

  The Julia Programming Language

  

If you want the same coding feel and better performance. I suggest you have a look at Julia https://julialang.org/.

• plum

  6 489 7.9 Python

  Multiple dispatch in Python

  

• multipledispatch

  4 788 4.6 Python

  Multiple dispatch

• Lua

  118 7,974 8.5 C

  Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.

  

Suggest a related project