Every function should have a counterpart that does not require Unicode

[jonaprieto]

I am unable to type Unicode composition symbol directly in the VSCode REPL. This issue also affects other Unicode symbols. As a workaround, users must either copy-paste the symbol or find an extension that provides Unicode input support in the terminal (which is different from the editor).
In principle, we should always have a counterpart not involving Unicode.
We already discussed this at some point and agreed on it.

juvix-stdlib/Stdlib/Function.juvix

Line 16 in c3f0ec0

∘ f g x := f (g x);

[janmasrovira]

In the case of composition, we should probably use dot, as in Haskell. This will require some extra work in the parser/lexer however

[jonaprieto]

The dot is fine for the infix symbol. For a function name, I can live with something with a name that matches this regex ((map|fun)-)?comp(isition)? Possibly just comp

[janmasrovira]

what's the justification for wanting a name other than .?

[jonaprieto]

what's the justification for wanting a name other than .?

Not everyone is familiar with this particular use of the dot symbol.

[paulcadman]

We could use (>>) and (<<) for function composition (from elm). We'd have to find an alternative to (>>) for Monads.

https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C%3C)

Also add (>|) https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C|) (from elm).