Aug. 27th, 2015

akuklev: (ДР Цертуса 2011)
Только что обнаружил в http://www.cs.ox.ac.uk/projects/utgp/school/conor.pdf (курс МакБрайда этого года) в секции 6.1 индуктивно-рекурсивное описание расширяемых типизированных зависимых рекордов, достаточное, насколько я понимаю, для полноценного метапрограммирования в рамках Dotty без всяких извращений на имплиситах (привет, Scalaz). Пытаюсь понять, не very dependent types ли это.

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 2nd, 2025 02:00 pm
Powered by Dreamwidth Studios