Кодерский уголок

обоснуйте.

Именно. Разница познаётся в сравнении. На языке C/C++/Java/C# даже hello-world требует груду бойлерплейта.

"Логика" у каждого своя.

У изобрели какое-то своё определение "динамической типизации"?

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

Т.е. аргументов кроме ad hominem у вас нет?

В меинстрим языках всего один тип?

Что же это?

В APL/J/K/Forth птичьих конструкций достаточно, но и ключевых слов там тоже немало. Так что не все так плохо.

Если текст на китайском подавляющее большинство (или какое-то минимально нужное для фирмы количество) русских не понимает - то китайским нечитаем.

Вот что делает следующий код на C/C++?

Код:

compM<ListM>()[ makePair[X,Y] | X<=list_with(1,2), guard[true],
          Y<=list_with(3,4), guard[ (Y %divides% X) %equal% 3 ] ] ]

Где дезинформация?

Ну напишите на бреинфаке хотя бы простенькую RTS или веб-браузер.

Респект только языку. Как личность и программист я бездарен и неконкурентоспособен, поэтому ищу способы поднять свои способности искусственно.

Т.е. вылавливается незначительное количество "ошибок", да и то лишь после того как вы снибдите компилятор исчерпывающей спецификацией, которая в дальейшем будет ограничивать мышление и препятствовать любым изменением.

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

Лучше чем юнит-тесты?

С развитием социализма настанет коммунизм, а потом явится христос и всех спасёт?

А ещё где-то были Haskell и ML... только вот почему на них не пишут и всё большую популярность приобретают скриптовые языке, вроде Ruby и Python?

Именно. Мешаниную из C++/flex/bison/perl/grep/sed проще написать с нуля, чем переписывать.

А в чём же?

 

zaryanius, Alex Kagansky, вы сейчас тренируетесь в глубине рекурсии на двухголовой ВС при максимальной длине поста и минимальном смысле в него заложенном ?

Ясен пень, что C++ - отстой, на нём же никто варкрафт не написал в 1000 строк (Близзард плачет кровавыми слезами, утираясь Watcom).

Ясен пень, что Лисп отстой - на нём можно написать варкрафт в 1000 строк, но это будет не оригинальный варкрафт, а жалкая подделка ! Да ещё и без комментариев. И с умолчанием, что эта 1000 строк опирается ещё на полмиллиона.

О коротких программах...

0 ?"Hello, world"

Это Бейсик. Его принято ругать...

Охота поспорить со вкусом - обсудите некий сложный тест. Напишите его на обоих языках. Откомпилируйте под одну операционку. И, порадовавшись на объёмы файлов - засуньте в IDA. Вот тута правда и всплывёт кверху брюхом.

 

Ну так как это вы занимаетесь доказательствами по аналогии, то для начала обоснуйте, что доказывать по аналогии можно.

Иначе вот это - "У нас есть исчезающе малое количество иудеев: значит ли это, что Хриcтианство/Ислам чем-то лучше Иудаизма?" - просто демагогия.

Только вот никакого сравнения не было.

Обоснуйте.

Обоснуйте.

У динамической типизации есть вполне конкретное определение. Можете в википедии посмотреть.

Какая досада.

Утверждение "при динамической типизации всего один тип" - ложь.
О чем я и написал.

Нет. Но это не имеет никакого отношения к приведенной вами цитате. Вы понимаете смысл этой цитаты?

Для выяснения таких простых вопросов рекомендую использовать современные поисковые системы.
http://en.wikipedia.org/wiki/Xml

Все эти языки на 100% состоят из птичьих конструкций.

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

Это не C++, это DSL внутри C++. Чтобы понять, что он делает, надо смотреть спецификацию этого DSL.

Ваш код ни одним современным компилятором не скомпилируется.

Нафига? Тем не менее, хелло ворлд на брейнфаке есть, а значит "софт есть", согласно вашим рассуждениям.

Какое бы количество не вылавливалось, оно вылавливается при компиляции.

Именно так. Поэтому на лиспе ничего серьезного и не пишут. Полет фантазии "творца" должен быть ограничен.

Нет. Я уже приводил пару примеров. Они абстрактной математики не требуют. В дальнейшем ситуация будет только улучшаться.

Типизация там есть. Но динамическая.

Следовательно, такие языки не нужны, кроме как на вторых ролях. Знаю только одно исключение - Erlang, он в своей нише первый, ну и специфика там своя.

