Он говорил, что на некоторых тестах паритет, но я немного сомневаюсь.

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

именно сорцы 1 в 1

и обратно

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

Больше по стдлибе, а не по коду рантайма и жита.

Больше по стдлибе, а не по коду рантайма и жита.

Мигель писал помню, что они гц стянули как его открыли)

Стянули gc.cpp на 30к строк? Ты не перепутал? Мб он 1 апреля это писал?

Стянули gc.cpp на 30к строк? Ты не перепутал? Мб он 1 апреля это писал?

Хотя я скорее всего наврал

http://www.mono-project.com/docs/about-mono/releases/4.0.0/

Господа, есть чат F# jobs?

возможно в slack, либо в телеграме

А бывают f# jobs? ?

для других ЯП такие сайты/чаты в порядке вещей

Что-то я для чатов elm и reasonml таких не видел ?‍♀️ (да и обычно это теже флудилки)

https://github.com/csharpfritz/FsharpLearning/pull/8/commits/9b9f995e74fdf8a593c351d430c81db22bcb687c тут C#-Фрицу интересное пишут. Может, у кого есть что добавить?

https://github.com/csharpfritz/FsharpLearning/pull/8/commits/9b9f995e74fdf8a593c351d430c81db22bcb687c тут C#-Фрицу интересное пишут. Может, у кого есть что добавить?

Я смотрел первые две попытки Фрица. Третью не стал, он безнадёжен.

Есть ли какой-нибудь способ проанализировать проект на наличие "неиспользуемых функций"? Сейчас приходится поштучно функции проверять на ALT+F7

Господа, есть чат F# jobs?

Тут же.

Есть ли какой-нибудь способ проанализировать проект на наличие "неиспользуемых функций"? Сейчас приходится поштучно функции проверять на ALT+F7

В студии просто бледно отображает. Этого недостаточно?

Я на маке с ionide

https://github.com/natemcmaster/dotnet-tools/pull/36

upvote pls

https://github.com/natemcmaster/dotnet-tools/pull/36

Смержили

Вбрасываю https://github.com/cartermp/fslang-design/blob/fe6a787f7c6b2ecab850aa8b3ed846a89cb54c5d/RFCs/FS-1060-nullable-reference-types.md

// Parameter to a function let len (str: string | null) = match str with | null -> -1 | s -> s.Length

// Parameter to a function let len (str: string | null) = match str with | null -> -1 | s -> s.Length

Воу, любопытно.

синтаксис выглядит няшно, но это костыль для интеропа с C#

т.е. это не полноценный юнион тайп, а просто 'a | null

записать туда 'a | 'b не получится

но мне нравится что этот костыль хорошо продуман с заделом на будущее

вот как в дотти сделаны юнион тайпы http://dotty.epfl.ch/docs/reference/union-types.html def help(id: UserName | Password) = { val user = id match { case UserName(name) => lookupName(name) case Password(hash) => lookupPassword(hash) } // ... } я хочу такой же синтаксис в F#

вот как в дотти сделаны юнион тайпы http://dotty.epfl.ch/docs/reference/union-types.html def help(id: UserName | Password) = { val user = id match { case UserName(name) => lookupName(name) case Password(hash) => lookupPassword(hash) } // ... } я хочу такой же синтаксис в F#

Зачем?

Зачем?

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

Ты просил хочешь анонимный du

Ты просил хочешь анонимный du

Не совсем, анонимный тип нельзя было бы выводить как отдельный тип за пределы функции

А со string не понятно что мне помешает null передавать, такое где НЕТ string|nulll

С другой стороны, как в данном случае понять, что не хватает матчей

а так, я по идее должен иметь возможность сделать функцию val f : int|string -> unit

и компилятор должен шарить что тип int|string то же самое что и string|int

Т.е. анонимный Ду, который задаётся констрейном типа

так что юнион тайпы это непросто

В целом, я думаю, если явно указывать констрейнт, то компилятору будет на что опереться при выводе типа в методе

В целом, я думаю, если явно указывать констрейнт, то компилятору будет на что опереться при выводе типа в методе

ну так-то да, но хотелось бы не указывать :D

Так не получится

В твоём примере даже явно указано

Пили пропозал, хуле

А со string не понятно что мне помешает null передавать, такое где НЕТ string|nulll

F# формально считает многие ref type как non-nullable. Вероятно, для совместимости с C# теперь будут генерироваться и анализироваться те же атрибуты.

Вроде несложно должно быть значение в du завернуть

