We're thinking of replacing the `(= 5)` operator section notation with a more mathy `· = 5`. This both makes parsing easier and less ambiguous (think `(-1)`) and extends naturally to notations of higher arity (`Γ ⊢ · : ·`).
Conversation
this strikes me as very similar to Perl 6's * syntax: docs.perl6.org/type/Whatever
I never made the connection between this and mathy notation, but it's totally true...
1
1
2
So many neat things in Perl 6!
1
1
Gotta love the name "Whatever-currying"
2
2
tbh I'm not sure what to make of Cool though: docs.perl6.org/type/Cool
1
1
personally i find the object system stuff the least interesting part of Perl 6. the new regex/grammar/operators stuff is what i most want to steal
2
2