Это не взаимоисключающие вещи. Статика + тесты лучше, чем просто тесты.

Да-да, побольше демагогии.

На лиспе тоже не пишут.

А ruby и python никогда не заменят статически типизированных языков в тех областях, где надежность полученного продукта важнее скорости набивания кода (любое коробочное ПО, например). А где можно быстро поправить свой фейл - там можно и на динамике писать, веб-сайты те же.

Может быть. Только вот пример переписывания крупного продукта с лиспа на С++ мне известен. А с вашей "мешаниной" - нет.

Читайте исходный пост.




---------- Сообщение добавлено в 16:59 ---------- Предыдущее сообщение размещено в 16:55 ----------

Похоже на то, посмотрел на свой пост и ужаснулся.

На самом деле это покажет в основном качество компилятора.

А языки программирования предназначены для обмена знаниями между ЛЮДЬМИ.

Так что для правильного теста нужно не только написать, а еще и поддерживать и дорабатывать написанное, причем разными людьми. Вот тогда действительно правда всплывет, какой язык лучше.

 

Хм. Уровень сложности постановки задачи распределённого асинхронного программирования задачи превысил сложность и, возможно, значимость задачи решаемой данной задачей ?

 

Прошу прощения, не понял. Уровень сложности предложения превысил допустимую сложность для парсера в моем мозгу. Можно раскрыть мысль?

 

Alex Kagansky, ну, это я намекаю на бритву Оккама. Большинство современных программистов и проектов просто пренебрегают ею.

Проще говоря: у бабы Клавы-бухгалтера сельпо сломались счёты. Она пошла к председателю и попросила новые счёты. Тот попросил её написать заявление в трёх экземплярах. Отправил его в течении месяца в министерство. Там его ещё месяц крутили по инстанциям обдумывая все аспекты. В результает решили повысить продуктивность данного хозяйства и прислали компьютер. Понятно, что с компами баба Клава дел не имела. Встал вопрос о привлечении молодых кадров ! Но, попутно выяснилось, что в селе нет электричества и интернета. Ещё куча бумаг по разным ведомствам ! Через год всё собрали установили, посадили молодую девчёнку взамен прогнанной на пенсию бабы Клавы. И тут выясняется, что на компе нет нужных программ ! Их надо купить, установить, девочка в этом не смыслит, как и в бухгалтерии... И понеслась. Комбайнёры устраивают забастовки. Хозяйство в упадке. А председатель грустно матерится и идёт в сельпо покупать счёты за свои кровные и уговаривать бабу Клаву посчитать всем зарплату.

Ну, как бы в предыдущем посте я это всё покороче и менее сумбурно описал

 

Bato-San, а, теперь понял.

Не сомневаюсь, что такие проекты есть и их много.

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

При разработке Windows бритва Оккама не поможет.
При разработке софта для марсохода - тоже.

 

Отнюдь. Именно она то и помогает. Иначе мы бы никогда не увидели рабочих версий в принципе !

 

На лиспе написаны Maxima и значительная часть Emacs. Всё-таки не нужно заблуждаться. Знание лиспа (не обязательно дальнейшее использование) - необходимый признак любого действительно квалифицированного программиста, примерно как знание литературы, высшей математики и истории - любого образованного человека.

 

Ну тогда квалифицированных программистов в мире - полпроцента.

Кстати, а если человек знает Haskell, а Lisp не знает, то у него как с квалификацией? Действительно ли он квалифицирован или так себе?

 

Программист может не знать ни одного языка. Парадоксально, но факт.

 

Offtop

Без диплома не получить работу там, где его требуют.

 

Alex Kagansky, так и высшую математику знают далеко не все. На них равняться или на тех, кто образован?

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

 

Просто статейка Хоара "про узкое место" должна быть усвоена.

И какого хрена я полез в тему, где нет ни одного вопроса? Одни утверждения. Причем, по десяток за раз... Провокаторы, блин.

 

Товарищи программисты, вы затрахали уже каждую тему в говно превращать своей эрудицией.

 

Нормально так в одну кучу собрано.

 

Что лучше - ванна или раковина?

 

Offtop

Ну, вот и сантехники пришли... С раковинами и унитазами.

А что появилось раньше - курица или яйцо ?

P/S. Что замечательно - программистам нельзя профессионально пообщаться в их же теме.

 

Offtop

Если ты про тот холивар, который тянется уже несколько страниц - тогда я хочу никогда не стать профессиональным программистом)