|
|
|
|
|
|
by Yoric
276 days ago
|
|
|
Dependent types in well-behaved, well-defined snippets of C++ dedicated to numeric kernels? While I think it's a great idea, this also sounds like it would require fairly major rewrites (and possibly specialized libraries?), which suggests that it would be hard to get much buy-in. |
|
|