hamler-lang/hamler

Health v2 · maintenance only

Adoption not part of the score

1038 stars · 39 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Hamler is a strongly-typed, Haskell-style functional programming language that compiles to Erlang VM (BEAM) bytecode. It brings compile-time type checking, ADTs, type classes, and monadic abstractions to Erlang's concurrency, distribution, and fault-tolerance model.

Use cases

• write type-safe functional code on the Erlang VM
• build scalable real-time applications for 5G and IoT
• add compile-time type checking to BEAM development
• learn Haskell-style programming with Erlang concurrency
• develop fault-tolerant distributed systems with ADTs and pattern matching

When to choose

• you want Haskell/ML-style typing and syntax with BEAM's concurrency and fault tolerance
• you're building soft real-time, distributed systems like MQTT brokers or edge/IoT services
• you prefer compile-time type checking over Erlang's dynamic typing

When to avoid

• you need a language with active development and a large community - the last release was early 2022
• you need a mature ecosystem with extensive libraries and tooling
• you're fine with plain Erlang or Elixir and don't need static typing

Facets

cli-tool · maturity maintenance

compiler programming-language concurrency programming-languages compilers iot elixir windows haskell-style beam functional-programming type-system erlang-vm adt pattern-matching programming-language real-time linux macos docker

Member repositories

For agents

markdown · JSON · MCP: product_card(name="hamler-lang/hamler")