deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

объявление типа это предикат

объявление типа данных это предикат
такая вот мысль пришла
если мы желаем ввести в языке программирование типы данных, типы переменных, то можем для этой конструкции использовать предикаты

ps
Доказательство: изоморфизм Карри-Говарда.
https://deep-econom.livejournal.com/329943.html?thread=5183447#t5183447
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 63 comments