Serge Bobrovsky (sbobrovsky) wrote,
Serge Bobrovsky
sbobrovsky

Экзистенциальные типы функций

Размышляю, на какой dependent types системке лучше программировать индуктивные предикаты, типизированные кортежи с именованными компонентами, аппликативные функторы и прообразы кодоменов, и какую из системок (Adga, Idris или Cog) можно уложить в топос (а лучше, топос топосов).
Tags: функциональное программирование
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 3 comments