Кто-нибудь смог пофиксить у себя такую багулю Ionide vscode?
Появляется на любом f# проекте и подсказки/вывод типов не работают.
PS пошурстил на github issue фиксов не нашел( пришлось даже на райдер переключиться
Бага была где в сохраненых настройках vscode или расширений.
Решилось тем что удали папки с настройками vscode (все плагины сбросились на дефорл, но ладно)
Igor
Vagif
вангую что логи) на прошлой работе у меня на 90% проц на тестовом серве был забит логами (на проде понятно дебаг логи были отключены)
Есть такое подозрение. Компилирую сейчас версию, где изменил настройки с DEBUG на INFO
Mikhαil
Есть такое подозрение. Компилирую сейчас версию, где изменил настройки с DEBUG на INFO
Не ну если ещё дебаг левел писать....
Mikhαil
На тестовом кластере у нас дебаг, временами нужно
Мы для этого сделали ручку чтобы руками без редеплоя менять. Но не скажу что часто юзаем
Mikhαil
Постоянно нам не разрешат дебаг писать - мы итак логами много места кушаем
Mikhαil
Девопсы итак бухтят что мы пидоры)))
Vagif
Хм, с сильно уменьшенными логами вроде CPU поменьше, но пара узлов unreachable, т.е. по-прежнему тяжело. Надо будет профилировать
Mikhαil
Мы сами себе девопсы (т.е. сами себе пидоры).
У нас так
- за инфраструктуру отвечают девопсы - то есть за жизнь кластера, рэббит итд
- за инфраструктуру и раскатку конкретного сервиса - отвечает сама команда
Anonymous
У нас так
- за инфраструктуру отвечают девопсы - то есть за жизнь кластера, рэббит итд
- за инфраструктуру и раскатку конкретного сервиса - отвечает сама команда
А если конкретный сервис убил инфраструктуру?
Mikhαil
А если конкретный сервис убил инфраструктуру?
Хм, ну тут общими силами разбираемся))
У нас было такое что наш сервис пгбаунсер и постгре шатал так что остальным сервисам плохо было
Mikhαil
Разбирались всем селом
Vagif
У нас так
- за инфраструктуру отвечают девопсы - то есть за жизнь кластера, рэббит итд
- за инфраструктуру и раскатку конкретного сервиса - отвечает сама команда
У нас похоже, но за жизнью кластера приложения присматриваем мы, а сетевые админы обеспечивают нам инфраструктуру.
Anatoly
Mikhαil
У нас похоже, но за жизнью кластера приложения присматриваем мы, а сетевые админы обеспечивают нам инфраструктуру.
У нас просто кластер делят достаточно много команд поэтому для его жизни нужно отдельных людей держать. Ну или мб процессы корявые
Anonymous
У нас просто кластер делят достаточно много команд поэтому для его жизни нужно отдельных людей держать. Ну или мб процессы корявые
Даже если команда одна, кластер в итоге обрастёт людьми, которые в основном только им и занимаются
Anonymous
Проверено
Mikhαil
Даже если команда одна, кластер в итоге обрастёт людьми, которые в основном только им и занимаются
Ну вот у меня тоже такое ощущение - поддержание нагружённого продового кластера фоном как-то не оч получается
Mikhαil
У нас просто в команде девопс каждый приставлен к команде - чтобы идти не к группе девопсов а к конкретному человеку. А он знал - что его задача помогать конкретной команде
Kirill
поясните для глупых, о чем это https://en.wikipedia.org/wiki/Catamorphism ?
Крылатый
О котах.
Vagif
вангую что логи) на прошлой работе у меня на 90% проц на тестовом серве был забит логами (на проде понятно дебаг логи были отключены)
Поскольку у логов появилось алиби (отключив значительную их часть, по-прежнему вижу затык), придется профилировать. Хотя коллега надеется, что как только перенесем все с виртуалок на винде на K8s, то все проблемы растворятся сами собой. Волшебный мир линукса.
Mikhαil
Поскольку у логов появилось алиби (отключив значительную их часть, по-прежнему вижу затык), придется профилировать. Хотя коллега надеется, что как только перенесем все с виртуалок на винде на K8s, то все проблемы растворятся сами собой. Волшебный мир линукса.
Ну да, Линукс магия позволит делать процессорные вычисления без использования процессора
Mikhαil
Известный факт
Mikhαil
За это и любим
Mikhαil
Mark
поясните для глупых, о чем это https://en.wikipedia.org/wiki/Catamorphism ?
я вот это читаю сейчас, мне понравилось
наконец-то теоркат, от которого меня в сон не клонит
но не уверен что в книжке есть что-то именно про эту конструкцию
https://github.com/hmemcpy/milewski-ctfp-pdf
Sergey
> Functions of type A -> B whose call-tree has the shape of a cons-llst are called hylomorphlsms (from the Aristotelian philosophy that form and matter are one, uAo meaning "dust" or "matter").
Sergey
От это там стык наук
Mark
как минимум чутка мозги пошевелишь
Vagif
я вот это читаю сейчас, мне понравилось
наконец-то теоркат, от которого меня в сон не клонит
но не уверен что в книжке есть что-то именно про эту конструкцию
https://github.com/hmemcpy/milewski-ctfp-pdf
Я на середине отвалился. Но это моя проблема, не автора. Надеюсь возобновить
Vagif
У него видео лекций отличные.
Mark
ну я пока 1 часть из 3 хоть как-то прочитал, но теперь надо нормально перечитать, упражнения поделать
Ayrat
Ну и я так понимаю теоркат напрямую с фп связан
для этого придумали умное слово
изоморфизм Карри-Ховарда-(Ламбека)
https://ru.wikipedia.org/wiki/Соответствие_Карри_—_Ховарда
где Ламбек как раз про добавление к этому соответствиую теорката
Igor
Понимание как правильно писать на f# 😌 с (fsharp)plus и тд
Kirill
поясните для глупых, о чем это https://en.wikipedia.org/wiki/Catamorphism ?
выглядит как обычный агрегейт, не?
Igor
Не стоит вскрывать эту тему, пока не разберёшься с котоморфизмами)
Vasily
fsharp не очень приспособлен под подобный стиль написания
Vasily
Если что
Igor
Ayrat
И эти люди гонят на гопак!!1
Mark
в гопаке кажется попроще обозначения
Vlæd
Igor
Anonymous
Ayrat
Ayrat
ооооочень мелко
Denis
Ayrat
Vasily
Vasiliy
Премиум только за подписку! А ну гоните все деньги
Vasily
Чот Рому давно не видно
Vasily
Который @atsapura
Roman
Ayrat
Я бы не читал.
Ilya
В смысле? А ангуляр?
Henry
поясните для глупых, о чем это https://en.wikipedia.org/wiki/Catamorphism ?
Катаморфизм — это обобщение свёртки. Знание этого может пригодиться, если, например, хочется написать свёртку с хвостовой рекурсией в continuation-passing style.
Kirill
Катаморфизм — это обобщение свёртки. Знание этого может пригодиться, если, например, хочется написать свёртку с хвостовой рекурсией в continuation-passing style.
а можешь привести какой-нибудь кейс, где может такая штука понадобиться?
Ilya
Ayrat
Реакт на ts в какой-то жуткий бойлерплейт превращается :(
зато нода на тс превращается во что-то человеческое!
Ilya
Шо, это как. В ангуляре по-умолчанию всё на тс.
Mikhαil
Нет
Ilya
js в ангуляре будет работать только за счёт умного компилятора тс, наверное.
Mikhαil
js в ангуляре будет работать только за счёт умного компилятора тс, наверное.
Хз даже. Знаю что он работает, но ни разу не видел проектов на ангуляре с жсом
Mikhαil
Это не реакт особенный
Mikhαil
Это ангуляр
Henry
а можешь привести какой-нибудь кейс, где может такая штука понадобиться?
Когда-то давно я курил это в таком кейсе: https://t.me/fsharp_flood/134925
Mikhαil
Они бай дефолт топят за тс - все точили под него и в доках везде он
Henry
Но там многобукафф.