Оптимальные структуры преобразования стрелок (суть моделей).

Jun 17, 2022 12:37

по итогам длинного монолога в телеге ))
https://t.me/AGIRussia_SCA/15638

=== вынести в жж===
Оптимальные структуры преобразования стрелок (суть моделей).

Непонятно каким именно он должен быть.
Некоторые вещи понятны, но не все.

Понятно следующее:
1. тотальный полиморфизм (как по типа данных, так и по типам операций)
2. свойства Лиспа и Форта
3. система генерации и преобразований комплексов стрелок
4. легкое расширение конструкций языка (т.е. определение новых типов данных, новых операций, новых определений/понятий).

Но вот какими конкретно должны быть основные операторы (не низкоуровневые) неясно.

Вот в Лиспе там CAR, CDR, CONS... еще некоторые. (first и rest, head и tail)
А вот какие нам надо? Непонятно.
Понятно что CAR, CDR - суть декомпозиция,
CONS - синтез.

5. Функции/функторы/операторы/комбинаторы декомпозиции и синтеза нужны. Это понятно.

6. Возможно операторы 8-ми типов *-дукций нужны. (индукция, абдукция... и т.д.)

Но что нужно еще?

Вот над этим и размышляю.
====

8 дукций: дедукция/индукция, редукция/абдукция/аддукция, трансдукция, продукция, традукция
https://deep-econom.livejournal.com/500009.html
Previous post Next post
Up