3 ms·

Check out https://elixir-lang.org https://elixir-lang.org

• tigershark 9y ago
  Although I really like elixir, I thought he asked for something with static typing?
  • dnautics 9y ago
    elixir is sufficiently close. It's reasonably strongly typed under the hood and although the spec syntax is a bit awkward, it can give you compile time assurances of correctness in a majority of cases if that's what you want static typing for. There is an argument for performance, but static typing really gets the performance benefit when you have fixed size data type arrays. Elixir has powerful bit and byte manipulation in the standard library for many such operations, and if you're really looking to do mathematical transformations of arrays and matrices, you shouldn't choose elixir.
    • dinduks 9y ago
      > It's _reasonably_ strongly typed > time assurances of correctness _in a majority of cases_ So basically, let's do it and pray it works, maybe?
      • dnautics 9y ago
        You don't have to pray. In elixir/erlang the motto is let it fail. If it fails, it crashes, and you have supervisors that are nearly free, and your service will resume itself noncatastrophically. You're generally free to code the happy path.