Whenever unambiguous we print to a simpler form, e.g. `switch ((foo, bar))` -> `switch (foo, bar)`. Both accepted at parsing time
Conversation
Oh dear…
Well I guess it remains to be seen whether the folks start hating it after the initial honeymoon period. How easy is it to explain `(f(x) >> f())` to people? (using Elm/F# composition operators /w tupled args here)
1
1
There's some annoyance after "honeymoon" period, but it's mostly about additional parens being hard to track with eyes - no complaints related to semantics.
1
We'll reduce the number of parens we print to mitigate that issue and then reevaluate how many problems the tuples being (like, this) still cause.
1
I do need to keep my pre-existing biases in check here too, and it's good you're having a go at challenging the status quo.
1
How hard would it be to create an alternate, Elm-style syntax for Reason? As somebody who writes a great deal of Rust, I kind of feel type signatures on top make much more sense for a type-driven programming style, as does dropping parens. Makes the code much cleaner and lighter.
3
1
1
Sweet. Would be interesting to see how people react to comparisons if they could easily switch between them!
3
imo, having function application use parens instead of a space introduces a lot of syntactic niceties - Foo(Bar(Baz), Bloop, fip + fop) looks nicer to my eyes than Foo (Bar Baz) Bloop (fip + fop)
Plus, OCaml's oddities around type application and variants being uncurried...
2
3
... means that having parens for function application mostly makes it so "like things look alike"
1
I'd probably prefer it if uncurried things looked uncurried, and curried things looked curried, rather than pretending either way.
in general, I just try not to think about currying :P
1
1
What's the difference between OCaml and a language with no currying, but that supports effortless partial application? The lines get blurry.
1
Show replies
Wait......... type application is uncurried 😱😱😱😱😱😱😱😱😱
2
Okay fine, type application is uncurried!
Alternatively, uncurried application can have an even more distinct syntax: github.com/facebook/reaso
1
But in OCaml (and therefore Reason) - there is no such thing as uncurried. Everything is curried and accepts a single argument.
1
variant constructors aren't curried ;)
1