Jacques Carette comments

Results 1199 comments of


                                            Jacques Carette

Inventory all uses of indexing in the examples

We need to implement data-types that can be indexed (like vectors, matrices, but also lists, arrays, sequences, etc) in a general way. That is the problem to solve. We have...

Inventory all uses of indexing in the examples

You are confusing the data types that exist at the Haskell-level implementation of the examples, and the data types that ought to exist in the target code implementation of the...

Inventory all uses of indexing in the examples

1. The existing examples are not good. And several don’t produce code because they need better vector and matrix support. Plus you still seem to be confusing the parts(inside Drasil,...

Renamed UncertainChunk to Uncertain

Now is our opportunity to think a bit deeper: `UncertainChunk` is the encoding of a `ConstrainedChunk` that *add*s an uncertainty field to it. It isn't "an uncertainty". The problem with...

Design the types we need for discrete indexing

Evaluate once we have some data in hand.

Experiment with generating an mdBook-based variant of the SRS

I agree with @smiths .

Change constDecDef implementation in Python

I agree with option 2. Including the renaming to follow Python conventions.

Change constDecDef implementation in Python

I guess we might need to differentiate between "forever" constants (like $pi$) and things that are constants within the context of the generated program's run-time. (Phrasing it that way also...

Change constDecDef implementation in Python

> Anyway, I guess we might want to consider if we should add an "immutable class" constructor to GOOL (or do it some other way) in order to take advantage...

Change constDecDef implementation in Python

So how close are we to being able to close this?