I don't think there are any surprises here: MutableList is distinct from List, and it reflects the racket/mutable-list interface. A mutable list is indexable and listable, and it supports updating with [] and := like an array. The annotation constructors are MutableList.now_of and MutableList.later_of like the ones for Array.
I don't think there are any surprises here:
MutableList
is distinct fromList
, and it reflects theracket/mutable-list
interface. A mutable list is indexable and listable, and it supports updating with[]
and:=
like an array. The annotation constructors areMutableList.now_of
andMutableList.later_of
like the ones forArray
.