Dmitry Astapov (_adept_) wrote in fprog,
Dmitry Astapov
_adept_
fprog

Мономорфизм, полиморфизм и экзистенциальные типы

Мономорфизм, полиморфизм и экзистенциальные типы

Роман Душкин


Аннотация


В статье описываются экзистенциальные типы данных и их применение в функциональной парадигме программирования. Даются определения необходимых понятий — мономорфизма, полиморфизма (высших рангов) и их связи с экзистенциальными типами. Примеры определений типов и функций для их обработки приводятся в основном на языке программирования Haskell.
Tags: #4
Subscribe
  • Post a new comment

    Error

    default userpic

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