Ah, I’m glad to see a mathematician here.

To be ashamed, My mid-term plan is to study lambda calculus and type theory. A more long-term approach is to learn some category theory. Most of these were sparked by studying Haskell a few years ago. But…

But to be honest, I feel a bit powerless when facing a whole set of mathematical symbols because I don’t have a lot of time in my spare time. Without daily repetitive construction, it is difficult to establish a relatively complete system solely based on fragmented time.

Anyway, you are all the people I admire. Salute.

===

B.T.W.

the language Elm was successful in the telecommunications industry

Do you mean **Elixir** or indeed **Elm** .