Есть хорошее объяснение того, почему KV не годится для временных баз данных — это та статья, которую вы, собственно, комментируете :)
Ну, и мне кажется, что реальный «топ» таких баз данных — это закрытые энтерпрайз-решения
«v_инверсия» — значит глагол, обратный «v». В выражении «+:&.*: » глагол, от которого берется инверсия — это «*:» (т.к. он стоит справа от союза «&.»). А глагол, обратный «*:» — это «%:» (т.е. операция, обратная возведению в квадрат — это взятие квадратного корня). J знает о таких парах обратных друг другу глаголов
И при том, заметьте, вместо маргинального while — такой удобный F:.
Ну, и мне кажется, что реальный «топ» таких баз данных — это закрытые энтерпрайз-решения
Если же говорить про рефал, то отдельная тема — это суперкомпиляция рефала. На эту тему есть статья в ПФП. Есть кое-что и для Хаскеля: ghc.haskell.org/trac/ghc/wiki/Supercompilation
2. Реализации можно посмотреть тут: refal.ru/dialects.html