Repository navigation
Description
With commit 6e93a29 I started WIP on an experimental typesafe coordinate system, building on the ideas originally in dhtslib.faidx (implemented because of the unusual zero-based closed coordinates used by HTSlib faidx functions)
The ideas I would like to explore include
- can we devise a type class* that encodes the coordinate system itself**,
start, andend - can we built relatively automatic interconversion among type coordinate types
- can we overload many dhtslib frontend functions (i.e. the nice wrappers and OOP structs/class functions) to take typed coordinates
- Will the foregoing lessen the liklihood of off-by-one errors when manipulating bioinformatics files?
* I am likely not using the term Typeclass strictly correctly in comp sci terms
** coordinate systems are defined as product of zero- or one-based; half-open or closed
In my initial work, there is a disappointing amount of static if and repetition overall (especially when the conversions are invertible), but I don't know enough dlang type system/metaprogramming tricks to shorten it.
Would like some help to write unit tests, even if it seems silly and repetitious.
Activity
charlesgregory commentedon Dec 22, 2020
I would also like to see compiler warnings when using direct integer coordinates within the library to indicate a developer may encounter off-by-one errors.
charlesgregory commentedon Dec 22, 2020
Since the CoordSystem is a number enum. Could use
(a << 2) & btrick with a switch:Though this approach would need to be well documented and unittested as it would be easier to make a mistake.
You could also simplify it by using array indexing and cutting out the switch statement. Indexing into a predefined start array with your
combinedvariable would yield +1,-1, or 0. You would do the same for an end array and then you simply create your new Coordinates object. Though this would be purely cosmetic as this is all done at compile time and yields no performance benefits (unless for some reason your CoordSystems aren't known at compile time).jblachly commentedon Dec 22, 2020
@charlesgregory There is
static foreachbut I am not aware of compile time staticswitch?I also thought given the symmetry that a lookup table would be appropriate, but again as you point out it would really be for "beauty" reasons, because the ugly repetitious code as is, is functional.
jblachly commentedon Dec 22, 2020
Not sure yet how I feel about this. Could be good, could be super annoying
charlesgregory commentedon Dec 22, 2020
Ah, you are correct. I assumed it would exist, but apparently not.
charlesgregory commentedon Jun 1, 2021
Closed with merging of #71.