Add value_type support to from_vector, map and zip in in-memory Column.

[radeusgd]

With the value types implemented, we need to update these three functions.

All three of them should take an optional value_type parameter. It will default to Auto.

• In the Auto mode, the current behaviour will be retained - the InferredBuilder will be used under the hood, figuring out the type that fits the provided data.
• If a specific value type is provided, a builder for the requested type will be used instead.
  • Similar but stricter rules like with cast should be used:
    • if a value does not match the requested type (text-integer mismatch) or fit its size (text-length restriction / integer bit size), always a type mismatch is raised.
• Add tests for all 3 methods handling the Auto case, the specific types and checking for lossy conversion reports.
  • If implemented after Extend in-memory storage to support Integers other than 64-bit, and fixed-length/length-capped strings #5159, ensure that tests also account for scenarios of non-64-bit ints and fixed-length strings etc.

[radeusgd]

@jdunkerley what do you think, if we get a type mismatch, do we throw an Invalid_Value_Type error, or report it as a warning and replace the value with Nothing?

I would throw an error in this case, as one can always use Auto and then do the cast. So if they are using the specific return type override, they probably want more correctness assurance. But I'm not strongly attached to this idea, so I'd appreciate your opinion on this.

[jdunkerley]

yes lets throw and error and make the user choose explicitly

[enso-bot]

Radosław Waśko reports a new STANDUP for today (2023-08-22):

Progress: Catching up on bookclub. Reporting some bugs found. More reviews. Meetings. Trying out a thing to clean up a test suite in Standard.Test and instead move it back to Tests and do cross-project imports - experiment turned out to be more complicated and became a standalone issue for later: #7633. Started work on value_type in Column.from_vector. Imlpemented the happy path and tests for from_vector - both happy and error handling tests. Adding tests for Column.map. It should be finished by 2023-08-24.

Next Day: Next day I will be working on the same task. Add other tests for map and zip. Implement the required error handling.

[enso-bot]

Radosław Waśko reports a new STANDUP for today (2023-08-23):

Progress: Added remaining tests. Implemented error handling. Enabled some old tests that should work now and adapted them - fixing some minor issues along the way. PR is basically ready for review. It should be finished by 2023-08-24.

Next Day: Next day I will be working on the #7633 task. Fix one not directly related issue. Look into next task.