Frequently, these are based on ideas from formal type theory and are only available as part of prototype research systems.
В большинстве своём они основываются на идеях формальной теории типов и используются лишь в составе исследовательских систем.