Я мимокрокодил, вобщем-то

Наверное jetbrains знают

Возможно, только я хз как с ними общаться. ?

У них суппорт вообще есть?

Не знаю, обхожу иде стороной по возможности

@DarkByte2016 Запускай через mono, это рекомендованный способ.

@DarkByte2016 Запускай через mono, это рекомендованный способ.

как это?

я вот никак не пойму как работает вывод типов в F#. Например let main args = как оно определяет что args это string[] ?

@DarkByte2016 Запускай через mono, это рекомендованный способ.

а все понял

По аннотации [<EntryPoint>].

mono app.exe

По аннотации [<EntryPoint>].

окей другой пример let add x y = x + y как оно определяет что x и y это int? а не float скажем?

или это типа дефолтное поведение и его можно переопределить вручную указав типы?

@DarkByte2016 Если функция нигде не используется, то он выводит по-дефолту неиболее подходящий вариант. Например, если ты потом напишешь, add 2.0 2.0, то компилятор выведет тип float -> float -> float. Но функция перестанет работать для int.

Если ты хочешь функцию ad-hoc перегрузить для разных типов, то тебе нужен inline.

@DarkByte2016 Если функция нигде не используется, то он выводит по-дефолту неиболее подходящий вариант. Например, если ты потом напишешь, add 2.0 2.0, то компилятор выведет тип float -> float -> float. Но функция перестанет работать для int.

т.е. для инта она уже просто не скомпилируется? прикол...

Сравни типы у let add x y = x + y и let inline add x y = x + y.

Сравни типы у let add x y = x + y и let inline add x y = x + y.

requires member (+)

круто че, оно типо сразу запрашивает аргументы у которых есть эта операция

Да. Она теперь будет работать для всех типов, у которых плюс перегружен.

а почему тут используются двойные точки с запятой? ;; почему не одинарные как везде?))

и вообще насколько я понял они не везде нужны же?

В .Net билды не завязаны на платформе

Это не совсем верно: - self-contained deployment всегда платформозависим, потому что он с собой тащит платформенную версию рантайма - любой деплоймент может оказаться платформозависимым, если ты тащишь нативные либы (и необязательно ты сам — бывает, что транзитивные зависимости нативные)

а почему тут используются двойные точки с запятой? ;; почему не одинарные как везде?))

Двойные юзаются только в fsi. Чтобы можно было в коде использовать одинарные ;, где это необходимо.

Двойные юзаются только в fsi. Чтобы можно было в коде использовать одинарные ;, где это необходимо.

что такое fsi?

FSharp Interactive.

аа

Начал изучать F# и столкнулся с такой проблемой: не хочет запускаться экзешник из консоли. Пишет "Отказано в доступе" (у меня линукс). Я так то уже понял в чем дело: ему надо вручную проставлять "chmod +x app.exe", но проблема в том что флаг исполняемости слетает после каждой перекомпиляции и опять начинает ругаться...

Мне кажется, ты не совсем правильно вообще запускаешь свой экзешник. Обычно на линуксе это делают через mono file.exe, тогда chmod не нужен.

Мне кажется, ты не совсем правильно вообще запускаешь свой экзешник. Обычно на линуксе это делают через mono file.exe, тогда chmod не нужен.

я уже понял

Простой запуск экзешников работает за счёт специального расширения ядра (?), которое инициализируется вместе с установкой Mono, но 1) это не всегда удобно (как в твоём случае) 2) это не на всех машинах работает (потому что не у всех это расширение есть) Я бы шеллскрипт написал, назвал его так же, как приложение, но без расширения (например, вместо myfsharpapp.exe он бы назывался myfsharpapp), а в нём вызывал mono с именем экзешника.

в rider есть fsi?

в rider есть fsi?

Пока нет

и вообще насколько я понял они не везде нужны же?

Нигде не нужны, не пиши.

Язык же идентовый

В REPL нужны :(

А в коде не нужны, да. Вообще нигде их не ставлю.

Более того, обычные точки с запятой тоже можно не использовать в большинстве случаев (или даже во всех). Вместо [1; 2; 3] можно писать [1 2 3]

(другой разговор, что это не всегда красиво выглядит, но если элементы списка длинно записываются — тогда имеет смысл)

еще такой вопрос: вот например есть функции модуля List, типа List.length, а можно как-то сделать чтобы не писать все время название модуля? я так понимаю там статические функции, можно ли сделать как в C# using static List; типа того

и писать потом просто length

Для некоторых модулей работает просто open ModuleName, но не для List.

жаль( так длиннее

Потому что ты очень быстро заблудишься потом, где у тебя List.length, а где Array.length, например.

Потому что ты очень быстро заблудишься потом, где у тебя List.length, а где Array.length, например.

а разве оно не может определять по принимаемому параметру какую версию использовать? это же простая перегрузка получается

т.е. если на входе массив то юзать Array.length, а если список то List.length

Да.

Да.

Да - может? А почему тогда так нельзя сделать?)))

