reference types vs value types

[metaclass]

Очередной раз посрались с артурегом за типизацию. Его огорчает существование value-types (или примитивных типов в жабе) из-за того, что они накладывают более жесткие ограничения на получение значений этих типов извне.
Например при загрузке из БД с полем, разрешающим null - придется либо сдыхать с исключением, либо устанавливать некое "значение-по-умолчанию", которое потом не отличишь от такого же значения, но введенного явно.
По моему - это какие-то проблемы, не то уровня начинающих, а вообще детсадовские, т.е. проблемы реально не существует.
Либо предметная область разрешает "отсутствие данных" и мы таскаем всюду Option[T] или жабьи объектные врапперы или C# Nullable<T>, либо предметная область разрешает использовать некое значение по умолчанию и нам его отличать от отсутствия данных не нужно, либо данные обязаны присутствовать и мы таскаем value-type, в базе делаем поле not null и в прочих протоколах делаем поле обязательным и дохнем с исключением (возвращаем код ошибки) при его отсутствии.
Если требования не зафиксированы заранее - пользуемся логикой и выбираем один из трех вышеописанных вариантов. Если требования в процессе разработки меняются - рефакторим. Если требования противоречивы - доводим до заинтересованных лиц и дальше либо делаем требования непротиворечивыми, либо ослабляем строгость ограничений (убираем not null и рефакторим все из value-types в reference-types или Option[T]/Nullable<T>)

Артурег же упорно пытается превратить нормальную типизацию в ад жабаскрипта, минимизируя ограничения на хранимые значения. Но даже в этом случае можно оставить часть ограничений и гарантировать, что код не сломается и не будет вести себя непредсказуемо. Достаточно просто иметь представление о областях определения функций и ввести некие вменяемые правила поведения в случае, если значение выходит за область определения.

Я пытаюсь особо не айседствовать и прислушиваться к мнению людей, но в последнее время это разведение проблем на пустом месте от незнания простейших вещей начинает чрезвычайно раздражать.
Отказ использовать статическую типизацию хотя бы как способ рассуждения о коде (если язык не поддерживает ее явно в нужном объеме или это язык с динамической типизацией) мне не понятен в принципе, это примерно как добровольно отказатся от электричества, компьютеров, лекарств и пойти жить в землянки и жрать грязные корни.

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

Comments

[sergiej.livejournal.com]

Полнотью согласен. Детсадовские проблемы или лень.
Если не хватает типов - создавай свои. В конце концов создай себе объектные типы для каждого примитива и работай с ними, ну или создай тип, который будет мегауниверсальный само-де-нуллующийся само-нормальзующийся итп как тебе нужно и его таскай куда хочешь.
Печаль в жабе скорее в том, что разный подход к типам и быдлокодеры херачат чего хотят ели их вовремя по рукам не лупасить.

[artureg.livejournal.com]

страна эльфов, вас бы за жабры да носом в говно, писаное 50 рылами на протяжении десяти лет. Вы бы там конечно написали переписали и свои типы, и свою архитектуру и свою структуру БД с констреинтами и индексами

[sergiej.livejournal.com]

Молодой человек, я какбе работаю с системами, которым уже десятки лет, и писаны они тысячами рыл со всего мира. И основные проблемы там не в наличии/отсутствии чего-то в жабе, а в кривых руках и тупых головах при использовании данных обезьянкам инструментов.
A fool with a too is still a fool. Жаба тут ни при чём. Хотя нет, немного виновата тем, что она настолько проста, что выловленный на улице рандомный индус может творить на ней говнокод через неделю подсматривания за коллегой.

[theiced.livejournal.com]

s/индус/ортурег/

[artureg.livejournal.com]

вы б сперва читать научились, молодой человек.

[sergiej.livejournal.com]

Что я не так прочитал?

[artureg.livejournal.com]

видимо мой ответ, так как ваш с ним никак не коррелирует.

[sergiej.livejournal.com]

:)
да, бред какой-то произвели все вместе

[victor bolshakov (from livejournal.com)]

Ну свобода выбора работы гарантирована конституцией :)

[thedeemon.livejournal.com]

Не в РБ, походу :)

[volodymir-k.livejournal.com]

эльф -- это существо, которое верит, будто 50 рыл за 10 лет написали плохой код ТОЛЬКО из-за наличии в языке одной фичи. "А вот не было бы этой фичи..." -- так использовалась бы другая.


Я например как-то сел и 2 дня потратил на тупейшее убирание ~80 копипаст кусков. Да, неприятно, да я постоянно матерился вполголоса, но мне за это и платят деньги. Не нравится проект -- так и скажите своему менеджеру, ищите другой. Если вы не раб, прикованный цепями к стене, найти обычно удаётся.

[artureg.livejournal.com]

ой, ещё эльф

[volodymir-k.livejournal.com]

вы не способны вести предметный разговор -- ок, его не будет

никогда

[artureg.livejournal.com]

ну научитесь сперва читать не между строк.

[volodymir-k.livejournal.com]

жирно

обтекай чмо

[veter-r-r.livejournal.com]

Я наверное глупость скажу, но по-моему ребе М. наоборот жалуется на то, что ребе А. не не хватает типов, а наоборот типов слишком много, ему бы как в жабаскрипте пять типов и undefined и то многовато уже будет..

[artureg.livejournal.com]

в жс пять типов?) не позорься ну

[volodymir-k.livejournal.com]

ну 6, сильно другой ответ?

[artureg.livejournal.com]

что значит "сильно" другой? Просто другой.
Но таки да, сути не меняет. Вы не правы.

[veter-r-r.livejournal.com]

Ну нулл не посчитал, ну да и хер с ним.

[artureg.livejournal.com]

ой вэй, перечисли)

[veter-r-r.livejournal.com]

строка, число, массив, булеан, объект, собственно нулл и ундефайнед.
При этом считать нулл и ундефайнед полноценными типами мне лично странно.

[artureg.livejournal.com]

а объект это тип? а
var s = "asdsa"; var s = new String("asdsa") в чём разница?

так сколько в граммах? 4 - 5 - 6? а infinity это что?

[sergiej.livejournal.com]

Ну тогда я это совсем не так понял.
Но и на этот случай - ничто не мешает настоящему самураю сделать свои пять типов, все в них завернуть и юзать до потери пульса. Правда тогда начнётся настоящий ад, все начнут рожать мегаконстукции чтобы тягать метаданные о типах вместе с переменными итп.

[veter-r-r.livejournal.com]

Ну там вообще поток сознания ребе М. пополам с пауками и жабами, вырванный из какого-то контекста, о котором знают только участники спора. Но суть в целом такая, что ребе А. тупой и не лечится, а ребе М. в белом пальто стоит красивый. А рядом стоит ребе айсед и ржет над обоими.
А тема в принципе не важна :)))