The OpenNET Project / Index page

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



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Открыта регистрация участников на Международную конференцию по функциональному программированию, opennews (??), 15-Июл-20, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


57. "Открыта регистрация участников на Международную конференцию ..."  +/
Сообщение от tennepo (?), 15-Июл-20, 20:28 
1. closures - обычные структуры на Си
2. high order functions - обычный анонимный класс или лямбда (есть уже везде)
3. lazyness - "потоки", в другом виде не нужно
4. infinite data strucures - генераторы и итераторы
5. garbage collections - есть везде, перпендикулярно к ФП
6. function graph reduction - есть в оптимизаторах
7. type theory - перпендикулярно к ФП. В том виде какая она в Haskell, Agda - не нужно
8. proovable programming code - нет такого вообще. Или ты про Coq?
9. parallel processing for free - есть везде, начиная с Fortran, Ada и заканчивая C#
10. parametric polymorphism - есть везде, перпендикулярно к ФП
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

81. "Открыта регистрация участников на Международную конференцию ..."  +/
Сообщение от Аноним (81), 16-Июл-20, 04:31 
Ну closures это больше, чем структуры.

И почему же это, скажите, удобная система типов Хаскеля не нужна?

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

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




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

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