ФЯП или ООП? - Священные войны - Страница 14

@nullxdth · 24.02.2015, 21:56

Студворк — интернет-сервис помощи студентам

Сообщение от helter

Tcl

Кстати да. Tcl очень странный язык. Он бы был ничего себе, если бы не существовал Lisp. Но Lisp есть и в связи с этим Tcl просто не имеет смысла.

Добавлено через 4 минуты

Сообщение от Dennis Ritchie

Александреску тупее, чем вы

Просто Александреску - человек напрочь изуродованный C++.

Добавлено через 2 минуты

Сообщение от Dennis Ritchie

Будут в ближайшем будущем.

Весомо

Это называется доказательство путём "прыжка в будущее". Логическая ошибка.

Добавлено через 28 минут

Сообщение от Dennis Ritchie

Мне смешно смотреть на людей, которые потратили полжизни на изучение полностью бесполезных языков.

Кстати, D как раз входит во множество бесполезных языков.

@Dennis Ritchie · 25.02.2015, 00:28

Сообщение от helter

Это было кодопорождение из строки?

Просто синтаксис такой. Про перегрузку операторов слышали?

Сообщение от korvin_

Кроме почти одинаковых C/C++/D какие, например?

C#, Java.

Сообщение от korvin_

Смешная опечатка. =))

Бывает. *Гуру.

Сообщение от korvin_

В ФП, очевидно ж.

Трудно сказать.

Psilon · 25.02.2015, 01:01

Сообщение от pycture

кавайные map через for

спасибо.

Сообщение от KolodeznyDiver

Кавайный map в интерпретаторе Haskell

тоже спасибо. Попробую поизучать всякие зигохистоморфические препроморфизмы

Так какие есть книжки по хаскеллю? Понимаю, что в разделе соответствующем наверняка их 100500, но я какие-то навыки в программировании имею, поэтому совсем нулевые книги не надо

Посоветовали Types and Programming Languages, что еще есть хорошего?

Добавлено через 2 минуты
Тем более, что он не по хаскеллю, а по программированию в общем скорее

@Dennis Ritchie · 25.02.2015, 01:12

Ещё Александреску знает: Eiffel, Perl, Python, Pascal, Lisp (

).
Вот, что он считает про ФП:

@smoke853 · 25.02.2015, 01:17

Весело тут у вас

Psilon,
Изучаем Haskell
Учебник Антона Холомьева

P.S. 1-ю, пару дней назад приобрел в бумаге, хоть и есть pdf'ка. 2-ю, считаю лучшей книгой по haskell из русскоязычных, имхо конечно же.

@helter · 25.02.2015, 02:40

Сообщение от Dennis Ritchie

Вот, что он считает про ФП:

Многомерных массивов в D оказывается, нет. А в лиспе есть, лол. Что характерно, нетипизированных списков тоже нет. Ну ничего, можно навелосипедить библиотеку. Замыкания есть, я потрясён. "Умопомрачительная гибкость" - это про лисп, видно, написано, про динамические переменные. А в D есть динамические переменные?

Фотка унылая, тема величия D не раскрыта.

Добавлено через 2 минуты

Сообщение от Dennis Ritchie

Просто синтаксис такой. Про перегрузку операторов слышали?

Перегрузка оператора кавычки? Дело хозяйское.

@Dennis Ritchie · 25.02.2015, 02:57

Сообщение от helter

Многомерных массивов в D оказывается, нет.

А это, по-вашему, что?

C++
1
real[][][][][][][] array;

Сообщение от helter

А в D есть динамические переменные?

Нет. Жёсткая статическая типизация.

Сообщение от helter

Фотка унылая, тема величия D не раскрыта.

Сообщение от helter

Перегрузка оператора кавычки?

Конечно, кавычки.

@pycture · 25.02.2015, 06:00

Сообщение от helter

Это было кодопорождение из строки?

оно самое. с неочевидными аргументами и полным отсуствием замыканий

@helter · 25.02.2015, 07:25

Сообщение от Dennis Ritchie

А это, по-вашему, что?

Насколько я понял из доков, это имитация, массив указателей. Такое и в перле есть.

Сообщение от Dennis Ritchie

А в D есть динамические переменные?
Нет. Жёсткая статическая типизация.

