Коллеги,а можно ли из мейлбокса отправить сообщение в этот же мейлбокс?

Коллеги,а можно ли из мейлбокса отправить сообщение в этот же мейлбокс?

ссылку на него передай и можно

если без ответа только

но зачем тебе если ты можешь явно вызвать loopFunc?

Ну мне же не стейт надо,а сообщение в него

Ну мне же не стейт надо,а сообщение в него

так ты дедлок сделаешь

так ты дедлок сделаешь

Ну надо проверить будет, конечно.

Ща пишу код и наслаждаюсь скоростью имплементации нового функционала

Часы вместо дней

Я правильно понял, что Rx.NET вшили в стандартную библиотеку f# ?

Тут IObservable есть. И события автоматически IObservable

Тут IObservable есть. И события автоматически IObservable

Нет

Они там были изначально

Я просто не могу уловить связь между Rx и встоеным функционалом

Я просто не могу уловить связь между Rx и встоеным функционалом

Observable есть в стандартной библиотеке .net (не только в F#) если мне не изменяет память, поверх этих интерфейсов уже сделали Rx

связи и нет

Тут столько функций уже идет из коробки. Актуален ли Rx в F#?

Тут столько функций уже идет из коробки. Актуален ли Rx в F#?

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

Тут столько функций уже идет из коробки. Актуален ли Rx в F#?

Посмотри, хватает ли коробки. Если нет, надо Rx подключать

Коллеги,а можно ли из мейлбокса отправить сообщение в этот же мейлбокс?

можно и не передавать ссылку, в функции-обработчике inbox'у можно сделать Post

ReasonDojo 27 Мая в воскресенье в СПб и Москве СПб: https://reasonml.timepad.ru/event/728903/ Москва: https://reason.timepad.ru/event/727210/ Мест не много, потому что менторов мало. Если готовы поменторить в СПб – пишите @andreypopp в личку, в Москве – @rustykey.

Как называется такой синтаксис? let foo = function | Some x -> 42 | None -> 0Это сахар для match arg with.. ?

Как называется такой синтаксис? let foo = function | Some x -> 42 | None -> 0Это сахар для match arg with.. ?

Да, сахар.

это ж лямбда, да, она больше ПМ-а позволяет чем та лямбда, которая fun

pattern-matching function в спеке называется

Коллеги, я же верно понимаю, что провайдеры типов не могут объявлять размеченные объединения? И если это так, то никто случаем не в курсе есть ли планы это дело исправлять?

Что такое размеченные объединения?

Что такое размеченные объединения?

DU

Омфг

Скорее всего не могут, да

Там плейн типы

А по моему могут. В xsd tp вроде были типы IntOrString

Или в xml tp

Коллеги, я же верно понимаю, что провайдеры типов не могут объявлять размеченные объединения? И если это так, то никто случаем не в курсе есть ли планы это дело исправлять?

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

У меня такая гипотеза: для настоящего DU нужен не только код в сборке, но и метаинформация, которая, как известно, в F#-сборках идёт отдельным блобчиком. Отсюда следует, что проблема заключается в том, что 1) Type Provider SDK не умеет вообще генерировать F#-specific метаинформацию для сгенерированных типов, нету в нём такого API 2) даже если б TPSDK это умел делать (мы запросто можем это туда засунуть) — компилятор F# эту информацию не умеет потреблять. А ведь он при построении итогового кода должен прочитать сборку из TPSDK, распарсить её и смержить с настоящим кодом. Чтение и мержинг метаинформации там, кажется, не реализованы.

Можно придумать какие-нибудь ad-hoc решения чисто для DU (кодировать в сгенерированной сборке такие типы атрибутом, на выходе разбирать компилятором), ну или сразу выкатывать полноценное решение с чтением, парсингом и мержингом метаинформации.

Второй пункт вызывает много вопросов. Если компилятор не потребляет эту мечту, то кому она ещё нужна?

Он её не потребляет только из сборок, продуцируемых TPSDK

Он её потребляет для обычных референсов

А с TPSDK там примерно такой пайплайн: тайп-провайдер генерирует сборку и сохраняет её на диск. А компилятор её хавает, парсит, вшивает в остальной код (в настоящую выходную сборку), а сборку из провайдера удаляет

Учитывайте, что моё понимание может быть неполным или ошибочным, больно уж хитро там всё.

А с TPSDK там примерно такой пайплайн: тайп-провайдер генерирует сборку и сохраняет её на диск. А компилятор её хавает, парсит, вшивает в остальной код (в настоящую выходную сборку), а сборку из провайдера удаляет

↑ тут есть ещё такая особенность: тайп-провайдеры изначально планировались как механизм для потребления типов из обычных языков типа C#, а вовсе не для F#-кода. Поэтому метаинформация не учитывается, и поэтому всё кажется таким странным. Механизм был переоборудован в древние времена, и потому смотрится так чужеродно.

Привет?

Доброе утро. https://github.com/Microsoft/visualfsharp/pull/4971

tl;dr Починили перфоманс автокомплита для большого количества перегрузок.

Доброе утро. https://github.com/Microsoft/visualfsharp/pull/4971

Доброго, тулинг это хорошо

> dsyme > Yes, the code was written on the assumption to the 20 overloads of the same name found in WriteLine and friends was at the upper end of what we would see. That was 2006.

?

Привет.

Привет.

Привет. Тут можно задавать очень глупые и абстрактные вопросы?

Привет. Тут можно задавать очень глупые и абстрактные вопросы?

Про F#? Конечно.

Привет. Тут можно задавать очень глупые и абстрактные вопросы?

довольно абстрактный вопрос

У меня больше вопрос по теме C# vs F# (не срача ради). Если стоит абстрактная задача написать транслятор с чего-либо на что-либо, то что удобней использовать из двух языков?

У меня больше вопрос по теме C# vs F# (не срача ради). Если стоит абстрактная задача написать транслятор с чего-либо на что-либо, то что удобней использовать из двух языков?

Нужно больше конкретики

У меня больше вопрос по теме C# vs F# (не срача ради). Если стоит абстрактная задача написать транслятор с чего-либо на что-либо, то что удобней использовать из двух языков?

Уточни хотябы что именно транслируется

Ну вот я сейчас работаю с Expression Trees в c# чтобы перегонять linq запросы в sql clickhouse'a. И вот чёт как-то муторно получается. Вот стало интересно, может на F# подобное можно делать как-то проще?

Ну вот я сейчас работаю с Expression Trees в c# чтобы перегонять linq запросы в sql clickhouse'a. И вот чёт как-то муторно получается. Вот стало интересно, может на F# подобное можно делать как-то проще?

В F# есть расширяемый pattern matching: пожалуй, обход деревьев выражений будет повеселее писать.

http://langexplr.blogspot.ru/2007/05/using-f-active-patterns-with-linq.html

Понятно. Буду ковырять тогда F#

Спрашивай, если будет что-то непонятно. :)

