почему функцию нельзя анотировать таким образом? let add a b : int -> int -> int = a + b

ПОтому что то, что после двоеточия, по идее относится к типу параметра b

почему функцию нельзя анотировать таким образом? let add a b : int -> int -> int = a + b

ты указываешь тип результата, а не самой функции. то что ты написал, соответствует let add a b : (int -> int -> int) = fun a -> fun b -> a + b

ты указываешь тип результата, а не самой функции. то что ты написал, соответствует let add a b : (int -> int -> int) = fun a -> fun b -> a + b

спасибо, понятно

а можно функцию аннотировать вне определения? типа val add : int -> int -> int let add a b -> a + b

а можно функцию аннотировать вне определения? типа val add : int -> int -> int let add a b -> a + b

Увы, нельзя. :(

может в fsi как раз можно?

тоже нельзя

Увы, нельзя. :(

А в fsi разве нельзя? ?

нашёл один костыль, но он слишком громоздкий

А тебе зачем такое, собственно?

type myFunc = int -> int -> int let myFunc : myFunc = fun a b -> a + b

Я в домашних проектах предпочитаю использовать длинные имена переменных, чтобы меньше писать комментариев, и часто при проектировании набрасываю сразу типы которые ожидаю на входе и выходе. F# язык позволяющий очень компактно выражать свои мысли, по этому предпочёл бы пожертвовать одной лишней строкой на каждую функцию вместо того чтобы городить очень длинные строчки

type myFunc = int -> int -> int let myFunc : myFunc = fun a b -> a + b

let myFunc : int -> int -> int = fun a b -> a + b

let myFunc : int -> int -> int = fun a b -> a + b

кстати вариант

спасибо

Случайно наткнулся на годные лекции по Idris на русском (пока посмотрел 3 очень понравилось). Может пригодится тем кто хочет знать что такое “зависимые типы”, для расширения кругозора. https://www.youtube.com/playlist?list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI

let myFunc : int -> int -> int = fun a b -> a + b

ого, а я и не знал, что так можно

Случайно наткнулся на годные лекции по Idris на русском (пока посмотрел 3 очень понравилось). Может пригодится тем кто хочет знать что такое “зависимые типы”, для расширения кругозора. https://www.youtube.com/playlist?list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI

Здесь есть даже чат по зависимым типам.

Кажется, с Брагилевским. Да, @fvnever?

Это должна быть константа, а не результат String.Format

хм

Тогда вопрос. Как нагенерить ссылку ? 0_о

Лучше юзать так: let url = sprintf "http://blablalba.com/key=%s" key В данном кейсе правда ошибку не исправит

но всёравно спасибо.

хм, как же тогда прокидывать параметры

для того, чтобы получить типы в design-time, нужна константа - урл к какому нибудь сэмплу json'а нужной структуры. А когда хочешь загрузить реальные данные в рантайме, тогда уже можно взать любую строку и вызвать Champions.AsyncLoad(anyString)

Хм, понятно. Но проблема в том...Что key меняется

у риотов немного API дурацкое

его время от времени нужно обновлять в проекте

в каждой ссылке

Хм, понятно. Но проблема в том...Что key меняется

Просто сделай строку с JSON: type Json = JsonProvider<""" { "key": 1, "value": 2 } """>

да, или сэмпл json сохрани в файл и указывай путь к файлу вместа урла

Хмм

Можно сделать скрипт, который будет JSON в файл выгружать

Например, при сборке

или не использовать type provider :P

Что-то действительно какие-то проблемы на ровном месте.

а есть какие-то способы дебага провайдеров? а то у меня sql provider крашится без явных причин, хоть баг бы найти

Сам провайдер можно дебажить, если есть его исходники, я делал так: 1 - писал простой скрипт, который использует тайп провайдер и воспроизводит проблему 2 - запускал fsi 3 - открывал в студии код тайп провайдера 4 - аттачился к процессу fsi 5 - в fsi писал #load "my-script" Возможно есть варианты попроще, но сходу не могу придумать

Подскажите, как это можно внятнее изложить: let rec getDeps = getChangeReasons ctx (fun x -> getDeps x) |> memoizeкомпилятор жалуется: > This and other recursive references to the object(s) being defined will be checked for initialization-soundness at runtime through the use of a delayed reference. This is because you are defining one or more recursive objects, rather than recursive functions. This warning may be suppressed by using '#nowarn "40"' or '--nowarn:40'.

Есть вариант: let rec getDeps x = (getChangeReasons ctx getDeps |> memoize) xно у меня сомнения что мемоизация сработает

а есть какие-то способы дебага провайдеров? а то у меня sql provider крашится без явных причин, хоть баг бы найти

Mssql?

Mssql?

oracle)

код запускается, падает на методе Dictionary.get_Item где-то внутри

@gsomix ты там про CI спрашивал, сделал :)

А функция, которая бегает в БД за данными, получается не может быть чистой?

