А вот про то, как работают команды C# и CLR, было бы интересно послушать.

https://github.com/fsharp/fslang-suggestions/issues?q=is%3Aissue+is%3Aopen+sort%3Areactions-%2B1-desc

По шарпу, который C. так же

Первое место в топе

Ivan Да, ты опечатался в прошлом сообщении: тайпклассы, а не GADT.

Они живут вместе ?

Ivan Нет, Сайм не пришел "к решению, что что то делать надо".

Тайпы просто первый шаг

Вот и интересно, а что там внутри. Дело в том, что я ДЕЙСТВИТЕЛЬНО считаю, что дозревание до этого уже произошло. Прошку прощения, но то что у меня например, в окружении не все пониманют, как и почему, но почти все сильные пытаются изобразить именно это - SRP и т.д. Видели вы бы, как это иногда уродливо получается, но ползут.. Без теории, на одной практике

Сейчас, на мой взгляд, действительно тот момент, когда, если всем постараться, в том числе и нам, FSharp можно превратить как минимум в Скалу ? для дот нет. А то и сильнее и лучше ударить

Нет, спасибо.

А что не нравиться?

Мне нравится то, как Сайм проектирует язык и расставляет приоритеты.

А мне нравиться , как он мечтает ?

https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-282455245

Он нам не верит

Что мы справимся

И правильно делает.

Less is more.

Less is nothing

Если интересно, как могли бы быть реализованы тайпклассы, то есть работа "Classes for the Masses".

Я читал, а Дон нарисовал прототип

За ночь

Не он один, не за ночь.

Ну втроем, ну за сутки. Я пока так не умею, но ведь можно, почему не дать возможность. Пусть не все смогут использовать. Но и computation expression пишут единицы, а пользуются многие

Тут ведь дело не в обязательности, а в возможности

Почему? Потому что в C# реализуют иначе, и придется все ломать ради интеропа.

Например.

Ага. Смотри на Hopac

А в C#, я надеюсь, не реализуют.

Если бы не интероп, можно было бы Task's выкидывать.

В С# и так нагадилм, как Андерс ушел

что плохого в тасках

Все

то в шарпчат вкатывались какие-то ниасиляльщики

и критиковали

Там хорошего нет

.ConfigureAwait(false)

Кстати в фишарпе есть асинк/авайты?

Кстати в фишарпе есть асинк/авайты?

как в сш нет

есть по-другому

@DarkByte2016 в C# жалкое подобие того, что есть в F#

Сравни даже с Async. А нам конкурировать с Go b Rust

https://github.com/Hopac/Hopac

А они уже сейчас выигрываю на коротких

че за оператор »-

bind

там ещё кастомные можно лепить

че за оператор »-

map

>>= - bind >>- - map

кстати, какие мнения по поводу кастомных операторов в F#? стоит лепить в проекты или нет?

сигнатура: M<'x> -> ('x -> M<'y>) -> M<'y>

я не знал что для этих функций есть операторы... или это не дефолтные?

@Worldbeater Не стоит.

Это не дефолтные, к сожалению

Но стандартизацию хотелось бы

Это не дефолтные, к сожалению

Вот что и шумлю

@Worldbeater Не стоит.

что, совсем? или есть какие-либо случаи, в которых можно?

@sergey_tihon Есть какая нибудь инсайдерская информация о РЕАЛЬНО планируемых изменениях в C#, F#. Все ж вы там вроде поближе ?

Вот это примерно план что будет происходить в ближайшее время https://github.com/Microsoft/visualfsharp/issues/2400 я не думаю что стоит ждать сурвпризов из неоткуда скорее всего будет движ тут http://fsharp.github.io/2014/06/18/fsharp-contributions.html чтобы уменьшить оверхед и кол-во репов, и чтобы все что супортает разные IDE правили все в одном месте а не свои форки в немного более далекой перспективе можно будет улучшен F# для ML

типа там если очевидно, что он делает. типа ||||||||||||>

@Worldbeater Исходи из того, что каждый кастомный оператор усложняет поддержку.

@sergey_tihon То есть пока интструментарий в основном?

Ну, и оценивай, стоит или нет.

