Type theory

[Котельников Евгений]

Экзамен уже прошел, я в курсе. Но мне жутко понравилось возиться с
типами.
Чего посоветуете дальше почитать про type theory и функциональное
программирование в целом?

[Vladimir Ivanov]

Всё зависит от того что конкретно вас интересует.

Начать можно со статей, приведенных на странице с содержанием курса (я
поправил линки, там были trailing spaces):
"Foundations of Functional Programming", Paulson
"Introduction to Type Theory", Geuvers

Более полное описание различных систем типов можно найти в следующей статье:
"Proofs and Types", Girard - http://www.paultaylor.eu/stable/Proofs+Types.html
Практиковаться можно в Coq (http://coq.inria.fr/):
"A Tutorial on [Co-]Inductive Types in Coq",
www.labri.fr/perso/casteran/RecTutorial.pdf

По функциональному программированию "в целом" есть много литературы.

Если говорить о функциональных языках, то их много -
lisp/scheme/clojure, ocaml, haskell.
По haskell есть шикарная книга O'Sullivan - "Real World Haskell" -
http://book.realworldhaskell.org/read/

Haskell активно используется для различных исследовательских проектов
в области type theory и не только:
http://www.haskell.org/haskellwiki/Research_papers

Есть журнал на русском "Практика функционального программирования" - fprog.ru

"The Monad Reader", http://themonadreader.wordpress.com/

Подпишитесь на haskel...@haskell.org. Тематика обсуждений крайне
разнородна и далеко не всегда связана напрямую с haskell.

HUG (haskell user group):
SPB HUG: http://spbhug.folding-maps.org/wiki
MSK HUG: http://mskhug.ru/
Много добротных слайдов к интересным докладам.

Если будет желание поучастовать в fp-related проекте или есть идеи чем
хотелось бы заняться, дайте знать.
Можно будет встретиться и обсудить.
Заняться есть чем. Главное, чтобы было желание =)

2010/1/20 Котельников Евгений <php....@gmail.com>:

[Котельников Евгений]

> Всё зависит от того что конкретно вас интересует.

Интересуют языки с развитой системой типов (haskell, ocaml?).
Из функциональных языков я немного знаю erlang и scheme, там таких
вкусностей нет.

> Если будет желание поучастовать в fp-related проекте или есть идеи чем хотелось бы заняться, дайте знать.

Желание есть.
Для связи:
jabber: az...@jabber.spbu.ru
e-mail: php....@gmail.com

Спасибо за ссылки.

On Jan 22, 2:48 am, Vladimir Ivanov <vladimir.v.iva...@gmail.com>
wrote:

> Всё зависит от того что конкретно вас интересует.
>
> Начать можно со статей, приведенных на странице с содержанием курса (я
> поправил линки, там были trailing spaces):
>         "Foundations of Functional Programming", Paulson
>         "Introduction to Type Theory", Geuvers
>
> Более полное описание различных систем типов можно найти в следующей статье:

> "Proofs and Types", Girard -http://www.paultaylor.eu/stable/Proofs+Types.html

> Практиковаться можно в Coq (http://coq.inria.fr/):
>    "A Tutorial on [Co-]Inductive Types in Coq",www.labri.fr/perso/casteran/RecTutorial.pdf
>
> По функциональному программированию "в целом" есть много литературы.
>
> Если говорить о функциональных языках, то их много -
> lisp/scheme/clojure, ocaml, haskell.

> По haskell есть шикарная книга O'Sullivan - "Real World Haskell" -http://book.realworldhaskell.org/read/

>
> Haskell активно используется для различных исследовательских проектов
> в области type theory и не только:http://www.haskell.org/haskellwiki/Research_papers
>
> Есть журнал на русском "Практика функционального программирования" - fprog.ru
>
> "The Monad Reader",http://themonadreader.wordpress.com/
>

> Подпишитесь на haskell-c...@haskell.org. Тематика обсуждений крайне

> разнородна и далеко не всегда связана напрямую с haskell.
>
> HUG (haskell user group):
> SPB HUG:http://spbhug.folding-maps.org/wiki
> MSK HUG:http://mskhug.ru/
> Много добротных слайдов к интересным докладам.
>
> Если будет желание поучастовать в fp-related проекте или есть идеи чем
> хотелось бы заняться, дайте знать.
> Можно будет встретиться и обсудить.
> Заняться есть чем. Главное, чтобы было желание =)
>

> 2010/1/20 Котельников Евгений <php.az...@gmail.com>: