^)

:)

те в примере, что писать в do ea.Subscribe(?????????)

То же самое

те в примере, что писать в do ea.Subscribe(?????????)

Всё хорошо там написано, просто допиши as this после названия типа.

Чё там за ду? Не синтаксис для монад же

Чё там за ду? Не синтаксис для монад же

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/functions/do-bindings

(уже загуглил, поборол свою лень)

Спасибо

@snegniy_bars разобрался? :)

ин прогресс :)

о! спасибо, заработало

:)

о, у Касперского появилась вакансия с C# / F# :)

о, у Касперского появилась вакансия с C# / F# :)

Кириченко устал, наверное

"Ни один нормальный C#-разработчик к нам не идет, может хоть среди сообщества F# найдутся смелые отчаянные люди"?

Кириченко устал, наверное

Я у него в твиттере видел фотографии из Дублина. Но это на уровне сплетен и догадок, конечно.

Да в Касперском много людей с раздутым ЧСВ

"Ни один нормальный C#-разработчик к нам не идет, может хоть среди сообщества F# найдутся смелые отчаянные люди"?

Не, у них там действительно F# в продакшене.

Они ищут каких-то странных людей

И да, я там был несколько раз на собеседованиях в разные года

о, у Касперского появилась вакансия с C# / F# :)

А линк можно? :)

Не забанят?)

Не забанят?)

Нет. За что?

https://samara.hh.ru/vacancy/22593308

https://samara.hh.ru/vacancy/22593308

> samara

@akhanteev У нас есть какие-нибудь .NET тусовки, где можно про F# рассказывать?

https://samara.hh.ru/vacancy/22593308

Вроде требования норм, а там хз как по факту

@akhanteev У нас есть какие-нибудь .NET тусовки, где можно про F# рассказывать?

А то я с джавистами обычно тусуюсь. :)

Вроде требования норм, а там хз как по факту

Сейчас по .NET что-то глухо все, больше Java.. Но мы @nevoroman привозили прошлой осенью)

на ITSubbotnik

А то я с джавистами обычно тусуюсь. :)

У вас хоть есть с кем потусовать

У нас вообще глухо

С верстальщиками, разве что

Я на таких собеседованиях обычно срезаюсь. Интервьюер пытается найти во мне родственную душу и начинает спрашивать всякую хрень типа "а как оно там все внутри устроено"

Ну и обычно интервьюерам почему-то надо показать, какие они умные

Не знаю, почему

Чё там за ду? Не синтаксис для монад же

Синтаксис для монад называется Computational Expressions.

Билдеры жеж

Ага, они.

@gsomix У тебя уже есть какая-то тема для доклада?

@gsomix У тебя уже есть какая-то тема для доклада?

Меня сейчас property-based testing интересует. Можно подготовить.

Парни, а ведь под виндой FAKE получается вообще не нужен?

Да, я тоже недавно посмотрел на FsCheck, интересная штука :) Хорошо, буду иметь ввиду, если что-то появится - дам знать)

Парни, а ведь под виндой FAKE получается вообще не нужен?

Ну если не нравится msbuild, то можно и в нем

Проверять, что у Record1 и Record2 есть общие поля (id), и сообщать пользователю о том, что нужно правильную аннотацию типа указать?

Боюсь, тут будет непросто сделать исправление. Получается, что в случае, если вдруг компилятор не нашёл какие-то поля в рекорде (x), он должен просматривать все окрестные рекорды на предмет того, что у них совместимый набор полей (но есть ещё и поле x). И дописывать такое в месседж: there's a similar type Record2 found; missing type annotation?.

Причем надо по всем скопам вверх идти еще

Да, надо иметь список всех типов, которые видны в данном месте.

Ну, по описанию звучит не очень сложно, но без понимания внутренностей компилятора можно какое-то время прокопаться.

Парни, а ведь под виндой FAKE получается вообще не нужен?

