alexey_rom: (Default)
Не помню, у кого из френдов была ссылка, но введение действительно неплохое:

Introduction to Type Theory
alexey_rom: (Default)
Я и не знал, что такое там есть. Из статьи Polymorphic Embedding of DSLs:

trait Regions {
...
type Region
...
}

def program(semantics : Regions) : semantics.Region = ...

Как видно, возвращаемый тип зависит от аргумента. Это, конечно, не полные зависимые типы, но само по себе весьма неслабо. Насколько понимаю, это пока экспериментальная фича...

alexey_rom: (Default)
Изменения:
Классы типов (!)
Более производительные и новые библиотеки для арифметики
Много других изменений

Полное описание изменений
Качать

Profile

alexey_rom: (Default)
alexey_rom

April 2012

S M T W T F S
1 234567
89 1011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 02:46 am
Powered by Dreamwidth Studios