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

This page summarizes the projects mentioned and recommended in the original post on /r/Python

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. 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).

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. F#

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

  4. kotlin-script-examples

    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)

  5. crystal

    The Crystal Programming Language

  6. dynamic-dns

    An automated dynamic DNS solution for Docker and DigitalOcean

  7. haxe

    Haxe - The Cross-Platform Toolkit

  8. fast-sqlite3-inserts

    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

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. MonkeyType

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

  11. 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/.

  12. plum

    Multiple dispatch in Python

  13. multipledispatch

    Multiple dispatch

  14. Lua

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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Zig's Comptime Is Bonkers Good

    5 projects | news.ycombinator.com | 7 Jan 2025
  • Mantis, a web framework written in V

    8 projects | dev.to | 21 Dec 2024
  • The Acton Programming Language

    1 project | news.ycombinator.com | 6 Dec 2024
  • The Acton Programming Language

    4 projects | news.ycombinator.com | 5 Dec 2024
  • Top Paying Programming Technologies 2024

    19 projects | dev.to | 6 Mar 2024

Did you know that Python is
the 2nd most popular programming language
based on number of references?