А функция, которая бегает в БД за данными, получается не может быть чистой?

только если БД не иммутабельная, а такую можно придумать

А функция, которая бегает в БД за данными, получается не может быть чистой?

Сюрприз сюрприз, если она дергает ДБ, то конечно. Если только трасформирует то да.

В .Net Core 2.0 F# криво проект создаёт, но если ручками добавить сдк и референсы, то всё ок

Простите, обманул, всё ок, просто ему теперь ну нужны референсы, круто.

Как-то так теперь выглядит .fsproj: https://gist.github.com/Dolfik1/3b1c8ddeff3856254025de034b4bfac6

В .Net Core 2.0 F# криво проект создаёт, но если ручками добавить сдк и референсы, то всё ок

Что можно уже юзать? Есть какие-нибудь преймущества?

Что можно уже юзать? Есть какие-нибудь преймущества?

Ну файл с проектом почище)

А так хз, мне нужен 2.0, чтобы под ARM запускать

Всё ок работает

Не велика разница c 1.1 https://gist.github.com/y2k/04c2c59fec1416fa62436bc59c9f71f0 (по сравнению со старыми проектами)

На две строчки меньше :)

Как-то так теперь выглядит .fsproj: https://gist.github.com/Dolfik1/3b1c8ddeff3856254025de034b4bfac6

Подожи, а где либы f#? Как он вообще понимает что он f#?

Подожи, а где либы f#? Как он вообще понимает что он f#?

А нету :)

Ты про FSharp.Core?

Ну да, стандартная либа с option и тд

Не нужна

Видать по дефолту идёт для .fsproj

Логично ?

вот же прописано <PackageReference Include="FSharp.Core" Version="4.1.*" /> oO или вы о чем-то другом?

Это в моем под 1.1, в том что выше под 2.0 этого нет

а, и правда.. чудеса :)

Привет! o/

Привет

гайз, а можно немного оффтопа? (раз выше всё равно за тулзы говорили) вот был nuget. но при этом тут в f# чате чаще говорят за paket. зачем понадобился ещё один пакетный менеджер? какие проблемы он решает??

гайз, а можно немного оффтопа? (раз выше всё равно за тулзы говорили) вот был nuget. но при этом тут в f# чате чаще говорят за paket. зачем понадобился ещё один пакетный менеджер? какие проблемы он решает??

https://fsprojects.github.io/Paket/faq.html

Первый вопрос.

https://fsprojects.github.io/Paket/faq.html

спасибо) а зачем нам знать какие именно пакеты являются транзитивными зависимостями? насколько я понял, это чтобы как в пакетных менеджерах в линукс - потом одной командой можно было удалить те пакеты, которые никому не нужны и на которые никто не ссылается? или чтобы мы в принципе понимали что от чего зависит?

спасибо) а зачем нам знать какие именно пакеты являются транзитивными зависимостями? насколько я понял, это чтобы как в пакетных менеджерах в линукс - потом одной командой можно было удалить те пакеты, которые никому не нужны и на которые никто не ссылается? или чтобы мы в принципе понимали что от чего зависит?

Да, чтобы можно было удалять, например. Но основная фишка Paket даже не в этом, а в lock файле, который фиксирует все прямые и транзитивные зависимости. Это нужно для того, чтобы билды были стабильные.

То есть повляется возможность нормально управлять версиями в том числе и транзитивных зависимостей.

Да, чтобы можно было удалять, например. Но основная фишка Paket даже не в этом, а в lock файле, который фиксирует все прямые и транзитивные зависимости. Это нужно для того, чтобы билды были стабильные.

ну пока не сталкивался с какими-то особо проблемами с нугетом. но наверное потому, что у меня нет ни одного действительно большого и серъёзного проекта, который уже пару как минимум в продакшне :\

ну пока не сталкивался с какими-то особо проблемами с нугетом. но наверное потому, что у меня нет ни одного действительно большого и серъёзного проекта, который уже пару как минимум в продакшне :\

Другая штука, для которой необходим Paket — это fsx скрипты.

Просто он очень удобно складывает пакеты локально.

Например, не указывает версии в названии папок.

Поэтому скриптами очень просто ссылаться на dll.

https://twitter.com/k_cieslak/status/892987012415762432

Привет!

Простите, обманул, всё ок, просто ему теперь ну нужны референсы, круто.

Как так?

Как так?

Посмотри гист ниже

Видимо он теперь определяет, что проект .fsproj, и сам подтягивает Sdk и FSharp.Core

Круто

https://twitter.com/k_cieslak/status/892987012415762432

А с .net core работает? Раньше не работало

https://twitter.com/k_cieslak/status/892987012415762432

А с .net core работает? Раньше не работало

У меня не пашет на 1.1 (нажимаешь, а ничего не происходит)

В .Net Core в целом нормально ручками править файл

https://twitter.com/k_cieslak/status/892987012415762432

Уже 10 минут ползаю по менюшкам... Где все эти команды и где solution explorer?!