Connect read/write kernels to DaphneIR and DaphneDSL

[daphne-eu]

In GitLab by @pdamme on Jun 11, 2021, 17:33

The current readCsv-kernel requires a File object as an argument. This type does not exist (yet?) in DaphneIR, which makes an integration harder. Options include

• Adding open/close operations to DaphneIR (and corresponding built-in functions to DaphneDSL), such that one can get a File-object via DaphneDSL.
• Adding a kind of dispatcher kernel for the read/write-operations that already exist in DaphneIR. That kernel could do the open/close calls in C++ and forward the processing to the existing readCsv-kernel and writeCsv-kernel (issue Kernel for writeCsv-operation for DenseMatrix #57). One challenge would be how to marry this to the idea of asynchronous IO already partly implemented with the readCsv-kernel.

In any case, before someone starts implementing this, we should discuss it thoroughly, since it is an important design decision.

[daphne-eu]

In GitLab by @pdamme on Aug 6, 2021, 18:46

mentioned in commit 1408b41