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 .