The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Рейтинг языков программирования 2017 года от издания IEEE Sp..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для сортировки сообщений в нити по дате нажмите "Сортировка по времени, UBB".
. "Рейтинг языков программирования 2017 года от издания IEEE Sp..." +/
Сообщение от Аноним84701 (ok), 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)


Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Рейтинг языков программирования 2017 года от издания IEEE Sp..., opennews, 23-Июл-17, 09:54  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру