Ask HN: Why are all of the best back end web frameworks dynamically typed?

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

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. ihp

    🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

    I found IHP straightforward:

    https://ihp.digitallyinduced.com/

    despite not remembering much haskell!

    This assumes you can get past nix for the install.

    I find IHP well-designed. I just wish the licensing scheme were more transparent.

  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. mypy

    Optional static typing for Python

    You probably already know but you can add type hints and then check for consistency with https://github.com/python/mypy in python.

    Modern Python with things like https://learnpython.com/blog/python-match-case-statement/ + mypy + Ruff for linting https://github.com/astral-sh/ruff can get pretty good results.

    I found typed dataclasses (https://docs.python.org/3/library/dataclasses.html) in python using mypy to give me really high confidence when building data representations.

  4. ruff

    An extremely fast Python linter and code formatter, written in Rust.

    You probably already know but you can add type hints and then check for consistency with https://github.com/python/mypy in python.

    Modern Python with things like https://learnpython.com/blog/python-match-case-statement/ + mypy + Ruff for linting https://github.com/astral-sh/ruff can get pretty good results.

    I found typed dataclasses (https://docs.python.org/3/library/dataclasses.html) in python using mypy to give me really high confidence when building data representations.

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

  • Python 3.13.0 Is Released

    11 projects | news.ycombinator.com | 7 Oct 2024
  • Supercharge Your Python Toolkit with These Powerful Tools

    4 projects | dev.to | 8 Jul 2024
  • Dagger.io : La nouvelle ère du CI/CD dans le monde DevOps

    3 projects | dev.to | 14 May 2024
  • Great things about Rust that aren't just performance

    3 projects | news.ycombinator.com | 12 Jan 2025
  • Faster Python Linter and Formatter

    1 project | dev.to | 8 Jan 2025

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