beartype VS SDKMan

https://github.com/beartype/beartype

I wish more people started using Beartype, it makes Python bearable

I saw this on /r/Python the other day...

As other folks have commented, type hints are now a big deal. For static typing the best checker is pyright. For runtime checking there is typeguard and beartype. These can be integrated with array libraries through jaxtyping. (Which also works for PyTorch/numpy/etc., despite the name.)

Maybe you're looking for https://github.com/beartype/beartype for runtime type enforcement; it's only at function calls, though, but probably a decent solution for codebases that are not completely typed for MyPy or pyright.

It is though, if you add a type checker to your pipeline and use it without any escape hatches such as `Any` or `type: ignore`, you are essentially making the promise that your code is statically typed. But I say it is a matter of perspective because in my opinion runtime type checking should be avoided if we can get away with statically typed code, but there are type checkers that perform runtime type checking via annotations such as [Beartype](https://github.com/beartype/beartype) (with some trickery like assuming homogenous data structures as to not have to check every element of every structure). Anyway the definition of "type safe" is not 100% even in compiled languages.

There is the beartype project.

Personally I find working around mypy's quirks to be more effort than it's worth, so to offer another option: typeguard or beartype can be used to perform run-time type checking.

I would suggest learning how to use SDKMAN: https://sdkman.io/

It will manage the JDK for you. Usage is basically this:

   # Install a JDK, that version is now default

Alternatively, you can use sdkman. A great tool to install your Software Development Kit. The downside is that it only works on *nix systems. So for Widnows users, you will have to use WSL or Cygwin as the official page suggests. It is really simple to use sdkman. after a successful installation, just type those commands into your *nix shell:

To run the example, you must install the Auth0 CLI and create an Auth0 account. If you don't have an Auth0 account, sign up for free. I recommend using SDKMAN! to install Java 17+ and HTTPie for making HTTP requests.

Another option for installing Java is SDKMAN!, a versatile tool that’s easy to install and helps you manage multiple versions of Java.

Java 17

Java 17 or higher. You can use SDKMAN! to install Java if you don't have it already.

Ktor, a powerful web framework built with Kotlin, offers a lightweight and flexible solution for building web applications. In this article, we will guide you through the process of creating a Ktor project manually using Gradle and SDKMAN!. By following the steps below, you'll have a basic Ktor project up and running in no time.

If you have any tips/advice then I'm all ears. I've already modified the dnf.conf with fastmirror and max_parallel_downloads I'm currently not using sdkman because this is my personal machine, so I don't mind always using the latest version OpenJDK. If I ever do need to switch between versions then I'll switch over to sdkman instead.

For handling your JDK: I highly recommend purging your system of all JDKs/JRMs - get rid of it all - and download SDK (if you're using Windows, you'll need to do this through WSL). This tool manages software development kits very well; switching between JDKs is super straightforward: sdk use .