You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now specifications can have bags (i.e. multisets) and sets. Cozy can use lists in output implementations, but having lists in specifications would also be useful: often the order of insertion is important. This comes up especially in caches that employ least-recently-used eviction.
Wishlist:
List<_> type
list indexing xs[i] plus the usual operators (min, empty, ...)
list slicing xs[start:end]
sorting: sort xs to sort by natural order and sort {\x -> f(x)} xs to sort by another property
add_front, add_back, remove_front, and remove_back update operations (we may also want remove to remove an instance of a given element from the list)
devise a good state maintenance sketch for lists (seems to be very hard!)
The text was updated successfully, but these errors were encountered:
@Calvin-L Does "devise a good state maintenance sketch" mean that one exists that is not good, or that none exists? (Also, in what file would that go? In state_maintenance.py? I didn't see anything about lists in there now.)
Right now specifications can have bags (i.e. multisets) and sets. Cozy can use lists in output implementations, but having lists in specifications would also be useful: often the order of insertion is important. This comes up especially in caches that employ least-recently-used eviction.
Wishlist:
List<_>
typexs[i]
plus the usual operators (min
,empty
, ...)xs[start:end]
sort xs
to sort by natural order andsort {\x -> f(x)} xs
to sort by another propertyadd_front
,add_back
,remove_front
, andremove_back
update operations (we may also wantremove
to remove an instance of a given element from the list)The text was updated successfully, but these errors were encountered: