1,069 karma · joined August 22, 2016
Language is defined by usage, not organisations.
Did you know that the sea is still deadly? Not all of these are fatalities, but some are: https://en.wikipedia.org/wiki/List_of_shipwrecks_in_2018
I see your argument. If your aim is to get into functional programming then Elixir/Erlang, even Lisp/Scheme is fine. I don't think it's the functional nature of OCaml and Haskell that make them powerful; I think those parts of the language are great, yes, but the type system (static, algebraic, inferred) is the real secret sauce.
I'd say the type system isn't that much of a barrier to entry. You're likely used to one from any existing statically typed language; the only new things are sum types, polymorphic types & type inference. These aren't _that_ hard to get your head round but really improve the safety of your program.
[0]: https://en.wikipedia.org/wiki/Singular_they#Older_usage
Also Signal isn't federated and doesn't use the Matrix protocol.
Part of the problem is the inability to assign nicknames to contacts, so you have to remember everyone's Matrix ID.
Previous discussion: https://news.ycombinator.com/item?id=14280569