kouzdra (kouzdra) wrote,
kouzdra
kouzdra

О секте Воеводского

А кто мне может объяснить в чем там собственно рулез? Ну то есть не что это такое, а что оно с компутерно-теоретической точки зрения дает/может дать?

Скажем типовые штудии 80-начала 90-х, при всей своей кажущейся "теоретичности", двигались несколькими простыми проблемками - более или менее естественным образом типизировать такие "составные конструкции - идиомы", как замыкания, объекты, полиморфные функции и перегрузку операций.

Что и достигли. Ну а заодно и другого много чего.

А вот какие проблемы пытаются решить адепты HoTT?
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 6 comments