Среди языков за тридцать или среди людей за тридцать?

да

Среди языков за тридцать или среди людей за тридцать?

хотя бы по одному из этих критериев

Эээ, мне нет 30

А мне есть :(

Старые пердуны ))

Эйджизм тут не приветствуется

А что толку, меня синдром самозванца мучает до сих пор. Даже сильнее стал, когда я на Хаскеле начал писать.

Чойта?

А заимствование слов?

Каждый индивид ценен для нашего сообщества вне зависимости от его возраста

А заимствование слов?

Есть устоявшиеся дискурсивные практики, которым стоит следовать

Ой, да ладно. Погромистов за 35 не существует, это неудачники, не ставшие менеджерами

По-моему нет ничего хуже, чем стать менеджером

Программисты за тридцать, скажите, ваши мозги работают так же, лучше или хуже, чем в 25?

А что толку, меня синдром самозванца мучает до сих пор. Даже сильнее стал, когда я на Хаскеле начал писать.

Говорят что только самоуверенные люди обнаруживают у себя синдром самозванца

Программисты за тридцать, скажите, ваши мозги работают так же, лучше или хуже, чем в 25?

Хуже. По ночам спать хочется. Опыт компенсирует.

Программисты за тридцать, скажите, ваши мозги работают так же, лучше или хуже, чем в 25?

Мои работают хуже чем в 22 (потому что в 22 я сидел на стимуляторах)

По-моему нет ничего хуже, чем стать менеджером

Это бегство от ответственности

Говорят что только самоуверенные люди обнаруживают у себя синдром самозванца

Не исключено. Моя самоуверенность - это, скорее, синусоида, которая долго болела

Лучше. Мозг теперь и не думает о том чтобы по ночам в мморпг играть.

Это бегство от ответственности

Это бегство от того, чтобы стать вредным, мешающим процессу производства цепным псом капитала

Это бегство от того, чтобы стать вредным, мешающим процессу производства цепным псом капитала

Тю. Если не хочешь быть чудаком на букву м - просто не надо им быть.

Ну конечно, человек ведь волен вести себя как угодно, вне зависимости от обстоятельств (нет)

Т.е. таки менеджер - это априори конченный человек и враг народа?

Ну, если это не так, то он плохо исполняет свои должные обязанности

Но хороший менеджер а приори мудак

Хм.

Именно поэтому в крупных IT компаниях обычно двойная иерархия -- техническая и управленческая.

хуже, конечно, да и не только мозги

По-моему нет ничего хуже, чем стать менеджером

есть: на Go писать, или на Ruby.

гописцы

хуже, конечно, да и не только мозги

Увы... Мозги тоже отказываются соображать, где там комбинаторы как комбинируются

есть: на Go писать, или на Ruby.

Э нет, еще хуже писать на Руби за рупи.

Э нет, еще хуже писать на Руби за рупи.

рупии или рубли?

рупии или рубли?

Не вижу разницы

рупии или рубли?

Да

есть: на Go писать, или на Ruby.

вообще то менеджером быть хуже

чем хуже? работаешь меньше, зарабатываешь больше? Люди разные - ценности тоже

ну так то рубисты в среднем зарабатывают больше менеджеров

Но куда деваются тогда программисты за 35? В Программляндию уплывают?

менеджеры разные бывают

если ты про менеджера пятерочки, то да)

а если про топов газпрома, то эт другое

Но куда деваются тогда программисты за 35? В Программляндию уплывают?

в России есть такой феномен как девяностые, когда многие программисты стали менеджерами

в России есть такой феномен как девяностые, когда многие программисты стали менеджерами

И резко все поглупели? Что-то страшно

а если про топов газпрома, то эт другое

ну кстати топы газпрома в сумме зарабатывают как 100 руби сеньоров

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

И резко все поглупели? Что-то страшно

умными менеджерами же

ну ты понял, что не хуже?)

умными менеджерами же

Я не уверен, что видел хотя бы одного

Я не уверен, что видел хотя бы одного

скорее всего умного менеджера и не увидишь, обычно они налаживают процессы и их не нужно видеть )

как мы уже обсуждали выше, тебе с ними не повезло :)

ну так то рубисты в среднем зарабатывают больше менеджеров

разница всё равно на психотерапевтов тратится

скорее всего умного менеджера и не увидишь, обычно они налаживают процессы и их не нужно видеть )

я лично знаю одного

разница всё равно на психотерапевтов тратится

это еще вопрос кому они нужнее :)

согласен

скорее всего умного менеджера и не увидишь, обычно они налаживают процессы и их не нужно видеть )

Разумно. Но в таком случае, все, кого я видел, были глупыми. Потому что я их видел.

у меня работа выматывает нервы только своим количество (8 часов в день)

как мы уже обсуждали выше, тебе с ними не повезло :)

?

скорее всего умного менеджера и не увидишь, обычно они налаживают процессы и их не нужно видеть )

со вторым известным мне хорошим годным менеджером я лично не знаком

я в общем то не говорю что умных много

но и прогеров не то что бы было когда-либо много на фоне менеджеров

ум понятие относительно)

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

https://github.com/ghc/ghc/commit/d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60

ум понятие относительно)

Мозг - понятие выносительное

кайнды как в седьмых версиях все

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

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

ну если процесс налажен) то все будет ок

объясните, что значит Type :: Type

я думал :: асиметрична

или там :: полиморфна по левой части?

ну если процесс налажен) то все будет ок

но не факт что лучше :)

асимметрична, конечно. справа тип того, что слева

то есть Type это еще и тип, а не только кайнд?

но не факт что лучше :)

смотря с какой стороны смотреть) возможно он всем разрабам зп повысит)

смотря с какой стороны смотреть) возможно он всем разрабам зп повысит)

а это точно будет лучше для фирмы?

Хренасе @int_index прыткий

если бы я стал менеджером я бы не стал повышать кому-то зп просто так

а это точно будет лучше для фирмы?

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

ну вот и я о том же

хотя вижу несколько сценариев, когда это будет хорошо работать)

давайте лучше аксиому Type :: Type обсудим

а то я не понял что она значит

Моя первая мысль была - Type это тип каинда Type.

нет никаких кайндов

тогда возникает вопрос что такое тип кайнда

Я все еще пытаюсь с тайп левелом подружиться, но похоже, мне уже далеко за 30

тип типа - тип.

вселенная типов

универсумы вроде

раньше было 0 :: Int :: * :: BOX терм тип кайнд сорт теперь 0 :: Int :: Type :: Type :: Type :: Type терм и типы ол зе вей даун

а зачем нужен бокс был? и как без него обошлись?

сорт кайнда *

теперь "сорт" "кайнда" Type - Type, так и обошлись

все равно неясно значем было надо :/

я правильно понимаю, что BOX был единственным сортом в хаскеле?

да

т.е. промоученый в кайнды Maybe имел сорт не BOX -> BOX, а просто BOX