Воу. Хочу такую же в фортран

А в Фортране нет разве всяких сечений?

Спасибо. А что там из документации самое читабельное. Руководство как в СССР писали.

?

Ну у нас свой менеджер памяти, который поверх глобального одномерного массива выделяет многомерные... Хотелось бы иметь возможность определять выход за пределы выделенного многомерного массива

Проверками в runtime ;)

Да рантайм не спасает

Да и везде писать проверки очень муторно

Насколько я понимаю, нужны примитивы вроде свёрток всяких. Ну там foreach, fold, map

Не знаю. Надо статьи читать. И на ютубе есть пара видосиков

Насколько я понимаю, это нужно в линейной алгебре, а там из примитивов только blas.

И никаких статей и движухи по примитивам с линейными типами и изменяемыми массивами как в Clean я не видел.

У автора ATS2 есть статья о том, как они боролись за удаление проверок грариц в runtime. В принципе, ничего особенного: составляем всякие ограничения, решаем задачку дискретного линейного программирования. Там, где решилась - выкидываем проверки. Примерно так.

Но этот подход вроде неприятный.

Он нестабилен относительно изменения алгоритма и трудоёмок.

В смысле? Это ж всё автоматически

Я вот такое извращение написал на фортране (аллокатор и деаллокатор):

    function i2allocate(inp_x, inp_y) result(array)
        integer(8), intent(in) :: inp_x, inp_y
        integer(8), dimension(:,:), pointer :: array
        integer(8), target     :: X(1) ! but X(capacity)
        common /fmcom / X
        ! new end of array
        integer(8) :: temp
        if(inp_x*inp_y < 0) call negative_memory
        if(inp_x*inp_y == 0) then
            nullify(array)
            return
        end if
        temp = shift + inp_x*inp_y
        if(temp > capacity) call no_memory
        X(shift+offset:temp-1+offset) = 0
        array(1:inp_x,1:inp_y) => X(shift+offset:temp-1+offset)
        shift = temp
    end function i2allocate
    subroutine i2deallocate(array)
        integer(8), dimension(:,:), pointer :: array
        integer(8) :: temp
        integer(8), target :: X(1) ! but X(capacity)
        common /fmcom / X
        temp = shift - size(array)
        if(loc(array) == loc(X(temp+offset))) then
            shift = temp
            nullify(array)
        else
            call memory_leak
        end if
    end subroutine i2deallocate

Есть еще его брат, который работает через allocate и поддерживает -fsanitize-address

какой модуль подключишь: или быстро выделяем память, или с проверками. как хотим)

Ну вы чуть чуть поменяли алгоритм, и подсказки компилятору придётся переписывать.

Как с unit тестами.