Страничка семинара теории типов: различия между версиями

Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску
Нет описания правки
Нет описания правки
Строка 2: Строка 2:


Можно начинать со школы Одерского:
Можно начинать со школы Одерского:
[http://www.scala-lang.org/node/143 Статьи по теоретическим основам языка Скала]
[http://www.scala-lang.org/node/143 Статьи по теоретическим основам языка Скала]
Выделю тут ряд статей, с которых, по моему мнению, следует начинать:
* [http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf Fighting Bit Rot with Types (Experience Report: Scala Collections)]
* []
* []
* []
* []
* []
* []
* []

Версия от 22:33, 11 декабря 2012

По концептам, типам следует читать современные статьи

Можно начинать со школы Одерского:

Статьи по теоретическим основам языка Скала

Выделю тут ряд статей, с которых, по моему мнению, следует начинать:

Источник — https://pascalabc.net/wiki/index.php?title=Страничка_семинара_теории_типов&oldid=2562