А ты в free monads что-нибудь понимаешь?

Боюсь что нет. Но в целом понимаю что зачем они нужны, но не совсем понимаю нужно ли настолько далеко заходить чтоб оставлять ф-ции чистыми

Боюсь что нет. Но в целом понимаю что зачем они нужны, но не совсем понимаю нужно ли настолько далеко заходить чтоб оставлять ф-ции чистыми

Это был вопрос не много в сторону, хотел послушать твое мнение. Кстати разве можно ли вообще оставаться "ф-ции чистыми" если не заворачивать IO в монаду? Как ты обычно разделяешь IO и чистые функции?

Это был вопрос не много в сторону, хотел послушать твое мнение. Кстати разве можно ли вообще оставаться "ф-ции чистыми" если не заворачивать IO в монаду? Как ты обычно разделяешь IO и чистые функции?

у тебя IO всегда "грязная" но не IO не обязательно чистая.

Специально никак. Не отделяю. когда-то помечал такие ф-ции IO в имени, но как-то не особо нужно было. Обычно я такие ф-ии еще могу завернуть в Option или в Result монаду в целом так гораздо легче отлаживаться.

Занятно.

let inline f x = printfn "%f" x > val inline f : x: ^a -> unit when ^a : (float|float32|System.Decimal)

let inline f x = printfn "%f" x > val inline f : x: ^a -> unit when ^a : (float|float32|System.Decimal)

ну так да.

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

@neftedollar Угу, и мы не можем сами такой констрейнт прописать руками.

@neftedollar Угу, и мы не можем сами такой констрейнт прописать руками.

а зачем?

@neftedollar Это тот самый пример, за который дают пиво.

Кажется, это он.

Жду подтверждения.

Жду подтверждения.

а, так это загадка.

Да.

Все, это оно.

круто)

он тебе пиво по почте пришлет?

@neftedollar Просто буду писать в резюме "Дон Сайм должен мне пиво".

@neftedollar Просто буду писать в резюме "Дон Сайм должен мне пиво".

=) отличное резюме

а я не нашел у него на msdn этого

он в твиттере небось?

@neftedollar Ну, загадка была в обсуждении на гитхабе.

@neftedollar Ну, загадка была в обсуждении на гитхабе.

ааа

https://github.com/fsharp/fslang-design/issues/170#issuecomment-289012755

xD Don Syme ретвитнул(а) Richard Minerich‏ @rickasaurus 17 ч.17 часов назад Еще RT if you ever worked at a company with a custom in-house programming language Язык твита: английский

https://github.com/fsharp/fslang-design/issues/170#issuecomment-289012755

И все же твиттер )

Самый простой способ отговорить хаскелита от изучения F# -- "no type classes, no HKT". :)

https://github.com/alpaca-lang/alpaca внезапно

https://github.com/alpaca-lang/alpaca внезапно

еще есть Frege

Но Frege для JVM.

Но Frege для JVM.

Ну, я вообще про существование вот таких извращений

Я слышал, в F# Foundation слакочате хотят добавить русскоязычный канал.

Я слышал, в F# Foundation слакочате хотят добавить русскоязычный канал.

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

Вопрос не по адресу.

Вопрос не по адресу.

Я к тому что в СНГ это обречено

У меня, конечно, тоже есть сомнения в этой затее. Рядом же есть живой, хоть и англоязычный, чат.

Мне-то что слак, что телеграм... :)

Но если кому-то из новичков это поможет -- уже хорошо.

Ну да слак что то пошел на спад по популярности( xamarin канал тому пример)

Ну, оба фшарп слакочата активные.

К сожалению только в этом чате по F# сижу. Могу судить по остальным каналам в слаке, ко орые мрут потихоньку

Я кстати и пишу бота (на f#), который будет из нужных каналов слака (в основном с новостями), перекидывать прямо в телеграм.

@angmarr на гитхабе лежит?

@angmarr на гитхабе лежит?

там пока все сыро, но потом может скину ссылку

Окей. А я собираюсь попилить какую-нибудь алгоритмическую хрень. :)

Но если кому-то из новичков это поможет -- уже хорошо.

слак какой-то отстойный

слак какой-то отстойный

приям по ощущениям

Я кстати и пишу бота (на f#), который будет из нужных каналов слака (в основном с новостями), перекидывать прямо в телеграм.

Класс было бы увидеть исходники, пишешь на VSCode под Core?))

Класс было бы увидеть исходники, пишешь на VSCode под Core?))

Да, в VSCode под CoreCLR и прототипчик гоняю в Docker. Не помню говорил ли я, но в VSCode все налаживается: - появилась поддержка fsproj - работает подсветка и code complete для функции/типов в разных файлах Единственный жирны минус что REPL работает под mono и сложно работать в нем со сторонними либами.

В докер автоматом собирается или как ?

Вообще было бы классно рецептом поделиться как настроить деплой и отладку в докер из VSCode

Есть кто еще пользует docker ?