Я не понял мотивации. Почему под виндой не нужен, а под другими ОС нужен? В чём тут разница?

На студию какой-то очередной апдейт вышел (15.3.4). Кто-нибудь ставил? Там починили F# или ещё нет?

А что сломано было?

Неткоровые проекты, вроде.

Всё ещё плохо, короче. Файлы в проектах нельзя упорядочивать.

@akhanteev У нас есть какие-нибудь .NET тусовки, где можно про F# рассказывать?

В Санкт-Петербурге fprog spb https://spb-fp-meetup.timepad.ru/events/ Собираются раз в месяц еще есть spb .net community https://spbdotnet.timepad.ru/events/ Выступал и там и там очень приятные сообщества.

Кстати сейчас началась подготовка к ежеквартальной большой встрече ИТ митапов: http://piter-united.ru Можно рассказать на большую аудиторию.

@akhanteev У нас есть какие-нибудь .NET тусовки, где можно про F# рассказывать?

Можешь обращаться по поводу SPB .NET Community, я один из организаторов. Нам как раз спикеры нужны :)

@nevoroman а приедешь к нам в Минск что нибудь порассказывать про F#? =)

Можешь обращаться по поводу SPB .NET Community, я один из организаторов. Нам как раз спикеры нужны :)

Он вроде про Самару спрашивал)

Всё ещё плохо, короче. Файлы в проектах нельзя упорядочивать.

Вот же.

Вот же.

Это .NET Core?

нет

В обычных проектах не ломали ничо, там всё работает :)

Кстати, кто-нибудь понял, куда они девали компилятор в .NET Core 2.0?

Вот проектный файл от .NET Core 2: https://github.com/ForNeVeR/nightwatch/blob/64ad03de1a11a5373b1ca94194e1883bf515a723/Nightwatch/Nightwatch.fsproj В нём нет упоминаний FSharp.Net.Sdk, FSharp.Core, FSharp.Compiler.Services, ничего.

Это... пугающе.

Он вроде про Самару спрашивал)

Оу, я слепой! Но там недавнл появилось SarDotNet комьюнити :)

@nevoroman а приедешь к нам в Минск что нибудь порассказывать про F#? =)

Пригласят - приеду! Но вообще я через некоторое время планирую уехать в Германию и все такие поездки станут сложнее

Это... пугающе.

Я давно про это говорил) Они по типу проекта определяют всё теперь

.fsproj, значит F#

Я давно про это говорил) Они по типу проекта определяют всё теперь

Не совсем так. В солюшене там ещё торчит какой-то гуид.

Этот гуид известен лишь тем, что Rider любит его портить :)

.fsproj, значит F#

ну, блин - логично! =)

ну, блин - логично! =)

Ну в .Net Core 1.1 решили что это не логично, и надо писать F# Sdk :)

лол

парни, а как определить функцию с двумя параметрами, где оба типизированы?

let add x:int, y:int = x + y

это не работает

Параметры в скобочках должны быть

let add (x:int, y:int) = x + y

let add (x:int, y:int) = x + y

Отдельные скобочки)

омг, спасибо)))

Иначе кортеж принимаешь

да да, сигнатура меняется

а если нужно типизированный кортеж?

add (x, y):Tuple<int, int> ?

а если нужно типизированный кортеж?

let fn (tuple: int * int * string) = ()

ах да, точно

в F# только сигнатуру так принято записывать, или там подлежащий тип кортежей тоже свой?

a * b — это Tuple<a, b> struct(a * b) — это ValueTuple<a, b>

еще один вопрос - как обойти/генерализовать несовпадение типов в аргументе функции?

допустим есть:

type Something = { mutable Id : string } let storeSomething (session: Raven.Client.IDocumentSession) (something) = session.Store(something) session.SaveChanges() something.Id

и я вызываю storeSomething cо вторым аргументом типа: type Opponent = { mutable Id : string Name : string }

This expression was expected to have type Something but here has type Opponent

?

Opponent совместим с Something