Евгений, а вы в Китае живете или в Корее?
Не понял вопроса
Евгений
Слава
Евгений, а вы в Китае живете или в Корее?
Я бы задал другой вопрос, но больно уж он "токсичный", поэтому я пока промолчу.
Aliester
вы живете в капиталистическом государстве, получаете деньги от частной компании, скорее всего от недоедания и гнета буржуазии не страдаете, к угнетенному класу не относитесь. в чем тогда ваш троцкизм выражается? субкультура навроде фендома стар трека?
Dmitry
А как же боль за родину? А классовая ненависть?
Евгений
вы живете в капиталистическом государстве, получаете деньги от частной компании, скорее всего от недоедания и гнета буржуазии не страдаете, к угнетенному класу не относитесь. в чем тогда ваш троцкизм выражается? субкультура навроде фендома стар трека?
Вопрос всё равно непонятен. Почему я акцентирую внимание на троцком, а не просто отношу себя к sjw за плановую экономику?
Евгений
Я бы задал другой вопрос, но больно уж он "токсичный", поэтому я пока промолчу.
Ну, оставшиеся админы не против токсичности, так что можно и спросить
саша
Неудивительно, что люди воображают себе богатства капитализма и свободу, не вступав никогда в трудовые отношения
Во первых это эйджизм, во вторых это ложь.
Слава
вы живете в капиталистическом государстве, получаете деньги от частной компании, скорее всего от недоедания и гнета буржуазии не страдаете, к угнетенному класу не относитесь. в чем тогда ваш троцкизм выражается? субкультура навроде фендома стар трека?
Так то большой хостинг, или телеком. Одного моего знакомого выгнали из универа, так его через родственников затащили в Сибирьтелеком, а у них там был полный коммунизм - подрабатывали кто во что горазд, через несколько лет я его на внедорожнике встретил.
Aliester
скорее что сподвигло вас стать троцкистом без видимых мне стимулов
саша
Но банить вас за нее никто не будет, скажите спасибо свободе слова.
Dmitry
Sergey
Ну, оставшиеся админы не против токсичности, так что можно и спросить
Да где тут токсичность то? Зачем ты навязываешь свое восприятие?
Евгений
Во первых это эйджизм, во вторых это ложь.
Это "дискриминация" по трудовым отношениям, а не по возрасту. Я начал в 18 писать код за деньги
Слава
Во первых это эйджизм, во вторых это ложь.
Тут есть доля правды. Наши так сказать, атланты - удивительное жлобье. Кто с ними не сталкивался, может действительно верить в благость того вида "капитализма", что есть в РФ.
Sergey
Евгений
скорее что сподвигло вас стать троцкистом без видимых мне стимулов
Большой багаж знаний об обществе
Евгений
Так то большой хостинг, или телеком. Одного моего знакомого выгнали из универа, так его через родственников затащили в Сибирьтелеком, а у них там был полный коммунизм - подрабатывали кто во что горазд, через несколько лет я его на внедорожнике встретил.
Я могу порвать шаблон больше -- я получаю самую высокую зарплату из всех сотрудников, занимающих неруководящие должности. Больше всех программистов
Ilya
зачем это тут? этому не место в канале по фп
Dmitry
Кстати, а есть ли какие-то компьютерные модели для проверки правильности марксизма/троцкизма/геецентризма и т.д.? А то на людях как-то неловко эксперименты ставить...
Слава
саша
Это "дискриминация" по трудовым отношениям, а не по возрасту. Я начал в 18 писать код за деньги
Я добывать себе пропитание и кров самостоятельно начал в таком же возрасте, пусть и не кодом. В расточате есть люди кто начал ещё раньше. И, как правило, в политосрачах студенты и школьники особо себя не показывают.
Евгений
Кстати, а есть ли какие-то компьютерные модели для проверки правильности марксизма/троцкизма/геецентризма и т.д.? А то на людях как-то неловко эксперименты ставить...
Ну политэкономию матмоделировали американские физики
https://www.amazon.com/Classical-Econophysics-Routledge-Experimental-Computable/dp/0415478480 можно тут прочитать
Sergey
Dmitry
Что получилось?
Евгений
Получились матмодели экономики, трисигмы вроде
Dmitry
Не, я имею ввиду, она живучей оказалась?
Слава
Если кого и раскулачивать, так это собственников коммерческой недвиги, непонятно какими способами её заполучивших.
Евгений
Я могу порвать шаблон больше -- я получаю самую высокую зарплату из всех сотрудников, занимающих неруководящие должности. Больше всех программистов
и как вам спится по ночам зная какое классовое расслоение вы вносите своими бессчисленными доходами 🤔
Alexander
По-моему, в разговоре не хватает абсолютных цифр. А то может оказаться, что там программисты на доширак еле зарабатывают, а Евгений - аж на два доширака
Sergey
Видимо вы не очень хорошо понимаете, что это слово значит
Ты про различия продразверстки, гулагов и альпиндустрии в Латинской Америке? Так я ещё раньше начал осквернять репозитории своего кооператива говнокодом, мне не до полит ликбеза было.
Евгений
Слава
По-моему, в разговоре не хватает абсолютных цифр. А то может оказаться, что там программисты на доширак еле зарабатывают, а Евгений - аж на два доширака
В разговоре не хватает ещё цитат из gans-spb и asocio (легко гуглятся, например "о программистишках", " об Индии", "об инженерах и лестнице в небо").
Alexander
а есть нормальный способ записать maybe (return ()) (\t -> ...) x?
Alexander
вроде было что то про связь гвардов и паттерн-матчинга
Alexander
в ду-нотации
Alexander
общая задача - в отдельном треде слушать TQueue пока он не будет очищен сборщиком мусора
Слава
общая задача - в отдельном треде слушать TQueue пока он не будет очищен сборщиком мусора
Странная постановка задачи. Будь это не хаскель, я бы вспомнил про слабые ссылки.
Alexander
Странная постановка задачи. Будь это не хаскель, я бы вспомнил про слабые ссылки.
ну у меня есть очередь событий, надо их последовательно обрабатывать
Alexander
вроде как довольно типичная задача
Alexander
причем запись в очередь не блокирующая, так бы MVar взял
Евгений
А почему вы внутреннюю функцию в отдельную не вынесете?
Alexander
ну если нет способа нормально записать то так и сделаю
Alexander
в хаскеле кстати есть слабые ссылки
Ilya
а есть нормальный способ записать maybe (return ()) (\t -> ...) x?
а что вместо многоточия? пока непонятно, чем эта запись ненормальна
Alexander
mkWeakMVar
Alexander
а что вместо многоточия? пока непонятно, чем эта запись ненормальна
do-нотация на несколько строк
Alexander
я очень не люблю многострочные скобки
Alexander
это я еще не добавлял
кана
а есть нормальный способ записать maybe (return ()) (\t -> ...) x?
whenJust
whenJust :: Monad m => Maybe a -> (a -> m ()) -> m ()
whenJust (Just x) f = f x
whenJust Nothing _ = pure ()
ну типа это и есть maybe (pure ()) на самом деле)
кана
но его наверное нет в base, но его наверное нет в base
Кирилл
Он есть в экстре
кана
даже for_, он точно есть в base
кана
Ilya
Alexander
окей, вопрос на миллион долларов США. Как заставить newIORef [] вернуть нужный тип, по которому полиморфна исходная функция?
Alexander
я ничего умнее delete x [x] не могу придумать
Alexander
type application
Alexander
newIORef @A []
Alexander
ещё можно newIORef ([] :: [A])
Alexander
если тип полиморфный и есть в параметрах, то + ScopedTypeVariables и использовать типопеременную из контекста
Alexander
Dmitry
Хм. Пошли вопросы по Хаскелю... Никакой свободы слова!
Alexander
лучше явно сделать scope в котором явно просить закрыться, через async или закрываемые очереди использовать
Alexander
переходить к финализаторам и weakref только если по другому совсем никак
Alexander
но с ними есть n сложностей
Dmitry
А почему?
кана
окей, вопрос на миллион долларов США. Как заставить newIORef [] вернуть нужный тип, по которому полиморфна исходная функция?
не понял вопроса
Prelude> :m Data.IORef
Prelude Data.IORef> f = newIORef []
Prelude Data.IORef> :t f
f :: IO (IORef [a])
Prelude Data.IORef> x = (f :: IO (IORef [Int]))
Prelude Data.IORef> y = (f :: IO (IORef [String]))
Prelude Data.IORef> :t x
x :: IO (IORef [Int])
Prelude Data.IORef> :t y
y :: IO (IORef [String])
Alexander
нужно делать финализаторы на # объекты, иначе можно пересоздать объект и финализаторы раньше времени сработает
Alexander
+ они не факт что сработают вообще при закрытии программы, могут сработать сильно позже момента когда ссылок не осталось
Alexander
не понял вопроса
Prelude> :m Data.IORef
Prelude Data.IORef> f = newIORef []
Prelude Data.IORef> :t f
f :: IO (IORef [a])
Prelude Data.IORef> x = (f :: IO (IORef [Int]))
Prelude Data.IORef> y = (f :: IO (IORef [String]))
Prelude Data.IORef> :t x
x :: IO (IORef [Int])
Prelude Data.IORef> :t y
y :: IO (IORef [String])
fmap show . readIORef =<< newIORef []
Alexander
не понял вопроса
Prelude> :m Data.IORef
Prelude Data.IORef> f = newIORef []
Prelude Data.IORef> :t f
f :: IO (IORef [a])
Prelude Data.IORef> x = (f :: IO (IORef [Int]))
Prelude Data.IORef> y = (f :: IO (IORef [String]))
Prelude Data.IORef> :t x
x :: IO (IORef [Int])
Prelude Data.IORef> :t y
y :: IO (IORef [String])
@qnikst выше ответил что мне нужен был ScopedTypeVazriables
Alexander
с ним работает, да
Alexander
код можно усложнить, но это минимум в котором компилятор не знает что за тип у функции
Слава
лучше явно сделать scope в котором явно просить закрыться, через async или закрываемые очереди использовать
Примерно это я и имел в виду, говоря про странную постановку задачи. Завершение треда через GC - как-то недетерменированенько