История изменений
Исправление Shushundr, (текущая версия) :
что конкретно ты хочешь делать с байтом
Ну, например, обретать и терять. Мне нужно, чтобы байты как-то возникали (считывались), и затем выводились (на печать).
«чистое бытие и чистое ничто тождественны в своем различии, и их истина — это становление». «Становление — это процесс, в котором что-то возникает и затем преходит, что-то новое появляется и что-то старое исчезает.» «Становление не просто момент изменения, а фундаментальное движение бытия.»
Представим, что у нас есть функции ReadFile, которая возвращает список байтов и функция WriteFile, которая принимает список байтов и записывает их в файл.
А я не могу представить. У меня есть множество D математических объектов, в котором у меня располагаются разные элементы, в этом множестве есть элемент «основа» (⊥), нумералы чёрча, и функции, образованные синтаксисом лямбда исчисления. Функций ReadFile и WriteFile там нет! К множеству математических объектов прилагается функция интерпретации, которая отображает термы из синтаксической записи лямбда-выражения на эти математические объекты. Я могу усложнить (точнее не могу, но могу такое вообразить) функцию интерпретации, чтобы она детектила в синтаксисе лямбда-выражения сложные функции (как паттерны) и сопоставляла их некоторым абстрактным операциями (типа «сложение», «умножение», «сдвиг», «вычитание», «деление»). И этим моя фантазия на текущий момент ограничивается. А не должна, потому что нужно как-то получить результат. Да и исходные данные хотелось бы как-то туда засовывать (и желательно не переводя их предварительно в лямбда-синтаксис вручную).
тебе нужна SECD-машина
И чё, в ней я ввода-вывода тоже не вижу…
тогда машина Кривина
пф, всё равно не вижу
Исправление Shushundr, :
что конкретно ты хочешь делать с байтом
Ну, например, обретать и терять. Мне нужно, чтобы байты как-то возникали (считывались), и затем выводились (на печать).
«чистое бытие и чистое ничто тождественны в своем различии, и их истина — это становление». «Становление — это процесс, в котором что-то возникает и затем преходит, что-то новое появляется и что-то старое исчезает.» «Становление не просто момент изменения, а фундаментальное движение бытия.»
Представим, что у нас есть функции ReadFile, которая возвращает список байтов и функция WriteFile, которая принимает список байтов и записывает их в файл.
А я не могу представить. У меня есть множество D математических объектов, в котором у меня располагаются разные элементы, в этом множестве есть элемент «основа» (⊥), нумералы чёрча, и функции, образованные синтаксисом лямбда исчисления. Функций ReadFile и WriteFile там нет! К множеству математических объектов прилагается функция интерпретации, которая отображает термы из синтаксической записи лямбда-выражения на эти математические объекты. Я могу усложнить (точнее не могу, но могу такое вообразить) функцию интерпретации, чтобы она детектила в синтаксисе лямбда-выражения сложные функции (как паттерны) и сопоставляла их некоторым абстрактным операциями (типа «сложение», «умножение», «сдвиг», «вычитание», «деление»). И этим моя фантазия на текущий момент ограничивается. А не должна, потому что нужно как-то получить результат. Да и исходные данные хотелось бы как-то туда засовывать (и желательно не переводя их предварительно в лямбда-синтаксис вручную).
тебе нужна SECD-машина
И чё, в ней я ввода-вывода тоже не вижу…
Исходная версия Shushundr, :
что конкретно ты хочешь делать с байтом
Ну, например, обретать и терять. Мне нужно, чтобы байты как-то возникали (считывались), и затем выводились (на печать).
«чистое бытие и чистое ничто тождественны в своем различии, и их истина — это становление». «Становление — это процесс, в котором что-то возникает и затем преходит, что-то новое появляется и что-то старое исчезает.» «Становление не просто момент изменения, а фундаментальное движение бытия.»
Представим, что у нас есть функции ReadFile, которая возвращает список байтов и функция WriteFile, которая принимает список байтов и записывает их в файл.
А я не могу представить. У меня есть множество D математических объектов, в котором у меня располагаются разные элементы, в этом множестве есть элемент «основа» (⊥), нумералы чёрча, и функции, образованные синтаксисом лямбда исчисления. Функций ReadFile и WriteFile там нет! К множеству математических объектов прилагается функция интерпретации, которая отображает термы из синтаксической записи лямбда-выражения на эти математические объекты. Я могу усложнить (точнее не могу, но могу такое вообразить) функцию интерпретации, чтобы она детектила в синтаксисе лямбда-выражения сложные функции (как паттерны) и сопоставляла их некоторым абстрактным операциями (типа «сложение», «умножение», «сдвиг», «вычитание», «деление»). И этим моя фантазия на текущий момент ограничивается. А не должна, потому что нужно как-то получить результат. Да и исходные данные хотелось бы как-то туда засовывать (и желательно не переводя их предварительно в лямбда-синтаксис вручную).