👒🎩 H-hat

H-hat aims to support explicit function overloading, algebraic data types, ownership and RAII-like features, strict and lazy evaluation, reflective cast, metaprogramming, structured typing-like approach, concurrency, backend kind-based types (CPU and QPU), and multi-architecture targeting computation (e.g. CPU: x86_64, aarch64; gate- and analog-based QPU: superconducting, trapped ion, neutral atoms, photonics, etc.)

The language is intended to be used on standalone computers, HPCs and embedded systems, for local and distributed computation. Inspired by Fortran, Erlang, Rust, C and Lean, it focuses on good performance, integration, distributed computing resilience, and algorithmic verifiability.