Программирование[11]

База для пятнадцатилетних нон конформистов фанатов Сэлинджера

Kant написал 2 часа назад:

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

типы есть ВСЕГДА

твой код ВСЕГДА лезет в определенные места в памяти, описанные тобой, и ожидает от этих мест данные в нужном для этого кода виде

 

то что ты инвалид, который пишет на языке для даунов, который скрывает эту информацию ОТ САМОГО СЕБЯ, не делает эти типы не существующими

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

чтобы не иметь той или иной формы полиморфизма или приведения типов

иначе тебе пришлось писать однообразную хуйню снова и снова

типы это не только то, как лежат данные в памяти

это еще и логические ограничения на поведение структур

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

потому что тебе порой не важно как лежат данные в памяти, тебе важно имеет ли объект X поведение Y

вот зачем тебе система типов: гарантировать что ты можешь делать вещь Y с объектом X, а после этого программа придёт в состояние Z

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

и это серьезно бесит, когда ты хочешь экспериментировать

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

система ругается а ты и так знаешь: "что блядь ну да, я знаю что оно неправильное, отъебись от меня"

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

UglyBastard написал 2 часа назад:

На третьем курсе пора бы уже и работать

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

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

у меня хронически вот эти два: а) никак не могу начать что-то делать, б) не могу оторваться что-то делать и могу забыть вообще про всё

иногда я очень долго не могу начать, мучаюсь, хочу начать, как-то через силу или еще как начну и не могу оторваться

ну и в целом мне не очень охота

зач работать если можно не работать

Kurku написал 41 минуту назад:

а после этого программа придёт в состояние Z

Kurku написал 44 минуты назад:

зач работать если можно не работать

@thousand cursed enemies твой пацан

ну если я не получаю equity, если я не имею права голоса

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

то мне такие условия интересны только если:

1) у меня нет выбора и я иначе сдохну,

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

3) я на месяц работы с этих денег могу отплатить 2-3-4 месяца коммуналки, еды, страховки, клининга вперед

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

и тратишь эти несколько лет на то, что тебе реально интересно делать

UglyBastard написал 2 часа назад:

База для пятнадцатилетних нон конформистов фанатов Сэлинджера

то есть для нормальных людей 

Kurku написал 3 минуты назад:

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

и тратишь эти несколько лет на то, что тебе реально интересно делать