А, ой, прости, я не полностью прочитал сообщение. Да, для списков одна функция, а для массивов — другая :)

А, ой, прости, я не полностью прочитал сообщение. Да, для списков одна функция, а для массивов — другая :)

Так почему нельзя так сделать? Чтобы не писать все время название модуля?

Ты можешь сделать свою функцию, которая будет без оверхеда работать для всех нужных тебе контейнеров. Но в стандартную библиотеку такой функции не завезли.

Недоделка языка?

понятненько

Недоделка языка?

Кто-то это считает недоделкой, а кто-то — грамотным решением. Перегрузки функций по типам аргументов в F# нет.

Кто-то это считает недоделкой, а кто-то — грамотным решением. Перегрузки функций по типам аргументов в F# нет.

серьезно?

офигеть...

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

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

А в ФП вообще классы используются?

Или там только все на обычных функциях?

В ФП под "классами" могут начать понимать что угодно :)

Кто-нибудь может "классом" называть класс типов или интерфейс.

Но в F#-коде использование C#-классов или структур не возбраняется.

класс это объявление с ключевым словом class, судя по автодополнению в райдере оно в F# есть

Оно не всегда вписывается в "функциональный" дизайн, но если аккуратно пользоваться — то никаких проблем не будет.

Но зачем

понятно, эдакий императивный костыль

Если есть type с плюшками

ERROR: S client not available

И где у тебя длинный код получается

класс это объявление с ключевым словом class, судя по автодополнению в райдере оно в F# есть

В F# обычно классы объявляют с ключевым словом type. Ключевое слово class я встречал только в виде операторных скобок в случае, если тело класса пустое: type MyClass = class end

seq |> List.concat

зато понятно, какой тип на выходе

зато понятно, какой тип на выходе

В List.length / Array.length это и так всегда понятно :)

ну вот

а List это не класс? это типа просто название библиотеки содержащей обычные функции чтоли?

модуль это

а List это не класс? это типа просто название библиотеки содержащей обычные функции чтоли?

List это не класс, это модуль. Модуль может в себе содержать определения функций или типов.

понятно)

Соответствующий тип называется list.

погоди, но зачем надо Array.length если можно сделать args.Length ?)))

массив это же объект

(но я не уверен; возможно, у него есть и какое-нибудь C#-friendly название типа FSharpList<T>)

погоди, но зачем надо Array.length если можно сделать args.Length ?)))

Разницы между Array.length и .Length нету, но для вывода типов она может быть. Например, let myLen f = f.Length не скомпилируется, а let myLen x = Array.length x скомпилируется и правильно определит тип.

Разницы между Array.length и .Length нету, но для вывода типов она может быть. Например, let myLen f = f.Length не скомпилируется, а let myLen x = Array.length x скомпилируется и правильно определит тип.

эмм а почему так? О_о

.Length не только у массива может быть

это свойство

Потому что вот представь, что компилятор видит такое определение: let myLen f = f.Length Что ему про это определение подумать? Какой тип здесь имеет f? Ведь есть бесконечно много типов с таким свойством.

хмм а если так? let a (ar: Array) = ar.Length

вроде компилится

Ну, именно так не получится, потому что Array это не тип а какая-то фигня :) А вообще — да, если компилятору подсказать тип, то всё заработает.

ну если он сам не можете сообразить какой тип юзать)))

Работает любой из этих вариартов: let len (x : 'a array) = x.Length let len (x : 'a[]) = x.Length

Кстати, я лично у себя всегда на границах модулей сам указываю типы. Это помогает себя дисциплинировать, и нечаянно не сломать публичный API.

А для приватных функций или каких-то внутренних — не указываю.

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

Это немного печально

интересно наблюдать за ходом мысли новичков :)

Но в статик типах можно перегрузки использовать

Я до сих пор полностью красивого и лаконичного решения для своей либы не нашёл :(

Ну я бы с удовольствием имел перегрузки bind для всех монадных классах. В хаскеле пишут >>= и не имеют проблем, к сожалению в F# так нельзя, и я не назвал бы это каким-то специальным решением.