А какие у него ручки есть? Я помню только сервермод и всё.

Одной хватает)

Лол

У JVM ты можешь куда больше вещей настроить - сколько ты хочешь отдать памяти, какие пиковые нагрузки, сколько процентов должно быть занято и т.п. Это важно для оптимизаций под конкретную нагрузку. ГЦ, который пытается услужить всем, всегда будет хуже настроенного и оттюненного ГЦ.

Так что ручки нужны, я считаю. И их нам добавят.

Просто gc.cpp уже никто не может прочитать, так что пришлось внедрять проект по его полной замене, и только потом уже делать ручки :)

Так что ручки нужны, я считаю. И их нам добавят.

Нуок. Но если хайлоа и без этого пишется, то отсутствие ручек у ГЦ это ну даже не минус)

Но, да, было бы не плохо, согласен

Нуок. Но если хайлоа и без этого пишется, то отсутствие ручек у ГЦ это ну даже не минус)

А вот не пишется. Нам для hlcup бы тогда пара ручек тоже не помешала!

А вот не пишется. Нам для hlcup бы тогда пара ручек тоже не помешала!

Да, помню.

Метрики нагрузки тоже, конечно, анализировать надо уметь. То есть это не только вопрос ручек, но и вопрос профилировщиков, и навыков разработчика тоже. Но ручки бы пригодились.

Метрики нагрузки тоже, конечно, анализировать надо уметь. То есть это не только вопрос ручек, но и вопрос профилировщиков, и навыков разработчика тоже. Но ручки бы пригодились.

Я думаю у нас ручки ещё и value и referense типы

В джаве без этого хуже, поэтому там ручки и нужнее

Я думаю у нас ручки ещё и value и referense типы

Да, это один из факторов. Но не самый важный, наверное. У джавы, например, куда более развитой escape analysis, который умеет превращать reftype в value type в горячих методах.

Для массивов не сработает, но для мест, где хочется микрооптимизировать — вполне.

Но это, безусловно, важно, если ты собираешься портировать ГЦ из жавы. Его придётся перетюнивать под наши профили нагрузки, которые от жавошных отличаются.

В целом, можно написать тип с opExplicit

Только что то не совчем он потом в Rider работает, в студии не видно

Проектов уровня Graal под CLI пока нету, но некоторые вещи уже начали осторожно делать

Nitra

Кстати посмотрите на новый флаг в .NET Core 2.1. Кажется RyU Git теперь держит двухстадийную компиляцию

*RyuJIT

Всем привет Еще такой вопрос, возможно ли как то привести вложенный union case к более абстактному? Типо у меня что то такое type Something = A and A = | B of C | ... and C = | D of string * obj | ... Можно как то привести D к A чтобы компилятор не ругался?

A.B.D по идее

Всем привет Еще такой вопрос, возможно ли как то привести вложенный union case к более абстактному? Типо у меня что то такое type Something = A and A = | B of C | ... and C = | D of string * obj | ... Можно как то привести D к A чтобы компилятор не ругался?

Если ты про implicit каст в рамках F#, то нет.

*RyuJIT

sps

Привет.

Здравствуйте! Есть ли синтаксический сахар для кoмбинирoвания двух и бoлее Option? Чтoбы, например, на выхoд пoлучить какoй-нибудь 'T option * 'U option вместo: match firstOption with | Some first -> match first.Next with | Some next -> invoke first next | None -> () | None -> () Есть Option.bind (fun first -> first.Next), нo нужнo вернуть и first, и next как-нибудь красивo.

Hi, как дела?

Здравствуйте! Есть ли синтаксический сахар для кoмбинирoвания двух и бoлее Option? Чтoбы, например, на выхoд пoлучить какoй-нибудь 'T option * 'U option вместo: match firstOption with | Some first -> match first.Next with | Some next -> invoke first next | None -> () | None -> () Есть Option.bind (fun first -> first.Next), нo нужнo вернуть и first, и next как-нибудь красивo.

Maybe monad

Не хочу писать слово, которое я часто употребляю

Hi, как дела?

? Привет!

У Влашина почитай

Maybe monad

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

Здравствуйте! Есть ли синтаксический сахар для кoмбинирoвания двух и бoлее Option? Чтoбы, например, на выхoд пoлучить какoй-нибудь 'T option * 'U option вместo: match firstOption with | Some first -> match first.Next with | Some next -> invoke first next | None -> () | None -> () Есть Option.bind (fun first -> first.Next), нo нужнo вернуть и first, и next как-нибудь красивo.

Непонятно.

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

Возьми из FSharpx.Extras

@sergey_tihon Кажется, здесь нужна твоя помощь. https://github.com/fsprojects/FSharpx.Extras/pull/360#issuecomment-388575151

Здравствуйте! Есть ли синтаксический сахар для кoмбинирoвания двух и бoлее Option? Чтoбы, например, на выхoд пoлучить какoй-нибудь 'T option * 'U option вместo: match firstOption with | Some first -> match first.Next with | Some next -> invoke first next | None -> () | None -> () Есть Option.bind (fun first -> first.Next), нo нужнo вернуть и first, и next как-нибудь красивo.

let foobar (firstOpt:First option): (First*Next) option = maybe { let! first = firstOpt let! next = first.Next return first, next }

let foobar (firstOpt:First option): (First*Next) option = maybe { let! first = firstOpt let! next = first.Next return first, next }

Красивo. Именнo тo, чтo нужнo! Спасибo. Нужен был прoстo дoступ сразу к двум значениям без oгрoмнoй влoженнoсти. Через maybe { } гoраздo приятнее с Option рабoтать :P

