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

C# умеет в goto (в F# где ВСЁ является выражением встроить императивный переход на выполнение стейтмента явно непросто))) И ещё C# умеет в protected (сделать его очевидно элементарно, но дизайн F# против наследования реализации поэтому protected нет и не будет)

всё остальное (stackallock, nativeptr, unsafe, marshalling, PInvoke, extern) есть в обоих

что умеет C# я знаю :)

C# умеет в goto (в F# где ВСЁ является выражением встроить императивный переход на выполнение стейтмента явно непросто))) И ещё C# умеет в protected (сделать его очевидно элементарно, но дизайн F# против наследования реализации поэтому protected нет и не будет)

Выше либа парсера бинарных данных, все там норм

завтра уже посмотрю

что умеет C# я знаю :)

ну это я к тому что если захочется лоу левел интеропа он есть в F#, но если тебе нужен именно goto, то бида

на сегодня хватит :)

я сомневаюсь что у меня по всей кодовой базе найдётся хотя бы 3 goto, и те в составе switch

а не, есть кейс - retry - 4 штуки на полмиллиона строк в проекте

и один в парсере

текста

и ещё по фшарпу

я так понял, что состояние/модель обновляется либо целиком, либо как минимум значимыми кусками не приведёт ли это к значительным накладным расходам, если надо добавлять в словарь/список в составе модели новые элементы? как в этом случае thread safity обеспечивается?

если в .NET присваивание ссылки - атомарная операция, то замена ссылки на другую ссылку потокобезопасно, но формирование нового объекта - дорогая операция в общем случае

или может структуры в стандартной библиотеке F# заточены под это дело, типа lock-free

я так понял, что состояние/модель обновляется либо целиком, либо как минимум значимыми кусками не приведёт ли это к значительным накладным расходам, если надо добавлять в словарь/список в составе модели новые элементы? как в этом случае thread safity обеспечивается?

если ты работаешь с мутабельным состоянием, магии не случается, тред сейф обеспечивается точно так же в случае с иммутабельным состоянием те же структуры F# реализованы эффективненько чтобы переиспользовать старые элементы препенд к листу F# (добавление в начало) не аллоцирует новый список map и set реализованы через BST поэтому добавление нового элемента добавляет старое дерево как поддерево нового дерева и т.д.

> препенд к листу F# (добавление в начало) не аллоцирует новый список а что со сложностью индексации?

> препенд к листу F# (добавление в начало) не аллоцирует новый список а что со сложностью индексации?

она O(n)

конечно же)

это же линкед лист

то есть списки дороже чем у старшего брата

не

списки у брата (насчёт старшего - спорно) это dynamic array же

я имею в виду List/F# vs List/C#

поэтому в F# он назван подобным образом - ResizeArray

старшего в смысле более древнего

лет на 5

ну, из фишек C# которые перекочевали в F# я могу вспомнить только гетеры/сетеры

всё остальное переезжало в обратном направлении

дженерики, асинк/евейт, всё фп (линк, query/fluent syntax, local functions, tuple deconstructions, var keyword, lambda, whatever)

а насчёт листа в C# - уёбищный нейминг дизайн команды C# давно известен

называть динамический массив Листом - это пять Но назвать map Select'ом - это десять!!!

https://en.wikipedia.org/wiki/Dynamic_array

ну и листы https://en.wikipedia.org/wiki/List_of_data_structures#Lists

даже в джаве до такого не додумались

там он как ArrayList (ну тоже такое себе, но не List же ж)

ну, из фишек C# которые перекочевали в F# я могу вспомнить только гетеры/сетеры

Эвенты

И да, соответствие нормального человеческого односвязного списка (List) в F# - это LinkedList в C# ResizeArray в F# = List в C# Array в F# (кстати он генерик) = Array в C# (Array<T>? не, не слышал)

Эвенты

да, соглашусь. евенты тоже

но вместе с упоротыми делегатами (вместо человеческой типизации функций как first-class citizen) мысль дизайн команды пошла настолько упорото далеко что теперь люди имеют delegate, Action и Func

да, соглашусь. евенты тоже

IDisposable тоже по-сути сахар C#/VB

это скорее воркэкраунд для языков с GC

который необходим

