Почему все молчат?

@JetBrainsRider with F# support is out, grab it here https://t.co/CWqLWCuC32 https://twitter.com/kot_2010/status/857591153935470593

Почему все молчат?

Просто нет слов

Что бы не мучиться с закачки с разных урлов, советую поставить https://www.jetbrains.com/toolbox/app/ , с ним просто обновляешь через кнопку Новость: https://blog.jetbrains.com/dotnet/2017/04/27/rider-eap-21-f-support-bundled-tfs-plugin/ Сейчас посмотрим, какие там рефакторинги завезли ?

А есть какой-нибудь официальное/академическое название для таких типов: type Day = | Monday of string | Tuesday | Wednesday что бы оно было общее для haskell/f#/ocaml?

Самое стандартное название - Sum type. ADT - это более общее понятие, туда входят таплы, например

Прочитал до конца и увидел что уже был правильный ответ)

Самое стандартное название - Sum type. ADT - это более общее понятие, туда входят таплы, например

OK, спасибо всем за ответы

Что бы не мучиться с закачки с разных урлов, советую поставить https://www.jetbrains.com/toolbox/app/ , с ним просто обновляешь через кнопку Новость: https://blog.jetbrains.com/dotnet/2017/04/27/rider-eap-21-f-support-bundled-tfs-plugin/ Сейчас посмотрим, какие там рефакторинги завезли ?

Вообще ни одни рефакторинг не работает (не реализовали видим еще), но работают - подсветка, подсказки/автокомплит, отображение сигнатур при наведение. Работает оно на mono, есть шаблоны на консоль и библиотеку.

Кто помнит, как называется функция, разбивающая последовательность на две по фильтру?

mapPartition

List.partition

partition - если разу Choice идёт

И это отлично, становился ближе к нормальны gradle/maven - а не это ужаc из 100500 XML строк

>отлично >maven Ты что? Мавен же кусок дерьма.

>отлично >maven Ты что? Мавен же кусок дерьма.

Я посмотрю, как ты скажешь это в Java чате (ну лично мне он не нравиться, то он популярнее gradle/ant/sbt/bazel)

Там же если какой-то ссаный сервер со ссаным пакетиком протухнет, то ты проект не соберешь.

И будешь сидеть и побираться, потом в 3-ех местах хмл править, чтобы заработало.

В целом негативный опыт использования оного у меня

Java+maven для школьников

Java+maven для школьников

sbt?)

sbt?)

в чем вопрос?

ок, какую альтернативу предлагает @Worldbeater ?)

градл

если из жабомира

с ним всё оч проще

F# + Paket - вот правильный ответ)

Двачну

Прям оч хочется под UWP его

На сон грядущий побеседовал с тов. Бурбаки в чате по F#.

Как красиво сделать main argv + async { }?

Такой забавный чувак, мне нравится его никнейм :)

На сон грядущий побеседовал с тов. Бурбаки в чате по F#.

что говорит? В каком чате?)

В Slack.

Как красиво сделать main argv + async { }?

поясните

Да он чото про code contracts заикался, и я решил ему немножко материалов скинуть.

Но оказалось, что он и без меня примерно всё то же самое знает :)

поясните

Ну let main argv = async { не компилируется

Потому что main должна вернуть int.

Ну let main argv = async { не компилируется

правильно. main возвращает int

правильно. main возвращает int

Я и спрашиваю, как их совместить

А так же, как в C#.

async {} |> Async.RUnSync.. или async.Start в зависимости от того что нужно

Там ты делаешь Task.Run(...).Wait(), а у нас типа async {} |> Async.RunSynchronously

блин, не очень красиво, ну ок

Что поделать!

блин, не очень красиво, ну ок

в C# так же.

в C# так же.

Ну так я с C# и ушел, шоб красиво было

CLR сама по себе не поддерживает этой фичи, и вряд ли будет. Всё, что можно навернуть поверх, будет лишь небольшим слоем синтаксического сахарку.

F# + Paket - вот правильный ответ)

не работает под дотнеткор

не работает под дотнеткор

зато есть mono)

У нас почему-то все аспнет кор, и сайд прожект на упорке тоже клиент хочет аспнеткор с F#

ковыряю Giraffe кстати.

удобный, для петпрожектов отличный)

