Векторные языки — параллельный мир

Функциональный язык — это слишком общее понятие. Лисп тоже очень сильно отличается от Хаскеля по стилю. Векторные языки функциональны в том смысле, что программа состоит из коротких функций, как правило без сторонних эффектов, и функции равноправный тип данных.

Векторные языки — параллельный мир

Это верно, K/Q чем-то очень похожи на лисп, но fold я использовал потому, что это самое популярное имя для подобной функции в ФЯ. Q как раз сильно развился, но в сторону практичности (бизнесовости) и идеологии — любое выражение должно быть осмысленным и возвращать что-то полезное.

База данных KDB+: от финансов до «Формулы 1»

атомарные — это особенность терминологии в Q, имеются в виду операции над атомами (не делимыми значениями vs составными — списки, таблицы и т.п.). Возможность выполнять код паралельно в потоках в Q есть, но она специфическая и подходит только для распаралеливания длительных вычислений или обращений к диску.

База данных KDB+: от финансов до «Формулы 1»

Это сделали как раз в Q. Там только осталось несколько многозначных функций, реализующих какую-то глобальную идею, типа разбить что-то на части или наоборот собрать что-то из частей.