называть динамический массив Листом - это пять Но назвать map Select'ом - это десять!!!

Есть еще 15 - SelectMany - это вообще новый термин от команды. Не bind не flatMap им не подошли ?

Кстати эвенты в F# - IObservable<T> из коробки

И к тому же имеют тип.

А ужас C# - это только бридж.

Ну вот этот query syntax аля SQL он же был придуман сумрачным гением Хейлсберга, я уверен Я не считаю себя спецом в SQL, но неужто там нет множественного возврата чтобы можно было SELECT TABLE?

Прикинь, нету

не построчно, а прям сразу тейбл

Нету

как они там живут

Это ж реляционка - строго сетка

А зачем он там?

вопрос хороший. Ну сахарок)

Там любая выборка и так просто тип сумма

ДЖойны из коробки и оптимизированны - это сразу же и бинд. А таблицу таблиц - это к ораклу с его ООП в SQL

во, точно. RIGHT JOIN мапит один элемент нашей таблицы на много-много элементов правой таблицы Итог конкатенируется в мега таблицу

Не только райт. Любой join по сути бинд.

inner join чот не похож

любой OUTER JOIN похож на бинд, да

Любой. Смотри: CREATE TABLE Master ( Id INT PRIMARY KEY, Name VARCHAR(10)) CREATE TABLE Chield ( MasterId INT, Num INT, Cnt INT, PRIMARY KEY(MasterID, Num), Foreign KEY MaterID References Master(ID)) SELECT * FROM Master INNER JOIN Chield ON Id = MasterId

каждому элементу из таблицы мастер будет поставлен в соответствие 0..1 элемент из чайлда, не?

Не 1..n

Строчек будет столько, сколько в чилде

к каждой добавиться соотвестсвующий мастер.

ненене, иннер джойн - это пересечение. Если строчек столько же сколько в чилде, это (для текущего запроса) будет right join

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

Нересечение - это INSTERSECT

И такой оператор то же есть

Как всё непросто с этим вашим сиквелом.

:D

RIGHT OUTER в случае форайна вернет то же что и иннер

Кстати, с точки зрения функционального программирования - чистая реляционная алгебра очень близка. В отличие от ОРМ

И Ayrat, тебе то уж немного даже стыдно с таким бекграундом, и не sql не разу ?

Да я уже вовсю читаю про джойны!

и пепел сыплю на лысину

Давай, между прочим декларативные языки то же некоторую подвижку к мозгу вносят

И заодно вопрос к сообществу, какого ... F# тайп провайдеры под SQL так уиленно копируют дизайн абсолютно не понятного для фп ОРМ?

Блин, inner join всё же пересечение (конечно же), но я забыл что в присоединяемой таблице может быть более 1 совпадения т.е. не 1..n, а всё же 0..n строк может присоединиться

Не с форайн ключом не может.

Ограничение на несуществование записей в чилд без записи в мастер

Для двух произвольных - может

да, теперь всё встало на свои места. гармония во вселенной восстановлена

но вместе с упоротыми делегатами (вместо человеческой типизации функций как first-class citizen) мысль дизайн команды пошла настолько упорото далеко что теперь люди имеют delegate, Action и Func

Action и Func - тоже делегаты

Action и Func - тоже делегаты

Да, я об этом же.

Теперь есть 3 вида представления функций вместо одного!

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

лет на 5

Первое упоминание об F# 2001 год

называть динамический массив Листом - это пять Но назвать map Select'ом - это десять!!!

И bind SelectMany

И bind SelectMany

Ну bind сложно, можно понять. Но map-то.

Теперь есть 3 вида представления функций вместо одного!

Почему три? Все есть делегат :) Другое дело, что unit и void как обычно в процедурных языках сделаны через двуликий анус

Почему три? Все есть делегат :) Другое дело, что unit и void как обычно в процедурных языках сделаны через двуликий анус

Ну ладно. С сабтайпингом 2 кривых)

Привет!

Привет. Я тут давно, просто старый телефон потерял и зашёл с нового)

там он как ArrayList (ну тоже такое себе, но не List же ж)

Потому что там List — это интерфейс (который обозначает примерно то же самое, рандомный доступ по индексу, но при этом неэффективно реализуется в LinkedList).