Mikhαil
А потом ещё куда-то на что-то ещё
Ilya
Тоже на котлин, вроде бы.
Đ e V̾
ух ты ж) а что в мс ему не понравилось?
Ilya
Бутылка.
Hog
Mikhαil
@omgszer что тебе в мс не понравилось?
Надо было как Егор - хвалить все, даже плохие решения
Mikhαil
Айрат оказался не готов
Ayrat
ты уже не на скале? я пропустил походу что-то?)
я уже сменил скалу на котлин, потом на микрософт и сейчас опять сменил
Mikhαil
я уже сменил скалу на котлин, потом на микрософт и сейчас опять сменил
Твои биографы уже все расписали
Mikhαil
Так веселее будет
Dima
Кстати, а кто-то пробовал писать на typescript в ФП стиле, я вроде так кручу его немного, вроде норм, линтер поставить для ФП, монадами обмазаться, не хватает паттерн матчинга конечно, но в целом вроде как жизнеспособно выглядит
Ilya
Странно, что в тс не хватает паттерн матчинга. Он же там есть?
Đ e V̾
Ilya
Ну хз.
Đ e V̾
под капотом всеравно js
Dima
Слабо тыкал тс, так что ок.
+ хаки надо писать чтобы компилятор проверял что ты все кейсы матчишь
Mikhαil
+ хаки надо писать чтобы компилятор проверял что ты все кейсы матчишь
А чо за хаки? (я тоже слабо тыкал тс и давно)
Đ e V̾
динамика это очень фп!
21 век же, какая динамика, когда даже в питон уже строгую типизацию везут
Dima
А чо за хаки? (я тоже слабо тыкал тс и давно)
А я щас сходу не помню, но там надо вызывать в default функцию которая принимает тип never аргументом или шото такое
Ayrat
21 век же, какая динамика, когда даже в питон уже строгую типизацию везут
это ты начал говорить что динамика и фп не совмещаются. А я говорю что это ортогонально
Ayrat
фп похеру типы там, или динамика.
Ayrat
ооп кстати тоже
Đ e V̾
это ты начал говорить что динамика и фп не совмещаются. А я говорю что это ортогонально
фп за безопасность программных систем, а в динамических языках, это трудно достижимо, эликсир тут в отдельной категории
Ayrat
фп за безопасность программных систем, а в динамических языках, это трудно достижимо, эликсир тут в отдельной категории
я даже спорить с тобой не буду, у тебя фп за безопасность.
Ayrat
да один фиг
Ilya
Ayrat
эт просто способ написания програм
Đ e V̾
постулирует, был вайт пейпер на эту тему, найду скину
Ayrat
получается ли оно корректно от фп не зависит
Đ e V̾
получается ли оно корректно от фп не зависит
но в фп, это достигается проще, тут и иммутабельность и зависимые типы все это способствует корректному коду
Dima
Ммм? Для чего?
Тогда компилятор начнёт ругаться что мол у тебя в дифаулте невыполнимле условие пока ты все кейсы не заматчишь и компилятор увидит что дифаулт никогда не будет исполнен
Ayrat
но в фп, это достигается проще, тут и иммутабельность и зависимые типы все это способствует корректному коду
неясно что тебе мешает делать иммутабельное оопе с типами!
Ayrat
Узнать бы как акторные системы противоречат ооп или иммутабельности
Đ e V̾
нет.
ты проект так и не выпустишь, я уже не говорю о том, что коллеги на тебя будут смотреть как на наркомана
Đ e V̾
Узнать бы как акторные системы противоречат ооп или иммутабельности
только почти никто не делает акторные системы, это ты долго херачил в акторах
Ayrat
ты проект так и не выпустишь, я уже не говорю о том, что коллеги на тебя будут смотреть как на наркомана
я вот выпустил! был один из первых моих проектов кстати. фшарп, ооп, акторы, иммутабельность кругом
Ayrat
Вызывай Вагифа!
Đ e V̾
))
Ayrat
только почти никто не делает акторные системы, это ты долго херачил в акторах
у тебя опять анекдата какая-то
Ayrat
то есть если ты так считаешь, значит это так и есть
Đ e V̾
у тебя опять анекдата какая-то
я что не знаю как кодит в компаниях? от акторов даже многие отказываются
Đ e V̾
сложно поддерживать, новичкам не по душе
Đ e V̾
и это не все причины
Ayrat
Я вот экраном выше зарекся с тобой спорить. Вот я зря себя не послушал!
Đ e V̾
Я вот экраном выше зарекся с тобой спорить. Вот я зря себя не послушал!
ну так не спорь, только в своем хипстеровском мире, ты не хочешь понять, что вокруг все чуть попроще и не так все дорого-бохато))