Hamler - have you used it?

If so, where/how and what do you like about it? :003:

The Hamler Programming Language

Hamler is a strongly-typed language with compile-time typechecking and built-in support for concurrency and distribution.

Hamler empowers industries to build the next generation of scalable, reliable, realtime applications, especially for 5G, IoT and edge computing.

Why Hamler?

For almost a decade, we have been developing software systems based on Erlang/OTP, especially our main product EMQ X - the scalable open-source MQTT broker. So, we have always believed that Erlang is a masterpiece of engineering. With amazing concurrency, distribution and fault tolerance, it is one of the few general-purpose language platforms able to properly handle concurrency and soft realtime.

However, from all the experience writing Erlang, we believe that the following features can help Erlang programmer better adapt to the coming wave of 5G, IoT and edge-programming and attract more people for using BEAM.

  • Compile-time type checking and type reference
  • ADTs, Function Composition, Type Classes
  • More friendly syntax for prosperous communities
  • Functor, Applicative and Monad…:slight_smile:

Now all the features are avaliable in the Hamler programming language.


  • Functional programming
  • Haskell and ML-style syntax
  • Compile-time type Checking/Inference
  • Algebraic data type (ADT)
  • Functions, higher-order functions
  • Currying and partial application
  • Pattern matching, and Guards
  • List comprehension
  • Applicative and Monad
  • Advanced module system
  • Built-in concurrency

So so very many cool languages popping up on the beam, static typing is such a needed thing in the BEAM ecosystem!

1 Like

Hi All,

I have used it to do the Advent-of-Code 2020.

The blog post are based on my experience with 0.2.2


I just checked the code and it still works up to 0.4. With 0.5 it crashes …

Regards …

PS: Any help/PRs to find out why 0.5 crashes are appreciated.