Ещё есть defaultArg

И Option.bind

Без всяких сторонних библиотек

И Option.bind

Некрасиво.

Кстати, вопрос про кортежи

Некрасиво.

Можно ли мечтать о тайпклассах в F#, или лучше смириться?

Если кортеж из трёх элементов,что вернёт snd

Можно ли мечтать о тайпклассах в F#, или лучше смириться?

А причем здесь тайпклассы?

Просто спросил

Тайпклассы - это красиво

Спросил он просто

Тут должна быть картинка из Простоквашино

Если кортеж из трёх элементов,что вернёт snd

Ошибку компиляции.

Просто спросил

Какие проблемы тебе нужно решить?

Ошибку компиляции.

Печаль. Было бы красиво, если бы возвращал оставшийся кортеж

Какие проблемы тебе нужно решить?

Отсутсвие полиморфного map, bind

Отсутсвие полиморфного map, bind

https://github.com/fsprojects/FSharpPlus

Для стандартных типов и своих собственных проблема решается.

https://github.com/fsprojects/FSharpPlus

? ничего себе

В F#5, когда починят SRTP, можно будет и для чужих типов решить.

Но тайпклассы не планируются.

@gsomix, а OptionBuilder обычно сами пишут или есть какой-то пакет, который можно установить?

@gsomix, а OptionBuilder обычно сами пишут или есть какой-то пакет, который можно установить?

FSharp.Extras и ExtCore. Но, кажется, их до сих пор не запаковали под нетстандарт. :(

FSharp.Extras и ExtCore. Но, кажется, их до сих пор не запаковали под нетстандарт. :(

Вот в FSharp.Extras он только в тестах поиском по исходникам находится.

Вот в FSharp.Extras он только в тестах поиском по исходникам находится.

https://github.com/fsprojects/FSharpx.Extras/blob/master/src/FSharpx.Extras/ComputationExpressions/Monad.fs#L91

https://github.com/fsprojects/FSharpx.Extras/blob/master/src/FSharpx.Extras/ComputationExpressions/Monad.fs#L91

Ого, спасибо! ❤

FSharp.Extras и ExtCore. Но, кажется, их до сих пор не запаковали под нетстандарт. :(

FSharp.Extras уже портировали, надо только перепубликовать.

FSharp.Extras уже портировали, надо только перепубликовать.

Да, я в курсе. Выше написал Сергею о проблеме.

https://github.com/jack-pappas/ExtCore/blob/42d629bc434248f77c2a8fc663b92167079d071f/ExtCore/Control.fs А ExtCore с .NET Core таки сoвместим, вариант испoльзoвать.

@sergey_tihon Кажется, здесь нужна твоя помощь. https://github.com/fsprojects/FSharpx.Extras/pull/360#issuecomment-388575151

спасибо, написал Дону чтобы он пошарил со мной новый пароль от fsprojects NuGet account если пришлет то помогу =)

Ура1

?

> dsyme > Please do use the pre-releases of F# 4.5 that you'll be seeing coming out (or even just the nightlies) as EARLY as possible, and give feedback as EARLY as possible. The cost to fix a problem or make a design adjustment goes from "low" to "infinity" over the next few weeks.... ?

А что там нового?

Спаны.

Стратегические изменения, в общем

И всякая мелочевка. https://github.com/Microsoft/visualfsharp/pulls?q=is%3Apr+label%3A%22Candidate+for+F%23+4.5%22+is%3Aclosed

Но спаны — это топ.

Анонимные записи, кажется, в F#5 переезжают.

Но спаны — это топ.

Это которые из C#, для низкоровневого программирования?

Для перфоманса.

А что, можно в фшарп проекте иметь c# файлы?

Нет.

Обидно. Первый раз F# в догоняющих. И без опережающих фич.. Я о 5

Нет.

Мне сгенерило C# контроллер в f# asp.net проекте. Меня смутило, что это билдится, имеет подсветку и интеллисенс

Анонимные записи, кажется, в F#5 переезжают.

Это, их разница с c# анонимными объектами в том, что они не локальны для функции? В плане их можно будет из неё вернуть, в f#?

Можно

Мне сгенерило C# контроллер в f# asp.net проекте. Меня смутило, что это билдится, имеет подсветку и интеллисенс

Это как вообще?

Я в студии нажал на Add Controller. И появился .cs файлик. Он то не включается в сборку, но подсветочку имеет

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

Ахахахахахах

Ахахахахахах

Смеёшься над билдерами?

Обидно. Первый раз F# в догоняющих. И без опережающих фич.. Я о 5

Видимо это выгодная позиция. Раз с# на ней так развился)

Смеёшься над билдерами?

Да

Видимо это выгодная позиция. Раз с# на ней так развился)

Особенно учитываю сравнительную популярность.. Надо бы хотя бы srtp до нормального синтаксиса поднять. А то вообще пользоваться сложно.

Особенно учитываю сравнительную популярность.. Надо бы хотя бы srtp до нормального синтаксиса поднять. А то вообще пользоваться сложно.

F#5

Нужно старые сложные фичи до ума довести сначала: SRTP, TP, quotations.

SRTP - это в общем то и есть тайпклассы. TP + Quotation - метапрограммирование. Если до ума доводить - получится что то. Но ведь в планах этого соответсвия нет..

SRTP - это в общем то и есть тайпклассы. TP + Quotation - метапрограммирование. Если до ума доводить - получится что то. Но ведь в планах этого соответсвия нет..

Все есть в планах.

А где почитать?