произведение может?
Как мне кажется, в случае типа эти понятия эквивалентны
Vasily
Vasily
Т.к. удовлетворение всему множеству условий
Анна
Анна
Про пересечение, насколько я помню, отдельно
Vladislav
Тупой вопрос
Vladislav
Типы же могут быть полиморфные?
Vladislav
Как лист наш допустим
Vladislav
Это же одно определение как и в случае полиморфных функций?
Vladislav
Я чет запутался прост
Vladislav
У функций же тоже тип
Ну я про то, как правильно называется тот факт что у нас тип имеет параметр типа) Или как свойство называется
Vladislav
То что мы код переиспользуем. Также полиморфность?
Vladislav
Анна
Ну я про то, как правильно называется тот факт что у нас тип имеет параметр типа) Или как свойство называется
Функциональный тип это тоже составной тип, как список. Поэтому и то, и другое можно параметризовать типом-параметром, и будет полиморфно
Vladislav
Я единственное пока так и не понял что такое экзистенциональный тип, но я пика осилил прочитать только половину, может дальше пойму
Nikolay
С наступающим :)
Nikolay
I Wish You a Merry Christmas.m4a
Romɑn
https://twitter.com/jawache/status/1079008010486337537?s=09
Bonart
ну это такое. По сути мисюз. Пользуемся дорогими в рантайме экспешнами вместо дешёвой Result монадки
Эксепшен в рантайме дорогой когда выпрыгивает. Пока косяков нет - он дешевле резалта
Bonart
Вдобавок эксепшен - штука открытая и с возможностью централизовать политики и логирование из коробки
Ayrat
Эксепшен в рантайме дорогой когда выпрыгивает. Пока косяков нет - он дешевле резалта
Если ты просто пользуешься классом Exception, то это совсем не то!
Bonart
Асинк-авайт чудовищно тормозит на исключениях. И предложение это исправить остается нетронутым... настолько даже самых квалифицированных разрабов не волнует цена обработки исключений
Bonart
Если ты просто пользуешься классом Exception, то это совсем не то!
Не просто а с throw-try-catch
Nikolay
Пришло кому?
Nikolay
Поздравляем с наступающим 2019 годом — и объявляем о возможности присоединиться к нашей команде.
2018 стал удачный годом для Telegram. Несмотря на попытки блокировки в авторитарных странах, за это время аудитория Telegram увеличилась на треть, финансовые ресурсы — более, чем в 10 раз.
В новом 2019 году Telegram расширяет звездную команду разработчиков. Заявки от кандидатов принимаем на @jobs_bot
Желаем счастья и свободы в новом году!
Bonart
Нет и не надо. Телега роскомпозору за рекламу забашлять должна
x
Ага
x
Надо апплаиться
x
Говорят, там все разработчеги — милионеры
Nikolay
Похоже рассылают таргетированно
x
Тугриковые?
Кроме самого Дурова, представители ФБР попытались оказать давление на одного из сотрудников компании. Ему за информацию о некоторых особенностях архитектуры мессенджера предлагали несколько десятков тысяч долларов. Разработчик отказался, кроме того, он сообщил Дурову об этой встрече, чего ФБР просило не делать. По мнению Павла, подкупить разработчиков нельзя, поскольку все разработчики компании — миллионеры. Понятно, что их вряд ли заинтересуют несколько десятков тысяч долларов от ФБР.
x
https://habr.com/post/406501/
Hog
Nikolay
И у них скорее всего все на сях
Nikolay
Оно же в открытом доступе
Nikolay
Протокол по крайней мере
x
Ну гуя-то не на сях
x
На qt который?
x
Знаю на авалонии есть опенсорсный
Крылатый
Есть куча других способов)
Nikolay
?
Крылатый
Да не, зачем пытать.
Анна
Я единственное пока так и не понял что такое экзистенциональный тип, но я пика осилил прочитать только половину, может дальше пойму
Я ещё тоже до конца не раскурила
Éminence grise
Лучше б подскзали, как назыать АДТ,выраженный не как данные, а как контракт их наличия. Что то типа record interface и disciminated union interface. И есть ли где либо такой концепт 😊
Aleksandr
Это разве не тайп-классы в хаскелле?
Éminence grise
Не знаю Мне как то ближе представление тайп класса как поведения, не маппинга данных. Хотя как раз на Хаскеле скорее всего реализуемо.
Éminence grise
Я имею в виду что то типа:
type А = abstract {
B: integer
C: string
}
let MyA b c =
new A {
B = b
C = c
}
Анна
ну вообще через модули, по крайней мере окамловские 🤔
Анна
F# модули тоже по идее могут абстрагировать часть типа, а потом просто подставляешь одну реализацию вместо другой
Анна
сигнатуры модулей т е
Éminence grise
Более интересен вариант:
let MyA b d c =
new A {
B = lazy (b + d)
C = c
}
Анна
Более интересен вариант:
let MyA b d c =
new A {
B = lazy (b + d)
C = c
}
вот эти кишки можно за сигнатурой прятать и подменять реализацию, lazy - не lazy. Если я правильно понимаю задачу
Éminence grise
Во избежание маппинга до прямой необходимости
Aleksandr
?
https://fsharpforfunandprofit.com/posts/designing-with-types-single-case-dus/#forcing-use-of-the-constructor
Aleksandr
Тут интересный пример, как с помощью модулей можно инкапсулировать конструирование типа
Éminence grise
Взял данные из БД в виде, например, тапла (а лучше спена). Засунул в реализацию типа передал выше, засунул в реализацию транспортного контракта - сунул сериализатору. И тут он красиво без аллокаций прям в стрим
Klei
Тут интересный пример, как с помощью модулей можно инкапсулировать конструирование типа
Называть это инкапсуляцией довольно спорно.
Vladislav
https://twitter.com/lizaledwards/status/1079403645563822080?s=12
Ayrat
https://github.com/giraffe-fsharp/Giraffe.AzureFunctions
Ayrat
@neftedollar
Ayrat
https://www.nuget.org/packages/FSharp.Azure.StorageTypeProvider
Туда же. Свежий релиз
Крылатый
Vladislav
Время культурного распития горячительных напитков и задорного веселья.
Крылатый
Йее