про ДУ я в статике могу сказать сколько у него наследников. Но ладно я, компилятор может сказать
ты можешь сказать, сколько у него вариантов, ну это в случае в эфшарпом, и если не брать во внимание active patterns
Shub
Ayrat
ты можешь сказать, сколько у него вариантов, ну это в случае в эфшарпом, и если не брать во внимание active patterns
я могу в статике сказать сколько у силед класса наследников. 0
Ayrat
могу в статике сказать сколько у абстрактного класса с приватным конструктором наследников
Ayrat
мне, как программисту, важна семантика инструмента.
Вот в ДУ самое главное что это закрытое множество и отсюда идут многие бонусы
Shub
могу в статике сказать сколько у абстрактного класса с приватным конструктором наследников
ну тема вообще в том, что тебе в ООП нафиг не надо знать, сколько у тебя наследников
Shub
Ayrat
например какие?
то что мне не надо рассматривать дефолтный кейс при матче.
То что при добавлении нового кейса мне компилятор скажет что я его забыл
Vladimir
ну смотри, у тебя таск получается только когда СЕ отработает, всё что внутри это ещё TaskStep, поэтому рекурсивные вызовы внутри тоже вернут таскстеп (который taskLike называется внутри таск билдера). У тебя получается что вся рекурсия будет в структуре этого ДУ зашита и конечно же там никаких оптимизаций не будет.
В таск это превратится только в методе Run
https://github.com/rspeele/TaskBuilder.fs/blob/9c584076ade5ed285d34ba91db81b0a46e4998d6/TaskBuilder.fs#L269
а зачем нам Run? можно было бы в returnFrom создать таск как в асинке и его вернуть
Ayrat
а зачем нам Run? можно было бы в returnFrom создать таск как в асинке и его вернуть
ретурнФром не обязательно является последним вызовом
Shub
то что мне не надо рассматривать дефолтный кейс при матче.
То что при добавлении нового кейса мне компилятор скажет что я его забыл
ну допустим, но как это относится с наследованием?
Shub
но разговор вроде был за ДУ вс наследование, не?
Vladimir
ретурнФром не обязательно является последним вызовом
ну и ретурн тоже чтобы это делал) и сказать что вот юзайте в конце ретурны, и будет поддерживаться рекурсия
Shub
наследование имеет один важный поинт: метод, принимающий базовый класс, принимает всех его потомков. без каких-либо движений с твоей стороны
Shub
ДУ так не может
Ayrat
но разговор вроде был за ДУ вс наследование, не?
не, разговор был за то что Мэдс Торгерсен считает что наследование на рекордах делает из них ДУ
Shub
не, разговор был за то что Мэдс Торгерсен считает что наследование на рекордах делает из них ДУ
ему пора сделать рефилл на свои антипсихотики, всего-то
Shub
а вообще попытки заменить классы рекордами - одно из самых презренных занятий в айтишечке
Ilya
Так полностью заменять и не предлагает никто, вроде бы?
Shub
Так полностью заменять и не предлагает никто, вроде бы?
ну есть там один дядька, недалеко от Дублина живет
Vladislav
https://www.reddit.com/r/techsupport/comments/gqb915/i_wrote_task_manager_and_i_just_remembered/
Ayrat
Годно
x
https://www.reddit.com/r/techsupport/comments/gqb915/i_wrote_task_manager_and_i_just_remembered/
ничоси. и спейс кадет его
Vagif
Vladyslav
https://cs13.pikabu.ru/post_img/2020/05/26/5/1590478264137251469.jpg
Dr. Friedrich
Romɑn
лол
Dr. Friedrich
Dr. Friedrich
Сорян, сперва прошлую итерацию запостил
Ilya
Сорян, сперва прошлую итерацию запостил
А нельзя F повыше сделать? А то странный шрифт какой-то получается.
Vladyslav
настолько все плохо в F#?
Dr. Friedrich
А нельзя F повыше сделать? А то странный шрифт какой-то получается.
Сорян, что смог из могильничка — то и собрал!
Dr. Friedrich
Я могу оригинальные запчасти в .pdn выслать, если кто хочет повозиться :)
Ilya
Ой, у меня столько дел, столько дел. Я побежал.
Dr. Friedrich
Добавили в стикерпак.
Dr. Friedrich
Ayrat
press F for F#
Hog
грустно
Ilya
Можно для сишарпа такой же сделать же.
Ayrat
Пацаны, тут по котлину есть молодцы?
Нужно мнение за Kotr vs Vertx для написания апишек.
Требования - свагеры, асинхронность, скорость, сертификаты, хттпс, модульность, тестируемость (какой-нибудь ин-мемори хост например)
Главное требование - отсутствие упоротости дизайна
Doge
Пацаны, тут по котлину есть молодцы?
Нужно мнение за Kotr vs Vertx для написания апишек.
Требования - свагеры, асинхронность, скорость, сертификаты, хттпс, модульность, тестируемость (какой-нибудь ин-мемори хост например)
Главное требование - отсутствие упоротости дизайна
Vertx вроде бы немного упоротый, зато быстрый
Ayrat
я пока не имею мнения за каждый из них, просто выбрал как две вменяемых либы
Ayrat
ща посмотрю
Doge
Про ktor особо ничего не знаю, но смотрится не очень няшно по докам
Mikhαil
Ayrat
ну вот я почему-то тоже за верткс. Ктор почему-то имеет дохуя звёзд и наверное с ним крайне удобно работать из Идеи!
Ayrat
бля, нет
Ayrat
у меня до конца жизни антитела к нему
Mikhαil
Вот кстати те из знакомых, что использовали котлин в проде писали на спринге как раз
Ну у меня знакомые тоже в прод на нем писали
Ayrat
ни. за. что.
Mikhαil
Но я честно говоря нормально до Котлина не добрался - никак ручки не дойдут
Ayrat
Вот кстати те из знакомых, что использовали котлин в проде писали на спринге как раз
на котлин реально жависты прут толпами, а у них спринг в мозг вшивается
Mikhαil
Хотя сам язык вроде ничего такой - симпатичнее жавы
Ilya
Ой, чего стоят всякие string!
Ilya
Не назвал бы его няшным.
Mikhαil
на котлин реально жависты прут толпами, а у них спринг в мозг вшивается
Ну у Спринга есть плюсы в виде оч развитой инфраструктуры - куча всего готового для микросервисов, тестирования итд
Ilya
Мне не нравится, и всё тут🤷♂️ 3 типа, которые не совсем типы -- это перебор
Ayrat
http4k - это как раз ФП подобный фреймворк для котлина
ну, мне не так важно фп он или не фп. Меньше магии - лучше
Ayrat
я фп буду бизнес логику писать, а фреймворк для апи должен просто работать
Ayrat
у меня тут будет весьма себе хайлоад, поэтому скорость важна, да
Ayrat
Kotr вообще странный. Вроде нативно юзает корутины, а по скорости на течемпавере на уровне…. эээ… где-то в жопе в общем
Ayrat
чот типа суаве
Ayrat
Ну у Спринга есть плюсы в виде оч развитой инфраструктуры - куча всего готового для микросервисов, тестирования итд
эт да. но сука как же там много магии.
Hog
куда спешить?!