kpierre·13 yıl önce·discussit's not just overly complex, the use of 'dependent types' for this indicates that the author doesn't understand how they are really useful. neither he seems to know what serialization is, he apparently wants to serialize linked lists.
kpierre·13 yıl önce·discussit's ridiculous, pseudo-mathematical, and a severe case of NIH syndrome :-) Peano numbers for data definition language? are you serious?
kpierre·13 yıl önce·discussmake sure to check out their structure definition language:http://core.telegram.org/mtproto/TL-dependentlook like a great parody to me? can't tell if they are serious with these 'dependent types'