Исходное сообщение
"Рейтинг языков программирования 2017 года от издания IEEE Sp..." Отправлено Аноним84701, 28-Июл-17 13:32
> В функциональном программировании переменные неизменяемые. > Поэтому единственный правильный вариант - создать новый объект > как результат применения метода над предыдущим объектом. Или сделать так, чтобы всегда была возможна только одна ссылка на объект и переменная после задействования становилась недействительной, обозвать "уникальными/линейными типами" и наказать анонимам не быть такими категоричными ;) http://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11.h... https://www.mercurylang.org/information/doc-latest/mercury_r... http://ru-lambda.livejournal.com/131849.html Помимо "ввода-вывода" у линейных типов в Clean есть еще одно важное применение: эффективная работа с изменямыми агрегатными данными: module test2 import StdEnv, StdArray Start :: *World -> {Int} Start world =  update (createArray 10 1) 5 10 Напечатает {1,1,1,1,1,10,1,1,1,1} В отличие от Haskell операция update тут не вызовет копирования массива: class Array a e where   update :: *(a e) Int e → *(a e)     createArray :: !Int e -> *(a e)

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> В функциональном программировании переменные неизменяемые. >> Поэтому [B]единственный правильный[/B] вариант - создать новый объект >> как результат применения метода над предыдущим объектом. > Или сделать так, чтобы всегда была возможна только одна ссылка на объект > и переменная после задействования становилась недействительной, обозвать "уникальными/линейными > типами" и наказать анонимам не быть такими категоричными ;) > http://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11.htm#_Toc311798093 > https://www.mercurylang.org/information/doc-latest/mercury_ref/Destructive-update.html#Destructive-update > http://ru-lambda.livejournal.com/131849.html > [CODE] > Помимо "ввода-вывода" у линейных типов в Clean есть еще одно важное применение: > эффективная работа с изменямыми агрегатными данными: > module test2 > import StdEnv, StdArray > Start :: *World -> {Int} > Start world = update (createArray 10 1) 5 10 > Напечатает > {1,1,1,1,1,10,1,1,1,1} > В отличие от Haskell операция update тут не вызовет копирования массива: > class Array a e where > update :: *(a e) Int e → *(a e) > createArray :: !Int e -> *(a e) [/CODE]
	Введите код, изображенный на картинке: