да, но вчера у меня был охуительный экскурс в дебри кода на языке с dynamic scoping и lazy evaluation. После этого SML кажется самым прекрасным творением человечества.
Не обращу внимания на некорректно поставленный вопрос и отвечу на то, что ты имел ввиду — мне просто интересны границы, до которых ты говоришь «вдоль», а после — «а, да, пиздец».
Лично мне закон о запрете пропаганды гомосексуализма и закон Димы Яковлева вообще никак не мешают жить, равно как и 282 статья. И что теперь, забить хуй?
Понимаешь ли, шутки обычно шутятся либо с целью посмеяться, либо с целью выпендриться знанием объекта, над которым шутишь. Шутка в /0 не особо смешна, глубока и оригинальна, поэтому остается второй вариант. Выпендриваться знанием двух форм записи корней квадратичного уравнения, что проходится в школе всеми — это как-то, гм, печально.
Ну не знаю, блядь, давайте шутить «есть два вида людей, жы и жи», хахахахахахах.
А зачем запрещать браки между 10-летним и 60-летним, если гетеросексуальным парам разрешено? А почему брак между 18-летней и 60-летним не запрещен, хотя общественно осуждаем?
1. Затем, что существует такое понятие, как совершеннолетие. 2. Зависть. У редкого мужчины после 60 подвернётся возможность узаконить отношения с молодой девушкой.
1. Предполагается, что после 18 лет человек становится полностью самостоятельным и начинает нести полную ответственность за совершённые им действия. В том числе такие, как заключение брака. 2. Женщины осуждают потому, что как правило возникновению подобных связей предшествует разрыв отношений с предыдущей супругой с целью заключения брака с новой.
ну так хуле эти петушары лают про свой хаскиль. не как в хаскеле — значит говно и не нужно. похуй, что это "не как" было сделано за 10 лет до появления этого какашкеля.
Братуха пошутил ваще я тут кипятком зассал коврик с мышкой обоссал теперь новую покупать и от смеха пукан бомбануло за стулом новым пошел ахахаха мы так на работе тоже шуткуем иногда еще ну про овец в австралии и математика ну ты знаешь.
Это разумно. Уточню вопрос: когда компилятор добавляет пэддинг в структуру? У меня тут есть структура из uint32_t и uint8_t, и я что-то начал сцать, что она занимает не 5, а 8 байт на моем амд64.
> А то пока все твои примеры не выдерживали столкновения с реальным миром :( > А то пока все твои примеры не выдерживали столкновения с реальным миром :( > А то пока все твои примеры не выдерживали столкновения с реальным миром :(
Окей, разверну. Оказывалось, что они некорректны. Как, например, про мясо и бывшую тян (правда, это не очень про двойные стандарты). Или про всех тянок, которых я видел ИРЛ. Или типа того.
Про мясо я уныло троллил. Но всем понравилось. А вот с тянками вполне хорошо иллюстрируется примерами. Девочка выкладывает тупопездные фотки — ГАГАГА У КОМАРА БУДУГТ А ОНА НЯША С ВОЛШЕБНЫМИ РУЧКАМИ Я утверждаю (и что, блять, интересно — чисто в целях потроллить пиздолизов), что девочки ведутся на грубых, все по ротожопову — ХАХАХА НУ ТЫ И МУДАК ПРЯМО КАК ЛЯХ Утверждение вроде подтверждается — точнее, я наивно полагал, что подтверждается — ДА ОНА ШЛЮХА ПРОСТО С ЗАНИЖЕННОЙ САМООЦЕНКОЙ КАК ЭТО Я РАНЬШЕ НЕ ЗАМЕТИЛ А ВОТ, ЭТА ТУПАЯ ПИЗДА — НЯША ПРАВДА, НА ЗАПЯТЫЕ ПОХУЙ ТЕБЕ НИКТО НЕ ДАСТ А Я РЫЦАРЬ В БЕЛЫХ ДОСПЕХАХ И БОРЕЦ С ТУПЫМИ ПЕЗДАМИ
> А ОНА НЯША С ВОЛШЕБНЫМИ РУЧКАМИ И все еще так считаю. Про ручки особенно. Правда, мне с тех пор еще тянки спинку-шейку потискали, и я понял, что волшебные ручки чуть распространеннее.
> что девочки ведутся на грубых, все по ротожопову — ХАХАХА НУ ТЫ И МУДАК ПРЯМО КАК ЛЯХ Некоторые — да, я это еще про Пинусика говорил. Олсо, не прямо как Лях, Лях-то просто тупой, а у тебя СТРАТЕГИЯ.
> Утверждение вроде подтверждается А, я же забыл, что техническое мышление ты не осилил.
> ДА ОНА ШЛЮХА ПРОСТО С ЗАНИЖЕННОЙ САМООЦЕНКОЙ Интересная расшифровка высокой примативности.
> НЯША Да.
> ПРАВДА, НА ЗАПЯТЫЕ ПОХУЙ Лул.
> ТЕБЕ НИКТО НЕ ДАСТ Ну таки дают же.
> Я РЫЦАРЬ В БЕЛЫХ ДОСПЕХАХ И БОРЕЦ С ТУПЫМИ ПЕЗДАМИ Нет, не вайтнайт, а успешный человек, без иронии. Спасибо тебе, кстати, ты во многом стал отправной точкой общения. Срсли.
> А вот с тянками вполне хорошо иллюстрируется примерами. Ну и да, ОП, Восьмая, тем более та же Рнбдщ — они так вообще охуенно все иллюстрируют, да. Продолжай поддерживать свою иллюзию, лул.
Комар считает, что я лижу всякой тянке, которую видел ИРЛ. Тебе я не лижу, хотя видел ИРЛ, а Рнбдщ так вообще считаю феерической тупой пиздой и не понимаю, почему на нее все (или хотя бы хоть кто-то) дрочат.
У меня был шанс заполучить Рнбдщ, она мне открыто выказывала симпатию где-то в жуйке, мол, я норм, и она б со мной посидела. Это мне не особо помешало.
Она много кому выражала открытую симпатию. Алё, дедфуд, это реальный мир, если тиолочка пьёт с человеком кофе, это не означает, что она бросается на его хуй.
Олсо, твоя гипотеза не обосновывает, почему я не кидаюсь калом в ряд тянок, которых мне точно не получить, вроде Азалии, которая уже нынче жена Джона, или типа того, а, наоборот, весьма доброжелательно к ним отношусь.
Нет, срсли, почему ты так не хочешь признать, что некоторые тянки мне симпатичны, некоторые — нет, и это, блядь, не константы? Ну и что критерии несколько отличаются от твоих, только и всего.
А опыт показывает, что если припрет и захочется, можно кого угодно заполучить (в адекватных рамках).
Опыт показывает, что ты чётко делишь тиолочек на тех, которые тебе дадут, и на тех, которые не дадут никогда. И тех, которые тебе не дадут, ты прямо-таки травишь в каждом треде, в котором они тебе попадаются.
Как-то слишком сложные обоснования ты наворачиваешь сверху.
Травля Элизабетх из жуйка не привела бы к падению статуса, но я этого почему-то не делал, хотя она бы точно мне не дала. Кроме того, мне далеко неочевидно, что травля той же Азалии (если бы я нашел, за что травить), привела бы к какому-то падению. По крайней мере больше, чем травля Кирше, по крайней мере, с социальной точки зрения. К Лайку-то я тоже хорошо отношусь.
На твои симпатии/антипатии, типа внутренние твои причины, всем строго похуй. Я не вижу в поведении девушек, которых ты пытаешься подтравливать, ничего такого, что могло бы спровоцировать такую реакцию, и недоумеваюю.
Господи, да ты так говоришь, будто я великий трал тянок пстача просто. Пытаюсь подтравливать я только Кирхе, по большому счету, и Восьмую за эти ее биекции. В обоих случаях все вполне очевидно, как по мне. Что ты там недоумеваешь?
Ты стремная какая-то (и нет, это я щас не про внешность), и у тебя, мягко скажем, странная манера ведения разговоров, и меня слегка настораживает твоя активность. ХЗ как сформулировать, короче.
Кирше, восьмая, рейнбоудэш, малерин, короче, люди, про которых ты не упускаешь ни единой возможности сказать гадость. И ты старательно обходишь тему мотивации такого повединия, почему?
Малерин я не столько подтравливаю, сколько пытаюсь отвечать в контексте ее разговора. Хотя тут хз, я ее нихрена понять не могу, /236.
Говорить «я считаю Рнбдщ тупой пиздой» — травля? R u fukkin kidding me?
И я вполне разворачиваю мотивацию. Читай те два треда про ссанину в ТЦ и про беременную женщину в случае Кирхе, читай тред с БИЕКЦИЕЙ в случае Восьмой (и немного в случае ОПа), читай ε-окрестность комментариев про тупопездность Дыщ — там это обычно тоже разворачивается. Последнее, что я ожидал прочитать — что обхожу мотивацию такого поведения/отношения. Впрочем, если ты именно про поведение (типа, «ну да, я понимаю, почему ты смотришь на них как на говно, но оставь это при себе») — это я уже тоже объяснял.
Про что именно? Если про последнее предложение — да чуть ли не в этом треде, когда Лайк предложил сделать вдоль. И в треде про БИЕКЦИИ, когда обсуждалось, почему бы мне не заткнуться (а это вроде там обсуждалось, не помню, уже давно было).
мне даже в самом деле некомфортно теперь, когда ты говоришь, что я лижу — а на самом деле это не так. Выглядит, как будто ты тупой мудак, и я тебя этим обижаю.
пойди лучше миллионам мух объясни, что они тупые, неправы, и вообще лучше сначала поебаться в тайпчекер (for CORRECTNESS), а потом только убедиться, что код вообще работает
Ппц ты лол, долбежка в тайпчекер — это необходимый этап проверки работы кода. Хотя среднему питонушку, конечно же, лучше написать еще юнит-тестов, считая, что это-то уж точно проверка кода на работоспособность )
нет, я иллюстрирую не-необходимость искуственного ограничения доменов переменных и функций более того, чем они уже ограничены хардварно. Мало того, как вы отлично знаете, перенос энфорсинга этого в рантайм дает чрезвычайную гибкость, удобную (критичную) в ряде случаев.
целый класс ошибок > которые все равно ловятся при тестовых прогонах. или адепты строгих типов такие суровые, что не запускают код в процессе разработки?
я прекрасно о них знаю; ты настолько тупой, что не можешь в дискуссионный ролплей? не моя задача находить и отмечать слабости моей позиции, по правилам игры этим вы занимаетесь.
...І у всьому винна наша держава :( Колись були зірки топ-класу в українській музиці звучало дуже круто! А тепер... гуртожиток... обслуговування пасажирів... Сумно... А теперішні зірки можуть показати сраку? і бабло сипиться... Навіть співати не треба... Ех
Я призываю отказаться от тестов, а то тесты искусственно ограничивают поведение функций, что лишает чрезвычайной гибкости, удобной (критичной) в ряде случаев.
На самом деле нет. любая система типов — баланс между акцептом некорректной программы и реджектом корректной, где корректность не учитывает, собственно, типизацию, а подразумевает лишь семантику. ЕВПОЧЯ,
няша, рефакторинг — базворд который появился как раз для разгребания ООП-говна. при написании в нормальном стиле при ччетких требованиях "рефакторинг" обычно не требуется.
Дедфуд, попробуй засунуть в жопу свою обосракцию и начать программировать. До Озарения.
Пример утино-типизированного скриптового говна, падающего в рантайме, которое хуй покроешь тестами: if random(1000) == 1 someobject.nonexistent_method Нормальный язык построил бы AST и выдал бы ошибку еще на этапе компиляции.
Алгебраические типы. Их задают ТОЛЬКО в случае, когда хотят, чтобы ВСЕ варианты были обработаны. Никаких «но». Реджектов корректной программы в этом случае быть не может. Python-way: похуй на них. Ебошим строки, если программист не идиот — сам не забудет все обработать. Если не дай Бог рефакторинг, то то же самое. Ruby-way: питон — говно, поэтому мы сделаем тип symbol, который ничем не отличается по поведению от строк, но зато он светится красненьким в виме и можно использовать только a-zA-Z_
NULL. Боже, как я ненавижу NULL. Если в языке любое значение может может принимать NULL, то это не язык, а дерьмо, на котором больше полстрочки писать нельзя. Иначе оно пизданется и унесет на тот свет жену и детей. Какой, в пизду, возможет реджект корректно работающей программы, если NULL будет задаваться явно? «a = "huita"; if a == NULL», что ли?
Особенно забавно, что питонопитухи журят статическую типизацию из-за того, что надрываются в ней переводить и задавать типы явно. Это мудаки и не подозревают, что бывает вывод типов. Не подозревают они и о том, что duck typing прекрасно сочетается со статической типизацией. Мало того — в этом случае duck typing теряет свой главный недостаток в виде внезапно вылезающих в рантайме no method error’а и становится няшкой.
ебать тебе припекло; тесты фиксируют intended поведение — в отличие от статически доказываемых свойств, где когда как повезёт и насколько выразительной будет система типов
> где когда как повезёт Сегодня мы падаем с еррором в компайл-тайме, а завтра нет? > и насколько выразительной будет система типов Ну дык. Мы только и жалуемся, что МАЛО ТИПИЗАЦИИ.
а вот здесь закукарекал уже ты; type inference — не панацея, типы писать явно всё равно придётся (как раз в тех местах, где ты хочешь высказать статические гарантии)
ну и кроме этого, насчёт false rejections — напиши мне нереджектящуюся программу, полиморфную по кортежам ЛЮБОЙ арности в том же хачкеле. Понимаешь, о чём речь? Статические проверки ограничивают множество программ, которые ты можешь написать; даже когда ты знаешь, что программа уже корректна, — нужна дополнительная ебля, чтобы убедить тайпчекер в этом. Это и есть плата за гарантии статической типизации; в ряде случаев она слишком высока.
когда как повезёт — это, например, повезёт ли понять, в чём собственно ОШИБКА при сообщении от тайпчекера вида:
No instance for (monad-control-0.3.1.3:Control.Monad.Trans.Control.MonadBaseControl IO m0) arising from a use of ` http' Possible fix: add an instance declaration for (monad-control-0.3.1.3:Control.Monad.Trans.Control.MonadBaseControl IO m0) In a stmt of a 'do' block: http req manager In the expression: do { manager ← liftIO $ newManager def; req ← liftIO $ parseUrl fredURL; http req manager } In an equation for `getBody': getBody = do { manager ← liftIO $ newManager def; req ← liftIO $ parseUrl fredURL; http req manager }
понимаешь? Повезёт ли понять, в чём собственно СМЫСЛ очередного многострочного объявления типа этц
> а вот здесь закукарекал уже ты; type inference — не панацея, типы писать явно всё равно придётся (как раз в тех местах, где ты хочешь высказать статические гарантии)
В местах, где я хочу, чтобы был только такой-то тип, я явно указываю такой-то тип. Ну нихуя себе, блять. Что за хуйню я только что сказал?
> ну и кроме этого, насчёт false rejections — напиши мне нереджектящуюся программу, полиморфную по кортежам ЛЮБОЙ арности в том же хачкеле.
Кортеж создан для ограничения по арности. В этом его смысл. Если ты не хочешь, чтобы компилятор бил тебя по рукам — используй списки, массивы, whatever.
пиши тогда на паскале, там везде типы надо явно указывать, в чём проблема? // встречно тупой-mode
> Кортеж создан для ограничения по арности. В этом его смысл. отлично, но я пишу метабиблиотеку, которая генерирует FFI-врапперы для функций, принимающих в том числе и кортежи. Код для кортежа каждой конкретной арности практически идентичен, и мне нужно обобщить. а СИСТЕМА ТИПОВ мне не даёт это сделать, беда-беда
> пиши тогда на паскале, там везде типы надо явно указывать, в чём проблема? // встречно тупой-mode
Проблема в том, что я не хочу явно указывать типы там, где я не хочу явно указывать типы. Ебаный в рот, да что со мной сегодня.
> отлично, но я пишу метабиблиотеку, которая генерирует FFI-врапперы для функций, принимающих в том числе и кортежи. Код для кортежа каждой конкретной арности практически идентичен, и мне нужно обобщить. а СИСТЕМА ТИПОВ мне не даёт это сделать, беда-беда
Пацаны я тут закрылся в сарае на ключь и теперь немогу выйти помогите))))) Какая у тебя была необходимость использовать кортежи?
я тебе говорю о том, что в не особо удачных случаях типы могу быть настолько невыразительными, что статические гарантии перестают быть сколько-нибудь полезными в смысле коректности. Если прокукареканные дедфудом тесты в /413 контролируют свойства ЗНАЧЕНИЙ, непосредственно соседствующих с семантикой и *важных* для работы кода, то свойства ТИПОВ могут совершенно никакого отношения к коректности не иметь. Ну, блядь, не матчится у тебя Control.Monad.Trans.Control.MonadBaseControl IO m0 с каким-то кондуитом — в чём здесь твоя ошибка? // и от чего тебя этот энфорсинг уберёг?
> я тебе говорю о том, что в не особо удачных случаях типы могу быть настолько невыразительными, что статические гарантии перестают быть сколько-нибудь полезными в смысле коректности.
Приведи другой пример, я в вашем хаскельном кукареканьи ничего не понимаю. Иначе я приведу рандомный бектрейс и начну кукарекать про ОЛОЛО ДИНАМИЗМ СОСНУЛ.
573 comments
recommend
bookmark
subscribe
Ахахаха математическая шутка ты тоже смотришь теорию большого взрыва да шелдон няшка?))))))))))))))
Мне сказали, что для этого сериала я слишком глупая:(((((((((
разупорись, демон
СВЯЩЕНИКА В ПСТО
я тот , что посередине ._.
=))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) )))))))))))))))))))))))))))))))))))))))))))))))
Дальше кважратного уравнения лень решать:)
Правильно сказали.
А, разве на этот пост ожидается не такая реакция?
неть, я палочка же.
Хм.
dunno, но ты явно чего-то не того упорол
О, у него и роги отрисовались. личкрафты детектят рогатых!!1
Нет, просто меня этот ебаный воннабизм доебал уже.
Вдоль.
ну вот, явно чего-то упорол
какой к чёрту воннабизм? где?
расскажи мне больше об этом, пожалуйста
Это Дедфуд. Он неисправим. Ему просто хочется кушать.
окей
Я тоже кушать хочу:(
О, а тем людям, которых не устраивают, например, новые законодательные инциативы, ты тоже так отвечаешь?
лучше давайте поговорим о том, нахуя в SML прилепили костыль в виде equality types, и почему не сделали как в х-ле, например
На самом деле нет.
В /0. Охуенно смешная шутка, блядь. Уровня восьмого класса сельской школы.
ХЗ, не тыкал SML.
Меня сегодня покормили охуенно приготовленным мясом, не хочу больше кушать на этой неделе.
О том, что меня заебал воннабизм? Тебе в тредик @Eight про БИЕКЦИЮ.
equality types — это тайпкласс Eq, только впиленный в синтаксис языка. Нахуй так жить?
Ты на плюсах давно не писал, видимо.
А ещё и я контекстно-независимый.
а где в /0 ты его откопал?
да, но вчера у меня был охуительный экскурс в дебри кода на языке с dynamic scoping и lazy evaluation. После этого SML кажется самым прекрасным творением человечества.
Как законодательство коррелирует с картинкой в микробложике?
Че.
/25.
На куэмельке пописал шоле?
Правда он скорее eager, если о нем можно так говорить.
нет, местечковый DSL.
Не обращу внимания на некорректно поставленный вопрос и отвечу на то, что ты имел ввиду — мне просто интересны границы, до которых ты говоришь «вдоль», а после — «а, да, пиздец».
Пиздец наступает тогда, когда то или иное явление действительно мешает жить.
дедфуду чужой воннабизм мешает жить
и куда тут воннаби?
переведи, пожалуйста, я не понимаю тебя
Выражаю мои искренние сочувствия.
Лично мне закон о запрете пропаганды гомосексуализма и закон Димы Яковлева вообще никак не мешают жить, равно как и 282 статья. И что теперь, забить хуй?
Когда они пришли за мной, бла-бла-бла, все дела.
/44
не отвлекайся, пили личкрафты
Ваш ответ понятен, спасибо за четкое, аргументированное мнение и последовательную жизненную позицию.
Понимаешь ли, шутки обычно шутятся либо с целью посмеяться, либо с целью выпендриться знанием объекта, над которым шутишь. Шутка в /0 не особо смешна, глубока и оригинальна, поэтому остается второй вариант. Выпендриваться знанием двух форм записи корней квадратичного уравнения, что проходится в школе всеми — это как-то, гм, печально.
Ну не знаю, блядь, давайте шутить «есть два вида людей, жы и жи», хахахахахахах.
Законы мешают жить многим педикам и сиротам. Твои вымышленные страдания мешают жить только тебе. Так яснее?
Педикам не мешают — хуле, долбись себе в попчанский, кто запрещает долбиться-то.
Усыновление — а хули, пусть в детском доме живут, кто запрещает-то.
Ладно, второе _слишком_ натянуто, давай сначала с первым разберемся. И с 282, где за фразу «пора кончать эту экономику» по ней сажают.
ORLY? А тот факт, что педикам запрещают регистрировать браки ты никак не учитываешь?
А зачем им браки регистрировать?
Ответственность за совместное имущество, наследство.
Наследство и так решается завещанием, а ответственность за имущество — это как-то, гм, размыто.
1000 и 1 способ поджарить себе зад
грустно быть такой с такими-то шаблонами
Че.
Хорошо, зачем тогда гетеросексуальные пары регистрируют браки? Ведь всё решается наследством, а детей и так воспитывать можно.
А ты так говоришь, будто я считаю, что нужно всенепременно регистрировать брак.
хуй там. Я и так и так, под настроение решаю.
Тут уже про гей-браки.
ну, я и не сомневался. ты же в треде :)
Это уже особенности твоих убеждений. Но зачем педикам-то запрещать браки, если гетеросексуальным парам разрешено?
Олсо, флаг тебе в руки. Выдвигай законопроект о запрете браков вообще. Все будут счастливы.
А зачем запрещать браки между 10-летним и 60-летним, если гетеросексуальным парам разрешено?
А почему брак между 18-летней и 60-летним не запрещен, хотя общественно осуждаем?
Иными словами, какая разница?
Блеа, ты слишком контекстно-свободный, почини.
1. Затем, что существует такое понятие, как совершеннолетие. 2. Зависть. У редкого мужчины после 60 подвернётся возможность узаконить отношения с молодой девушкой.
1. И что? Ну пусть себе существует.
2. Так осуждают же не только ≥60-летние или мужчины.
1. Предполагается, что после 18 лет человек становится полностью самостоятельным и начинает нести полную ответственность за совершённые им действия. В том числе такие, как заключение брака. 2. Женщины осуждают потому, что как правило возникновению подобных связей предшествует разрыв отношений с предыдущей супругой с целью заключения брака с новой.
1. Ты согласен с этим тезисом?
2. И что?
Олсо, речь-то не про это. Ты что, после двух ньюлайнов не читал? :(
Каких ньюлайнов?
Двух.
Тебя интересует разница?
-______________-
Меня интересует, почему ты закрываешь глаза на очевидные последствия этой воннаби-хуйни.
Потому что дальше смрада в микробложике дело не двинется. Все будут делать то, что хотят делать.
Тогда я не понимаю, почему ты не закрываешь глаза на мое хейтерство определенных вещей, вроде двойных стандартов или вот этой хуйни.
потому что ты громко кукарекаешь и мешаешь мне спать
Потому что мне жаль твои усилия, потраченные на борьбу с ветряными мельницами, дорогой мой Дон Кихот.
В твоем говноIM так сложно отключить кукарек-звук, который ты поставил на псто? :3
Я предпочту лишний раз высказаться, нежели чем заткнуться и экономить усилия.
зря
Лул, ты даже не видишь всей иронии твоего комментария.
А какая польза от того, что тебя в очередной раз проигнорируют? Мне просто интересно.
Не факт, что проигнорируют. Да и авось в следующий раз не запостят такой хуйни, что социально полезно.
Попробуй статистику вести, оценишь эффективность метода потом.
И пи-вэлью посчитать полюбас.
Хорошая идея, можно написать eventcmd.
ты тупой просто, это не воннабизм
Хватит писечку лизать.
корсеришь?
ебать тебе припекло
Тебе.
сасай писюн
Питоноответ.
Ебать ты переигрываешь.
В голос.
В хуёлос.
ГАГАГА БАГЕТ
ХУЕТ
КАК ЭТО НЕ КАК В ХАСКЕЛЕ ???777
больше базвордов! что за язык-то ?
Меня чуть со стула не сдуло этим байтораздирающим воплем
ну так хуле эти петушары лают про свой хаскиль. не как в хаскеле — значит говно и не нужно. похуй, что это "не как" было сделано за 10 лет до появления этого какашкеля.
Про твой.
да я ломо, даже туториал про монады не написал.
Хуило, блядь, как тебя на пстач пустили.
да хуй знает. по пстачу надо аккуратней ходить. а то и гляди наступишь в хаскелепонос чей-нибудь.
На мой.
привет, цепь маркова.
Моя.
:3
будеш норм пацанов обижать, я буду минировать тебе ебальнег, петушок дырявый
есть 10 видов людей — те которые понимаю бинарный код, и те которые его не понимают. ахахахах, я сразу понял, а вы?
Братуха пошутил ваще я тут кипятком зассал коврик с мышкой обоссал теперь новую покупать и от смеха пукан бомбануло за стулом новым пошел ахахаха мы так на работе тоже шуткуем иногда еще ну про овец в австралии и математика ну ты знаешь.
// норм косплей @mad_hater'а?
После тебя все стены в гавне.
Слы, ты сиблядок же, поясни мне по хардкору, элементы в массиве выравниваются по слову или нет?
// Не оч косплей, бзумный шляпник не начинает предложения с прописных букв. Никогда.
А, от этого я не могу избавиться :(
http://ideone.com/5pOHA6
Это разумно. Уточню вопрос: когда компилятор добавляет пэддинг в структуру? У меня тут есть структура из uint32_t и uint8_t, и я что-то начал сцать, что она занимает не 5, а 8 байт на моем амд64.
И сколько, интересно, жрут нелиственные узлы std::map'а на 64 битах, если их примерно 32 миллиона.
всегда? http://ideone.com/s9JtX7 вообще-то это разумно. доступ к невыровненным данным длится всегда дольше.
Сучка крашеная, так и думал. Стоп, а выравнивает он по чему на 64 битах?
в душе не ебу. передай этой суки кастомный аллокатор, который будет собирать статистику и посмотри.
выравнивает по наименьшему общему кратному выравниваний для всех элементов структуры.
хм, 8/10.
А, заебался, все равно память куда-то вникуда проебывается.
s/память/жизнь :3
Моя история.
вообще-то -b/2a и -c/2a
пардон — c/a^2
На самом деле нет.
перемножь корни сам, в числителе разность квадратов, а знаменатель тупо в квадрате
Ну епт, напиши в форме (x — x₁)(x — x₂) = 0, раскрой скобки и узри, что там чему равно.
да, проебался ... позор на голову ... мало того что теорему Виета не помню, так еще и дурацкая невнимательность при простейших вычислениях
тупой
ты
мама твоя
Успокойтесь, тупая я
Да, ты.
Но я все-равно от этого не страдаю. В отличие от вас:)
Потому что ты обыватель, после тебя хоть потом.
Не нервничай. Животик болеть будет
Кто тебе сказал, что я нервничаю, лул?
Мне показалось, котик.прости
теорема миньета %)
Хотела бы я посмотреть на людей, которые каждый раз применяют теорему Вельвета.
> теорему Вельвета.
ололо бороков!
на меня посмотри плз
дорогу осилит идущий!
в моём лк нет ни звуков не нотифаев, я свободный от задротства человек!
что до сих кто-то багорит от зависти к величайшему из рыцарей? что ты сделал для хипхопа в свои годы?
социально полезно рожать детей ибо это ускоряет сеттлеретику и приход всеобщего счастья
на китайских заводах
это просто рак
потому что не осилили лишп
твои такие же правда :)
ппц ты
http://www.gamedev.ru/code/forum/?id=579... -_-
а хуле ты думал буст невесомой магией и бабочками наполнен?
пиздец
Там не буст даже, и не особо STL. И вообще это не про личкрафты.
std::map не особо STL, ага.
В мапе почти нихуя из того, что проебывается.
> дедфуд
> двойные стандарты
Долбоебы потому что.
Телл ми моар.
Давай я скажу. Дедфуд состоит из двойных стандартов весь.
Например?
Дедфуд, ну еб твою мать.
Давай-давай, хотя б ты. А то пока все твои примеры не выдерживали столкновения с реальным миром :(
> А то пока все твои примеры не выдерживали столкновения с реальным миром :(
> А то пока все твои примеры не выдерживали столкновения с реальным миром :(
> А то пока все твои примеры не выдерживали столкновения с реальным миром :(
Окей, разверну. Оказывалось, что они некорректны. Как, например, про мясо и бывшую тян (правда, это не очень про двойные стандарты). Или про всех тянок, которых я видел ИРЛ. Или типа того.
Про мясо я уныло троллил. Но всем понравилось.
А вот с тянками вполне хорошо иллюстрируется примерами.
Девочка выкладывает тупопездные фотки — ГАГАГА У КОМАРА БУДУГТ А ОНА НЯША С ВОЛШЕБНЫМИ РУЧКАМИ
Я утверждаю (и что, блять, интересно — чисто в целях потроллить пиздолизов), что девочки ведутся на грубых, все по ротожопову — ХАХАХА НУ ТЫ И МУДАК ПРЯМО КАК ЛЯХ
Утверждение вроде подтверждается — точнее, я наивно полагал, что подтверждается — ДА ОНА ШЛЮХА ПРОСТО С ЗАНИЖЕННОЙ САМООЦЕНКОЙ КАК ЭТО Я РАНЬШЕ НЕ ЗАМЕТИЛ А ВОТ, ЭТА ТУПАЯ ПИЗДА — НЯША ПРАВДА, НА ЗАПЯТЫЕ ПОХУЙ ТЕБЕ НИКТО НЕ ДАСТ А Я РЫЦАРЬ В БЕЛЫХ ДОСПЕХАХ И БОРЕЦ С ТУПЫМИ ПЕЗДАМИ
> А ОНА НЯША С ВОЛШЕБНЫМИ РУЧКАМИ
И все еще так считаю. Про ручки особенно. Правда, мне с тех пор еще тянки спинку-шейку потискали, и я понял, что волшебные ручки чуть распространеннее.
> что девочки ведутся на грубых, все по ротожопову — ХАХАХА НУ ТЫ И МУДАК ПРЯМО КАК ЛЯХ
Некоторые — да, я это еще про Пинусика говорил. Олсо, не прямо как Лях, Лях-то просто тупой, а у тебя СТРАТЕГИЯ.
> Утверждение вроде подтверждается
А, я же забыл, что техническое мышление ты не осилил.
> ДА ОНА ШЛЮХА ПРОСТО С ЗАНИЖЕННОЙ САМООЦЕНКОЙ
Интересная расшифровка высокой примативности.
> НЯША
Да.
> ПРАВДА, НА ЗАПЯТЫЕ ПОХУЙ
Лул.
> ТЕБЕ НИКТО НЕ ДАСТ
Ну таки дают же.
> Я РЫЦАРЬ В БЕЛЫХ ДОСПЕХАХ И БОРЕЦ С ТУПЫМИ ПЕЗДАМИ
Нет, не вайтнайт, а успешный человек, без иронии. Спасибо тебе, кстати, ты во многом стал отправной точкой общения. Срсли.
Ты опять соснул короч.
> А вот с тянками вполне хорошо иллюстрируется примерами.
Ну и да, ОП, Восьмая, тем более та же Рнбдщ — они так вообще охуенно все иллюстрируют, да. Продолжай поддерживать свою иллюзию, лул.
ОП нихрена не понял, что там кому иллюстрирует. Расскажите, а.
Комар считает, что я лижу всякой тянке, которую видел ИРЛ. Тебе я не лижу, хотя видел ИРЛ, а Рнбдщ так вообще считаю феерической тупой пиздой и не понимаю, почему на нее все (или хотя бы хоть кто-то) дрочат.
И восьмая, и рнбдщ хотя бы пишут грамотно. А рнбдщ ещё и не жирная.
Эм, и причем тут это?
Напомнило #tzfhze/41
даже не знаю, за что теперь браться..
Сняка, объясни в двух словах, кто такая рнбдщ и почему она отшила дедфуда.
Ты лижешь всякой девушке, которую у тебя есть шанс заполучить. Если такого шанса нет, ты начинаешь бросаться калом.
Моя точка зрения, например.
Это тиолочка @odin'а.
Понял. А восьмая для него слишком большая, что ли?
Восьмую он просто испугался кмк.
Она не отшила дедфуда, наоборот. Олсо, твой мир стал еще чуточку забавнее.
А, ну она да, не из робкого десятка.
У меня был шанс заполучить Рнбдщ, она мне открыто выказывала симпатию где-то в жуйке, мол, я норм, и она б со мной посидела. Это мне не особо помешало.
Да попизди мне теперь.
Зачем? Рушить внутренний мирок человека — бессмысленное и неблагодарное занятие :(
Она много кому выражала открытую симпатию. Алё, дедфуд, это реальный мир, если тиолочка пьёт с человеком кофе, это не означает, что она бросается на его хуй.
Это, пожалуй, ближе всего к.
Хорошо-хорошо, не просто испугался. ОЧЕНЬ ИСПУГАЛСЯ.
Я тоже её пугаюсь, кстати.
Ты не дорос просто.
Конечно не означает. Только разницу между шансами и гарантированным результатом осиль позязя, либо скорректируй утверждение.
Вширь^U
У меня был шанс выебать Сашу Грей.
Ты не шаришь.
Олсо, твоя гипотеза не обосновывает, почему я не кидаюсь калом в ряд тянок, которых мне точно не получить, вроде Азалии, которая уже нынче жена Джона, или типа того, а, наоборот, весьма доброжелательно к ним отношусь.
Я шучу.
Ты не шаришь. [2]
Ты не дорос просто. [2]
До Саши Грей? Ок.
почти что про меня
Нет, срсли, почему ты так не хочешь признать, что некоторые тянки мне симпатичны, некоторые — нет, и это, блядь, не константы? Ну и что критерии несколько отличаются от твоих, только и всего.
А опыт показывает, что если припрет и захочется, можно кого угодно заполучить (в адекватных рамках).
Кстати, да, или кидаюсь калом в тянок, которые меня открыто на борщи звали, вроде Восьмой.
Хотя хули я тут доказать чо пытаюсь, все равно кукаретик-тред, Комар скажет, что я пизжу, и останется при своем.
Опыт показывает, что ты чётко делишь тиолочек на тех, которые тебе дадут, и на тех, которые не дадут никогда. И тех, которые тебе не дадут, ты прямо-таки травишь в каждом треде, в котором они тебе попадаются.
-______-
/202
/208
/209
Рнбдщ я не вношу во множество тех, которые мне не дадут. Это тупо не нужно, не вижу смысла трахать унылое и, на самом деле, весьма стремное нечто.
О, всё просто. Попытка тупой травли в их отношении приведёт к падению твоего статуса, а не их, поэтому ты и избегаешь такого.
меня по-этому обижает дудфуд?
Да дело не в твоих симпатиях, а в том, что ты совершенно безо всякой внешней причины набрасываешься на людей.
Не понял вопроса.
он на меня набрасывается в каждом треде и пытается улюлюкать
Да, и не может внятно объяснить, зачем он это делает и почему.
welcome to the club!
Как-то слишком сложные обоснования ты наворачиваешь сверху.
Травля Элизабетх из жуйка не привела бы к падению статуса, но я этого почему-то не делал, хотя она бы точно мне не дала.
Кроме того, мне далеко неочевидно, что травля той же Азалии (если бы я нашел, за что травить), привела бы к какому-то падению. По крайней мере больше, чем травля Кирше, по крайней мере, с социальной точки зрения. К Лайку-то я тоже хорошо отношусь.
Нет.
а почему?
Define внешней.
Я на тебя не набрасываюсь в каждом треде, ладно тебе. Вон, про биекцию ты охуенно пошутила, в смысле, про квадратные уравнения, вот и срачик.
Как-то смешно называть то, что я делаю, набрасываниями на тебя.
> А опыт показывает, что если припрет и захочется, можно кого угодно заполучить (в адекватных рамках).
prove it
Извини, я недостаточно Комар, чтобы постить сиськи интересных мне девушек с номером на них. Хотя эту тему с этими девушками мы тоже затрагивали.
ВСЕ ОСТАНУТСЯ ПРИ СВОЕМ
Комароведение комароспора.
На твои симпатии/антипатии, типа внутренние твои причины, всем строго похуй. Я не вижу в поведении девушек, которых ты пытаешься подтравливать, ничего такого, что могло бы спровоцировать такую реакцию, и недоумеваюю.
в тему: Кэмерон Диаз отказалась делать минет умирающему подростку
http://novolitika.info/news/85645
Господи, да ты так говоришь, будто я великий трал тянок пстача просто. Пытаюсь подтравливать я только Кирхе, по большому счету, и Восьмую за эти ее биекции. В обоих случаях все вполне очевидно, как по мне. Что ты там недоумеваешь?
Боян. Олсо, этим подростком был Альберт Эйнштейн.
Ты ссышь просто, что нализанная непоисльным трудом девочка уйдет.
> нализанная непосильным трудом
Не устаю проигрывать с твоего мировоззрения.
Ты стремная какая-то (и нет, это я щас не про внешность), и у тебя, мягко скажем, странная манера ведения разговоров, и меня слегка настораживает твоя активность. ХЗ как сформулировать, короче.
Кирше, восьмая, рейнбоудэш, малерин, короче, люди, про которых ты не упускаешь ни единой возможности сказать гадость. И ты старательно обходишь тему мотивации такого повединия, почему?
s/повединия/поведения/
Малерин я не столько подтравливаю, сколько пытаюсь отвечать в контексте ее разговора. Хотя тут хз, я ее нихрена понять не могу, /236.
Говорить «я считаю Рнбдщ тупой пиздой» — травля? R u fukkin kidding me?
И я вполне разворачиваю мотивацию. Читай те два треда про ссанину в ТЦ и про беременную женщину в случае Кирхе, читай тред с БИЕКЦИЕЙ в случае Восьмой (и немного в случае ОПа), читай ε-окрестность комментариев про тупопездность Дыщ — там это обычно тоже разворачивается.
Последнее, что я ожидал прочитать — что обхожу мотивацию такого поведения/отношения.
Впрочем, если ты именно про поведение (типа, «ну да, я понимаю, почему ты смотришь на них как на говно, но оставь это при себе») — это я уже тоже объяснял.
Где ты про это писал?
Про что именно? Если про последнее предложение — да чуть ли не в этом треде, когда Лайк предложил сделать вдоль. И в треде про БИЕКЦИИ, когда обсуждалось, почему бы мне не заткнуться (а это вроде там обсуждалось, не помню, уже давно было).
а я неудачник, даже сраный дедфуд меня не тролит
Просто ты не девочка.
Девочка же.
Предъяви.
Конкретизируй свою предложение)
Дискриминирует
Доминирует.
Хуирует.
тяны не^W нужны
Обрати внимание, какой альфакун клевый клеится к тебе, Клавик
Не я.
настоящий хохол
зато у него медали с олимпиад есть
А у меня — ни одной.
ппц ты неудачник тупой.
Выслал одну Почтой России.
дедфуд тупой мудак
/thread
Тгавля?
Хватит лизать уже, даже не смешно.
как же ты заебал уже.
мне даже в самом деле некомфортно теперь, когда ты говоришь, что я лижу — а на самом деле это не так. Выглядит, как будто ты тупой мудак, и я тебя этим обижаю.
поэтому ладно.
Нет, выглядит так, будто ты лижешь. Особенно Восьмой ;3
мне сделать фотку с моим языком в её пизде, чтобы ты был прав?
Комар, залогиньтесь.
я до достаточно понятного абсурда довёл твои обвинения?
или мне всё же стоит ещё полизать?
Однако, как сильно тебя с моей неграмотности припекло.
именно что против, ведь из-за них рождается меньше быдла которое пойдёт на топливо
реального мира нету, есть только война
заверни мне 300гр. тян мелкими кусочками
лул
> техническое мышление
Scar, scar, and your world gets smaller!
Ты так пытаешься запутать следы, очевидно же!
моя история
свежо!
я УЖЕ читал сегодня
Вот инетерсно, за что Вам минус поставили, ума не приложу!
дваждую, сосать гораздо смешнее
багор питоняшки
у меня тоже 8-ая
^_______^
отсос цпп
Схоронила в папочку "Прон"
Смотрю на твою фотку ниже по треду.
спасибо :з
багор
А ты жырная?
http://www.google.com/about/jobs/
пройдёшь собеседование — расскажу
ппц ты упрямый
название всё равно никому ничего не скажет, поскольку это местечковый DSL, а описывать весь язык я тем более не буду.
ну как, как я мог пропустить такой сочный тред?
блять, нахуя я всё это читаю?
Нет, не жирная.
Нужно больше переменных для описания, BIC/AIC хуита для девочек.
Инкрементирую.
А у меня спермерка.
Она успешно интегрировалась в пстачесообщество, норм.
Мор лайк безуспешно пытается интегрироваться.
Мой.
Нет.
толстоватая
В каком месте?
Гагага багет.
Вуд нот бэнг. Э, в смысле, не, у нее дедфудостиль прст.
Злой ты сегодня.
Дома нет ничего сладкого просто.
Давай мы тебе вышлем)
лизнул
Поздравляю. Олсо, уйми свой баттхерт.
могу твой унять
Как? Ты вложишь в головы этих неразумных людей некие понятия?
Согласна.
Еще скажи, что тебе не понравилось.
что, ждём постов про стекающую по попке сперму любимого мужчины?
Представь себе.
Можешь ждать.
запили прохладную
Саксоотсылка, ты не шаришь.
:(
http://juick.com/saksa
поэтому и прошу запилить прохладную. Шарил бы — не просил бы, obv.
Только научите ее запятые ставить, пожалуйста. Или вообще не ставить. Это, лучше, чем ставить как, она.
♥
Перегибаешь же.
Любишь стекающую по попке сперму любимого мужчины?
кто б тебя научил читать без запятых
Я, умею
И программировать без типов.
Нувыпонели, к чему все идет.
NNNOOOOOOOOOO!
так вы уже поебались или когда ждать?
Лучше ты)
Лучше он что?
Я, не умею учить на, расстоянии
Поебалися, но недолго ебалися, минут 10 всего.
Он лучше.
пфф
"Только научите ее запятые ставить"
горячая история
Курлык-курлык.
У тебя ж всегда так
Не все в треде брюхоногие.
А она все следы замела, что ли?
Жалость какая.
Пичаль :(
мне сейчас сложно будет возразить, но... на самом деле все.
Как-то не скатилось в языкосрач, а жаль.
На самом деле нет.
все уже просто давно всё поняли, и потешаться над несогласными с вами только вам и интересно (а вас меньшинство, замечу)
Я бы связал и поучил.
Ответил в приватики.
Электротоком?
Уже нет.
На самом деле нет.
Я же толстовата?
> 2014
> @0xd34df00d и @n-1 уже не поебались
ппц как назад жить
Нет, конечно. Я кого-нибудь ещё свяжу, пограмотнее.
В петлю пролезешь.
Миллионы мух не могут ошибаться. Пойду закрою еще уязвимостей в RoR.
Ничего, у меня хватит верёвки.
+ /358 норм
Шняка, научи Восьмую писать. позязя, а то она в этом треде обосралась опять → #tiefte/47.
пойди лучше миллионам мух объясни, что они тупые, неправы, и вообще лучше сначала поебаться в тайпчекер (for CORRECTNESS), а потом только убедиться, что код вообще работает
Петли разные бывают.
А то.
:(
Ппц ты лол, долбежка в тайпчекер — это необходимый этап проверки работы кода. Хотя среднему питонушку, конечно же, лучше написать еще юнит-тестов, считая, что это-то уж точно проверка кода на работоспособность )
Мух надо целенаправленно выпизживать, а не объяснять им что-то.
> долбежка в тайпчекер — это необходимый этап проверки работы кода.
ты сейчас просто перевернул в гробу всех программировавших в 60-70 на ассемблерах и перемычках
охуенная идея, построй на ней стартап! // тупица
И ты призываешь всех вернуться в шестидесятые, охуенный прогрессор
нет, я иллюстрирую не-необходимость искуственного ограничения доменов переменных и функций более того, чем они уже ограничены хардварно. Мало того, как вы отлично знаете, перенос энфорсинга этого в рантайм дает чрезвычайную гибкость, удобную (критичную) в ряде случаев.
блджад, простите за сбивчивый почерк, я тут ЗАНЯТ
Удобную в ряде случаев и нихуя не удобную в ряде других случаев, которые вы так упорно стремитесь не замечать.
static types — false sense of protection
фанбои они такие
Да как же вы заебали. Она не защищает, но убирает целый класс ошибок.
целый класс ошибок
> которые все равно ловятся при тестовых прогонах. или адепты строгих типов такие суровые, что не запускают код в процессе разработки?
я прекрасно о них знаю; ты настолько тупой, что не можешь в дискуссионный ролплей?
не моя задача находить и отмечать слабости моей позиции, по правилам игры этим вы занимаетесь.
Те, что ловятся при тестовых прогонах — по определению не входят во множество ошибок, от которых спасает статическая типизация.
с тобой никто не играет
хорошо, ты прав // понарошку только, не на самом деле
Тогда я выиграл, пока.
> Дядя, давай сыграем в игру: кто больше сожрет говна. > Сынок, ты ебанутый? Не буду играть с такой в такое > Тогда я выиграл.
лисповый DSL?
багор пхпяшки
А у меня вертолёт.
Да. Путём сеттлеретики.
Заблеклистил дорфе-наркомана
Хуй на.
С добрым утром!
Да, и тебе доброго утра.
как я с личкрафтами прямо
гладью?
примерно так: погладь слона, сука
лел
отписался
и вот чо ты тут за хуйни напостил?
в BL тебя.
пруф или меня
...І у всьому винна наша держава :( Колись були зірки топ-класу в українській музиці звучало дуже круто! А тепер... гуртожиток... обслуговування пасажирів... Сумно... А теперішні зірки можуть показати сраку? і бабло сипиться... Навіть співати не треба... Ех
Пиздец.
Я призываю отказаться от тестов, а то тесты искусственно ограничивают поведение функций, что лишает чрезвычайной гибкости, удобной (критичной) в ряде случаев.
А это не protection, это required precondition.
Комар дело говорит, я обосрался.
На самом деле не все. Порефактори мне динамически типизированный код, посмотрю на это кукаретничество.
Лул, слил.
На самом деле нет. любая система типов — баланс между акцептом некорректной программы и реджектом корректной, где корректность не учитывает, собственно, типизацию, а подразумевает лишь семантику. ЕВПОЧЯ,
Со мной :(
А я только с утра, теперь поздно.
няша, рефакторинг — базворд который появился как раз для разгребания ООП-говна. при написании в нормальном стиле при ччетких требованиях "рефакторинг" обычно не требуется.
> рефакторинг — базворд который появился как раз для разгребания ООП-говна
Пруфы.
Дедфуд, попробуй засунуть в жопу свою обосракцию и начать программировать. До Озарения.
Пример утино-типизированного скриптового говна, падающего в рантайме, которое хуй покроешь тестами:
if random(1000) == 1
someobject.nonexistent_method
Нормальный язык построил бы AST и выдал бы ошибку еще на этапе компиляции.
Алгебраические типы. Их задают ТОЛЬКО в случае, когда хотят, чтобы ВСЕ варианты были обработаны. Никаких «но». Реджектов корректной программы в этом случае быть не может.
Python-way: похуй на них. Ебошим строки, если программист не идиот — сам не забудет все обработать. Если не дай Бог рефакторинг, то то же самое.
Ruby-way: питон — говно, поэтому мы сделаем тип symbol, который ничем не отличается по поведению от строк, но зато он светится красненьким в виме и можно использовать только a-zA-Z_
NULL. Боже, как я ненавижу NULL. Если в языке любое значение может может принимать NULL, то это не язык, а дерьмо, на котором больше полстрочки писать нельзя. Иначе оно пизданется и унесет на тот свет жену и детей. Какой, в пизду, возможет реджект корректно работающей программы, если NULL будет задаваться явно? «a = "huita"; if a == NULL», что ли?
Требования меняются, братишка.
Особенно забавно, что питонопитухи журят статическую типизацию из-за того, что надрываются в ней переводить и задавать типы явно.
Это мудаки и не подозревают, что бывает вывод типов.
Не подозревают они и о том, что duck typing прекрасно сочетается со статической типизацией. Мало того — в этом случае duck typing теряет свой главный недостаток в виде внезапно вылезающих в рантайме no method error’а и становится няшкой.
Я НЕ ПОНЕЛА))))))))))))))))))
братюня, рефакторинг — это переколбашивание внутреннего конвнкода и при неизменности внешней логики. если поменялись требования — то пизда.
и тред парализовало
Привет, как дела?
Это потому что у тебя ДИНАМИЗМ, вот и пизда.
Параллелизовало и автовекторизовало.
блять, казалось бы причем тут. однако перехуячить динамическую программу проще под изменившиеся требования.
ебать тебе припекло; тесты фиксируют intended поведение — в отличие от статически доказываемых свойств, где когда как повезёт и насколько выразительной будет система типов
сделайте меня это развидеть. еще и софт не тестировать.
> где когда как повезёт
Сегодня мы падаем с еррором в компайл-тайме, а завтра нет?
> и насколько выразительной будет система типов
Ну дык. Мы только и жалуемся, что МАЛО ТИПИЗАЦИИ.
а вот здесь закукарекал уже ты; type inference — не панацея, типы писать явно всё равно придётся (как раз в тех местах, где ты хочешь высказать статические гарантии)
ну и кроме этого, насчёт false rejections — напиши мне нереджектящуюся программу, полиморфную по кортежам ЛЮБОЙ арности в том же хачкеле. Понимаешь, о чём речь? Статические проверки ограничивают множество программ, которые ты можешь написать; даже когда ты знаешь, что программа уже корректна, — нужна дополнительная ебля, чтобы убедить тайпчекер в этом. Это и есть плата за гарантии статической типизации; в ряде случаев она слишком высока.
когда как повезёт — это, например, повезёт ли понять, в чём собственно ОШИБКА при сообщении от тайпчекера вида:
No instance for (monad-control-0.3.1.3:Control.Monad.Trans.Control.MonadBaseControl IO m0)
arising from a use of ` http'
Possible fix:
add an instance declaration for
(monad-control-0.3.1.3:Control.Monad.Trans.Control.MonadBaseControl
IO m0)
In a stmt of a 'do' block: http req manager
In the expression:
do { manager ← liftIO $ newManager def;
req ← liftIO $ parseUrl fredURL;
http req manager }
In an equation for `getBody':
getBody
= do { manager ← liftIO $ newManager def;
req ← liftIO $ parseUrl fredURL;
http req manager }
понимаешь? Повезёт ли понять, в чём собственно СМЫСЛ очередного многострочного объявления типа этц
> а вот здесь закукарекал уже ты; type inference — не панацея, типы писать явно всё равно придётся (как раз в тех местах, где ты хочешь высказать статические гарантии)
В местах, где я хочу, чтобы был только такой-то тип, я явно указываю такой-то тип.
Ну нихуя себе, блять. Что за хуйню я только что сказал?
> ну и кроме этого, насчёт false rejections — напиши мне нереджектящуюся программу, полиморфную по кортежам ЛЮБОЙ арности в том же хачкеле.
Кортеж создан для ограничения по арности. В этом его смысл.
Если ты не хочешь, чтобы компилятор бил тебя по рукам — используй списки, массивы, whatever.
йеп
Я похож на хаскеллиста?
пиши тогда на паскале, там везде типы надо явно указывать, в чём проблема? // встречно тупой-mode
> Кортеж создан для ограничения по арности. В этом его смысл.
отлично, но я пишу метабиблиотеку, которая генерирует FFI-врапперы для функций, принимающих в том числе и кортежи. Код для кортежа каждой конкретной арности практически идентичен, и мне нужно обобщить. а СИСТЕМА ТИПОВ мне не даёт это сделать, беда-беда
> пиши тогда на паскале, там везде типы надо явно указывать, в чём проблема? // встречно тупой-mode
Проблема в том, что я не хочу явно указывать типы там, где я не хочу явно указывать типы.
Ебаный в рот, да что со мной сегодня.
> отлично, но я пишу метабиблиотеку, которая генерирует FFI-врапперы для функций, принимающих в том числе и кортежи. Код для кортежа каждой конкретной арности практически идентичен, и мне нужно обобщить. а СИСТЕМА ТИПОВ мне не даёт это сделать, беда-беда
Пацаны я тут закрылся в сарае на ключь и теперь немогу выйти помогите)))))
Какая у тебя была необходимость использовать кортежи?
>Ебаный в рот, да что со мной сегодня.
Да пиздец, капитан очевидность сгрыз локти
да блядь причём здесь хаскель
я тебе говорю о том, что в не особо удачных случаях типы могу быть настолько невыразительными, что статические гарантии перестают быть сколько-нибудь полезными в смысле коректности. Если прокукареканные дедфудом тесты в /413 контролируют свойства ЗНАЧЕНИЙ, непосредственно соседствующих с семантикой и *важных* для работы кода, то свойства ТИПОВ могут совершенно никакого отношения к коректности не иметь. Ну, блядь, не матчится у тебя Control.Monad.Trans.Control.MonadBaseControl IO m0 с каким-то кондуитом — в чём здесь твоя ошибка? // и от чего тебя этот энфорсинг уберёг?
> я тебе говорю о том, что в не особо удачных случаях типы могу быть настолько невыразительными, что статические гарантии перестают быть сколько-нибудь полезными в смысле коректности.
Приведи другой пример, я в вашем хаскельном кукареканьи ничего не понимаю.
Иначе я приведу рандомный бектрейс и начну кукарекать про ОЛОЛО ДИНАМИЗМ СОСНУЛ.
> Проблема в том, что я не хочу явно указывать типы там, где я не хочу явно указывать типы.
а всё равно придётся, MONOMORPHISM RESTRICTION КОКОКОКОКОКОКОКО
не, прости, сейчас некогда, как-нибудь потом
Расскажи.
Статически доказываемые свойства тоже фиксируют поведение, тупая ты питонья башка.
Ман ирония (щас Лайк набижит и скажет, что я отмазываюсь).
Бля, чувак, иди нахуй, а то придется с тобой согласиться.
На самом деле в функциях не придется по-хорошему нигде, норм описывать только тайпклассы и все такое.
А про баланс между false reject и false accept я писал выше, Комар в ответ раскукарекался, но мне влом отвечать было.
Чувак, сходи сам нахуй, а то мне хочется сделать «! #tieztf/451 ДЕДФУД НЕПРЕДВЗЯТ», а я и так уже за сегодня тонны хуиты нарекомендовал.
Я все понял.
>
> Кортеж создан для ограничения по арности. В этом его смысл.
Слишком сложно для питонушни
Как-то так, да. Питонушня увидела СКОБКИ ЗАПЯТЫЕ О КРУТО и понеслась.
Ппц ты тупой.
TH тебе в помощь.
Я.
Value types, сука, dependent types, сука, type families, сука, мудак, иди учи теорию.
-XNoMonomorphismRestriction.
Нет времени объяснять, пиши юнит-тесты.
Да ты заебал непониманием шутливой отсылки к несогласию и, наоборот, отсутствием предвзятости. Обсуждали же уже.
У них просто в питоне кортежи так устроили. Да это все не нужно дот жэпэгэ.
Я ребутался в винду, чтобы нарисовать эту картинку.
>Не подозревают они и о том, что duck typing прекрасно сочетается со статической типизацией.
Как в Scala штоле?
Поздравляю, она теперь в топе жуйка^WWW на первой странице гугла по «да это все не нужно».
Как в плюсах на шаблонах, БГАГАГАГАГГАГА.
// срсли
Похоже на то.
Ошибка вылезает в компайл-тайме, разумеется.
А. Не, я имел в виду, что в Scala можно объявлять переменные, не указывая тип.
Тьфу. Ну конечно.
Но это, конечно, тоже.
Называть это утиной типизацией смешно. Питон-вей таки ближе, ИМХО.
Что такое «питон-вей»?
да сейшит — сигнатуры совпадают и ок.
у тебя хоумдир вырвиглазно подсвечен
Только сигнатуры методов. Объекты могут быть с разными сигнатурами.
Это когда объект — словарь, и в рантайме ищется нужный метод в нем.
Похуй на тебя.
Тайпклассы, ёба.
На меня плз.
В питоне нет никаких сигнатур.
блядь, точно.
кстати, в lua тоже так сделано имхо
JS еще, да и вообще уйма языков. А в смоллтолке вообще сообщениями кидаются.
смолтолк охуенен, да. жаль, что тормозное говно.
Не знаю, не дергал, только слышал про него.
С тайпклассами ты заебешься, родненький.
Кстати, кривой пример вам дал, гы-гы.
И никто не заметил, кажется.
Даже больше: я привел пример, где сильная типизация обосралась.
он тупой не отвечай ему
> на этапе компиляции
> компиляции
> 2014
интерпретатор из 60-ых
когда кампы были большые-большые а програмы кампелировали
Пыхоблядок закукарекал.
уйми свои пипекунчики, старпер
не тогда не могли тогда только пхп был
Не забудь ИНТЕРПРЕТАТОР настроить.
зачем?
тупое быдло штоле? линуксоид поди? зачем НАСТРАИВАТЬ программы?
линуксоид хуже гентушника
ну тут еще спорно кто кого хуже
Чтобы ПАМЯТЬ НЕ ТЕКЛА.
Kids, I'm gonna tell you a story.
ппц ты тупой
не пишу на компилируемых языках
Ну и ппц ты тупой.
и тормоз
ппц тебе припекло, иди за кпрф голосуй
за лдпр
норм им
не тебе
Припекло твой айпад, хипстер.
мой припеки
а то розрядиццо
там нет плюсцов
есть
уже нет
и не одни
два плюса было
и обжси, и обжси++
и чо
Пизданулся штоле, там I/O Kit, как в макоси
уже нет
и всё
пэпэц
Пишу под макось на плюсцах, ЕВПОЧЯ.
Вообще охуеть.
при чем тут макось? ты тупой
При личкркафте.
хот гей
лул ты венду хоть осиль
он тупой вонаби не может в програмирование
дваждую
Зачем в нее мочь? Пусть вендокомпиляторы сначала осилят C++.
на каком этапе разработки личкрафтов ты понял что ты не програмист?
Пиши на сишарпе, это очень круто.
ты сначала цпп осиль
Примерно на втором году разработки я понял, что уже не программист, а архитектор нахуй.
быдло очень боится
Осилил // срсли, пруф что не осилил.
ещё не понял же
лел
да
ппц до него доходит долго
> пруф что не
Манда.
Достаточно отсылки к исходникам.
Ты слил кароч.
+1, манагер он
да уж
Ппц ты тупой диванный кукаретик.
ебать тупица, он не читал на хабре статью 13 причин не быть менеджером?
> куркума
> хабр
рсс
>хабр
>2013
> 2013
> 2014
прекрати жить прошлым, быдло
Мне норм.
чо? пруф что бога нет.
Ты не можешь в аналогии, не делай так больше плз.
ты тупой диванный орхитетик, ртфм http://www.gamedev.ru/community/gamedev_... хотя бы лул
> на хабре
фидо
это твоя цитата
На самом деле нет.
не ври мне
Не вру тебе.
значит тупой и не знаешь что врёшь
Ппц ты тупой.
да ты
блядь, пидоры. Какого хуя вам не спится полшестого утра? Еще и меня разбудил вибро на ваши ебаные комментарии.
поставь лиичкрафты