Perl-lsp – annotation free static analysis for Perl
Witness bags with graph edges handle Perl's late binding better than Perl::LanguageServer.
BUSY is a lean, statically typed, cross-platform, easily bootstrappable build system for GCC, CLANG and MSVC inspired by Google GN
GN-inspired build system with static typing when CMake dominates everything.
C/C++ developers wanting a lighter alternative to CMake
Google GN · CMake · Meson
Witness bags with graph edges handle Perl's late binding better than Perl::LanguageServer.
Built-in reactive runtime and dual JS/WASM targets challenge React and TypeScript dominance.
Static type checking for Polars using Astral's `ty` before runtime errors happen.
TypeScript conditionals and mapped types for Python typing—closes the metaprogramming gap, but adoption needs ecosystem buy-in.
Endianness in the type system is clever, but another language in a saturated field.
Typed R via monomorphization—clever, but R's permissive culture may reject friction.