On Wed, Sep 11, 2019 at 2:14 AM Gabriel Cotelli <[email protected]> wrote:
> Looks like Christmas season opened early this year :) > > Jokes aside, I'm in favor of changing some of the characters we use for > binary selectors to allow it to be used in keyword/unary messages. > > I'll include % in that list. For me its more useful as a way to create > percentages ( 5 % ) than to be used as a binary message for keeping an ugly > name from C-like languages. > > - · is middle dot and it's used in some math operations AFAIR > - × is used in math also (it's used as the multiplication sign for > scalars, cross product for vectors and cartesian product for sets) > > One thing that would be really cool is that we can use the full power of > Unicode in methods/class names. Projects like polymath and DSLs can clearly > take advantage of that. Some examples I've just invented, but can be > supported: > > > - > > ∑ from: 1 to: 5 do: [:i | i + i squared ] > - > > 1 ≥ 3 > - > > ∃ anyIn: #( 1 2 4) such: [:x | x isPrime ] > - > > ∅ includes: 1 > > > Yes I would like to have something like that for PolyMath :-) Is it possible to use Unicode characters for identifiers already ? I working on the port of : https://github.com/len/Domains to Pharo. The author modify the Cuis parser, so he can do things like that : "⊕ is used for direct sums, ⊗ for tensor products, × for cartesian product, direct product of groups, ring products, and in general for categorical products." and also define ^ as a binary method: "The ^ (hat) operator is used for exponentiation as well as conjugation by group elements, and for creating free modules of tuples and matrices." I'm not sure this is a good idea, because ^ is used also to return values. A+ -- Serge Stinckwic h Int. Research Unit on Modelling/Simulation of Complex Systems (UMMISCO) Sorbonne University (SU) French National Research Institute for Sustainable Development (IRD) U niversity of Yaoundé I, Cameroon "Programs must be written for people to read, and only incidentally for machines to execute." https://twitter.com/SergeStinckwich
