Автор Тема: И еще раз про процедрный тип в О7/11  (Прочитано 8808 раз)

Илья Ермаков

  • Sr. Member
  • ****
  • Сообщений: 493
    • Просмотр профиля
Re: И еще раз про процедрный тип в О7/11
« Ответ #15 : Январь 21, 2013, 08:24:41 pm »
Не пытайтесь сделать из Оберона ФЯ -- зачем вам все эти процедуры высшего порядка и всё такое? )))

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

Geniepro

  • Hero Member
  • *****
  • Сообщений: 1955
  • Знайте- истина в том, что повторено трижды подряд!
    • Просмотр профиля
Re: И еще раз про процедрный тип в О7/11
« Ответ #16 : Январь 21, 2013, 08:42:26 pm »
Не пытайтесь сделать из Оберона ФЯ -- зачем вам все эти процедуры высшего порядка и всё такое? )))

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

Разве для оберона все эти ФП-приколы идиоматичны? о_О  ;D
to iterate is human, to recurse, divine

Салат «рекурсия»: помидоры, огурцы, салат…

valexey_u

  • Hero Member
  • *****
  • Сообщений: 3013
    • Просмотр профиля
Re: И еще раз про процедрный тип в О7/11
« Ответ #17 : Январь 21, 2013, 08:47:03 pm »
Не пытайтесь сделать из Оберона ФЯ -- зачем вам все эти процедуры высшего порядка и всё такое? )))

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

Разве для оберона все эти ФП-приколы идиоматичны? о_О  ;D

Я не вижу тут особых отличий Оберона он Си. А для Сей оно вполне идиоматично.
Y = λf.(λx.f (x x)) (λx.f (x x))

Geniepro

  • Hero Member
  • *****
  • Сообщений: 1955
  • Знайте- истина в том, что повторено трижды подряд!
    • Просмотр профиля
Re: И еще раз про процедрный тип в О7/11
« Ответ #18 : Январь 22, 2013, 05:07:45 am »
Разве для оберона все эти ФП-приколы идиоматичны? о_О  ;D

Я не вижу тут особых отличий Оберона он Си. А для Сей оно вполне идиоматично.

Для Сей вполне идиоматично писать так:
while (*a++=*b++);Что, будем тащить эту идиому в обероны?
to iterate is human, to recurse, divine

Салат «рекурсия»: помидоры, огурцы, салат…

vlad

  • Hero Member
  • *****
  • Сообщений: 1391
    • Просмотр профиля
Re: И еще раз про процедрный тип в О7/11
« Ответ #19 : Январь 24, 2013, 04:51:26 am »
Посмотрел в ББ:
TYPE ProcType1 = PROCEDURE(p: ProcType1): ProcType1;
     ProcType2 = PROCEDURE(p: ProcType2): ProcType2;

ProcType1 и ProcType2 считаются несовместимыми.