Mar. 12th, 2016

akuklev: (ДР Цертуса 2011)
Ых, как же на категорном языке сформулировать, что аргумент функции будет использоваться только параметрически, т.е. его значение анализироваться не будет (т.е. будет возможна runtime erasure)?..

Может это какая-то особенная squash-операция над типом?.., но не propositional truncation и не двойное отрицание.

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. 19th, 2017 06:54 pm
Powered by Dreamwidth Studios