Что там с инвариантами объектов?

Добавлено через 5 минут и 2 секунды

Применение функции — уже действие. На этом основан Хаскелльный IO и монады вообще.

Вот тебе, кстати, пример как это делается на декларативном языке:

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

Это сообщение отредактировал(а) k0rvin - 9.5.2013, 18:45

Важно понимать что это терминология императивных ЯП. В математике функция только определяет связь между объектами, никаких действий. В литературе по хаскелю намеренно используют термин "морфизм", что бы это подчеркнуть.
IO искусственно исполняется, в категории hask она ничем не отличается от остальных объектов.

Нет, эта терминология ЯП-независима.

Добавлено через 5 минут и 14 секунд

Ога, еще раз перечитай математическое определение квадратного корня и математический же метод его нахождения. Первое — деларатив, второе — императив. И все это математика.

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

Товарищи, вы уверены, что всё ещё о дельфи холиварите?  

Содержит — аппликацию функции. Даже можно сказать проще: твой код содержит алгоритм нахождения квадратного корня, т.е. рецепт как его найти. И это императив.

Но Атари прав, пора завязывать. =)

Это сообщение отредактировал(а) k0rvin - 9.5.2013, 21:30

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

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

Это сообщение отредактировал(а) Bother - 10.5.2013, 07:04

Программа прикладного уровня. Работа с БД, текстом, картинками. На заводах, в больничках, аптеках, складах, офисах, спупермаркетах дофига разных программ.

Зачем кидаться всем телом на амбразуру тягаться со всеми этими технологиями? С дуру можно и х... сломать  
Ты с какого перепугу решил, что Delphi обязательно и всенепременно должен уметь заменить и вытеснить всё это? 

Добавлено @ 07:26
Я пытался 2 начать изучать C#, и 1 раз яву на протяжении лет пяти. Но из-за нехватки времени приходилось бросать эти затеи. Работы было всегда хоть отбавляй. На Delphi. Писал бы на яве или шарпе - тоже хватало бы работы. Тут дело не в ЯП или технологии, а в твоём отношении к работе.

Это не просто смотрелка, а удобная смотрелка + небольшой редактор
У нас на работе именно она стоит на всех компьютерах.
Я, кстати и не знал, что она на delphi написана.


Удобная и быстрая программа была во времена DialUp, сейчас уже не так популярна за ненадобностью. Да у тебя всё что с Delphi связано всё - мёртвое   
Тоже, кстати и не знал, что она на delphi написана.


С чего бы это он такой популярный? Хм... странно, да?


Я уверен, что ты эти программы не используешь только потому, что она на Delphi написаны  

Добавлено через 2 минуты и 16 секунд


покажи мне ПО, написанное на этом ЯП, меня интерфейсы волнуют

Там записан алгоритм поиска. По методу Ньютона. Прочитай уже SICP.


Да, недавно как раз читал тему про то как «хорошо» делфи до сих пор умеет работать с PNG.


1С и штатных программистов. Они не любят просто так покупать какой-то левый софт какого-то неизвестного разработчика.


Так хотя бы что-нибудь?


На Scala, как и вообще на JVM-языках в основном серверный софт пишут. Ну например Twitter, https://foursquare.com (веб-интерфейс).

Это сообщение отредактировал(а) k0rvin - 10.5.2013, 09:01

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

Добавлено через 27 секунд


шарп, ява - без особых проблем 

Добавлено через 3 минуты и 13 секунд
Как можно с тобой на тему delphi vs куча других ЯП  говорить, если у тебя явное предвзятое отношение к Delphi?

Там записано отношение между объектами. То, что его можно представить в виде последовательности действий - другой вопрос.

И что? Многие «настольные» приложения давно и успешно заменяются веб-сервисами. Остальные написаны на C++/Obj-C/C#, только если с ними сравнивать, то ситуация еще плачевней для делфей.

Добавлено через 3 минуты и 8 секунд

Я тебе последний раз говорю: императивность — это не только «последовательность инструкций», как, например, в Паскале, но и любое описания способа решения задачи, а не результата. SQL-запросы (которые select) описывает какой результат получить — он декларативен. Твоя запись метода Ньютона, как и сам метод, — нет.

Добавлено через 3 минуты и 51 секунду

Что «шарп, ява»? Я спрашивал про конкретные вещи.

Я в курсе.
Обоснуй.
x = y       --определение говорит что 'x' это 'y'
x = f y     --определение говорит что 'x' соотносится с 'y' функцией 'f' 
Этот код декларативен?
Если ответ в обоих случаях да - то мой код декларативен. Если нет во втором случае - объясни, почему. Нет в первом случае не предусмотрено.   

Это сообщение отредактировал(а) Bother - 10.5.2013, 11:00