static-typing

Tag

Cards List
#static-typing

The Ü Programming Language

Hacker News Top · 5d ago Cached

Ü is a statically-typed compiled programming language designed for reliability and speed, with safe/unsafe code separation, RAII, and LLVM backend. It aims to be superior to C++ and easier than Rust.

0 favorites 0 likes
#static-typing

Blorp Language

Lobsters Hottest · 2026-05-31 Cached

Blorp is a new low-friction, high-performance programming language that compiles to C, featuring explicit effects, typed failure, structured concurrency, and purity tracking.

0 favorites 0 likes
#static-typing

SPy: an interpreter and a compiler for a statically typed variant of Python

Lobsters Hottest · 2026-05-23 Cached

SPy is a statically typed variant of Python that includes both an interpreter for rapid development and a compiler for high performance, aiming to retain Python's dynamic features while enabling static compilation.

0 favorites 0 likes
← Back to home

Submit Feedback