Nevin ":-)" Liber

For `RangePolicy`, it looks like I can deduce the `ExecutionSpace` and the `IndexType`.

- `RangePolicy` deduces the execution space - `TeamPolicy` deduces the execution space - `MDRangePolicy` deduces the execution space and `Rank`

**_Open question_** here on deduction guides for reducers: Adding deduction guides to our standard reducers (`Sum`, `Prod`, etc.): It is straightforward to deduce all the template parameters from the `View`...

**_Open question_** here on deduction guides for `View`: Besides the following constructors: ```c++ View(T*, size_t, size_t, size_t, size_t, size_t, size_t, size_t, size_t) -> View View(T*, size_t, size_t, size_t, size_t, size_t,...

@dalg24 `view_alloc("v", space)` doesn't contain the `DataType` needed by `View`, does it? CTAD has to be `View(...) -> View`; the left hand side cannot have a template argument list (no...

> **_Open question_** here on deduction guides for reducers: > > Adding deduction guides to our standard reducers (`Sum`, `Prod`, etc.): > > It is straightforward to deduce all the...

I agree with @masterleinad here. I slightly prefer `DefaultSharedMemorySpace`, as it is closer to describing the usage (as opposed to `DefaultMigratingMemorySpace`, which is closer to describing the mechanism).

Let me add ## Option 4: Three Functions Three functions, exactly one of which can return `true`: ```c++ bool can_initialize(); bool is_ready(); bool was_finalized(); ``` - Before `Kokkos::initialize` called: `true`/`false`/`false`...

I'm fine with renaming it to `must_initialize`.

This is now covered by P/Rs #5515, #5516, #5517 and #6117.