MK
Это сообщества любящих логгировать все что шевелиться?
D:
Size: a a a
2020 April 25
B
Prolog, lambda prolog
B
Вообще есть ACL2, стоящий парадигматически условно между прологом и лиспом.
AP
Brenoritvrezorkre
Prolog, lambda prolog
Professional Logger? :)
B
:(
AP
Пролог критикуется, в первую очередь, за неполную декларативную природу: создание сколько-нибудь сложных и практически полезных Пролог-программ в полностью декларативном стиле практически невозможно, программист вынужден прибегать к процедурным приёмам, что приводит к резкому возрастанию сложности создания и отладки программ, а также плохой контролируемости промежуточных результатов.
AZ
Brenoritvrezorkre
Prolog, lambda prolog
AE
Brenoritvrezorkre
А можете сравнить лиспы? Какие в какую специфику пошли?
В смысле схему, рекет, кложур, коммон, и так далее?
B
Внезапно
Раньше пытался искать, но не показывало
Раньше пытался искать, но не показывало
B
Да
B
Кложур на память уже не лисп, там в сторону ушло (точно не помню, какую)
AP
Brenoritvrezorkre
А можете сравнить лиспы? Какие в какую специфику пошли?
Ну имхо есть схема и есть коммон лисп. Все остальное от лукавого
LL
Brenoritvrezorkre
Кложур на память уже не лисп, там в сторону ушло (точно не помню, какую)
Настолько же не лисп, на сколько не лисп коммон и схема
B
Там парадигма другая пошла
LL
Какая? ФП?
AP
Настолько же не лисп, на сколько не лисп коммон и схема
Да не, там же скобки квадратные
LL
Это называется литерал коллекции
B
Я бы сказал, что у лиспа была своя собственная парадигма
LL
Или читай ридмакро
B
А кложур от этого отошёл вроде ближе к ФП более принятому (точно не помню, давно на это смотрел)