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

Я с помощью f# пытаюсь решать другие задачи. Но знаний не хватает :(

И документации вменяемой

А почему в итоге обратил?(можно на ты, да?)

Некоторое: type ``Причины`` = | ``Изучать новые языки программирования полезно`` | ``Легко вошел`` | ``Net`` | ``Mono`` | ``Мертвая WP`` | ``Асинхронность`` | ``Ленивость`` | ``Знакомый говорит: "Есть SCALA и другие ЯП"``

Так получилось, что я всю жизнь работаю не в околонаучной среде, и все эти свертки тензоров от меня бесконечно далеки

Так получилось, что я всю жизнь работаю не в околонаучной среде, и все эти свертки тензоров от меня бесконечно далеки

Ты одномерные тензоры сворачиваешь каждый день

Некоторое: type ``Причины`` = | ``Изучать новые языки программирования полезно`` | ``Легко вошел`` | ``Net`` | ``Mono`` | ``Мертвая WP`` | ``Асинхронность`` | ``Ленивость`` | ``Знакомый говорит: "Есть SCALA и другие ЯП"``

Понятно

Некоторое: type ``Причины`` = | ``Изучать новые языки программирования полезно`` | ``Легко вошел`` | ``Net`` | ``Mono`` | ``Мертвая WP`` | ``Асинхронность`` | ``Ленивость`` | ``Знакомый говорит: "Есть SCALA и другие ЯП"``

И как? Нравится?)

Я с помощью f# пытаюсь решать другие задачи. Но знаний не хватает :(

Для этого и мы тут)

И как? Нравится?)

Чатик нравится

И документации вменяемой

И для этого. Каких док не хватает?

Чатик нравится

Круто, а ЯП?)

И для этого. Каких док не хватает?

Ну начинаю я, например, изучать computation expressions. Документации по ним вменяемой - в общем-то, только Влашин

Ну начинаю я, например, изучать computation expressions. Документации по ним вменяемой - в общем-то, только Влашин

Спека.

Ну начинаю я, например, изучать computation expressions. Документации по ним вменяемой - в общем-то, только Влашин

Ого, я у петричека читал нормальную, на мсдн есть отличная, ещё в dsl chitsheet тоже есть ссылка на что-то вменяемое, но не помню на что

Все, что нужно, есть в спеке. Читайте спеку.

Все, что нужно, есть в спеке. Читайте спеку.

Да-да

Вот ща решил почитать

Ну математика сплошная :(

Хотя есть и примеры

О, пока @shwars тут, можно вопрос задать

Круто, а ЯП?)

Полноты картины нет, пока ЯП справляется с поставленными задачами благодаря чату. Вот вчера думал как сделать глобальный оператор (|=) 'a 'b -> 'a не через DU @gsomix, на спеку трудно смотреть без примеров, пытаюсь учить себя по плану постановки задачек из текущих знаний или подходов из других ЯП, а просто глядя в спеку пропускаются такие важности как активные шаблоны, потому как не очевидно сразу как использовать при беглом чтении. То есть чтобы спека помогала, нужно от чего-то отталкиваться

А на чем в f# лучше описывать метаданные?

Например, для сериализации

В C# обычно на атрибутах делается разметка, например

Ну математика сплошная :(

Где ты ее нашел? :)

Странице на 75

Не вижу.

