Ну и в F#-то у нас вообще всё в порядке. Можно и так, и эдак.

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

Угу

Хехе, а откуда ты думаешь архитекторы C# слизали C# версии 1.0?

Ну, энумы они не стали тырить, и поступили верно.

Ayrat @Kleidemos @vshapenko нашел кстати текст от @antyadev https://medium.com/@AntyaDev/introduction-to-orleankka-5962d83c5a27

В продолжении статьи нормальный хэндл ошибок (с точки зрения С# разработчика) try printfn "Let's sell 100 items to user \n" do! shop <! Sell(account, 100) with :? InvalidOperationException as e -> printf "[Exception]: %s \n" e.Message Result тогда не было. Зато гарантия доставки явная.

Лол, а вон дальше сказано t’s very simple, widely used and concise technique but in addition to that Orleankka provides option for Railway Oriented Programming.

Ну, энумы они не стали тырить, и поступили верно.

зато вот всё остальное стырили только в путь. Даже неймспейсы местами совпадали с методами у классов

Лол, а вон дальше сказано t’s very simple, widely used and concise technique but in addition to that Orleankka provides option for Railway Oriented Programming.

В третьей части увидел task { match msg with | Increment -> do! так можно было? У меня компилятор ругался на такое с async { mach smth with | Lol -> let! s = myAsyncFunc () }

да можно, а чо ругался-то?

да можно, а чо ругался-то?

не помню, помню что было больно)

да можно, а чо ругался-то?

на хэшбенги ругался в матчах

а как именно ругался не помню

хз, всю жизнь так делал

прям с детства так делал

прям с детства так делал

везёт

У меня тоже периодически ругается, я закономерности так и не вывел. Так что сначала просто пробую и если надо переписываю.

как будет ругаться в следующий раз, скиньте пример

В третьей части увидел task { match msg with | Increment -> do! так можно было? У меня компилятор ругался на такое с async { mach smth with | Lol -> let! s = myAsyncFunc () }

Потому что ты блок с let! не завершил выражением.

Да, скиньте пример, если заругается. Это должно работать.

Потому что ты блок с let! не завершил выражением.

это пример, но мысль я понля обращу в слудющий раз внимание, спасибо

Привет

Дороу)

Хехе, а откуда ты думаешь архитекторы C# слизали C# версии 1.0?

С Дельфи вестимо ;)

С Дельфи вестимо ;)