Я имею в виду не тип, а область видимости (dynamic scope). Из фотки вроде бы получается, что в D имеются замыкания, то есть лексическая видимость. А динамическая бывает? (В Common Lisp есть, в диалекте лиспа Scheme нет. Я думаю, "умопомрачительная гибкость - про эти переменные. Вообще, удивительно водянистая книга, полунамёками...)

Вторая фотка - не понял, про что.

@Curry · 25.02.2015, 08:10

Сообщение от Psilon

Так какие есть книжки по хаскеллю?

Я же Вам давал ссылку: Начало работы с Haskell
Конкретно я, вначале Холомьева читал, потом Шевченко. Статьи на rsdn мне совсем не понравились.

@Dennis Ritchie · 25.02.2015, 09:58

Сообщение от helter

Насколько я понял из доков, это имитация, массив указателей. Такое и в перле есть.

Да, нет же. Это полудинамический, полустатический многомерный массив. Да, в D научились инициализировать статические массивы по ходу выполнения программы. И это не то же самое, что array.push_back(n) в C++.

Сообщение от helter

Вторая фотка - не понял, про что.

Это продолжение первой. Надо полностью книгу читать. Отрывками трудно всё понять.

Сообщение от helter

Вообще, удивительно водянистая книга, полунамёками...)

А Александреску пишет не так, как все. Он любит рассказывать про всё "вокруг программирования", а не только про конкретный исследуемый язык.

Сообщение от helter

Я имею в виду не тип, а область видимости (dynamic scope).

Я просто не понял, что вы имели в виду, потому что про такое даже никогда и не слышал. Оказывается в D такое есть

:
Function_literals

C++
1
2
3
4
5
6
7
/* функциональный рассол на D */
int function(char c) fp;
 
void main()
{
    fp = function int(char c) { return 6;}; //note the semi-colon at the end
}

@Curry · 25.02.2015, 10:17

Не по теме:

Сообщение от Dennis Ritchie

в D научились инициализировать статические массивы по ходу выполнения программы

"Чудо! Чудо! Чудо в монастыре святого Бонифация!" :D

@Dennis Ritchie · 25.02.2015, 10:26

Не по теме:

Сообщение от KolodeznyDiver

"Чудо! Чудо! Чудо в монастыре святого Бонифация!"

Должен отметить, что вы придумали отличную фразу под действием диэтиламида d-лизергиновой кислоты. :D

@korvin_ · 25.02.2015, 10:39

Сообщение от Dennis Ritchie

C#, Java.

Сообщение от Dennis Ritchie

Ещё Александреску знает: Eiffel, Perl, Python, Pascal, Lisp.

Т.е. ничего функционального? Ок.

Eiffel и Pascal, кстати, тоже бесполезные языки. Как так, гуру потратил время на изучение бесполезных языков? Что-то не стыкуется.

Сообщение от Dennis Ritchie

Вот, что он считает про ФП:

Ах-ха, видно как он «знает» лисп. массивы, хеш-таблицы.

Сообщение от Dennis Ritchie

Я просто не понял, что вы имели в виду, потому что про такое даже никогда и не слышал. Оказывается в D такое есть :
Function_literals

Нет, ты опять не понял.

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
(defparameter *dynamic* 0)
 
(defun foo (n)
  (loop :repeat n :do (incf *dynamic* n))
  (format t "; foo:  ~a~%" *dynamic*))
 
(defun test ()
  (format t "; test: ~a~%" *dynamic*)
  (foo 5) ;; используется текущее (глобальное) связывание
  (format t "; test: ~a~%"  *dynamic*)
  (let ((*dynamic* 0)) ;; создаём новое, динамическое связывание, перекрывающее текущее
    (foo 3)) ;; используется новое связывание
  (format t "; test: ~a~%"  *dynamic*)) ;; снова используется текущее (глобальное) связывание

Запускаем в REPL:

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(test) ;; используется глобальное связывание
; test: 0
; foo:  25
; test: 25
; foo:  9
; test: 25
 
;; ещё раз:
(test) ;; снова используется глобальное связывание, поэтому:
; test: 25 ;; начальное значение *dynamic* - 25
; foo:  50 ;; накидывается ещё 25
; test: 50
; foo:  9 ;; а это вызов foo с новым связыванием
; test: 50
 
