let shift = 3 [|1;2;3|] |> Array.map ( fun x -> x +n)

Ну это да

Просто надо предусмотреть выход за границы

+ шифт в две стороны должен красиво работать (с отрицательным N)

Задача какая?

Сдвинуть массив циклически, тоесть 0 1 2 3 При N = 1 превратить в 3 0 1 2 А при N = -2 в 2 3 0 1

Похоже циклический буффер на массиве. Изящно нельзя, можно грубо на unmanaged или IL. Будет быстро. Но ведь проще написать свою реализацию индексера с опорой на массив.

Это лаба в универ, тут важна не скорость, главное быстренько реализовать DES и пояснить что вообще происходит

Оптимизировать у меня задачи нет

Если б я хотел быстрее, я б пытался сделать на Си и жестко следил за памятью

Если выглядит как массив и интервейс как у массива - это массив?

Да

Т.к. в моем случае amount не будет больше 2

А массив четко будет 32 элемента

А вернуть IList не вариант?

Меня копирование напрягает

А почему бы Array.Copy не использовать?

Иногда процедурка лучше чем ФП)

Иногда процедурка лучше чем ФП)

Я понимаю)

А вернуть IList не вариант?

Ну там просто все на массивах

А если так?

Да массивы это болезнь дотнет (не только его). Реализацию IFixedVector превратили в единственную ыозможность.

Ну там просто все на массивах

let shift (xs:_[]) n = let n = if n >= 0 then n % xs.Length else xs.Length + n % xs.Length Array.concat [xs.[xs.Length - n..]; xs.[..xs.Length - n - 1]]

Сдвинуть массив циклически, тоесть 0 1 2 3 При N = 1 превратить в 3 0 1 2 А при N = -2 в 2 3 0 1

Array.permute

Вектор вроде же и есть односвязный массив

Вектор есть в fsharpx, кажется.

Я спрашиваю при каждом вызове функции a будет заново создаваться, или это оптимизируется?

Да, будет создаваться. Если это нежелательно, можешь переписать код так: let func = let a = [1; 2; 3] fun b -> ...

В типах получится то же самое, а кэширование статических структур ты добавишь.

Спасибо)

Это после статьи на хабре такое поток народа?)

Ага

Ага

А что за статья ?

https://habr.com/post/424461/

вот эта полагаю

возник вопрос, нашел пример класса: type MyClass = class new : intParam:int * strParam:string -> MyClass member Square : x:int -> int member Two : int end но VsCode ругается. Это проблема с VsCode ?

возник вопрос, нашел пример класса: type MyClass = class new : intParam:int * strParam:string -> MyClass member Square : x:int -> int member Two : int end но VsCode ругается. Это проблема с VsCode ?

Это сигнатура класса, а не F# код.

Это сигнатура класса, а не F# код.

ааа, а я думал алтернатива, читать нужно еще ?

Есть хорошая причина, по которой много разных конструкций в F# используют кейворд type, а не отдельные слова?

Есть хорошая причина, по которой много разных конструкций в F# используют кейворд type, а не отдельные слова?

Например?

Классы?

Обычно кейворд type обозначает работу с типами)

Создание и алиас. Вроде все

Хотел сказать, что тогда по аналогии всё, что попадает в рантайм, тоже надо было бы объявлять с помощью одного и того же слова

Хотел сказать, что тогда по аналогии всё, что попадает в рантайм, тоже надо было бы объявлять с помощью одного и того же слова

Поясни?

Но let именно это и делает, да?

let это биндинг. Это наполнение. А type описывает структуру.

И переменные, и функции, как минимум?

Вопрос конечно интересный)

Ф-ции биндятся. На за регистрацию была от сообщества статья как раз. Ща скину. Про let

И переменные, и функции, как минимум?

https://m.habr.com/company/microsoft/blog/420039/

Спасибо :)

Явно описывает зачем нужен let) оно про рантайм, тут ты, скорее всего прав. А вот type это наверное больше про compile time

В ML кстати разные слова. let для значений, fun для функций

Явно описывает зачем нужен let) оно про рантайм, тут ты, скорее всего прав. А вот type это наверное больше про compile time

для compile time let тоже нужен

Есть хорошая причина, по которой много разных конструкций в F# используют кейворд type, а не отдельные слова?

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

для compile time let тоже нужен

Да, ок. Это как датафлоу и контролфлоу

Да, ок. Это как датафлоу и контролфлоу

static и dynamic environment

Ох черт, автор статьи у меня пары вёл

Ох черт, автор статьи у меня пары вёл

Это перевод. :)

Действительно

Разница между let и type напомнила эзотерический Spiral: там автор хочет, чтобы типы были значениями, а ключевые слова использовать для различий между compile-time и run-time вычислениями

https://twitter.com/jorgefioranelli/status/1045451043096522752

Привет.

Странно кстати, 20 человек за пару дней набежало и почти не приветствовали.

Странно кстати, 20 человек за пару дней набежало и почти не приветствовали.

Было сложно)

Странно кстати, 20 человек за пару дней набежало и почти не приветствовали.

Просто меня не было. ;)

Ok, всем ?

Привет всем)))

Пожалуйте.

Спасибо. Извините был без приветствия. Всем привет)

https://github.com/fsharp/fslang-suggestions/issues/698