не поверишь, не вылезаю. Но там только обсуждения. А планы и черновики где то в другом месте ?

не поверишь, не вылезаю. Но там только обсуждения. А планы и черновики где то в другом месте ?

Нет, там все есть, и планы, и черновики, и код.

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

Про SRTP есть RFC.

И есть пара PR: про методы расширения и про синтаксис.

И это одна из вещей, на которой Дон планирует сосредоточиться к F#5.

По поводу type providers.

> Toby Shaw [2:27 PM] > Here's something that only recently started working, that's quite fun: type MyRecord = { x : int y : string } let mr = { x = 5; y = "hello" } type MyRecordL = Testing.Lens<MyRecord> let inline (^.) x l = (fst l) x printfn "%A" (mr ^. MyRecordL.x) >>> 5

> derive lenses at compile time ? > in this example, a lens is just a tuple of (s -> a) * (s -> a -> s)

F# Weekly #22, 2018 – Released .NET Core 2.1 & F# Friday #fsharp https://sergeytihon.com/2018/06/02/f-weekly-22-2018-released-net-core-2-1-f-friday/

Подскажите, как сделать .fsx файл исполняемым на винде? UPD ( ответ ): Сделать fsi.exe as default for this extension

Подскажите, как сделать .fsx файл исполняемым на винде? UPD ( ответ ): Сделать fsi.exe as default for this extension

Upd ответ или уточнение к вопросу?)

В шелле прописать

Да

А что там с билдерами?

А что там с билдерами?

https://t.me/vshapenko_builders/81

https://t.me/vshapenko_builders/81

Топ мемас.

Спасибо. Я просто поставил Open with fsi.dll

Вообще несколько странное решение, если не секрет, чем не подошел стандартный вариант с отправкой из контекстного меню?

Вообще несколько странное решение, если не секрет, чем не подошел стандартный вариант с отправкой из контекстного меню?

Мне просто хочеться написать ./my.fsx в терминале и запуститься. Что значит отправка из контекстного меню? Это когда клик ПКМ?

Да.

По дефолту есть пункт Run with F# Interactive.

Правда он у меня затерся когда-то при установке VS Code. Задолбался искать решение.

По дефолту есть пункт Run with F# Interactive.

Вот вот, у меня его тоже нет

Вот вот, у меня его тоже нет

В reg есть инфа, как это включить. 26 строка

Кстати ? . Как @vshapenko мне пора тред по тайп классам ?

Чёт у меня новый Rider по полчаса индексирует F#-проект на .NET Core. Кто-нибудь ещё пробовал? Можете подтвердить или опровергнуть?

Кстати ? . Как @vshapenko мне пора тред по тайп классам ?

Лучше расскажи, какие конкретные проблемы ты планируешь решать с помощью тайпклассов.

Да, примеры нужны.

Чёт у меня новый Rider по полчаса индексирует F#-проект на .NET Core. Кто-нибудь ещё пробовал? Можете подтвердить или опровергнуть?

Ладно, не полчаса, а всего 20 минут ~_~

Блин, .net core 2.1 мне сломали код своими спановыми API.

F#-компилятор теперь ругается, что не может понять, какую из перегрузок Path.GetFileName я хочу использовать.

Ахаха

Используй explicit type annotation

F#-компилятор теперь ругается, что не может понять, какую из перегрузок Path.GetFileName я хочу использовать.

https://twitter.com/terrajobst/status/1002599090142605313

https://twitter.com/terrajobst/status/1002599090142605313

А я не понял, что у них там за проблема с Path.Join

И вообще ничего не понял. Был же Path.Combine, почему теперь вдруг Join?

(понятно что типы аргументов другие, но это разве повод?)

(понятно что типы аргументов другие, но это разве повод?)

Вобще логичнее название кмк

@Dolfik, мне очень очень очень нужна либа с проксей и хочу на f#) можешь отревьюить и какой-то итог выдать?)

@Dolfik, мне очень очень очень нужна либа с проксей и хочу на f#) можешь отревьюить и какой-то итог выдать?)

А чо вы ревьювите?

@Dolfik, мне очень очень очень нужна либа с проксей и хочу на f#) можешь отревьюить и какой-то итог выдать?)

Блин, щас совсем со временем плохо

Я хотел так сделать: type ProxyConfig { Address : string, Port : int, Login : string option Password : string option } И добавить это в BotConfig

А чо вы ревьювите?

https://github.com/Dolfik1/Funogram/pull/8

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

Я хотел так сделать: type ProxyConfig { Address : string, Port : int, Login : string option Password : string option } И добавить это в BotConfig

Но тогда надо встраивать прокси либуя а какой прокси хочет пользователь? Sock5 или mtproto?

