История изменений

Стало чуток яснее, спасибо.

Всё таки начать следует с того, что мы можем делать с этим байтом. Т.е. семантика - это то что мы можем делать. Складывать я не знаю байты или держать в их битах нолики и единички.

Вообще говоря, я сейчас кратенько опишу, и может ты поймёшь что оно тебе и не надо:

Если глянуть чуть шире, то лямбда исчисление - это такой язык программирования, чисто функциональный, но куцый (только базовые вещи есть, остальное ручками). На основе этой абстракции изучаются свойтва языков программирования. Ну и современные функциональные ЯП имеют ЛИ в своей основе. Т.е. если ты программировал на чисто функциональных языках то вот это оно и есть.

«Описать семантику» - в данном случае описать тип данных и действия над ним.

По «вычислительным способностям» ЛИ и машина тьюринга эквивалентны (есть док во). Ну, соотвественно, всё что ты можешь описать на императивных языках, ты можешь описать и в ЛИ.

Если всё ещё осталось желание описывать - давай разбирать что ты хочешь описать. Т.е. надо определиться что конкретно ты хочешь делать с байтом. Ну и потом это запрограммируешь (подскажу если нужно будет). Да и всё.

Стало чуток яснее, спасибо.

Всё таки начать следует с того, что мы можем делать с этим байтом. Т.е. семантика - это то что мы можем делать. Складывать я не знаю байты или держать в их битах нолики и единички.

Вообще говоря, я сейчас кратенько опишу, и может ты поймёшь что оно тебе и не надо:

Если глянуть чуть шире, то лямбда исчисление - это такой язык программирования, чисто функциональный, но куцый (только базовые вещи есть, остальное ручками). На основе этой абстракции изучаются свойтва языков программирования. Ну и современные функциональные ЯП имеют ЛИ в своей основе. Т.е. если ты программировал на чисто функциональных языках то вот это оно и есть.

«Описать семантику» - в данном случае описать тип данных и действия над ним.

По «вычислительным способностям» ЛИ и машина тьюринга эквивалентны (есть док во). Ну, соотвественно, всё что ты можешь описать на императивных языках, ты можешь описать и в ЛИ.

Если всё ещё осталось желание описывать - давай разбирать что ты хочешь описать. Т.е. надо определиться что конкретно ты хочешь делать с байтом. Ну и потом это запрограммировать. Да и всё.