ra’s Twitter Archive—№ 37,644

@arrdem @Bronsa_ oh nice, ive thought of ^[a] for vector of a and ^{a b} for map from a to b. (array x) or (Dictionary a b) would only work as type annotations in specific contexts (e.g. following ^) and otherwise would be analyzed as invocations. i am wondering if there's something context free.