On 4/3/24 19:48, Waldek Hebisch wrote:
Yes. However, here there is question of tracking values. If you give types you should dox : T := v and not x : T ... x := v
OK. I think you mentioned some time ago that in SPAD writing x:T basically means "assigning a variable x with and uninitialized value".
(Strange concept, but AFAIU, there are no declarations in SPAD.) I would anyway always write x:T:=v. Thank you for the explanation. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/a6f30136-d3e1-4ee6-ac88-1a640b80228d%40hemmecke.org.