T(let p = e in ce, V, C, q) = T(ce, V  var(p), v.C(let p = e in v), q) T(let! p = e in ce, V, C, q) = T(ce, V  var(p), v.C(b.Bind(src(e),fun p -> v), q)

Нет привычки читать математическую нотацию :(. Навык не наработан

Ну ок, ниже есть примеры.

А самое главное, что поведение описано явно.

Короче, читаю спеку, и понимаю, что Custom Opteration, походу, впилили, чтобы в F#.Data поддержать всякие джоины

Но вообще спасибо, много новой информации

Полноты картины нет, пока ЯП справляется с поставленными задачами благодаря чату. Вот вчера думал как сделать глобальный оператор (|=) 'a 'b -> 'a не через DU @gsomix, на спеку трудно смотреть без примеров, пытаюсь учить себя по плану постановки задачек из текущих знаний или подходов из других ЯП, а просто глядя в спеку пропускаются такие важности как активные шаблоны, потому как не очевидно сразу как использовать при беглом чтении. То есть чтобы спека помогала, нужно от чего-то отталкиваться

Сначала fsharpforfunandprofit, а потом спека.

Можно Expert F# полистать.

Сначала fsharpforfunandprofit, а потом спека.

Ну у меня сначала задача - поиск решения, спасибо, за наводки, работая на клаве быстрее заучивается/понимается

Полноты картины нет, пока ЯП справляется с поставленными задачами благодаря чату. Вот вчера думал как сделать глобальный оператор (|=) 'a 'b -> 'a не через DU @gsomix, на спеку трудно смотреть без примеров, пытаюсь учить себя по плану постановки задачек из текущих знаний или подходов из других ЯП, а просто глядя в спеку пропускаются такие важности как активные шаблоны, потому как не очевидно сразу как использовать при беглом чтении. То есть чтобы спека помогала, нужно от чего-то отталкиваться

А что за оператор такой?

А что за оператор такой?

Это в продолжении той же богемы, где были `with P1 =` - Новая запись с измененённой типизированной проперти

Полноты картины нет, пока ЯП справляется с поставленными задачами благодаря чату. Вот вчера думал как сделать глобальный оператор (|=) 'a 'b -> 'a не через DU @gsomix, на спеку трудно смотреть без примеров, пытаюсь учить себя по плану постановки задачек из текущих знаний или подходов из других ЯП, а просто глядя в спеку пропускаются такие важности как активные шаблоны, потому как не очевидно сразу как использовать при беглом чтении. То есть чтобы спека помогала, нужно от чего-то отталкиваться

Ура! Мы сделали подезность

В C# обычно на атрибутах делается разметка, например

Фу, эти атрибуты дико раздражают

Это в продолжении той же богемы, где были `with P1 =` - Новая запись с измененённой типизированной проперти

Надеюсь, только в исследовательских целях?

Надеюсь, только в исследовательских целях?

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

Решая ту задачу по ходу показали, что есть f (x, y) = ... и f (x) (y) = ... для |>, наверняка ещё что-то всплывёт.

https://twitter.com/ExpectoIO/status/982605637010980864

Расширение для парного программирования в Visual Studio доступно в превью-версии https://tproger.ru/news/visual-studio-live-share-preview/

Расширение для парного программирования в Visual Studio доступно в превью-версии https://tproger.ru/news/visual-studio-live-share-preview/

Можно будет шарить код более лучше

Можно будет шарить код более лучше

Когда приходится программировать парно, садимся за один ПК, парное подразумевает тесное общение в нужные моменты. Использовать чисто как шару кода - забавно.

Когда приходится программировать парно, садимся за один ПК, парное подразумевает тесное общение в нужные моменты. Использовать чисто как шару кода - забавно.

Инструмент можно использовать как угодно на самом деле же. Для распределенных команд так это счастье такой инструмент иметь

у нас распределенная команда, 90% задач в парах решаем используем свой велосипед, шарим оба экрана, не только студию

пробовали инструмент, который слак предоставляет — оказался гораздо хуже, потому что тормозит

сейчас все на райдер пересели дружно и как-то нет особого желания плагин для студии тестить

вообще из фришных альтернатив teamviever и какой-нибудь radmin должны сканать

есть ещё всякие vnc viewer, на подобии https://www.realvnc.com/en/connect/download/viewer/

гораздо удобнее все экраны шарить, чем только окошко студии

Ну начинаю я, например, изучать computation expressions. Документации по ним вменяемой - в общем-то, только Влашин

+1. Когда пытался написать свой CE понял, что спеки не хватает для понимания (может просто я туповат). Только перечитывая серию из fsffap.com пришло хоть какое-то понимание.

Я тогда тоже + за fsharpforfunandprofit. То, после чего я наконец-таки в CE разобрался. :)

А я читал папир и спеку.

А я читал папир и спеку.

Человек от науки

Человек от науки

Мне ещё на поддержку кода все равно!

Суперспособности. ?

Здорово, что у F# сообщества есть Влашин.

Но и папир Петричека тоже очень ок.

Но и папир Петричека тоже очень ок.

Петричек был очень полезен до

https://github.com/torhovland/blazor-redux

Каждый день новый фреймворк.

Хоть начинай блазор смотреть

Хоть начинай блазор смотреть

пока нет смысла)

Ну через полгода будет норм, думаю

Ну через полгода будет норм, думаю

А вы оптимист

А вы оптимист

думаю к концу года альфа будет

хотя там от моно или corert все зависит

Хммм... нашел я вроде самый безобидный(условно) способ описать десериализацию

Но все типы данных придется описывать через интерфейсы

Что, в общем-то, не сильно плохо

@vshapenko Какую задачу ты решаешь, и почему существующие решения не подходят?

Ну решаю я задачу десериализации/сериализации в бинарный поток хитрого формата

В частности, BigEndian

Для начала

Плюс в поток не пишется информация о типах

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

Чтобы работала, и забыть о ней

Ок. В чем проблема с описанием того, как сериализовать и десериализовать данные?

Ну, во-первых, не хочется писать в ООП стиле

Как подобную задачу в общем виде решить на C#, я знаю

Но там будут get;set

А хочется get;

Ты хочешь маппинг с типов на данные руками описывать или генерировать?

В идеале автоматически

Но пока только руками получается

В идеале автоматически

Рефлексия, TypeShape.

Для сериализации нормально подходит билдер

Рефлексия, TypeShape.

Порядок следования элементов важен

Это же не json

Порядок следования элементов важен

А там нельзя задать порядок?

А как ты его задашь?

А как ты его задашь?

Так можно или нельзя? :)