Там всего 6 типов, а он говорит что 7 должен быть

@Dolfik Код!

let updateChatId = match update.Type with | Types.UpdateType.CallbackQuery -> update.CallbackQuery.From.Id | Types.UpdateType.ChannelPost -> update.ChannelPost.Chat.Id | Types.UpdateType.ChosenInlineResult -> update.ChosenInlineResult.From.Id | Types.UpdateType.EditedChannelPost -> update.EditedChannelPost.Chat.Id | Types.UpdateType.EditedMessage -> update.EditedMessage.Chat.Id | Types.UpdateType.InlineQuery -> update.InlineQuery.From.Id | Types.UpdateType.Message -> update.Message.Chat.Id

Блин, не очень

https://gist.github.com/Dolfik1/24815e4bab5014ccb0556445d3e821d4

Ты по enum'у матчишь?

Да

https://github.com/mrtaikandi/Telebot/blob/master/src/Telebot/Types/UpdateType.enum.cs

Вот этот

Да, сделай | _ -> bla-bla

Как-то не очень

Потому что enum же по сути просто int.

Он сам определить не может?

Определяет нормально в случае DU, но не enum.

enum менее безопасный тип.

Ясно, спасибо

Но блин, от него не избавишься к сожалению

Под F# либ нету

Добрый вечер! Раз про либы речь зашла. OCR либа под распознавание русского языка для .net CORE существует? Тессеракту видимо system.drawing нужен ...только с полноценным .нетом хочет работать ?

Я не думаю, что вообще много библиотек .Net Core поддерживают.

Особенно такие специфические.

Andrey https://github.com/charlesw/tesseract/issues/298

Там какой-то чувак говорит, что портировать легко под Core.

Благодарю

Если вдруг оказалось бы, что пропускной способности недостаточно — я бы сделал, чтобы он проксировал запросы пулу акторов из нескольких коннектов. (Но не потребовалось)

++

Добрый вечер! Раз про либы речь зашла. OCR либа под распознавание русского языка для .net CORE существует? Тессеракту видимо system.drawing нужен ...только с полноценным .нетом хочет работать ?

В Core есть некоторые базовые типы из System.Drawing. Надо смотреть, что они там конкретно используют.

https://twitter.com/kot_2010/status/851338122575171584

Ееее фп!

Сам виноват.) Представил как выглядит это в с# выглядит жутко.

Куча лямбда не нужна.

кстати

#вакансия https://m.hh.ru/vacancy/19390398?utm_campaign=new_vacancies&utm_content=2017_04_10&utm_source=telegram&utm_medium=telegram

#вакансия https://m.hh.ru/vacancy/19708817?utm_campaign=new_vacancies&utm_content=2017_04_10&utm_source=telegram&utm_medium=microsoftstackjobs

Ух.

https://github.com/colinbull/visualfsharp/commit/4fad11c7af0aebef1d16ae47442bf9f5ec1b2080

Смотрите, пацаны!

@fvnever ^

а где этот rfc-1023 глянуть?

нашел https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1023-type-providers-generate-types-from-types.md

Если запилят, то это будет вин.

Мне очень хочется иметь кодогенератор, параметризуемый типом.

