"Functional Collection Programming with Semi-Ring Dictionaries"

[dmm]

arxiv.org/abs/2103.06376

page 2: "Semi-ring dictionaries realize the well-known connection between relations and tensors" (from "In-Database Learning with Sparse Tensors" 2016-2018 paper)

Comments

[dmm]

Но да, полистав это всё подробнее, и поболтав про это с GPT-4 (внизу), видно, что это такая затравка, а на базе всей этой интуиции нужно сделать правильную работу.

Не похоже, что дело только в проблемах с изложением; эта работа соблазнительная, но не то, чтобы даже недоделанная, а так, чуть начатая... Её, пока что, надо не доделывать, а, скорее, всё же, сделать, пользуясь этой "затравкой", как мотивацией и исходной точкой...

[chaource]

А какая цѣль должна быть у этой работы? Они всего лишь сформулировали что-то на языкѣ теорiи типовъ.

[dmm]

Они говорят, что есть единый взгляд на многие вещи, и что многие вещи можно делать быстрее.

В частности, то, что они рассматривают отношения, это интересно (а с моей точки зрения, можно рассматривать "нечёткие" отношения, которые оказываются дифференцируемыми, что часто удобно в разных контекстах).

Но у них есть всякие "оптимизационные преобразования" с доказательствами корректности, но непонятно, какие преобразования когда надо и не надо применять. Ну и у них sparse-dense trade-off очень ad hoc, а это - глубокая центральная тема, я сначала думал, что, может быть, они что-то там совсем здорово сделали, но сейчас у меня нет такого ощущения...