https://www.katacoda.com/courses/dotnet-in-docker/deploying-fsharp-suave-as-docker-container тру инструкция?

Есть кто еще пользует docker ?

Я пользовался, но не знаю как вживую там отлаживаться.

Пользовался для разработки под .Net или вообще?

В докер автоматом собирается или как ?

Нет пока вручную, как сделаю первую версию, то закину ее в docker hub

Вообще было бы классно рецептом поделиться как настроить деплой и отладку в докер из VSCode

Я кстати в докере не отлаживаю, да и зачем если все работает локально. В контейнер уходят финальные артефакты.

Я кстати в докере не отлаживаю, да и зачем если все работает локально. В контейнер уходят финальные артефакты.

Как раз потому что докер это именно та среда где будет работать приложение и удобно отлаживать в самом докере

Как раз потому что докер это именно та среда где будет работать приложение и удобно отлаживать в самом докере

Это да, не спорю (в предыдущем asp net core сайте даже nginx сразу засунул для кэширования статики). Я правда на маке сижу и у меня здоровый оверхед от докер (virtualbox все дела).

Это да, не спорю (в предыдущем asp net core сайте даже nginx сразу засунул для кэширования статики). Я правда на маке сижу и у меня здоровый оверхед от докер (virtualbox все дела).

вот тут винда и линь выигрывают

Завсегдатаи телеграма, подскажите, пожалуйста, есть ли здесь чаты про математику? Ну, или что-нибудь близкое к этому.

Завсегдатаи телеграма, подскажите, пожалуйста, есть ли здесь чаты про математику? Ну, или что-нибудь близкое к этому.

Pro.math

Вообщем покурил тему отдалки в докере. Есть generator-docker для yo который генерит уже всю эту песню под core с отладкой из VSCode. https://carlos.mendible.com/2016/12/11/debug-asp-net-core-on-docker-with-visual-studio-code/

Вообщем покурил тему отдалки в докере. Есть generator-docker для yo который генерит уже всю эту песню под core с отладкой из VSCode. https://carlos.mendible.com/2016/12/11/debug-asp-net-core-on-docker-with-visual-studio-code/

спасибо

Я могу в F# создать экземпляр интерфейса прямо по месту использования (типа как анонимные классы в Java)?

Я могу в F# создать экземпляр интерфейса прямо по месту использования (типа как анонимные классы в Java)?

Да.

Да.

можно пример кода?

let makePrintable(x: int, y: float) = { new IPrintable with member this.Print() = printfn "%d %f" x y } let x3 = makePrintable(1, 2.0) x3.Print()

http://fsharpforfunandprofit.com/posts/object-expressions/

В слэке F# Foundation открылся русскоязычный канал.

ru_general

В слэке F# Foundation открылся русскоязычный канал.

Круто

https://twitter.com/VesaKarvonen/status/846239603627569152

В слэке F# Foundation открылся русскоязычный канал.

Скиньте ссылку на slack или на формочку регистрации в группу.

http://foundation.fsharp.org/join

@angmarr ^ Еще есть годный англоязычный чат про F# вот тут: http://fpchat.com

https://github.com/SpiegelSoft/XamarinForms.Reactive.FSharp/blob/master/README.md что-то как-то жутковато)

Народ, а как правильно избавиться от в этих ворнингов? https://i.gyazo.com/26739a90bc35373745509318b75ecdbc.png

Народ, а как правильно избавиться от в этих ворнингов? https://i.gyazo.com/26739a90bc35373745509318b75ecdbc.png

Используй #ignore

а тексты ворнинга какие?

наверное use предлагает заюзать?

И код ошибки

вот HttpClient наверное просит заюзать use вместо let так как он Disposable ?

warning FS0760: It is recommended that objects supporting the IDisposable interface are created using the syntax 'new Type(ar gs)', rather than 'Type(args)' or 'Type' as a function value representing the constructor, to indicate that resources may be owned by the generated value [/Users/igor/Projects/SlackToTele gramBot/SlackToTelegramBot.fsproj]

вот HttpClient наверное просит заюзать use вместо let так как он Disposable ?

видимо да, проблемы с IDisposable

ну вот - на самом деле дельный совет - сделай use

ну вот - на самом деле дельный совет - сделай use

Зато у меня более общий))

ну вот - на самом деле дельный совет - сделай use

те добавить use client = new HttpClient() и для каждого reader тоже?

ну вот - на самом деле дельный совет - сделай use

Но, да use для Disposable стоит применять всегда

те добавить use client = new HttpClient() и для каждого reader тоже?

Да.

те добавить use client = new HttpClient() и для каждого reader тоже?

Дотнетопроблемы

Да.

А не какого-нибудь компьютеншен-билдера, который закроет все IDisposable которые неявно объявлены внутри него?

а откуда такому компоненту знать когда ты действительно закончил юзать ресурсы?

IDisposable делается для компонент которые работают с чем то вне .NET

подключение к базе данных и все такое

такие ресурсы надо освобождать как можно быстрее