Пожалуй, что да.

Занятно.

@fvnever Если запилят тайппровайдеры, параметризуемые типами, то можно будет билдеры с помощью них комбинировать.

Макросы на тайппровайдерах %)

Получится жутковато, как обычно.

Там у тайппровайдеров есть какие-то серьезные ограничения, вроде того , что они генерируют только типы .net 1.x

Т.е. никаких вам дженериков

Да.

Почему так?

Где-то был пропоузал к f# 4.0, чтобы можно было делать порождать новые тайппровайдеры или что-то типа того

https://github.com/fsharp/fslang-design/blob/master/FSharp-4.0/StaticMethodArgumentsDesignAndSpec.md

Здесь тоже ничего интересного.

Потому что типами не параметризуются.

Ждем реализацию вот этого RFC. https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1023-type-providers-generate-types-from-types.md

Тогда, наверное, и необходимость в генерации дженерик типов уменьшится. Можно будет просто специализированные генерировать.

Как в плюсах. :)

Ждем реализацию вот этого RFC. https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1023-type-providers-generate-types-from-types.md

Можно будет линзы генерить :]

Ага.

https://youtu.be/ISGENChlA4M

Знание хаскеллю необязательно

Знание хаскеллю необязательно

Всем так говорю. :)

Просто показано как прокачать лямбда-исчисление

Любопытно что с добавлением зависимых типов , начнет отваливаться type-inference

Для людей, щупающих акторы , есть же ещё одно решение : orleankka

http://devzen.ru/episode-0092/

Подкаст с разработчиками

там в гостях один из разработчков

Для людей, щупающих акторы , есть же ещё одно решение : orleankka

Там жесткое ограничение на event sourcing, но если нужно хранить только актуальное состояние, то это отличный вариант для акторов, да. Хотя мне все же больше нравится akkling поверх Akka.net

у ведущей бугурт по ходу что люди юзают виндоуз сервера

Там жесткое ограничение на event sourcing, но если нужно хранить только актуальное состояние, то это отличный вариант для акторов, да. Хотя мне все же больше нравится akkling поверх Akka.net

А встроенный F# mailboxprocessor - это вообще так поиграться или где-то можно применить?

Там у ведущей вообще бугурт и на f#

А встроенный F# mailboxprocessor - это вообще так поиграться или где-то можно применить?

Для разрешения concurrency отлично подходит

А встроенный F# mailboxprocessor - это вообще так поиграться или где-то можно применить?

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

http://devzen.ru/episode-0092/

ААА ?, я узнал этот голос “пушат эвенты… нужен скеил”

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

Хотя была ещё мысли у кого-то в бложике о прикручивает к malbox'ам netmq

А ещё потом прикрутить свой supervison

Т.к. во многих акторных системах властвует принцип "let it crash"

Не стоит воспринимать MailboxProcessor, как зачатки акторной системы. Скорее стоит думать о нём как о примитиве синхронизации — типа гибрида мьютекса и рефа.

+1

И, конечно, он не конкурирует с акторными фреймворками. Он даже не пытается на себя брать их задачи.

И, конечно, он не конкурирует с акторными фреймворками. Он даже не пытается на себя брать их задачи.

да-да.

ААА ?, я узнал этот голос “пушат эвенты… нужен скеил”

Все никак не могу посмотреть тот доклад.

Нужно какую-нибудь библиотеку назвать BallOnHill.

Это какой-то профессиональный юмор?

Да.

Это какой-то профессиональный юмор?

Скиньте человеку доклад.

Я тоже все же посмотрю

Предлагаю прикрепить. %)

Пожаааалуйста)

Предлагаю прикрепить. %)

Надо в описание группы добюавить. )

https://www.youtube.com/watch?v=Bn132AtZLhc

Схоронил

На 2:40 где-то.

Все никак не могу посмотреть тот доклад.

Хороший на самом деле доклад, много пищи для размышления дает

Да.

Я еще тот эпичный доклад про FRP и кложуру вспомнил.

Но он просто веселый. :)

Я еще тот эпичный доклад про FRP и кложуру вспомнил.

Ссылку?

https://www.youtube.com/watch?v=R4sTvHXkToQ

https://www.youtube.com/watch?v=R4sTvHXkToQ

А ок, уже видел (меня он бесит, еще и картавый). Какой-то бессвязный набор мыслей, постоянно перепрыгивает с темы на тему.

Кек. :)

Кстати, у fvdays там есть еще видео по F# https://www.youtube.com/watch?v=mOS5qTd7JRY и

Кек. :)

Лучше уж доклады Рич Хики пересмотреть с разных кейноутов. Или Николая Рыжиковы по Clojure, я после них clojure полюбил и даже купил sicp)

Да я так, сам-то только нарезку смотрел.

И про concurrency https://www.youtube.com/watch?v=LLG8_0XtD4o

@neftedollar Гопак!

ERROR: S client not available

@neftedollar Гопак!

что?

@neftedollar Письмо на почту пришло. А там большими буквами написано "ГОПАК". :)

@neftedollar Письмо на почту пришло. А там большими буквами написано "ГОПАК". :)

Исправил

Что исправил? ._.

Это просто шутка была.

Я тут подумал, мб забить пока на .Net Core, и писать на .Net Framework, а запускать под Mono?

@Dolfik Почему?

А потом просто порт сделать, когда всё допилят

Так чего тебе не хватает? :)

@Dolfik Почему?

Очень всё сырое пока

Тулинга нормального нет

Тайп провайдеров нет

Http нет

Боль - есть

@Dolfik Ну, ты хорошее дело делаешь.

Развиваешь .Net Core.

Не бросай! :)

Короче, не знаю)

Http нет

у куда делось?

у куда делось?

Не завезли

В стандартную поставку

Поэтому я и сделал FunHttp

Поэтому я и сделал FunHttp

Что-то я не догоняю, есть же HttpClient

Что-то я не догоняю, есть же HttpClient

Не функциональненько

Не функциональненько

OK, это да (но жить можно)

+ он должен быть reusable, из-за этого очень плохо вписывается в функциональную парадигму

+ он должен быть reusable, из-за этого очень плохо вписывается в функциональную парадигму

да лан, синглтон сделал и погнали ?

@ichi404 Привет!

всем привет

да лан, синглтон сделал и погнали ?

Синглтон тоже не совсем правильно, т.к. HttpClient disposable :D

всем привет

Привет