Skip to content

non-parametric interval for type stability #143

Open
@ExpandingMan

Description

@ExpandingMan

I have found myself dealing with unions of disjoint intervals sufficiently often that I feel it's about time I wrote a package for it. I think it's good for that to be a separate package from this, partially because unions of Interval are not closed, so my package will have its own union function that always returns the union type.

It quickly became clear to me that I'm going to need a union type which does not specify its openness via type parameters for anything in my package to be type stable (in particular even the containers could not be type stable for Interval). I've been calling this type GenericInterval{T} <: AbstractInterval{T}. Would there be any interest in me adding that to this package instead of putting it in my own?

As an aside, I'm self conscious of the whole DomainSets thing, and not super comfortable with what I'm doing, particularly as my implementation so far only supports unions of finitely many intervals, but I figure if I don't restrain myself I'm going to wind up spending 5 years writing a package that describes arbitrary sets on arbitrary manifolds of any dimension.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions