[00:00:05] <boris_ilov> тык да
[00:00:23] <boris_ilov> Вопрос в том
[00:00:34] <boris_ilov> возможжно ли грамотное программирование в принципе?
[00:00:41] <boris_ilov> я вот не верю пока....
[00:00:55] <boris_ilov> т.е. без тестов нельзя
[00:01:04] <boris_ilov> кодить
[00:01:13] <boris_ilov> как в физке без экспериментов
[00:01:20] <vаlexey> грамотное программирование в одиночку, без тестов, с одного раза чтобы как взял, так и написал и оно работает, и чтобы так всегда - не бывает.
[00:01:40] <boris_ilov> вот info21 же против тестов вроде
[00:01:47] <vаlexey> уже нет :-)
[00:01:49] <boris_ilov> "рукосуйство" и все такое
[00:01:59] <boris_ilov> нет?
[00:02:06] <vаlexey> да блин, мы порою даже банально НАБРАТЬ код не можем так, чтобы с первого раза скомпилялось.
[00:02:33] <boris_ilov> ну если даже взять и смазать
[00:02:42] <boris_ilov> типа набирается все без опечаток
[00:03:19] <boris_ilov> Т.е. я не понимаю всех этих формальных построений
[00:03:25] <vаlexey> http://forum.oberoncore.ru/viewtopic.php?f=89&t=4568
[00:03:29] <vаlexey> вот
[00:03:55] <vаlexey> "Ошибка процесса -- отсутствие глобального стандартного набора тестов для софтины или что обновление выпустили, не прогнав через этот набор."
[00:03:56] <vаlexey> :-D
[00:04:01] <boris_ilov> :D
[00:04:05] <boris_ilov> что то не пойму
[00:04:13] <boris_ilov> это за тесты или супротив?
[00:04:25] <boris_ilov> странный пост от info21
[00:05:30] <boris_ilov> он сам то вроде не пишет тесты
[00:05:50] <boris_ilov> чего тогда руками разводить?
[00:05:54] <vаlexey> не писать тесты, это еще не значит не пользоваться тестами
[00:06:07] <vlad2> Да, мне было бы интересно поэспериментировать с некой динамикой типов в зависимости от прошедшего if. Например:
if (p) { /* от здесь p имеет семантику ненудевого указателя */ }
[00:06:10] <vаlexey> каждый ведь свою прогу запускает, делает тестовые прогоны
[00:06:27] <vаlexey> vlad2: ну, блин. см. Kotlin
[00:06:33] <vаlexey> там немного в ту сторону есть
[00:06:39] <vаlexey> я ж кинул две ссылки
[00:07:53] <vlad2> Он большой весь :)
[00:08:11] <vаlexey> да не особо
[00:08:19] <vаlexey> но глянуть то как сделано можно ведь :-)
[00:08:22] <vlad2> (Сейчас про null посмотрю)
[00:08:24] <vаlexey> алсо там вывод типов есть
[00:08:29] <vаlexey> без фанатизма
[00:12:00] <vlad2> Ну да. Как-то так. Я думал, что может что-то более изощренное есть.
[00:12:10] <vlad2> Типа не только для if.
[00:14:17] <boris_ilov> думаю что должна быть математическая работа
[00:14:23] <boris_ilov> ну т.е. если таковой нет
[00:14:30] <boris_ilov> то и в языках искать смысла нет
[00:14:41] <boris_ilov> ибо это доказано должно быть сначала
[00:15:39] <vlad2> Математикам обычно пофиг на подобные проблемы программистов :) Существование ЦД тому доказательство :)
[00:15:47] <boris_ilov> что то около графов наверно....
[00:15:55] <boris_ilov> :)
[00:16:10] <vlad2> Абсолютно математически выверенное и абсолютно бесполезное в практике программирования средство.
[00:16:21] <boris_ilov> Это да
[00:16:25] <vlad2> (это про ЦД)
[00:16:30] <boris_ilov> так и не смог найти ему применение
[00:17:07] <vlad2> Да, возможно что-то из области графов.
[00:17:19] <boris_ilov> циклы которые я могу формально с ЦД построить я и без него в уме нормально строю
[00:17:36] <boris_ilov> а которые в уме не могу, те и с ЦД не могу :D
[00:18:58] <boris_ilov> а еще возможно из топологии
[00:19:42] <boris_ilov> блин, где математика шарящего ннайти и спросить?
[00:44:34] <TRUE> свич - это коммутатор...
[00:46:57] <boris_ilov> действительно
[00:47:13] <boris_ilov> имелся ввиду хаб
[00:47:58] <TRUE> а сетевые хабы ещё продаются?
[00:48:02] <TRUE> и используются?
[00:48:09] <boris_ilov> продаются
[00:48:15] <boris_ilov> но мало уже
[00:48:44] <boris_ilov> у нас был в наличии а клиенту по телефону было сказано коммутатор
[00:49:12] <boris_ilov> что как бы гораздо более крутое и дорогое устройство
[00:50:56] <boris_ilov> давно я не сисадминил
[00:51:08] <boris_ilov> уже в словах путаюсь :)
[01:12:53] <vаlexey> Проклятие программисту: "Чтоб тебя назначили работать в интересный проект!"

[01:13:59] <TRUE> либо я не работал на таких проектах, либо у слова "интересный" какой-то непонятный мне скрытый смысл...
[01:14:26] <vаlexey> угу
[01:14:42] <vаlexey> может большинство предпочитает ровно на попе просто сидеть?
[01:17:15] <vаlexey> vlad2: знакомо?
[01:17:23] <vаlexey> "Опуская технические детали, следует сказать, что сейчас мы в целом
недовольны тем, как спроектированы семантические таблицы. В свое оправдание
отметим, что все "навороты" в них - вещи вполне объективные, которые так или
иначе должны присутствовать в компиляторе. Наша неудовлетворенность имеет,
скорее, эстетическую природу: таблицы не выглядят стройной системой, где
каждый компонент точно подогнан к тому месту, которое для него
предназначалось. "
[01:18:13] <vlad2> :)
[01:18:26] <vlad2> Убей в себе перфекциониста! Каждый день!
[01:18:45] <vаlexey> по моему в компайлере сейчас на месте этих таблиц как раз контексты эти голимые находятся
[01:18:55] <vаlexey> и тоже за семантику отвечающие
[01:18:57] <vlad2> Угу :)
[01:19:17] <vаlexey> синтаксис просто, а вот семантика -- жопа.
[01:20:07] <vаlexey> Прикольно сататью Зуева перечитывать когда уже немного в курсе как оно унутре делается.
[01:20:21] <vаlexey> И с какими радостями компиляторщику приходится сталкиваться :-)
[01:20:53] <vlad2> Первый минус XCode5. Собрал с нуля проект в новой ветке. 1 ошибка линковки. Совершенно дебильная. Причем то же самое в другой ветке - нормально собиралось. Поигрался с настройками (как нагуглилось) - неработающий exe. Ручками перекомпилил пару файлов, вернул взад опции линуовки - собралось.
[01:20:56] <vаlexey> Причем когда реализуется уже готовый язык, а  не лепится новый, спеку на который можно свободно менять.
[01:21:15] <vаlexey> o_O
[01:22:03] <vlad2> Потом. Нашел багу, фикснул, скопилял из среды. Запускаю на отладку. ВНЕЗАПНО рекомпайл всего проекта. 1700 файлов.
[01:22:18] <vаlexey> гы.
[01:22:21] <vаlexey> Во!
[01:22:23] <vlad2> (изменял, естетсвенно, не хидер, а cpp).
[01:22:25] <vаlexey> С Хабра:
Senecarus: Я раньше тоже был перфекционистом, когда программировал. Став руководителем, ответственным за успех, а следовательно за деньги, я стал молиться на говнокодеров.
[01:22:58] <vlad2> :)
[01:24:07] <vlad2> Кстати по поводу компиляции одного файла.
[01:24:10] <vlad2> Не сразу нашел.
[01:24:15] <vlad2> Далеко спрятали.
[01:24:23] <vlad2> Гуглил - комменты порадовали.
[01:24:54] <vlad2> "Xcode подсвечивает на лету все ошибки, поэтому компилить один файл вам не нужно и это было убрано из меню" :)
[01:25:30] <vаlexey> Ж-)
[01:25:53] <vаlexey> но препроцессинг файла вроде оставили
[01:26:05] <vаlexey> чтобы глянуть чо будет после препроцессора
[01:26:52] <boris_ilov> valexey: Haskell ради добра стоит покупать?
[01:27:17] <vаlexey> не знаю. ну, то есть зависит от целей. там вроде довольно мягкое введение :-)
[01:27:41] <boris_ilov> основные положения я вроде вкурил
[01:27:57] <boris_ilov> эта книга достаточно полна чтоб ее на долго хватило?
[01:28:07] <boris_ilov> или это типа с++ за 24 часа?
[01:28:16] <vlad2> Гхм. Мягкое введение? Это я один такойй испорченный?
[01:28:21] <vаlexey> смотря какая цель.
[01:28:26] <vаlexey> vlad2: ты всё правильно понял!
[01:28:35] <vаlexey> мягко введет Haskell в твой моск
[01:28:50] <boris_ilov> или не в мозг... :D
[01:30:13] <vаlexey> ну, ты глянь в инетах - там же есть электронные версии
[01:30:43] <vаlexey> Есть еще Real world Haskell
[01:30:52] <boris_ilov> тык я не знаю по оглавлению все это или нет
[01:30:58] <boris_ilov> :)
[01:31:09] <vаlexey> http://book.realworldhaskell.org/read/
[01:31:11] <boris_ilov> она вроде толстая
[01:31:18] <vаlexey> это реалворлд
[01:31:24] <vаlexey> тут упор на практику
[01:31:34] <vаlexey> ну, сам видишь :-)
[01:31:34] <boris_ilov> хаскел на ангельском? O_o
[01:31:45] <boris_ilov> не
[01:31:56] <boris_ilov> на ангельском я только уровень луа могу вкурить
[01:31:59] <boris_ilov> :)
[01:32:09] <vаlexey> ды там просто! это ж хаскель!
[01:32:39] <TRUE> )
[01:32:45] <vаlexey> http://translatedby.com/search/?cx=006082210759370867236%3Al4iowugudym&cof=FORID%3A9&ie=UTF-8&q=Haskell+%D0%B4%D0%BB%D1%8F+%D1%80%D0%B5%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE+%D0%BC%D0%B8%D1%80%D0%B0&sa=%D0%98%D1%81%D0%BA%D0%B0%D1%82%D1%8C
[01:33:15] <boris_ilov> сенкс
[01:34:07] <vаlexey> там думаю не все. а может и все - рыть надо.
[01:34:14] <vаlexey> я с этим сайтом работать не умею
[01:34:49] <vаlexey> ну и на rsdn некоторое колличество статей есть
[01:36:22] <vаlexey> ы-ы. для начала тебе нужно будет парсер написать
[01:36:30] <vаlexey> потом семантический анализатор
[01:36:34] <vаlexey> а потом уже тулзу :-)
[01:36:56] <boris_ilov> ваши возьму -_-
[01:37:13] <boris_ilov> :[|||||]:
[01:42:11] <boris_ilov> http://cs537506.vk.me/u85927613/docs/d6259d096ac4/94371886_metallica.png?extra=kOp0g1oKq2j0SoklDznZg2SAMs4p0Tb3G7vKXMrA_g-0RGU6ge5jGDZsht1_x4t99SOrlpJ_1SfIgbzuQ_tN_hSs3lOMh5TVuA
[01:42:32] <boris_ilov> зализяка :D
[01:44:09] <vаlexey> :-)
[01:45:12] <boris_ilov> вернее залізяка
[01:45:43] <boris_ilov> дивный язык
[01:46:05] <boris_ilov> мне кажется он даже более русский чем... русский
[01:47:54] <vаlexey> белорусский тоже хорош
[01:48:52] <boris_ilov> а чешский вообще шедевр
[01:49:09] <boris_ilov> http://www.cosmo.ru/family/travelling/1266853/
[01:50:55] <boris_ilov> «окурки» — огурцы
[01:50:59] <boris_ilov> :D
[01:51:34] <vаlexey> ты еще слово "язычник" и "язычество" у них найди :-)
[01:52:17] <boris_ilov> Pohanský
[01:52:20] <boris_ilov> :)
[01:52:38] <vаlexey> ога. поганцы :-)
[01:52:58] <boris_ilov> Так, уходя из их магазина, услышишь на прощание «нассано» — «до свидания» то бишь. По-чешски «до свидания» — «насхледаноу», но что поделаешь с вьетнамцами? Нассано, так нассано.

Читать далее: http://www.cosmo.ru/family/travelling/1266853/#ixzz2k5rL2KgB
[01:54:19] <boris_ilov> «Позор! Полиция варуе» («Внимание! Полиция предупреждает»).
[01:54:27] <boris_ilov> Ахах
[01:54:47] <vаlexey> :-D
[01:55:00] <boris_ilov> prdel [прделка] — женская пятая точка
vedro [ведро] — жара
úžasný [ужасны] — прекрасный, обворожительный
určitě [урчите] — обязательно, точно
kalhotky [калготки] — трусики
úroda [урода] — урожай
pádlo [падло] — весло
mýdlo [мыдло] — мыло
šlapadlo [шлападло] — катамаран
letadlo [летадло] — самолет
vozidlo [возидло] — автомобиль
okurky [окурки] — огурцы
voňavka [вонявка] — духи

Читать далее: http://www.cosmo.ru/family/travelling/1266853/#ixzz2k5rqh3ew
[01:55:58] <boris_ilov> zapomél [запомнел] — забыл
[01:56:02] <boris_ilov> ахаха
[01:56:06] <TRUE> )
[01:56:14] <boris_ilov> define TRUE FALSE
[01:56:18] <TRUE> "всё, я запомнел"
[01:57:53] <boris_ilov> у низ как то все наоборот
[01:58:03] <boris_ilov> запомнил - забыл
[01:58:09] <boris_ilov> ужасный - прекрасный
[01:58:12] <TRUE> я понял
[01:58:20] <TRUE> в том-то и прикол этой фразы
[01:58:25] <TRUE> непонятно, что было сказано
[01:58:29] <boris_ilov> как так получилось исторически?
[01:58:34] <boris_ilov> назло русским?
[01:58:36] <boris_ilov> :D
[01:58:36] <TRUE> можно с её помощью добавлять тумана в свои реч
[01:58:38] <TRUE> речи
[01:59:01] <TRUE> нет, конечно\
[01:59:19] <vаlexey> скорее уж на зло полякам
[01:59:47] <TRUE> может, у них предлог "за" звучит как "рас"
[02:00:07] <TRUE> по смыслу
[02:00:26] <boris_ilov> возможно
[02:01:00] <boris_ilov> но "запомнел" это прям падонкаффский стиль какой-то :)
[02:01:33] <boris_ilov> запомнел и узбагоился
[02:01:49] <TRUE> падонкафский несколько моложе чешского
[02:02:00] <boris_ilov> чуток да
[02:03:09] <boris_ilov> nevěstka [невестка] — проститутка
děvka [девка] — путана

Читать далее: http://www.cosmo.ru/family/travelling/1266853/#ixzz2k5tu2aZr
[02:03:20] <boris_ilov> да не ну точно наобоорот :D
[02:04:31] <vlad2> Мда. А ВебКит крэшится не хуже эксплорера эмбеднутого...
[02:05:59] <TRUE> невестка в глазах тёщи...
[02:06:17] <vlad2> Э... Свекрови?
[02:06:31] <TRUE> ну да
[02:06:49] <TRUE> под вечер уже плохо глова работает