забыл забыл

А шо его поднимать то? .net есть и f# есть

да мы тока вчера научились fsi от коры запускать :)))

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

да мы тока вчера научились fsi от коры запускать :)))

У нас "большой" дотнет.

на венде

)

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

видел и такое :)

через Cygwin

mingw лучше

через Cygwin

таких бы умельцев я бы тоже послал PowerShell изучать!

всё равно с git bash ставится, на винду.

таких бы умельцев я бы тоже послал PowerShell изучать!

махровое легаси

хз зачем костылять баш, если есть дотнет с fsi

В общем, моя маленькая инициатива под шумок пропихнуть в компанию F# провалилась с треском. Буду искать другой повод хД

хз зачем костылять баш, если есть дотнет с fsi

Вопрос в том кто будет поддерживать билд скрипты если репка на F# и билд скрипт на F#, то условному мейнтейнеру не придётся изучать brainfuck/PS/cmd/bash/яхзчтоещё Ему нужен будет только F# - это лучший кейс для Fake и иже с ними А вот если ты билд скрипт на F# просто ради F# делаешь чтобы потом втюхать его еникейщикам на сапорте - то это плохой план

В общем, моя маленькая инициатива под шумок пропихнуть в компанию F# провалилась с треском. Буду искать другой повод хД

Обнимемся? :))))

Обнимемся? :))))

:D я может тоже с вами потом буду)

Вопрос в том кто будет поддерживать билд скрипты если репка на F# и билд скрипт на F#, то условному мейнтейнеру не придётся изучать brainfuck/PS/cmd/bash/яхзчтоещё Ему нужен будет только F# - это лучший кейс для Fake и иже с ними А вот если ты билд скрипт на F# просто ради F# делаешь чтобы потом втюхать его еникейщикам на сапорте - то это плохой план

Мне всё равно понадобился PS даже с FAKE - сервис деплоить он премс ремоутли

ну так-то fake без dotnet tools тоже через cmd/bash скрипт запускать надо)

Мне всё равно понадобился PS даже с FAKE - сервис деплоить он премс ремоутли

не, у нас SP Online

в FAKE есть бутстрап .cmd

(извинити) https://i.redd.it/k8l9vp5wozq11.jpg

(извинити) https://i.redd.it/k8l9vp5wozq11.jpg

Ну это про хаскель больше

Привет!

let inline score p l = let divider = ((pown (p-l) 2) + 1) |> float32 (p*l)/sqrt divider let s = score 1 2 //error let s1 = score 1 2.0f //error Дает ошибку The type 'float32' does not match the type 'int32' Внимание вопрос: валера, какого хера?

перегрузок функций же в F# нету,

let inline score p l = let divider = ((pown (p-l) 2) + 1) |> float32 (p*l)/sqrt divider let s = score 1 2 //error let s1 = score 1 2.0f //error Дает ошибку The type 'float32' does not match the type 'int32' Внимание вопрос: валера, какого хера?

Ты плохо сформулировал вопрос.

Ты плохо сформулировал вопрос.

функцию невозможно вызвать. Что ни передай во второй аргумент (инт или флоат), компилятор ругается, что не флоат != инт

функция компилится, а вызвать никак

функцию невозможно вызвать. Что ни передай во второй аргумент (инт или флоат), компилятор ругается, что не флоат != инт

Все правильно, у тебя типы в арифметике не совпадают.

Компилируется, потому что она обобщенная по арифметическим операторам. Но нужных тебе операторов (чтобы умножать или делить int на float) просто нет.

хм, типа все надо привести к флоату?

Да.

В F# вся арифметика строгая.

Нужно явно конвертировать значения.

ок спс

В F# вся арифметика строгая.

кстати, а почему?

кстати, а почему?

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

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

какая херня может быть в том, чтобы неявно расширять числовой тип?

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

видимо дело в том, что типы выводятся автоматически и такое поведение может иметь неожиданные последствия

let inline score p l = let p = float p let l = float l let divider = ((pown (p-l) 2) + 1.0) (p*l)/sqrt divider вызывается успешно с любыми числовыми типами)

видимо дело в том, что типы выводятся автоматически и такое поведение может иметь неожиданные последствия

кстати про вывод типов. По алгоритму тайп инфиренса должен выводится наиболее общий тип. Т.е. любой для начала, а потом навешиваем констрейны. Флоат является более общим типом к инту, поэтому если бы не костыли - мы бы везде в ФП языках использовали числа с плавающей точкой

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

кстати про вывод типов. По алгоритму тайп инфиренса должен выводится наиболее общий тип. Т.е. любой для начала, а потом навешиваем констрейны. Флоат является более общим типом к инту, поэтому если бы не костыли - мы бы везде в ФП языках использовали числа с плавающей точкой

не, что-то не так. как в выражении 1 + 2 может получиться float? если находить самый общий тип, что вообще говоря непрактично, то будет сразу object

не, что-то не так. как в выражении 1 + 2 может получиться float? если находить самый общий тип, что вообще говоря непрактично, то будет сразу object

у тебя для object определён оператор +?

не, что-то не так. как в выражении 1 + 2 может получиться float? если находить самый общий тип, что вообще говоря непрактично, то будет сразу object