На мой взгляд F# в любом случае стоит того, чтобы его поковырять)

В F# есть расширяемый pattern matching: пожалуй, обход деревьев выражений будет повеселее писать.

Он удобен в качестве точки объединения абсолютно разных типов, но если у нас дерево и все узлы наследуются от какого-нибудь NodeBase, то обычное наследование с переопределением метода будет возможно даже удобнее благодаря модульности

Он удобен в качестве точки объединения абсолютно разных типов, но если у нас дерево и все узлы наследуются от какого-нибудь NodeBase, то обычное наследование с переопределением метода будет возможно даже удобнее благодаря модульности

Даже в этом случае можно написать активных шаблонов, чтобы держать обработчики вместе.

Даже в этом случае можно написать активных шаблонов, чтобы держать обработчики вместе.

Не понял, обработчики вместе с чем?

Все обработчики в одном месте?

Все обработчики в одном месте?

Да, сгруппированно.

Это ж наоборот дичь-с

?

Логично держать вместе все, что касается одной ноды

Добавляешь новую - не надо трогать код обработки

О, привет дуальность классов/наследования и АТД в expression problem.

это expression problem, господа

ой :)

Добавляешь новую - не надо трогать код обработки

Зависит от того, множество различных нод открытое или закрытое.

О, интересно, у этой штуки есть название?

Киньте ссылочку если есть толковая статья по этой теме

Секунду.

https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/

Можно тут запостить f# релевантную вакансию?

Я исхожу из того, что обычно множество разных узлов в AST закрытое. Поэтому удобно описывается ADT (или даже GADT) и обрабатывается через pattern matching.

Можно тут запостить f# релевантную вакансию?

Давай. И @microsoftstackjobs еще можно. :)

Вакансия Junior Программист C#/F# в Москве https://hh.ru/vacancy/25993694

До 140к после вычета :D

И не только джуны нужны

На F# у нас не всё, лишь часть, 10%

Но проекты всё свежие и развивающиеся

Круто

Ну такое, F# там в только в "приветствуется" (а в итоге требуется c#)

Вот тут подробнее я как-то составлял чем занимаемся, чем на сайте написано

Ну такое, F# там в только в "приветствуется" (а в итоге требуется c#)

Так это в общем-то везде. Чистых F# не будет пока.

Ну пересадить на f# у меня не удалось всех

Но часть проектов на нём согласованно написано

Но и тот же c# у нас фп-ориентированный

Там где это нужно)