Подробно вроде бы здесь описано (давно это было): https://habrahabr.ru/company/microsoft/blog/348460/ Через пару сотен человекочасов начнешь юзать сей "баг" как фичу для управления выводом типов. В Akka, где с типизацией все плохо крайне помогает.

Спасибо, буду разбираться

Всем привет) Можно как то сделать алиас на другой тип и требовать чтобы его передавали именно явно как этот тип? Например type PlainString = string type ExtendedString = string type BinaryString = string И чтобы в тех местах где я в функциях явно прпнимаю PlainString нужно было передавать не "123" а PlainString "123" ?

Всем привет) Можно как то сделать алиас на другой тип и требовать чтобы его передавали именно явно как этот тип? Например type PlainString = string type ExtendedString = string type BinaryString = string И чтобы в тех местах где я в функциях явно прпнимаю PlainString нужно было передавать не "123" а PlainString "123" ?

Нет. Ты уже знаком с Single Case? Или естественным путем дошел до этого?

Всем привет) Можно как то сделать алиас на другой тип и требовать чтобы его передавали именно явно как этот тип? Например type PlainString = string type ExtendedString = string type BinaryString = string И чтобы в тех местах где я в функциях явно прпнимаю PlainString нужно было передавать не "123" а PlainString "123" ?

https://fsharpforfunandprofit.com/posts/designing-with-types-single-case-dus/

Точно, забыл про них

Спасибо)

Изящный лайфхак

Изящный лайфхак

Но если требуется валидация, то лучше прибегнуть к ООП. Пример в пункте REPRESENTING ILLEGAL STATE в https://eiriktsarpalis.wordpress.com/2017/03/20/why-oo-matters-in-f/

Но если требуется валидация, то лучше прибегнуть к ООП. Пример в пункте REPRESENTING ILLEGAL STATE в https://eiriktsarpalis.wordpress.com/2017/03/20/why-oo-matters-in-f/

Ну и let (|Email|) (email : Email) = email.Address.

Ничего не понял

Привет!

Приветствую всех!

Ну и let (|Email|) (email : Email) = email.Address.

Single case active pattern?)

Single case active pattern?)

Не думаю, что есть подобный термин, но типа да.

Да, я просто только что его придумал, чтобы описать это

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

Приветствую!

А почему если я хардкодю массив, то его тип не int array например, а int * int * int [] ?

А почему если я хардкодю массив, то его тип не int array например, а int * int * int [] ?

Покажи код?)

Кажется вопрос отпал..

Когда переписывал с си запятые не поменял

Точка с запятой?)

На ;

Да

Мда :D

:)))

Оно его как кортеж в массиве считает чтоли?

Ага

Я думал скобки нужны для кортежей

Массив это [| 1;2;1;2|]

А [1;2;3;1;2] это односвязный список

На всякий случай уточняю)

А [1;2;3;1;2] это односвязный список

Что тогда вектор?

seq?

ResizeArray?

List<T> из с#?

List<T> из с#?

+

Массив это [| 1;2;1;2|]

Да, у меня через пайпы

seq?

Это IEnumerable<T>

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

Или я ошибаюсь?

Или я ошибаюсь?

Ошибаешься)

+

Для него нет литерала в f# вроде

Но можно написать билдер)

Типа того же seq

list { 1..10 }

Обычно он редко нужен.

Хмм

Надо почитать,шо есть вектор

Как структура данных

А для Dictionary никакого сахара нет?

А для Dictionary никакого сахара нет?

map {}

Если мы "инкапсулируем" какие то значения внутри функции, они ведь оптимизируются?

map {}

Есть вроде

Если мы "инкапсулируем" какие то значения внутри функции, они ведь оптимизируются?

Поясни?

Ну типо не при каждом вызове создаются?)

Ну типо не при каждом вызове создаются?)

Код плз)

Допустим что то такое let func b = let a = [1; 2; 3] ...

А дальше?

Ну а дальше a используется каким то образом

func это значение

Тут

Блин

Исправил

Так, а теперь в чем вопрос?)

Суть ведь не в этом

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

Пока вопрос неясен, конечно

Если ты про мемоизацию,ее не будет

В данном случае

Пошел гуглить что такое мемоизация

Есть вроде

Хм, что-то map {} сходу не находится

Я просто пытаюсь понять как мне скрыть ненужные внешнему глазу let из скоупа модулей в скоуп функций

А так ты можешь код этот вынести выше

Хм, что-то map {} сходу не находится

Посмотри в модуле Map

Типа let a=[2;3]

А так ты можешь код этот вынести выше

Он у меня и так выше

Мне не нравится что он в модуле

Там ф-ция create должна быть поидее

Типо виден всем

Кто подключил модуль

А он нужен только внутри 1 функции

Ааа

Privatw

let private a...

let private?

Не знал, что это есть в модулях

Спасибо)

Есть конечно

Ещё есть файлы сигнатур модулей

Есть какой то изящный способ сделать шифт массива?

Типо сдвинуть все элементы циклически

На определенный N

Я щас подумал что можно смапить

Я щас подумал что можно смапить

Все так)