хотя не, не сходится

ты прав, похоже на семантику ref\val

но нафига делать ref 1?

это такой адовый боксинг?

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

это такой адовый боксинг?

Ну типа выдели на стеке единичку, забокси и верни как ссылку

Про использование if ... else if.. вместо swtich ... case... , а также использование binarytree вместо Hash можно мемасик про сверхразум запилить.)

Про использование if ... else if.. вместо swtich ... case... , а также использование binarytree вместо Hash можно мемасик про сверхразум запилить.)

А что не так с if/else?

Ну тут же if/else if как преимущество над switch...case... показывается

А что не так с if/else?

непосредственно с ними всё так, а вот то что они предлагают switch заменить на if/else уже как-то не очень

Обычно именно превосходство в сравнениях языков подразмуевается. Мол, самые классные фичи демонстрируются.

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

непосредственно с ними всё так, а вот то что они предлагают switch заменить на if/else уже как-то не очень

Вот я про это и спрашиваю: нужно ли в языке иметь конструкцию switch, если генерируемый им и if/else код одинаков?

Для поддержки switch/case удобнее по идее

Чисто визуально, хоть и синтаксический сахар

Вот я про это и спрашиваю: нужно ли в языке иметь конструкцию switch, если генерируемый им и if/else код одинаков?

Синтаксический сахар же

просто язык то преподносится как функциональный и как-то наивно ожидается что в качестве замены тривиальному switch нам сразу предложат что-то помощнее а не пачку if-ов

Для поддержки switch/case удобнее по идее

У свитча в среднем получается более объемный код, особенно если там не return

просто язык то преподносится как функциональный и как-то наивно ожидается что в качестве замены тривиальному switch нам сразу предложат что-то помощнее а не пачку if-ов

Да у них даже индексаторов-то нет

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

Ну так-то избыточно. Любой, кто понимает JS и так в курсе, что switch...case... легко переписывается в виде if...else... Так что здесь это выглядит как негативная реклама языка.

Скажу больше

Скорее всего это даже не их язык

А Area9

Кстати, на фото гендерно-расовый шовинизм

> и конечно же Flow (функциональный язык разработанный в недрах компаний Area9 и Ланит-Терком).

Да, скорее всего, Area9 лет 30 назад свой язык запилили, написали на нем пару сотен миллионов строк, и теперь кому-то это надо поддерживать)

http://www.math.spbu.ru/user/ant/all_articles/065_Terekhov_Erlikh_preodolenie_razryva.pdf

Похоже, статья одного из авторов языка

Проблема переводных изданий, она такая, конечно

Насущная была в 70-80х годах

https://haxe.io/wwx/2016/Maxim-Bekhterev/

Вроде оно

Короче, нашлепка над Haxe

В целом похоже на тупик для программистов

Вообще для обсуждения дизайна языков есть отдельный чатик ;)

Я про него ничего не знаю

Но в целом заканчиваем с офтопом, да

@CompilerDev

В основном там все те же лица :)

Вообще для обсуждения дизайна языков есть отдельный чатик ;)

он настолько живой, что удивительно (хоть я там и не понимаю 99% происходящего)

он настолько живой, что удивительно (хоть я там и не понимаю 99% происходящего)

сам в шоке!

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

Вообще для обсуждения дизайна языков есть отдельный чатик ;)

Выглядит как чат любителей стикеров

Выглядит как чат любителей стикеров

Ты в неудачное время зашел :)

Выглядит как чат любителей стикеров

?

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

Идрис-чат это который "зависимые типы в массы"?

да

https://github.com/fsharplang-ru/general/issues/3 Обсуждали?

https://github.com/fsharplang-ru/general/issues/3 Обсуждали?

Я еще не успел внимательно прочитать.

https://github.com/fsharplang-ru/general/issues/3 Обсуждали?

классная тема(вроде как)