Кажись, Роман просто зависимость инвертнул?

Кажись, Роман просто зависимость инвертнул?

Точно

Давайте я завтра покурю этот код, мб придумаю покрасивше.

Давайте я завтра покурю этот код, мб придумаю покрасивше.

Давайте

Давайте я завтра покурю этот код, мб придумаю покрасивше.

К

Но смотри, шоб красиво и функционально было

Но смотри, шоб красиво и функционально было

Что бы это ни значило.

https://github.com/Microsoft/visualfsharp/pull/5066#issuecomment-394094784

https://github.com/Microsoft/visualfsharp/pull/5066#issuecomment-394094784

Василий молодец

Да.

[||] is a singleton, no allocations here. - вот это интересный коммент

[||] is a singleton, no allocations here. - вот это интересный коммент

Логично

ну, мне например тяжело осмыслить синглетон, который может быть любого типа)

Нуачо

Привет. Слушайте возобновил свой заход в f#, читаю Влашина про ддд и просто в восторге от алг.типов, но пока не понимаю как они ложатся на персистенс уровень? Даже тот же стандартный пример с полем валидного/невалидного емейла.

Привет. Слушайте возобновил свой заход в f#, читаю Влашина про ддд и просто в восторге от алг.типов, но пока не понимаю как они ложатся на персистенс уровень? Даже тот же стандартный пример с полем валидного/невалидного емейла.

Подозреваю, что тебе просто надо прочесть дальше.

Привет. Слушайте возобновил свой заход в f#, читаю Влашина про ддд и просто в восторге от алг.типов, но пока не понимаю как они ложатся на персистенс уровень? Даже тот же стандартный пример с полем валидного/невалидного емейла.

Они не ложатся в чистом виде, если только не использовать какое-нибуд. KeyValue хранилище, и туда сериализованную сущность не класть. Маперы на персистанс слой нужно отдельно писать

Подозреваю, что тебе просто надо прочесть дальше.

Я полистывал дельше но не нашел такого, возможно проглядел

Они не ложатся в чистом виде, если только не использовать какое-нибуд. KeyValue хранилище, и туда сериализованную сущность не класть. Маперы на персистанс слой нужно отдельно писать

Хм, вроде с монгой тогда должно быть это попроще, спасибо

Насчет перзистенса надо копать в сторону кофри монады.

Насчет перзистенса надо копать в сторону кофри монады.

Фрикомонады?

Чем сейчас пытаюсь заниматься. Вообще создается впечатление, что если монады о функциях, то комонады о данных

Привет. Слушайте возобновил свой заход в f#, читаю Влашина про ддд и просто в восторге от алг.типов, но пока не понимаю как они ложатся на персистенс уровень? Даже тот же стандартный пример с полем валидного/невалидного емейла.

Книжку Влашина про DDD читаешь?

freecomonad

Чем сейчас пытаюсь заниматься. Вообще создается впечатление, что если монады о функциях, то комонады о данных

Примеры в студию

Блин, если про функтор, монойды и монады есть информация пусть на других языках, то про фри и комонады(хотя был пост на хабре) я не нашел доступного для меня материала.

Вась, там теория.. Надо разрулилть ее ?

Ну ссылку на спеку

Почитаю на досуге

https://habr.com/post/358976/

Начал отсюда, когда понял, что ничего не понял ?

Кто-нибудь хочет взять на себя ответственность собрать бирап в ДС? Если кто в Питере сделает, то тоже будет круто)

ДС - это где?

Дефолт сити

Москва то бишь

Вась, возьмемся? Один не потяну ?

Ну можно

http://www.scotlandyardpub.ru/

Как вариант, пиво там реально вкусное

Голосовалку по дате кто то кмеет делать?

Только вот жрать там нечего

Тебе бы только жрать ?

Господа, я бы вас попросил.

Перенести обсуждение из общего чата куда-нибудь.

Ну да, оффтоп

Кстати @gsomix, а почему бы не прикрутить к сайту нашего сообщества что то, что позволит собираться попроще. Было бы удобно. Я могу посодействовать кодом.

Кстати @gsomix, а почему бы не прикрутить к сайту нашего сообщества что то, что позволит собираться попроще. Было бы удобно. Я могу посодействовать кодом.

Я не занимаюсь чатом. @neftedollar

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

Ну т.е. самый треш там будет именно в функции начитки данных

Я там вобще ничего не понял. Пошел копать. И действительно что то забрезжило

Перенести обсуждение из общего чата куда-нибудь.

Сюда https://t.me/joinchat/BIRduxGyVa3aecUfvE2nBQ

Я не совсем понял, зачем там все эти пляски с кофримонадами

Comonad вообще то совсем для меня неизвестная штука