search

JacquesCarette / Drasil

Generate all the things (focusing on research software)
https://jacquescarette.github.io/Drasil
BSD 2-Clause "Simplified" License
140 stars 26 forks source link

Design the types we need for discrete indexing #3718

Open JacquesCarette opened 6 months ago

JacquesCarette commented 6 months ago

We don't necessarily have the types we need to be able to represent discrete indices. We might not have the right "language of types" to let us describe such types either.

J1aM1ng commented 6 months ago

Does this mean that we should first define the correct "language of types" to describe these discrete indices types? Or evaluate a better solution after 3717 and 3716.

JacquesCarette commented 6 months ago

Evaluate once we have some data in hand.