Какой интересный пример кода : // Transaction list -> Expense list let rec getExpenses transactions = getExpenses' transactions [] and getExpenses' transactions expenses = match transactions with | [] -> expenses | x :: xs -> match x with | Debit expense -> getExpenses' xs (expense :: expenses) | _ -> getExpenses' xs expenses

type Money = Money of decimal with // Money * Money -> Money static member (+) (Money m1, Money m2) = Money (m1 + m2) static member Zero = Money 0m

Вот это конечно очень круто

Взято отсюда: https://www.demystifyfp.com/fsharp/blog/adding-meaning-to-primitive-types-in-fsharp/

Вот это конечно очень круто

Да, single case DU.

Еще можно повесить на Money аннотацию [<Struct>], тогда будет бесплатная абстракция.

Еще можно повесить на Money аннотацию [<Struct>], тогда будет бесплатная абстракция.

после этого задумался, как это будет реализовано для DU с несколькими кейсами, поскольку наследование для структур неприменимо. В итоге создается 1 структура с полем под каждый кейс и доп. пропертями, только ошибку непонятную выдает, даже ишуй есть https://github.com/Microsoft/visualfsharp/issues/3648#issuecomment-332110419

Еще можно повесить на Money аннотацию [<Struct>], тогда будет бесплатная абстракция.

Поясни

Поясни

DU компилируются в классы, ссылочные типы, они аллоцируются в куче. Если повесить аннотацию [<Struct>], то DU скомпилируется в структуру, value type — аллоцируются на стеке и имеют семантику значений. В случае single case DU аннотация [<Struct>] позволяет избавиться от какого-либо оверхеда, связанного с аллокацией в куче и сборкой мусора.

Поясни

Пояснишь за бесплатные абстракции? :)

DU компилируются в классы, ссылочные типы, они аллоцируются в куче. Если повесить аннотацию [<Struct>], то DU скомпилируется в структуру, value type — аллоцируются на стеке и имеют семантику значений. В случае single case DU аннотация [<Struct>] позволяет избавиться от какого-либо оверхеда, связанного с аллокацией в куче и сборкой мусора.

А как это с бесплатной абстракцией связано? Не очень понял)

Пояснишь за бесплатные абстракции? :)

Типа того

А как это с бесплатной абстракцией связано? Не очень понял)

Ну, она бесплатная == нет оверхеда.

Не задумываешься, у тебя как decimal хранится, так и Money.

Вот я про это и спрашиваю: нужно ли в языке иметь конструкцию switch, если генерируемый им и if/else код одинаков?

Чисто ради расширения кругозора, До добавления недопаттернматчинга в C#, switch в ряде случаев работал на словаре.

кому-нибудь не core\standard приложения приходилось в райдере открывать?

https://twitter.com/panesofglass/status/966363627363160071

кому-нибудь не core\standard приложения приходилось в райдере открывать?

Очень давно, кажется, работало нормально.

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

Не задумываешься, у тебя как decimal хранится, так и Money.

Бесплатная по затратам. Я понял, изначально подумал что есть неучтеная выгода

Какие чудесные примеры! https://github.com/eiriktsarpalis/TypeShape/blob/master/samples/hashcode-staged.fsx

Привет.

Привет)

кому-нибудь не core\standard приложения приходилось в райдере открывать?

Постоянно открываю (C# и F#), всё время всё работает.

Ух. https://github.com/fsharp/fslang-suggestions/issues/647

Ну, это просто абстрактные хотелки, есть штука поважнее. https://github.com/Microsoft/visualfsharp/pull/4368

Ух. https://github.com/fsharp/fslang-suggestions/issues/647

круто, что сам Сайм это предложил. Давно пора

круто, что сам Сайм это предложил. Давно пора

Ага. Правда, это не значит, что он будет пилить.

Ага. Правда, это не значит, что он будет пилить.

зато значит что не будет против)

Привет!

привет всем

Как у тебя с F#?)

изучаю

Круто)

я аман из индия

Hi!

?

я аман из индия

The right would be "Аман из Индии", learn the cases. You should've used the genitive (I think they call it such?) here.