Запитання з тегом «lambda-calculus»

Закрито . Це питання має бути більш зосередженим . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб воно зосередило увагу на одній проблемі, лише відредагувавши цю публікацію . Закрито 5 років тому . Я починаю свій перший рік (в коледжі) з інформатики в наступному році і пишу …

13 programming-languages  computer-science  lambda-calculus 

У мене є те, що я б назвав філософським питанням про λ-обчислення. Коли ви досліджуєте λ-обчислення, ви здивуєтеся, побачивши все, що ви можете там зробити. Ви можете визначити цілі числа, арифметичні операції, булеві, висловлювання "if-then-else", цикли, рекурсивні функції тощо. Я вважаю, що це було обчислено завершено. Але з іншого боку, …

11 computer-science  lambda-calculus