;; теперь вызовем test с другим связыванием (при этом глобальная переменная остаётся нетронутой):
(let ((*dynamic* 0))
  (test))
; test: 0
; foo:  25
; test: 25
; foo:  9
; test: 25

@Curry · 25.02.2015, 11:23

Сообщение от korvin_

создаём новое, динамическое связывание, перекрывающее текущее

Вы об этом так говорите, как будто это что то хорошее. НедоООП какое то. Использовали бы честный стек.

Добавлено через 12 минут

Не по теме:

Сообщение от Dennis Ritchie

под действием диэтиламида d-лизергиновой кислоты

- это полное название языка D. Название хорошо передаёт суть языка. :)

@korvin_ · 25.02.2015, 13:09

Сообщение от KolodeznyDiver

Вы об этом так говорите, как будто это что то хорошее.

Вполне хорошее, что в нём плохого?

Сообщение от KolodeznyDiver

НедоООП какое то.

При чём тут ООП?

Сообщение от KolodeznyDiver

Использовали бы честный стек.

Например?

@Curry · 25.02.2015, 13:41

Сообщение от korvin_

Вполне хорошее, что в нём плохого?

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

Сообщение от korvin_

При чём тут ООП?

Мне напоминает. Имеется указатель на контекст (на объект). *dynamic* - переменная - член класса. Она же в функцию не как аргумент передаётся, а через невидимый указатель - как this. Вложенные контексты - стек из объектов.

Дело вкуса. Пишите так, если Вам нравится. Я думаю что это багоопасное направление и не способствует ясности кода.

@helter · 25.02.2015, 16:53

Википедия про области видимости: https://en.wikipedia.org/wiki/... er_science)

@nullxdth · 25.02.2015, 17:52

Сообщение от KolodeznyDiver

Неявная передача данных, механизм реализации разбросан по коду.

Так неявная передача данных (контекст) необходима для eDSL/DSL-ей. Это путь к выразительности и лаконичности.

Сообщение от KolodeznyDiver

Напоминает "улучшенную" работу с глобальными переменными

Так оно и есть. Доведённая до совершенства.

Сообщение от KolodeznyDiver

с которыми рекомендуют иметь дело по минимуму даже и в языках далёких от ФП

Так ведь не рекомендуется иметь дело как раз из-за возможности изменить поведение программы непредсказуемым образом, изменив где-нибудь глобальную переменную. А dynamic scope как раз решает эту проблему качественным образом.

Сообщение от KolodeznyDiver

Вложенные контексты - стек из объектов.

Которым нужно рулить руками с возможностью легко накосячить.

Добавлено через 1 минуту

Сообщение от KolodeznyDiver

Я думаю что это багоопасное направление и не способствует ясности кода.

Напротив, это багобезопасное направление.

Добавлено через 1 минуту

Сообщение от Dennis Ritchie

Нет. Жёсткая статическая типизация.

Нет никаких проблем реализовать в статически типизированном языке dynamic scope.

@Dennis Ritchie · 25.02.2015, 19:20

Сообщение от korvin_

Нет, ты опять не понял.

В D нет динамической области видимости:

No, D's variable scoping is always lexical.

P.S. Честно говоря, меня это совсем не расстраивает.

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Nekobox - outbounds[0].transport: unknown transport type: raw damix 01.10.2026 Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.
Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .

@Dennis Ritchie 555 / 148 / 58 Регистрация: 27.07.2014 Сообщений: 2,446
	25.02.2015, 01:12
	Ещё Александреску знает: Eiffel, Perl, Python, Pascal, Lisp (). Вот, что он считает про ФП: Миниатюры 0

@smoke853 505 / 511 / 42 Регистрация: 12.12.2013 Сообщений: 484
	25.02.2015, 01:17
	Весело тут у вас Psilon, Изучаем Haskell Учебник Антона Холомьева P.S. 1-ю, пару дней назад приобрел в бумаге, хоть и есть pdf'ка. 2-ю, считаю лучшей книгой по haskell из русскоязычных, имхо конечно же. 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	25.02.2015, 16:53
	Википедия про области видимости: https://en.wikipedia.org/wiki/... er_science) 0