Jacques Carette
Jacques Carette
Yes, the difficulty here is that we might not know it statically. What we could do is to have vectors know their length, but have typechecking only error out if...
Can you show me (maybe by linking lines in a comment here) how you're going about the implementation? I have ideas on how to potentially do this.
Let's stick to 1D and 2D for now. I would be tempted to do ```haskell data StagedInt = Static Int | Symbolic Expr ``` and use `Maybe StagedInt`. That would...
The first thing to do would be to really trace how this works in the code, i.e. the design-needed tag is definitely a good one for this issue. My guess...
Commenting in same order: - agreed - well, I think the issue here is a mismatch between external API and implementation. We need to think about what GOOL offers. We...
I just want to make sure that not all languages are forced to implement these. But it does make sense for the backend to know about all these features of...
Right - this is yet another reason why `HasOutput` is dangerous (@hrzhuang) to use a little too "blindly".
Yes. vectors and matrices are 'semantic' objects and arrays are 'storage' objects, but both have intrinsic dimensions.
Just FYI for @hrzhuang : L-value is a generic programming language term meaning "any expression that occurs on the left-hand-side of an assignment which denotes a memory location". The 'L'...
Which part do you want explained / feel like it needs an explanation?