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

[valexey]

Причем никаких зубодробильных абстракций там небыло. То есть весь процесс от начала до конца мне был понятен. Но мыслить в таком направлении я пока нормально не научился. Это реально построение сверху-вниз, а не снизу вверх.

Как только вы начинаете построение системы с планирования типов данных (структурки там заводите, классы разрисовываете) – это значит, что вы опять строите не сверху вниз, а снизу вверх, точнее строите не с самого низа, а где-то ниже середины. Соответственно да, будет участок где у вас будет как бы строительство сверху вниз, но основная часть все равно будет снизу вверх.

[Geniepro]

Например, я ТОЧНО знаю что уровень владения абстрактными понятиями НЕОБХОДИМЫМИ для программирования на Хаскеле = превышает тот , который имеют наши студенты (математики) на 1 курсе (тогда как программирование на том же ББ можно давать им и на 1 курсе), на эту хрень накладываются еще абстракции задачи.

John O’Donnell, Cordelia Hall and Rex Page
"Discrete Mathematics Using a Computer"

Учебник по дискретной математике, являющийся заодно и учебником по Хаскеллу.

Короче, на ФИГА ЭТО НУЖНО, КОМУ, ПОЧЕМУ...с вариантами ответа -мазохистам, культистам (от чистой математики), и just for fun ... полностью согласен...

Ну хотя бы для того, что бы изучать дискретную математику.

[DIzer]

Например, я ТОЧНО знаю что уровень владения абстрактными понятиями НЕОБХОДИМЫМИ для программирования на Хаскеле = превышает тот , который имеют наши студенты (математики) на 1 курсе (тогда как программирование на том же ББ можно давать им и на 1 курсе), на эту хрень накладываются еще абстракции задачи.

John O’Donnell, Cordelia Hall and Rex Page
"Discrete Mathematics Using a Computer"

Учебник по дискретной математике, являющийся заодно и учебником по Хаскеллу.

Короче, на ФИГА ЭТО НУЖНО, КОМУ, ПОЧЕМУ...с вариантами ответа -мазохистам, культистам (от чистой математики), и just for fun ... полностью согласен...

НУЖНО, а не МОЖНО

Ну хотя бы для того, что бы изучать дискретную математику.

[Peter Almazov]

John O’Donnell, Cordelia Hall and Rex Page
"Discrete Mathematics Using a Computer"

Учебник по дискретной математике, являющийся заодно и учебником по Хаскеллу.

Спасибо, нашел и скачал 
А агитировать меня не требуется, я, типа, уже давно ...

[valexey]

Не, я не понял, у нас таки шо, форум плавно превращается из обероновского в хаскелевский? :-)
Уже три адепта + другие постепенно совращаются.

[Peter Almazov]

Так практически сразу можно было заводить ветку по ФП и Haskell, в частности.

[DIzer]

Не, я не понял, у нас таки шо, форум плавно превращается из обероновского в хаскелевский? :-)
Уже три адепта + другие постепенно совращаются.

А вот черта с два... императивщики просто так не сдаются... 

[valexey]

Дэк этта… Хаскель это ж в том числе и прекрасный императивный язык со строгой системой типов и простым синтаксисом :-)

[DIzer]

Дэк этта… Хаскель это ж в том числе и прекрасный императивный язык со строгой системой типов и простым синтаксисом :-)

Не понял таки Императивный или Функциональный? c тем что прекрасный соглашусь (на всякий случай, земля то круглая...) 

[Geniepro]

Дэк этта… Хаскель это ж в том числе и прекрасный императивный язык со строгой системой типов и простым синтаксисом :-)

Не понял таки Императивный или Функциональный?

Ну это зависит от того, как Вы его используете. На Хаскелле можно писать и в чисто функциональном стиле, и в жёстко-императивном (ввод/вывод, параллельные процессы и т.д.).
Просто эти два мира (Функциональный и Императивный) в Хаскелле строго разделены, и если функциональщина без проблем может использоваться в императивной части программы, то императивщина находится в специальной резервации -- в монаде ввода/вывода.

[DIzer]

Дэк этта… Хаскель это ж в том числе и прекрасный императивный язык со строгой системой типов и простым синтаксисом :-)

Не понял таки Императивный или Функциональный?

Ну это зависит от того, как Вы его используете. На Хаскелле можно писать и в чисто функциональном стиле, и в жёстко-императивном (ввод/вывод, параллельные процессы и т.д.).
Просто эти два мира (Функциональный и Императивный) в Хаскелле строго разделены, и если функциональщина без проблем может использоваться в императивной части программы, то императивщина находится в специальной резервации -- в монаде ввода/вывода.

ЭЭЭ так он смешанный...  "Скажите а диссонансы по ночам Вас не мучают"?  (П. Кушнир) от сложности.  Господа, я предлагаю прояснить мне - дурилке картонной разницу в подходах к алгоритмизации задач обычных ЯП и Хаскеля есть разница на том уровне или нет? если есть то в чем? и своими словами. Или разница на уровне ниже-в переложении алгоритма на ЯП (составлении программы)?

[Geniepro]

ЭЭЭ так он смешанный...

Ну что значит "смешанный"?
Любой промышленный язык обречён иметь дело с вводом/выводом информации, так что императивная часть неизбежно будет присутсвовать в любом полноценном языке.
Другое дело, что стандартные языки типа сей смешивают императивную и функциональную части программы. Вот они и есть "смешанные"...

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

[DIzer]

ЭЭЭ так он смешанный...

Ну что значит "смешанный"?
Любой промышленный язык обречён иметь дело с вводом/выводом информации, так что императивная часть неизбежно будет присутсвовать в любом полноценном языке.
Другое дело, что стандартные языки типа сей смешивают императивную и функциональную части программы. Вот они и есть "смешанные"...

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

То  что я дурилка картонная - понял...Но вопрос был другой 

[DIzer]

Не, я не понял, у нас таки шо, форум плавно превращается из обероновского в хаскелевский? :-)
Уже три адепта + другие постепенно совращаются.

Вот оно истинное лицо  oberon space    - это шайка-лейка активистов-Хаскелистов... пришедшая конвертировать сомневающихся с соседней конфессии...

[valexey]

Нас раскрыли, чорт...