DS
И поэтому в сишарпе есть тайпклассы.
Но не на уровне системы типов языка
Size: a a a
2020 May 02
Dv
Но не на уровне системы типов языка
Ок, да, с этим согласен. Это очевидно.
O
в других случаях они различимы, следовательно, не одно и то же
Dv
Но не на уровне системы типов языка
Я даже В ВИДЕ ИСКЛЮЧЕНИЯ не стану спрашивать у тебя про это пейпер с формализацией.
Dv
в других случаях они различимы, следовательно, не одно и то же
А у тебя буду, ты сегодня был невежлив
Dv
Давай пейпер с перечислением случаев, когда различимы
Dv
Каждый, пожалуйста, формально описанный
DS
Я даже В ВИДЕ ИСКЛЮЧЕНИЯ не стану спрашивать у тебя про это пейпер с формализацией.
Я уж полез искать пейпер про тайпклассы оригинальный
O
Каждый, пожалуйста, формально описанный
после тебя-с
Dv
Я уж полез искать пейпер про тайпклассы оригинальный
Я тогда бы бесконечно начал довыспрашивать всякий бред
O
я так и не дождался
Dv
Ой а что это за буква, дайте пейпер про алфавит
VK
Коронавирус бушует - все пейперы разобрали
AH
Коронавирус бушует - все пейперы разобрали
Харош
Dv
Коронавирус бушует - все пейперы разобрали
Это было неплохо.
O
То есть тайпклассы и дактайпинг — одно и то же.
бремя доказательства ложится на утверждающего
VS
Папир мозги не заменяет
Dv
формализацию плз, с пэйпером :3
Ну вот, короче, я отмечу, что считаю невежливым в казуальной дискуссии такое спрашивать.
VS
Мне кажется, все эти завтипы и прочее сродни поискам философского камня