[swift-evolution] protocol-oriented integers (take 2)

[Florent Vilmart]

>From what I see, talking about Fields, Rings, vector spaces etc... we're talking about modeling the standard library upon mathematic models / axioms (particularly algebra) and using the same terminology.

Those constructions allow for a more flexible approach as one would be able to 'code theorems' on the top of the std library based on their mathematical definitions, instead of their CS oriented definitions.

That's overly abstract, incredible low level and insanely powerful at the same time.

Still it's an interesting concept of modeling the 'algebra' based upon those abstract structures, even if I believe the real world examples of usage would be thin.

On Jan 16, 2017, 9:26 PM -0500, Jay Abbott via swift-evolution <swift-evolution at swift.org>, wrote:
> I barely understand any of this thread, so these might be silly questions, or based on a total misunderstanding the goals here, but it seems to be about: a) clever/advanced mathsy things; b) naming things; and c) the standard library... my questions are:
>
> Do specialised clever advanced mathsy libraries all work exactly the same, or do they have slightly different behaviours or conventions or semantics in different fields of study?
>
> Is the the goal here to define a common/shared sub-set of specialised maths libraries, but in the standard library? Would that be useful by itself?
>
> Could it be possible that "naming things" in the standard library would trample all over possible uses in external libraries, making it harder rather than easier for specialised maths libraries to construct their interfaces in a non-confusing way?
>
>
> On Tue, 17 Jan 2017 at 01:39 Dave Abrahams via swift-evolution <swift-evolution at swift.org (mailto:swift-evolution at swift.org)> wrote:
> >
> > on Mon Jan 16 2017, Xiaodi Wu <swift-evolution at swift.org (mailto:swift-evolution at swift.org)> wrote:
> >
> > > Strideable? I didn't think Strideable itself was going away. I'd be sad if
> > > it did; for one, all the Unsafe*Pointers are Strideable and that has its
> > > uses.
> >
> > Nobody's proposing to remove Strideable.
> >
> > --
> > -Dave
> >
> > _______________________________________________
> > swift-evolution mailing list
> > swift-evolution at swift.org (mailto:swift-evolution at swift.org)
> > https://lists.swift.org/mailman/listinfo/swift-evolution
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170116/036d1058/attachment.html>