NI
Ну, может состоять из одного комбинатора.
https://ru.vvikipedla.com/wiki/Combinatory_logic#One-point_basis
Я только скажу, что это чрезвычайно непрактично.
Во-первых, задолбаешься на этом комбинаторе что-то полезное описывать,
во-вторых, размер будет экспоненциально расти.
Впрочем, это касается и всяких там минимизаций базисов -
надо хорошо понимать, зачем ты это делаешь и чем готов ради этого пожертвовать, а чем нет.
Вспомни, как Паша Лутко (это было рядом с Максимом, забываю уже фамилию) обрадовались, как это можно сделать такой прям небольшой-небольшой, я бы даже сказал микро-
базис для типазависимого на основе CoC.
И что из этого вышло, хоть и работа была проделана, вне всякий сомнений, достойная уважения.
Они хотели сделать легко верифицируемое ядро.
Но произошла подмена понятий, в результате которых, было принято за "аксиому", что чем меньше базис, тем проще его верифицировать.
Ну и забыли другие аспекты.
Например, я вот считаю, что лучше в 10 раз больше усилий потратить на верификацию, но получить штуку, удобную в использовании.
https://ru.vvikipedla.com/wiki/Combinatory_logic#One-point_basis
Я только скажу, что это чрезвычайно непрактично.
Во-первых, задолбаешься на этом комбинаторе что-то полезное описывать,
во-вторых, размер будет экспоненциально расти.
Впрочем, это касается и всяких там минимизаций базисов -
надо хорошо понимать, зачем ты это делаешь и чем готов ради этого пожертвовать, а чем нет.
Вспомни, как Паша Лутко (это было рядом с Максимом, забываю уже фамилию) обрадовались, как это можно сделать такой прям небольшой-небольшой, я бы даже сказал микро-
базис для типазависимого на основе CoC.
И что из этого вышло, хоть и работа была проделана, вне всякий сомнений, достойная уважения.
Они хотели сделать легко верифицируемое ядро.
Но произошла подмена понятий, в результате которых, было принято за "аксиому", что чем меньше базис, тем проще его верифицировать.
Ну и забыли другие аспекты.
Например, я вот считаю, что лучше в 10 раз больше усилий потратить на верификацию, но получить штуку, удобную в использовании.
