Hacker News new | ask | show | jobs
by kpierre 4575 days ago
make sure to check out their structure definition language:

http://core.telegram.org/mtproto/TL-dependent

look like a great parody to me? can't tell if they are serious with these 'dependent types'
2 comments
hrjet 4574 days ago
From their page describing TL language.

> TL Language (Type Language or Time Limit)

So it is a partially applied acronym with a branch in it!

There is something seriously messed up in this project.

link
TelegramApp 4575 days ago
Is anything wrong with it?
link
kpierre 4574 days ago
it's ridiculous, pseudo-mathematical, and a severe case of NIH syndrome :-) Peano numbers for data definition language? are you serious?
link
Confusion 4574 days ago
You can drop the first two. And the third can have different motivations: I think here we just have a mathematician with sufficient time on their hands who enjoyed coming up with this. I think the primary valid complaint is: overly complex for its task.
link
kpierre 4573 days ago
it'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.
link