Функции против процедур

[valexey]

Вот поэтому, я и предложил таки подробно изложить суть вопроса :-)

[Geniepro]

(или вы хотите свести общение на форуме, к обмену цитатами от балды ?) 

Цитаты от балды

Вы упомянули подход D (хотя и не уточнили, как Вы его понимаете), спросили "причём здесь типы?" -- вот я и показал, что подход D опирается на типы.

[DIzer]

(или вы хотите свести общение на форуме, к обмену цитатами от балды ?) 

Цитаты от балды

Вы упомянули подход D (хотя и не уточнили, как Вы его понимаете), спросили "причём здесь типы?" -- вот я и показал, что подход D опирается на типы.

Вы не показали.. Вы  просто сунули цитату, как обычно делает Илья (не сильно заботясь в тему она или нет, как собаке кость -авось  она успокоится). Речь о том - нужно ли нам порождать чистые пользовательские типы - формально -добавлять метку pure в определение типа... 

[valexey]

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

[DIzer]

(или вы хотите свести общение на форуме, к обмену цитатами от балды ?)  

Цитаты от балды

Вы упомянули подход D (хотя и не уточнили, как Вы его понимаете), спросили "причём здесь типы?" -- вот я и показал, что подход D опирается на типы.

Вы не показали.. Вы  просто сунули цитату, как обычно делает Илья (не сильно заботясь в тему она или нет, как собаке кость -авось  она успокоится). Речь о том - нужно ли нам порождать чистые пользовательские типы - формально -добавлять метку pure в определение типа...  

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

[DIzer]

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

... Ибо мне это не нужно, лично я стараюсь воспринимать мир каким он есть - без деления на "чистое" и "грязное"  

[valexey]

Ну, в мире и типов нет, это ж не повод использовать языки без типизации? :-)

[DIzer]

Ну, в мире и типов нет, это ж не повод использовать языки без типизации? :-)

Я говорю про себя,  за "весь" мир пусть говорит Илья- он у нас "профессионал-архитектор" - а что остается простым людям - слушать его и таких как он - либо разбираться самим, если ХОТИМ ПОНЯТЬ СУЩНОСТЬ вопроса...

[valexey]

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

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

2 vlad: ты мне обещал примерчиков :-) Так что милости прошу, так сказать :-)

[DIzer]

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

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

2 vlad: ты мне обещал примерчиков :-) Так что милости прошу, так сказать :-)

1. Давайте
2.Зачем,какую, на каком языке

[DIzer]

Вдогонку, (к чистоте) -  а может ату ее, просто заменим проверками типа: IsPURE(SOMETYPE)?

[valexey]

1) Когда будут выполняться эти проверки?
2) Какой в них смысл?

Какую задачку – не знаю. Любую реальную, достаточно большую для того, чтобы имело смысл архитектуру разводить. У меня в голове вертятся либо какие-то телекомные задачки, или какой-нибудь гуй. Важно чтобы эту задачу понимали все участвующие в дискуссии.

[DIzer]

1) Когда будут выполняться эти проверки?
2) Какой в них смысл?

Какую задачку – не знаю. Любую реальную, достаточно большую для того, чтобы имело смысл архитектуру разводить. У меня в голове вертятся либо какие-то телекомные задачки, или какой-нибудь гуй. Важно чтобы эту задачу понимали все участвующие в дискуссии.

1 Во время выполнения
2 В том, что бы на месте определиться с грязью мы работаем али нет (в тех случаях когда это важно) - то  есть подразумевается что параметр Pure вычисляетя всегда и неявно для каждого пользовательского типа и функции. (решение  а-ля оберон).

Предлагаю для начала спроектировать язык (на основе оберона) и работать в нем.

[valexey]

1 Во время выполнения

2 В том, что бы на месте определиться с грязью мы работаем али нет (в тех случаях когда это важно) - то  есть подразумевается что параметр Pure вычисляетя всегда и неявно для каждого пользовательского типа и функции. (решение  а-ля оберон).[/quite]
На этапе исполнения для нас эта информация практически бесполезна, нам нужна эта информация в момент написания кода и компиляции оного.

Предлагаю для начала спроектировать язык (на основе оберона) и работать в нем.

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

[DIzer]

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

Это дело пятое десятое... Гораздо более важно, я считаю, для начала определиться чего мы хотим, и насколько сильно.... а остальное производная от этого.