I guess you can define \cross and * as functions that consumes the linear list and return a new one?
On Friday, October 20, 2017 at 10:11:00 AM UTC-4, Russoul wrote: > > Let's treat `list_vt(a,n)` as algebraic vector of dim 'n'. Then let's > perform some operations on a bunch of them: > > (*pseudocode*) > ... > val a = $list_vt(1,0,0) > val b = $list_vt(0,1,0) > val c = a \cross b > val d = c * PI > ... > val _ = free a > val _ = free b > val _ = free c > val _ = free d > (*end of code fragment*) > > Cleaning(freeing) after simple algebraic operations in the above example > is tedious. And I suppose it can become a real pain in math extensive code. > What is the way out ? > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/c0605c82-f53e-4434-857e-3a194a852a2b%40googlegroups.com.