Я сегодня прковырял один пакет,у меня травма теперь :(

какая?

Психологическая

Я сегодня прковырял один пакет,у меня травма теперь :(

из за шарповых артефактов?

ты про тот где встретил С# код? ))

Угу

Кто-то не умеет в пакеты просто

Ну так я с C# и ушел, шоб красиво было

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

Слишком многословен

Слишком многословен

С# жы

.net много чего дал миру) RX, async await, но если подумать то C# просто в резонансе доносил до других идеи которые выкриквал маленький F#)

что-то меня понесло))

.net много чего дал миру) RX, async await, но если подумать то C# просто в резонансе доносил до других идеи которые выкриквал маленький F#)

Герой невидимого фронта)

Щас под винформс делаю проект, надо было на F# писать :D

Чтобы хрен кто потом подправил

Писал джва года на C#, сейчас ковыряю F# (пока только в связке с WPF). После нескольких дней ковыряния, F кажется очень лаконичнее, понятнее и выразительнее. Если б была возможность пересесть с C# на F#, не задумываясь бы пересел. (а UWP так и не завезли) Нет ну если ковырять C# после Java, первый конечно покажется гораздо удобнее и мощнее. Вроде и похожи языки сильно, а вроде в Java древний мир.

С мое попиши на c#...начнешь на стену лезть от многословности...

С мое попиши на c#...начнешь на стену лезть от многословности...

я с дотнета 1.1 ;)

А я с 1.0

Года с 2002 примерно

Тогда я был молод и писать на c# было уделом хипстеров

А как на f# правильно с бд работать? Или писать репозитории/сервисы и не париться? А то я что-то функциональну не могу себе в голову пропихнуть

Ну я пробую тайп провайдеры сейчас, пока норм заходит

Да я тут с даппером и нет утром сижу

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

Нет кор*

Ну даппер вполне себе маппер

Да я просто ловлю себя на том, что f# у меня c# без скобочек, эх

А я с 1.0

обманул тебя. я когда начал, была версия 1.0 и буквально через полгода 1.1 релизнулась (декабрь 2002 я засел за дотнет) а 1.1 где-то по весне вместе со студией 2003 вышла

Ну понимание как писать приходит с опытом

Надо еще мыслить в других категориях

Про себя могу сказать, что f# сильно продвинул меня в написании поддерживаемого c# кода

Есть такое, меньше изменяемого состояния

Хоть и писал на c# полтора проекта

А как на f# правильно с бд работать? Или писать репозитории/сервисы и не париться? А то я что-то функциональну не могу себе в голову пропихнуть

Вполне

Да я просто ловлю себя на том, что f# у меня c# без скобочек, эх

Ещё с пайпами

)))

Ага

А как на f# правильно с бд работать? Или писать репозитории/сервисы и не париться? А то я что-то функциональну не могу себе в голову пропихнуть

Здесь у тебя есть выбор: либо можешь использовать ORM из мира C#, либо можешь конструировать штуки на основе type providers.

Чуваки, а кто-нибудь знает, как правильно выразить static property constraint? Я сейчас попробовал вот так: > let inline maxValue () = (^t : (static member MaxValue : ^t));; stdin(4,61): error FS0010: Unexpected symbol ')' in binding И вот так компилируется, но не работает: > let inline maxValue () = (^t : (static member MaxValue : ^t) ());; val inline maxValue : unit -> ^t when ^t : (static member get_MaxValue : -> ^t) > maxValue<int>();; stdin(3,1): error FS0001: The type 'int' does not support the operator 'get_MaxValue'

@gsomix я знаю, что ты умеешь в эти штуки!

Мне начинает казаться, что на статические проперти вообще нельзя констрейнт :(

А, лол, MaxValue это не свойство, а константа :(

А вот как реализовано в FsControl, очень интересно: https://github.com/gusty/FsControl/blob/7c26f64e4519f17f276698e02973ddb4db4919dc/FsControl.Core/Numeric.fs#L444-L466

Особенно меня заинтересовала вот эта вот фишечка let inline call_2 (a:^a, b:^b) = ((^a or ^b) : (static member MinValue: _*_ -> _) b, a)

Я даже не знал, что так можно писать — (^a or ^b) : .... Поразительно.

Здесь у тебя есть выбор: либо можешь использовать ORM из мира C#, либо можешь конструировать штуки на основе type providers.

Да я скорее про "функциональщину". На стеке один человек советовал писать через computation expressions.