я просто думаю что инфиренс в случае реальных юнион тайпов - штука опасная. ведь тогда тип вот такой функции let f n = if n % 2 = 0 then "" else 0 может быть вывеведен компилятором как int -> string | int

это всё ещё стронг тайпинг будет

Так не надо

Так не надо

согласен

Только через явное указание

Иначе жс получится

да не, не получится

я ж грю, всё ещё будет сильная типизация

т.е. ты выход такой функции не подашь на вход функции которая только int ждёт

Не получится

На основании чего компилятор будет определять список допустимых типов?

Допустимых типов для чего? он видит что один бранч ифа возвращает string, а другой int Сейчас F# кидает ошибку. А мог бы слепить из двух типов один и сказать что теперь функция возвращает string или int :D

я против такого поведения если чо

Допустимых типов для чего? он видит что один бранч ифа возвращает string, а другой int Сейчас F# кидает ошибку. А мог бы слепить из двух типов один и сказать что теперь функция возвращает string или int :D

Это уже жс :)

Это уже жс :)

если бы из функции выводился тип "object", "dynamic" или "variant", то да, получался бы жс, т.к. идёт ослабление типизации

как тип сумма - string | int - ослабляет типизацию? В упор не понимаю. Тебя компилятор обяжет её заматчить чтобы достать какой-то из вариантов

точно так же как компилятор тебе кинет ошибку если ты значение виде int | string попытаешься прокинуть в функцию которая ожидает только int это ожидаемое поведение в сильнотипизированных языках и оно сохраняется

как тип сумма - string | int - ослабляет типизацию? В упор не понимаю. Тебя компилятор обяжет её заматчить чтобы достать какой-то из вариантов

Это тебя не спасает от ошибок неверных типов возврата в теле функции. Скорее компилятор это будет тупо проглатывать

Если явно не указать допустимые типы

Не понимаю почему нельзя компилятор научить выводить такую сумму на лету? Если ты ошибся в теле и где-то у тебя проскользнёт () например: let f n = if n % 3 = 0 then 0 elif n % 2 = 0 then "" то у тебя компилятор выведет тип как int | string | unit, что моментально, в компайл тайме поломает программу

Научить можно

Проблема в том, что в теле метода легко ошибку допустить

И вернуть юнион случайно, например

Проблема в том, что в теле метода легко ошибку допустить

так у тебя тип сразу же поменяется, это ошибка будет видна в реалтайме

А компилятор такой- все ок , чувак

мы чот про разные компиляторы говорим походу) я вот про фшарповый говорю, которы не позволяет тип А засовывать в функцию, которая ожидает тип B :D и если я ошибся в теле метода и компилятор вывел из метода что-то другое, то у меня моментально выскакивает ошибка.

так у тебя тип сразу же поменяется, это ошибка будет видна в реалтайме

Я предпочитаю, чтобы мне руки пораньше отрубало

в фшарпе случайно поменять тип у функции и при этом не заметить как твой код покрывается красным цветом очень непросто

Придется за пивом обсудить :)

Я предпочитаю, чтобы мне руки пораньше отрубало

так их оторвёт в момент как ты кнопку клавиатуры отпустишь, рисуя неправильное тело функции))

если ты не в блокноте пишешь конечно без компайл чека

Давай я ещё за юнион тайпы потоплю. Т.к. это объединение множеств по сути, то элемент типа int | string должен спокойно заходить в такую функцию let f (intStringOrUnit: int | string | unit) = ...

это математически верно, т.к. множество int | strint | unit полностью включает в себя без остатка множество int | string

с DU это невозможно

Короче

потому что они размеченные

Я за то, чтобы типы объявлять до объявления тела функции

Если прописано, что функция возвращает string|int,то все ок

И неясно, как в твоём случае быть, если в одной ветке ты возвращаешь string|int,а в другой string|null

объединять их дальше

string | int | null

:D

// Parameter to a function let len (str: string | null) = match str with | null -> -1 | s -> s.Length

Бог дал option, а они синтаксис городят

string | int | null

Ну вот и приплыли :)

Ну вот и приплыли :)

почему же?

Ну потому что, например, мы хотим допускать null только для string

Но лучше другой пример

это уже именно размеченное объединение

String,string|null

а просто union тайп тем и отличается от DU что он неразмечен

Непонятно тогда, зачем он нужен

и коль он неразмечен, то такой тип должен быть ассоциативен, комутативен и ещё страшное слово, идемпотентен (к объединению)