Если мне не изменяет память, то Anders Hejlsberg (который делал C#) пришел в MS из Borland и является учеником Niklaus Wirth, который есть автор Pascal

Если мне не изменяет память, то Anders Hejlsberg (который делал C#) пришел в MS из Borland и является учеником Niklaus Wirth, который есть автор Pascal

Именно ;)

Если мне не изменяет память, то Anders Hejlsberg (который делал C#) пришел в MS из Borland и является учеником Niklaus Wirth, который есть автор Pascal

недоавно во флудильне вспомниали борланда

Если мне не изменяет память, то Anders Hejlsberg (который делал C#) пришел в MS из Borland и является учеником Niklaus Wirth, который есть автор Pascal

вроде с ним был первый выпуск нового подкаста "Behind the Tech" с CTO Майкрософта

\o

\o

а?

Привет!

Доброго дня

Кто-нибудь знает с чего вдруг снова в твиторе волна срача про HKT ?

их нет в F#? :D

а чо срутся, дай линк

https://twitter.com/k_cieslak/status/1014510938932809728?s=20

Кто-нибудь знает с чего вдруг снова в твиторе волна срача про HKT ?

А что за НКТ?

типы высшего порядка

А что за НКТ?

higher kinded types

нормально там бомбит у Кристофа

У Кшиштофа )

поляк же

Я где-то читал мнение Сайма (на гитхабе вероятно), что типа HKT добавят когнитивной сложности для программистов и оттолкнёт новичков и тех кто хочет попробовать F#

нормально там бомбит у Кристофа

не разделяю его точку зрения

насчёт теоретической реализуемости на системе типов .net я хз

не разделяю его точку зрения

да, я тоже

я хочу HKT

я считаю Сайм слишком консервативен

Я где-то читал мнение Сайма (на гитхабе вероятно), что типа HKT добавят когнитивной сложности для программистов и оттолкнёт новичков и тех кто хочет попробовать F#

но при этом в C# планируют добавить вроде

но при этом в C# планируют добавить вроде

лолшто?

но при этом в C# планируют добавить вроде

нет и не будет

тайпклассы хотят добавить

я не верю в это вообще никак

Им бы sum type добавить. Или там, бугага, optional types нормально

куда им HKT

но при этом в C# планируют добавить вроде

https://github.com/dotnet/roslyn/issues/2212 это вот это?

https://github.com/dotnet/roslyn/issues/2212 это вот это?

https://github.com/dotnet/csharplang/issues/339 вот это)

а, да этот пропозал читал

там набежали haskell wanabe и начали функторы лепить

:D

шансов около нуля

trait Monad[F[_]] { // ... def flatMap[A,B](source: F[A])(f: A => F[B]): F[B] } object FutureMonad extends Monad[Future] { def flatMap[A,B](source: Future[A])(f: A => Future[B]): Future[B] = ??? }

да, давайте без type inference напишем это же на C#!!11

ааа в чем прелесть может кто рассказать?

прогаю на c# долго, и как то все норм ?

ааа в чем прелесть может кто рассказать?

https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor

вот такую проблему решить без HKT можно только грязными хаками

Короче, вот предпоследний комент в этом пропозале. Свежий Any new generic constraints should be implemented in the same place as the old generic constraints--the CLR type system--and not as a big hack inside the C# compiler. It's important to remember that CLR does not stand for "C# Language Runtime." If we add something as big as higher-kinded types, it should be added inside the CLR, to minimize the amount of work that the maintainers of other languages have to do in order to get up to speed on the new features.

С ним согласны многие. И я в том числе. Сделать это хаками в С# компиляторе получится так же убого как атрибутами возле методов и типов подсказывать что они NotNull, а потом получать: typeof<int> == typeof<int?> //false typeof<string> == typeof<string?> //true C# = Consistensy! Если они там атрибутами намажут метаинформации у каждого генерик типа чтобы компилятор в компайл тайме чот собирал, а в рантайме получилась тыква (как в примере выше) - это полный пэ

надо CLR менять. Не в этом десятилетии.

С ним согласны многие. И я в том числе. Сделать это хаками в С# компиляторе получится так же убого как атрибутами возле методов и типов подсказывать что они NotNull, а потом получать: typeof<int> == typeof<int?> //false typeof<string> == typeof<string?> //true C# = Consistensy! Если они там атрибутами намажут метаинформации у каждого генерик типа чтобы компилятор в компайл тайме чот собирал, а в рантайме получилась тыква (как в примере выше) - это полный пэ

Джава получится

Со своими недогенериками

Ну с non-nullable reference type уже javascipt какой-то получился

я считаю Сайм слишком консервативен

Он просто понимает, что ему это хуячить и поддерживать. ?

Он просто понимает, что ему это хуячить и поддерживать. ?

:D прав

Но я допускаю что он на самом деле видит F# как переходной язык между ООП и ФП. Т.е. без мега эзотерических фич

Он просто понимает, что ему это хуячить и поддерживать. ?

Я уже запутался во всех этих хкт, концептах, трейтах и тайпклассах

Не понимаю что есть что

Но надо сказать что я пытался продакшн код писать на haskell и F#. Ясен хрень всё быстрее заработало на F#. Я могу эту фразу вбрасывать в хаскель чат, мне там напишут что я лох педальный, но как бы F# создан для РАБОТЫ. Прагматичной такой работы. Он потому и создан в хорошей экосистеме дотнета и старается с ней интегрироваться во всём. И потому в нём с полпинка сделать сайд эффекты, мутабельность и ооп. Поэтому можно взять любой код из C# и передрать 1-в-1 на F# не включая голову. Передери ка любую оопшную ебалу на хаскель без наследования :D

Ну с non-nullable reference type уже javascipt какой-то получился

Матом-то зачем ругаться? ;)

Он на нем разговаривает :)

Матом-то зачем ругаться? ;)

Это я ещё держусь.

Это я ещё держусь.

Даже вон @gsomix a заразил

Даже вон @gsomix a заразил

Да :(

Скоро и @AnutaU начнет

Сначала про себя, потом шепотом

Скоро и @AnutaU начнет

не дождётесь

не дождётесь

Я терпеливый и понимающий

И принимающий

Яви свою ярость (с)

Держите немного доброты от Сайма. https://twitter.com/dsyme/status/1014542534876499969

Держите немного доброты от Сайма. https://twitter.com/dsyme/status/1014542534876499969

как мило)

прям awwww

F# bad ass award? Где посмотреть номинантов?)

Он же написал - вы все)

You’re all bad asses now :)