The OpenNET Project / Index page

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



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

Оглавление

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

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


15. "Открыта регистрация участников на Международную конференцию ..."  +2 +/
Сообщение от Аноним (15), 15-Июл-20, 13:02 
Некоторые преимущества ФП:

1. closures
2. high order functions
3. lazyness
4. infinite data strucures
5. garbage collections
6. function graph reduction
7. type theory
8. proovable programming code
9. parallel processing for free
10. parametric polymorphism

Что реально сделано с использованием ФП (некоторые примеры):

1. часть движка Twitter была написана на Scala
2. в Facebook были сделаны парсеры на Haskell
3. Rust был первоначально написан на OCaml (ЯП из семейства ML)
4. C++ шаблоны это ФП
5. Apache Spark

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

39. "Открыта регистрация участников на Международную конференцию ..."  +/
Сообщение от Gogi (??), 15-Июл-20, 18:34 
Ты сейчас полную чушь написал. По-чистому, конкретно к ФП относится единственный пункт: всё есть функция. Всё.
Ответить | Правка | Наверх | Cообщить модератору

66. "Открыта регистрация участников на Международную конференцию ..."  +/
Сообщение от Ordu (ok), 15-Июл-20, 22:11 
> По-чистому, конкретно к ФП относится единственный пункт: всё есть функция.

Конечно же, потому что всё остальное "императивные" языки давно позаимствовали. Функциональщина давным-давно вокруг нас, мы давным-давно используем её налево и направо, а ты всё продолжаешь воевать против ФП. Это называется "махать кулаками после драки".

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

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
Добавить, Поддержать, Вебмастеру