Show HN: Fuse – statically typed functional programming language

4 hours ago

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.
Features: statically typed (based on System F with higher-order polymorphism, algebraic data types, generics, traits).
Purely functional: every function is pure, supports pattern matching, higher-order functions, and do notation.
Type inference: bidirectional type checking, only function type signatures required.
Clean syntax: inspired by Rust, Python, Scala, and Haskell, using indentation-based blocks and lambda expressions.
Compiles to GRIN: whole-program optimization and LLVM code generation for fast, small native binaries.
Installation: use curl command on Linux (x86_64) or macOS (ARM64).

Functional programming in hica emphasizes composing functions rather than changing state, with everything as an expression.
Immutability is default using 'let'; mutation uses 'var' locally, promoting pure functions without side effects.
Functions are first-class values, supporting higher-order functions, closures, and combinators like map, filter, and fold.

Tungsten is an object-oriented language designed for clarity and mathematical expression, with syntax that resembles whiteboard pseudocode.
It compiles to native binaries via LLVM and GPU kernels via Metal, using a self-hosted compiler.
Key features include first-class support for currency (dollars, cents, percentages) and units (meters, kilograms) with automatic conversion and dimensional analysis.

fenic is a semantic DataFrame library using Polars as its core execution engine for AI/LLM pipelines over unstructured data.
Standard Polars lacks needed text operations (chunking, prompt templating, jq, fuzzy matching, markdown/transcript parsing, rich type casts).
Python UDFs are too slow, break composition, and have poor type handling for these operations.

Converts JSON to human-readable GitHub Flavored Markdown with deterministic output.
Runs in browser, Node, Go, and command line; TypeScript and Go implementations produce byte-identical output.
Output is a one-way projection using canonical formatting: # Results heading, LF endings, no trailing spaces.

Hasty Briefsbeta