объясните пожалуйста для тупых что это (

а то я не догнал (

@SherievAkhmed Чувак начал делать тайппровайдеры, параметризуемые типами.

не не - это я понял. Не понял какую выгоду это дает.

не не - это я понял. Не понял какую выгоду это дает.

In the example given in the summary, the type provider could provide a mutable C# "record" class to interoperate with existing .NET frameworks like NHibernate that don't work well with immutable types.

прикольно

тогда да - круто

Решение проблем интеропа с C# кодом в том числе.

Кстати! @gsomix, спасибо за ведение канала! Прям дикий вин

тогда да - круто

type Stock = { Ticker: string; Price: float; Date: DateTimeOffset } type StockReader = CsvProvider<Stock> let stocks : Stock seq = StockReader.Read("path/to/file.csv") вот еще хороший пример.

@neftedollar ^_^

тут, кстати много RFC https://github.com/fsharp/fslang-design/tree/master/RFCs

@neftedollar @SherievAkhmed Лично мне такие тайппровайдеры интересны для написания эффективных многомерных массивов. Включая те, у которых размеры будут в компилтайме чекаться.

Но это неточно.

https://github.com/colinbull/visualfsharp/commit/4fad11c7af0aebef1d16ae47442bf9f5ec1b2080

Ого! Colin Bull крутой чел, респект ему.

dotnet это конечно что-то крутое. + Новые *.proj файлы это оч круто.

Посмотрите эту вакансию в компании Jet.com: https://www.linkedin.com/jobs2/view/249864176

https://github.com/j-alexander?tab=repositories это потрясающе!

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

В чатике у кложуристов

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

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

У кложуристов в общем-то есть системы для типизации кода. Я даже пробовал ими пользоваться. Неудобно :(

Там новый .Net Framework вышел?

А .Net Standard 2.0 еще нет!

https://github.com/dotnet/core/blob/master/roadmap.md

Всё ещё Q3 2017.

Там новый .Net Framework вышел?

Где?

Где?

https://blogs.msdn.microsoft.com/dotnet/2017/04/05/announcing-the-net-framework-4-7/

Но там ничего крупного не поменяли.

Да они вряд-ли уже будут что-то крупное под .NET Framework пилить

Мастхэв

Хорошая книга.

Но читать я ее, конечно же, не буду.

Но читать я ее, конечно же, не буду.

(с языка снял (но я ее пролистал ?))

(с языка снял (но я ее пролистал ?))

кложурист/схемер/рэкетир/лиспер в чати

(с языка снял (но я ее пролистал ?))

хотя в F# же такое сплош ь? и рядом

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

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

ПОтешный доклад в плане англицизмов, конечно

>__<

Зафорсить болл на хилл, чтобы достичь эквилибриума.

Он в начале доклада говорил, что работает над библиотекой для dependent types в F#.

А в презентации показал библиотеку другого чувака.

А в презентации показал библиотеку другого чувака.

Это номрально. Я смотрел на youtube полуторачасовой доклад старого индуса по машинному обучению на F#, наверное для своих студентов. Он рассказывал как работала его программа для выявления на фото классов кошечки собачки . Так он из часа видео где-то минут двацать занимался тем что выделял строку мышкой и нажимал alt+enter. Вместо того что выделять с помощью home -end. А когда все же запустил программу целиком, она стала долго работать, т.к. сначала должна была прогнать все изображения через себя. Этот индус решил ограничиться 100 изображениями и поставил фильтр, но на СПИСОК, а не на Seq. в итоге опять подождал пока будут загружаться все эти тысячи изображений. Плюнул, и за 10 минут до конца доклада, открыл ютуб и стал показывать как работает чья-то другая программа на F#, которой он вдохновился. Самый идеотский доклад по F# и ML которое я видел.

Это номрально. Я смотрел на youtube полуторачасовой доклад старого индуса по машинному обучению на F#, наверное для своих студентов. Он рассказывал как работала его программа для выявления на фото классов кошечки собачки . Так он из часа видео где-то минут двацать занимался тем что выделял строку мышкой и нажимал alt+enter. Вместо того что выделять с помощью home -end. А когда все же запустил программу целиком, она стала долго работать, т.к. сначала должна была прогнать все изображения через себя. Этот индус решил ограничиться 100 изображениями и поставил фильтр, но на СПИСОК, а не на Seq. в итоге опять подождал пока будут загружаться все эти тысячи изображений. Плюнул, и за 10 минут до конца доклада, открыл ютуб и стал показывать как работает чья-то другая программа на F#, которой он вдохновился. Самый идеотский доклад по F# и ML которое я видел.

АПЛИКЭЙШН СЭРВАР ВЕРСУС ВЕБ СЭРВАР

евпочя

Это номрально. Я смотрел на youtube полуторачасовой доклад старого индуса по машинному обучению на F#, наверное для своих студентов. Он рассказывал как работала его программа для выявления на фото классов кошечки собачки . Так он из часа видео где-то минут двацать занимался тем что выделял строку мышкой и нажимал alt+enter. Вместо того что выделять с помощью home -end. А когда все же запустил программу целиком, она стала долго работать, т.к. сначала должна была прогнать все изображения через себя. Этот индус решил ограничиться 100 изображениями и поставил фильтр, но на СПИСОК, а не на Seq. в итоге опять подождал пока будут загружаться все эти тысячи изображений. Плюнул, и за 10 минут до конца доклада, открыл ютуб и стал показывать как работает чья-то другая программа на F#, которой он вдохновился. Самый идеотский доклад по F# и ML которое я видел.

:D Ну может у него эпловская клава и там нету home и end

Эт вряд ли

:D Ну может у него эпловская клава и там нету home и end

Ctr-a / ctr-e либо стрелки+ctr

Я, конечно , не расист, но что-то тут прослеживаются некие параллели с фенотипом

Мне кстати нравится как индусы говорят. Все четко и ясно. как мой препод по английскому в школе)

@gsomix https://github.com/Z3Prover/z3

Ага. Он у F* внутре. :)

@neftedollar https://github.com/dungpa/Z3Fs

ого. Круто

Вот такой DSL отличнй был бы для tensorflow