Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the G…

Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Type system based on System F with higher-order polymorphism. Algebraic data types, generics, and traits give you powerful tools to model your domain. Every function in Fuse is a pure function. Pattern matching, higher-order functions, and do notation let you write expressive, composable code. Bidirectional type checking with support for higher-order types. Only function type signatures are required, for readability and verbosity. Everything else is inferred. Drawing inspiration from Rust, Python, Scala, and Haskell to bring a readable syntax to purely functional programming. Indentation-based blocks, lambda expressions, and ML-like syntax keep code clean and approachable. Whole-program optimization through GRIN and code generation via LLVM produces fast, small native binaries with zero-cost abstractions.