Доброе утро, фшарпята!

Традиция скорее какая-то. Историю международных отношений например тот же преподаватель читала на русском

Твоя новая аватарка мне нравится)

Твоя новая аватарка мне нравится)

Спасибо, теперь я спокойна :)

Ребят, а почему этого НЕ было в F#News, я посмотрел вроде неплохо

мерзкие формы

Спасибо, теперь я спокойна :)

Короче, мне надо где-то 1 млрд жсонок хранить

Храни в файловой системе лол

Храни в файловой системе лол

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

Ты странный. Как будто скл лайт хранит на Марсе. Дб это старается делать локально чтобы быстро читать балки записей и держит иднекс для поиска.

Если тебя не волнует чтение балков особо, то тебе достаточно хранить индекс

люблю трамваи!

https://people.onliner.by/2018/12/22/dengi-24 У нас тут в Беларуси весело

люблю трамваи!

люблю трамваи!

https://m.youtube.com/watch?v=NrRm6CvrcDU

https://m.youtube.com/watch?v=NrRm6CvrcDU

какой грустный клип

https://m.youtube.com/watch?v=NrRm6CvrcDU

Трамваям больно

какой грустный клип

Не без этого! С альбома «Песня о безответной любви к Родине»

Господа и дамы, а кто либо IdentityServer юзал? Я вот не в зуб ногой, как там сделать отзыв права на логин элементарно на пользователя, когда у тебя 10 серверов. Такое ощущение, что это абстрактный конь в ваккууме. Или я ничего не понял..

Господа и дамы, а кто либо IdentityServer юзал? Я вот не в зуб ногой, как там сделать отзыв права на логин элементарно на пользователя, когда у тебя 10 серверов. Такое ощущение, что это абстрактный конь в ваккууме. Или я ничего не понял..

Спроси в пронете, там Роман Букин вроде спец по этим всем идентити серверам.

Спасибо

Сегодня впервые писал императивный код на фшарпе для проекта на впф

В целом, привыкнуть нетрудно

Даже разницы особо не чувствуется на чем писать

Единственное, конечно, по if-statement приходится скучать иногда

Выбрасывание исключений - этио часть контракта, или деталь реализации?

И то, и другое

Я вообще не понимаю как это можно разделять

Вот как раз для впф проектирую интерфейс модели, и хочу задокументировать его свойства так, что сеттеры плюются исключениями

и думаю вот

Я вообще не понимаю как это можно разделять

Реализация же идет в соответсвии с контрактом, а контракт выдает важные для клиента детали реализации

ну вот я приволок кейс

это норм - документировать интерфейс так, что он бросается исключениями, и рассчитывать, что все имплементящие будут это делать?

По идее если бы то было норм, то бросание/не бросание исключений было бы частью системы типов. А это не так.

это норм - документировать интерфейс так, что он бросается исключениями, и рассчитывать, что все имплементящие будут это делать?

В стандартной библиотеке Java есть такие кейсы)

Например, Closeable

java заставляет кэтчить

Не все исключения

Только checked

Ну ты загнул, это к системе типов не относится. И вообще - исключение как часть контракта - это что то очень нехорошее. Исключение - всегда ошибка либо IO, либо вызывающей стороны, но никак не контракт.

Ну ты загнул, это к системе типов не относится. И вообще - исключение как часть контракта - это что то очень нехорошее. Исключение - всегда ошибка либо IO, либо вызывающей стороны, но никак не контракт.

Почему? Выброс некоторых исключений при определенных ситуациях может быть частью контракта

Лучше заставить возвращать Result<'s,'e> и в обертке генерить исключение по 'e. Тогда гарантия при реализации есть

Лучше заставить возвращать Result<'s,'e> и в обертке генерить исключение по 'e. Тогда гарантия при реализации есть

кто бы спорил. Result - охуенный. А у меня тут C# и wpf

и тима, которая закидает меня ссаными тряпками за Result

Ну оберни VM, которая должна давать exception вокруг VM которая выдает резалт

Стоит оставлять result до самого последнего момента так, чтобы его каст в эксепшн происходил именно в тот момент, когда идет взаимодействие напрямую с view

мне хотелось бы дизайн с валидацией внутри модели

потому что vm которые её будут использовать несколько

LanguageExt тебе в помощь, если csharp. там вообще есть классный тип Validation<'t, 'e>, где 'е моноид

А C# way?

А C# wayне отличается от других. Отличается только качество разрабов и архитектов на проекте. Не язык, а то можно узнать, что главный недостаток раста - отсутсвие наследования, а как я писать буду?

Хочешь строгой (читай чистой) типизации контракта - работай, как в функционалке. Хочешь бардак - ООП тебе в помощь с exception в самом конце лестницы вызовов.

Хех, окей

буду делать с резалтом

буду делать с резалтом

И ребятам на проекте покажи как, может дозреют до F#

Я вот сейчас через LanguageExt как раз своих дрессирую.

у меня лид лютый хейтер F

Увольняйся

Как он это аргументирует?

И пусть эти дурацкие дети голодают. Не работать же бате с хейтером фшарпа!

Это уже диагноз. Можно не пользовать, можно извиняться, что спецов нет, но ненавидеть что то может только полный дебил

Могут ненавидеть, потому что изучать лень, а всем вокруг нравится

он попробовал пару раз, ничего не понял, и теперь это больная тема

А это и есть дебелизм в нашей индустрии

Могут ненавидеть, потому что изучать лень, а всем вокруг нравится

Ой, я вот так биткоин ненавидел

да почти все взрослые разрабы такие

Ой, я вот так биткоин ненавидел

Да я и сейчас)

Ничего, что мне 50

ты просто слишком взрослый)

Ну ты загнул, это к системе типов не относится. И вообще - исключение как часть контракта - это что то очень нехорошее. Исключение - всегда ошибка либо IO, либо вызывающей стороны, но никак не контракт.

Ну может быть ApplicativeError/MonadError, там возможность выброса/обработки исключения зашита внутри.

Ой, я вот так биткоин ненавидел

я кстати тоже по той же причине

он попробовал пару раз, ничего не понял, и теперь это больная тема

Я могу понять людей, которые к Scheme или Clojure никак привыкнуть/прочитать не могут, но f# же блин, освоить совсем нетрудно

На каком-то уровне

Не обобщай, не все. Просто проникнув наверх люди теряют часто заряд, да и изначально интересы у людей разные - и у многих - это просто классные зарплаты. Но это все СИЛЬНО временное превосходство. Могу да же историю из сегодняшнего дня рассказать. При чем с ударом по таким умникам не от IT, а от бизнеса

рассказывай

Я могу понять людей, которые к Scheme или Clojure никак привыкнуть/прочитать не могут, но f# же блин, освоить совсем нетрудно

Я не могу. Синтаксис ничто. Я вообще считаю, что не знать интересный язык стыдно. Любой интересный язык. Но это я на них замороченный 😊

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