1.
true обычно также считается именованной константой, но это же (true) является значением этой именованной константы.
Получается что (все?) конструкторы данных это в каком то смысле именованные константы?
Мне кажется, но это вопрос кодирования выражений. Например, что все формулы можно закодировать константами - доказал еще Гедель.
у меня такое ощущение что лямбда исчисление это именно то где все формулы можно закодировать константами
Если "константами" выступают комбинаторы, то да, 100% можно.
Обсуждают сегодня