и да, для выражения 1 + 2 получится только интежер, ты же два инта складываешь

а вот например let sum a b = a + b должен выводится флоат, да

т.к. он более общий. В фшарпе выводится инт

или decimal?

да хз, это уже мелочи жизни) хорошо что для чисел нет сабтайпинга!!

вот была бы хохма

а вот например let sum a b = a + b должен выводится флоат, да

а вот это сложный момент, т.к. int тут настолько же частный случай, как и float

а вот это сложный момент, т.к. int тут настолько же частный случай, как и float

ненене, вопрос не про частности, а про алгоритм

т.к. он более общий. В фшарпе выводится инт

строго говоря, там что угодно может вывестись, если ты вызовешь рядом этот sum. Вызовешь со строками - выведет строки. Это упоротая штука

а вот это сложный момент, т.к. int тут настолько же частный случай, как и float

флоат позволяет больше операций, чем инт. Так что он более общий

строго говоря, там что угодно может вывестись, если ты вызовешь рядом этот sum. Вызовешь со строками - выведет строки. Это упоротая штука

ну это фшарп такой. если сделать функцию inline, то фшарп её сделакт квазиполиморфной

ну типа складывай что хочешь где определён (+), компилятор по месту разберётся

ну это фшарп такой. если сделать функцию inline, то фшарп её сделакт квазиполиморфной

да, но int там не потому, что самый общий тип выводится

да, но int там не потому, что самый общий тип выводится

и я о чём!

я про то, что для человека без предварительного знания выбор int для данного случая настолько же неожиданный, насколько был бы float

флоат позволяет больше операций, чем инт. Так что он более общий

более общий позволяет меньше операций

я вот тоже сижу и думаю, но все равно что-то не сходится

я про то, что для человека без предварительного знания выбор int для данного случая настолько же неожиданный, насколько был бы float

Вывод типов в F# не очень дружелюбный.

Вывод типов в F# не очень дружелюбный.

После C# - наоборот :)

Но всё равно мне кажется опасно вводить отношение подтипизации для целых и дробных. Надо общий тип над теми и другими

я бы ожидал от такой конструкции что-то типа T sum<T>(T a, Tb) => a + b

там какой-нить Number обычно делают

После C# - наоборот :)

Вывод типов в F# позволяет ошибкам уходить очень далеко от места их возникновения.

Но всё равно мне кажется опасно вводить отношение подтипизации для целых и дробных. Надо общий тип над теми и другими

Надо класс типов

let inline score p l = let divider = ((pown (p-l) 2) + 1) |> float32 (p*l)/sqrt divider let s = score 1 2 //error let s1 = score 1 2.0f //error Дает ошибку The type 'float32' does not match the type 'int32' Внимание вопрос: валера, какого хера?

Например, вот тут. Абсолютно непонятно, в чем проблема.

Но всё равно мне кажется опасно вводить отношение подтипизации для целых и дробных. Надо общий тип над теми и другими

Опасно потому что компутер не умеет в бесконечную точность. Матан-то умеет поэтому там чётко - множество натуральных => множество целых => действительные => мнимые, ну там ещё по вкусу докиньте

Вывод типов в F# позволяет ошибкам уходить очень далеко от места их возникновения.

Есть такое. А в C# приходится яростно костылить чтобы его вывод типов не заставил тебя писать многоэтажное ручками

Вывод типов в F# не очень дружелюбный.

0_о

с чего это вдруг?

с чего это вдруг?

Я объяснил.

Вывод типов в F# позволяет ошибкам уходить очень далеко от места их возникновения.

Да, согласен. Когда есть явный интерфейс, сразу понятно, кто ошибся - вызвающая сторона или реализующая

Да, согласен. Когда есть явный интерфейс, сразу понятно, кто ошибся - вызвающая сторона или реализующая

Многие еще ленятся явно аннотировать типы, потому что IDE подсказывает (тултипы, code lenses).

Многие еще ленятся явно аннотировать типы, потому что IDE подсказывает (тултипы, code lenses).

rider не показывает )

видимо дело в том, что типы выводятся автоматически и такое поведение может иметь неожиданные последствия

Строгая типизация

Строгая типизация

Расширение числовых типов по идее не нарушает строгость типизации

Расширение числовых типов по идее не нарушает строгость типизации

decimal (System.Math.Pow(2., 63.)) <> decimal (pown 2UL 63)

decimal (System.Math.Pow(2., 63.)) <> decimal (pown 2UL 63)

Хмм, ты прав, про такой кейс я не подумал

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

decimal (System.Math.Pow(2., 63.)) <> decimal (pown 2UL 63)

Почему не 2.**63. ?

Почему не 2.**63. ?

а разница то?

а разница то?

красивее жи

меньше букв

красивее жи

Имхо опускать нулевую часть дробного числа с любой стороны от точки абсолютно нечитаемо

Формулы никогда нечитаемы

И тем лучше, чем меньше места они занимают

Всем привет! Скажите пожалуйста: почему элементы в массиве mutable, а в списке нет?

Почему не 2.**63. ?

а в некоторый языках .* это будет значит матричное умножение