𝚙
что вы все ждали параметрический полиморфизм в го
Size: a a a
2020 June 05
𝚙
а теперь они выкатили формальное доказательство
𝚙
с чуваками из эдинбургского
MB
что вы все ждали параметрический полиморфизм в го
я жду, что останется от скорости компиляции
𝚙
(ноттинхем по прежнему сосет!)
𝚙
я жду, что останется от скорости компиляции
да есть такое мнение
AB
Интересный синтаксис методов
MB
Кстати, они будет делать в стиле раста (то есть тайпчекать до раскрытия) или в стиле c++ (то есть тайпчекать после раскрытия)?
𝚙
ну это мне кажется самый explicit вид как определять типо-параметры
AZ
Кстати, они будет делать в стиле раста (то есть тайпчекать до раскрытия) или в стиле c++ (то есть тайпчекать после раскрытия)?
после раскрытия это не генерики а темплейты
AZ
и кроме плюсов так не делает никто
𝚙
Кстати, они будет делать в стиле раста (то есть тайпчекать до раскрытия) или в стиле c++ (то есть тайпчекать после раскрытия)?
прочти публикацию с архайва, что я скинул… они выбрали мономорфизацию, а в С++ type erasure
𝚙
в расте кстати вариант мономорфизации
MB
прочти публикацию с архайва, что я скинул… они выбрали мономорфизацию, а в С++ type erasure
в C++ тоже мономорфизация
MB
как и в расте
MB
(ну, кроме лайфтаймов которые стираются)
MB
type erasure происходит в джаве
𝚙
в C++ тоже мономорфизация
наверное да…
𝚙
я на самом деле плохо знаю интерналы С++
𝚙
хоть и пишу на нем всю жизнь