Зависимые типы в Haskell

A session at FProg 2012-07

Thursday 12th July, 2012

7:00pm to 8:00pm (MMT)

Системы зависимых типов позволяют оперировать данными на уровне типов, что может значительно повысить точность спецификации программ. Несмотря на отсутствие поддержки самих зависимых типов в Haskell, некоторые их свойства могут быть реализованы с помощью расширений языка. Будет представлен ряд техник, приближающий Haskell к возможностям языков вроде Agda, Coq и Epigram. Доклад имеет вводный характер и не требует предварительных знаний в обсуждаемых в нём темах.

About the speaker

This person is speaking at this event.
Evgeny Kotelnikov

Software engineer at Yandex

Coverage of this session

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Time 7:00pm8:00pm MMT

Date Thu 12th July 2012

Short URL

lanyrd.com/swpwz

Official event site

fprog.ru

View the schedule

Share

See something wrong?

Report an issue with this session