типа там если очевидно, что он делает. типа ||||||||||||>

Очевидно - оно для всех по-разному. Вон в скале в <|*|> не смогли определение найти, перешли на Go

Итог - имеем тихий Rust, с нативной компиляцией, тайп классами, без ADT, но офигенным async фремворкомю

Правда и с неслабым порогом входа

ERROR: S client not available

Или ПОЛНОСТЬЮ монадный GO. Там вообще все на монадах. Их просто спрятали

А я сейчас вместе с командой пытаюсь победить Task Pool,потому что кто то решил что подъем новой нити - это 500мс

И вся проблема - в том, что писать на C# в многопоточке надо уметь.. F ult rflhs&

А где кадры:

Rx / Tpl, не?

Ivan я думаю что да, что и как появится в языке решает Дон (он в MSR) и тут все делается в открытую через RFC (чтобы не напортачить ;) ) ребята из MS же (которых 1.5 + манагер) работают над тулингом и чтобы F# супортал то что в MS происходит (раньше это было облако, теперь .net core & standard, часть ранода еще прост UWP apps, супорт .net native) им этого надолго хватит, тем более из все никто особо не поможет им

Кстати, по UWP аппсам ничего не слышно? Всё также в процессе, как и год назад?

Чем помочь можно? Дело в том, что впрямую брать таски из github стремно, все ж компилятор не мой. Если б кто порулили, я думаю можно было бы что то и нам потянуть

я не слышал, даже чтобы кто-то смотрел. на этом билде сказали что UWP просупортают .net standard 2.0 может это как-то порешает проблему)

Ivan Берешь и пишешь код.

Кажется, это самое нужное. :)

А с UWP проблема какая? Расскажите, я просто совсем не в курсе. Мне было предложено однажды писать Native Windows App на F#, я всё же выбрал C# и вроде не прогадал. Хоть в ReactiveUI ReactiveCommand реализовано ниочинь, но писать и использовать можно

А с UWP проблема какая? Расскажите, я просто совсем не в курсе. Мне было предложено однажды писать Native Windows App на F#, я всё же выбрал C# и вроде не прогадал. Хоть в ReactiveUI ReactiveCommand реализовано ниочинь, но писать и использовать можно

Так там же F# в .NET Native не может собраться.

Не завезли перегонялку

Беру и пишу. Что?? Код я писать умею. А компилятор тяжелый, реально. Много тяжелей С#

Ну я не про .NET нэйтив, я про WPF больше

А. С WPF всё норм, писал, в целом впечатления приятные.

Оно с F# живёт при желании, но проще на C# написать.

WPF похоже не в тренде

Ivan Ну, или закрывать ишшуи в visualfsharp, или реализовывать RFC.

Я там назакрываю ?

Ну если надо Windows 7+ поддержку, то вариантов кроме WPF не много

Оно с F# живёт при желании, но проще на C# написать.

Ну хз насколько проще. Там только в начале пришлось брейкденснуть с бубном, добавить ссылки нужные и неймспейсы в ксамл. А дальше привыкаешь и как по маслу

Ivan Чуваки берут и пишут. Сам не знаю, как у них получается. :)

Только с мутабельными коллекциями туго было, которые интерфейс обновлять должны

Ну хз насколько проще. Там только в начале пришлось брейкденснуть с бубном, добавить ссылки нужные и неймспейсы в ксамл. А дальше привыкаешь и как по маслу

https://github.com/ReedCopsey/Gjallarhorn - есть вот такое, но я так и не попробовал

А. Ну и там еще принудительный MVVM, никакого вам код-бихайнда.

Ivan Чуваки берут и пишут. Сам не знаю, как у них получается. :)

Посмотри кто. И сколько уже пишут. Я тут три дня только процес билда понять пытался, и то не до конца понял. Док нет. Тут руководство знающее нужно и прямой фас

Ivan Можно спросить у тех, кто пишет.

В слэке, например.

https://github.com/ReedCopsey/Gjallarhorn - есть вот такое, но я так и не попробовал

Хмм. Спасибо, попробую завести, если задачи на впф появятся!

Я не рискнул, не смотря на то, что Reed Copsey more than open to any collaboration