kouzdra (kouzdra) wrote,
kouzdra
kouzdra

ATS, Idris и все-все-все

Кстати - у языков с зависимыми типами стандартный design flaw - семантика, наворачиваемая тоннами явных и неявных параметров - это примерно как в ML имитировать классы типов явными параметрами (или использовать для этого его параметризованные модули) - оно работает - но получается дико громоздко.

Собственно Хаскелльные классы типов именно что "сравнительно человеческое решение проблемы". Возможно и с зависимыми типами нужен какой-то схожий вариант
Tags: ats, Компутерщина
Subscribe

Recent Posts from This Journal

  • 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.
  • 0 comments