microsoft/knossos-ksc

Should we generalize buildFromSparse?

awf opened this issue · 1 comments

awf commented

If this were allowed:

buildFromSparse  4 (\ i. 2*i, constVec(i, 1.1 * i))

It would make this object

[[]
 ?
 [1.1]
 ?
 [2.2 2.2]
 ?
 ?
 ?
 [3.3 3.3 3.3]
]

Do we want to?

awf commented

Today we would write

buildFromSparse  (build 8 (\i . i)) 4 (\ i. 2*i, constVec(i, 1.1 * i))

which probably makes more sense.