Т8
Опять дебильные скобки для дженериков, идиотские стрелочки для типов, и т.д. и т.п.
Типы уродски пишутся, согласен
Size: a a a
2020 May 21
p
Т9 опять мешается
Я про то что это нормальный синтаксис хз чем тебе не угодил
Т8
Я же сказал, почти динамика. void* же это чистой воды динамика.
С чего бы?
p
Получше МЛа
DS
Я про то что это нормальный синтаксис хз чем тебе не угодил
Парсер усложняет
p
Парсер усложняет
Наоборот
DS
В скале с квадратными скобками лучше
DS
Потому что у тебя не пересекаются тогда оператор меньше и дженерики
Т8
Хочешь посмотреть на академический си подобный синтаксис, смотри скалу
Всё бы хорошо, но скобки у дженериков😡😡😡 надо посмотреть Nemerle
DS
И ты можешь делать операторы на уровне дженериков
DS
Что дико ценно
p
foo: Foldable t => t a -> t b
Тут для парсера самый ад, опциональный дженерик в начале
Тут для парсера самый ад, опциональный дженерик в начале
p
И ты можешь делать операторы на уровне дженериков
Не понял
DS
Не понял
А-ля:
И потом где нибудь в коде:
def do(i: Int, j:Int)(implicit proof: i.type < j.type): Int = ???
trait <[A, B]
И потом где нибудь в коде:
def do(i: Int, j:Int)(implicit proof: i.type < j.type): Int = ???
p
И что значит type <[A, B]
?
?
DS
И что значит type <[A, B]
?
?
Вон, я переправил не на синоним типа, а на трейт.
Т8
Хочешь посмотреть на академический си подобный синтаксис, смотри скалу
А правда, Nemerle чем не угодил? Над D вообще Александреску работал
DS
Т-34 85
А правда, Nemerle чем не угодил? Над D вообще Александреску работал
Там система типов всё та же дедовская
Т8
Там система типов всё та же дедовская
В Nemerle или в D?
DS
Т-34 85
В Nemerle или в D?
Да